Analyzing Build in Polyspace as You Code

Analyze source code build and gather compilation information for subsequent Polyspace as You Code runs

Polyspace^® as You Code checks the file that is currently active in your IDE or code editor for bugs and coding standards violations.

So that the analysis runs without errors, provide Polyspace as You Code with the specificities of your build configuration, such as data type sizes and compiler macro definitions. To provide your build configuration information, you can:

Configure Polyspace as You Code to extract the build configuration information from your IDE project, build command, or JSON compilation database.
Specify analysis options that emulate your build configuration in an options file. See Options Files for Polyspace Analysis (Polyspace Bug Finder).
Import the analysis options from a Polyspace desktop product project file.

Topics

Generate Build Options for Polyspace as You Code Analysis in Visual Studio
Extract build configuration information from solution, build command, or JSON compilation database.
Generate Build Options for Polyspace as You Code Analysis in Visual Studio Code
Extract build configuration information from build task, build command, or JSON compilation database.
Generate Build Options for Polyspace as You Code Analysis in Eclipse
Extract build configuration information from project, build command, or JSON compilation database.
Generate Build Options for Polyspace as You Code Analysis at the Command Line
Extract build configuration information from build command or JSON compilation database.

Related Information

Complete List of Polyspace Bug Finder Analysis Engine Options (Polyspace Bug Finder)