MATLAB: Does the PolySpace for C/C++ plugin for Eclipse not automatically use the include paths from Eclipse for the verification in PolySpace Client for C/C++ 7.0 (R2009a)

Polyspace Client for C/C++

When I configure my project in Eclipse and use the Polyspace plugin for Eclipse to run a verification I receive an error about missing files:

 File  KOD_bt.c  line 27 
 Error:
 could not open source file "dc_debug.h"

I need to know where I can configure the include paths for my PolySpace verification out of Eclipse.

Best Answer

This enhancement has been incorporated in Release 2009b (R2009b). For previous product releases, read below for any possible workarounds:

When using the PolySpace plugin for Eclipse, PolySpace does not automatically take include paths into account. This has to be added manually as demonstrated in the attached screenshots:

 Screenshot 1: Configuring Polyspace preference options in Eclipse:
 1.1 Select the project.
 1.2 Select the 'PolySpace Settings' tab.
 1.3 Click on the 'Show advanced settings' button
 Screenshot 2: Adding paths to includes in PolySpace preferences

Related Solutions

MATLAB: Do I get an error message “Error: No PolySpace product found” when downloading some results in PolySpace R2008b

It is possible fot the 'polyspace.conf' file to not be updated correctly when installing a new release of PolySpace. This is especially likely when a previous release was only partially removed.

To correct this issue, the polyspace.conf file needs to be updated with location and language that are supported by the currently installed PolySpace product.

Please update the following fields in the configuration file:

 product=<absolute_path_to_product>
 lang=<language supported by the product>

Note: it is possible to have more than one 'product' and 'lang' fields.

For example:

- On a Windows OS, with PolySpace Client for C/C++, polyspace.conf located in c:\PolySpace\PolySpace_RLDatas, and looks like:

 # Local configuration.
 product=C:\PolySpace\PolySpaceForCandCPP_R2008b
 lang=C
 lang=CPP
 # Remote Launcher configuration
 datadir=C:\PolySpace\PolySpace_RLDatas
 username=<login>
 cpu=<hostname>

- On a UNIX OS, with PolySpace Client for C/C++, polyspace.conf located in /etc/PolySpace and looks like:

 # Local configuration.
 product=/usr/local/PolySpace/PolySpaceForCandCPP_R2008b
 lang=CPP
 lang=C
 # Remote Launcher configuration.
 datadir=/var/PolySpace
 username=<login>
 cpu=<hostname>

Note: username and cpu are not mandatory fields for a PolySpace Client installation.

MATLAB: How to use Data Range Specification (DRS) on static variables in PolySpace Client for C/C++ 7.0 (R2009a)

This enhancement has been incorporated in Release 2010a (R2010a). For previous product releases, read below for any possible workarounds:

The ability to use static variables with DRS is not supported in PolySpace Client for C/C++ 7.0 (R2009a).

As a workaround, you can try setting "main-generator-writes-variables = all" in your configuration. However, you will run into issues if you have the same static variable defined in multiple source files.

Best Answer

Related Solutions

MATLAB: Do I get an error message “Error: No PolySpace product found” when downloading some results in PolySpace R2008b

MATLAB: How to use Data Range Specification (DRS) on static variables in PolySpace Client for C/C++ 7.0 (R2009a)

Related Question