How to debug a polyspace-configure issue?

I'm using polyspace-configure to create a Polyspace project or options file, but either polyspace-configure fails during its process or provide a configuration/options file that eventually leads to compilation problems during the Polyspace analysis.

What can I do to know what is happening and get debug information?

Answer 1

[MathWorks Support Team]

Before contacting MathWorks Support, please collect the debug log files related to polyspace-configure by following the procedure corresponding to your Polyspace version:

For Versions Prior to R2020a

You need to relaunch polyspace-configure with additional debug options.

Procedure

• Perform a clean buildBefore running polyspace-configure, make sure your project will recompile all C and/or C++ source files. This requires removing existing build artifacts (object files).For example, if you are using make, run

make clean

• Run polyspace-configure with debug optionsExecute the following command, replacing <your build command> with your actual build command:

polyspace-configure -build-trace build_trace.log -keep-all-files -debug <your build command> > out.log 2>&1

• Send the generated log filesPlease send the following files to MathWorks Support:
  • build_trace.log
  • out.log

These files do not contain any intellectual property (IP).

• Optional: configuration file generatedIf polyspace-configure generated a configuration file, also include the Polyspace analysis log file that was used with this configuration.

For Versions R2020a and Later

A dedicated option is available to simplify debug data collection: -easy-debug.

Procedure

• Perform a clean buildAs with earlier versions, first remove any existing build artifacts to ensure that all source files are compiled again.
• Run polyspace-configure with -easy-debugUse the following command:

polyspace-configure ... -no-compiler-cache -easy-debug <folder> <your build command>

Replace <folder> with a directory name of your choice.

• Send the generated ZIP fileThe specified <folder> will contain a ZIP archive. Please send this ZIP file to MathWorks Support.The files included in the ZIP archive do not contain any IP information.

• Optional: configuration file generatedIf polyspace-configure generated a configuration file, also include the Polyspace analysis log file that was used with it.

Additional Files to Provide

In all cases, please also send:

• The options file or project file generated by polyspace-configure (if it exists)
• The Polyspace analysis log file, so that Support can review the exact error message