Main Content

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.

  • Import the analysis options from a Polyspace desktop product project file.

Topics