To match your run-time environment, specify the target and compiler options. The analysis uses these options to determine variable sizes, language extensions and compiler-specific behavior. If you still get compilation errors, you can work around specific errors with options from the Macros and Environment Settings category.
Specify Polyspace Analysis Options
Specify Polyspace® analysis options in Polyspace user interface, other IDE-s or scripts.
Specify Target Environment and Compiler Behavior
Learn the workflow for specifying Target & Compiler options.
Requirements for Project Creation from Build Systems
Learn why automatic Polyspace project creation might not work for your build system and how to work around some of the causes.
Provide Standard Library Headers for Polyspace Analysis
Find paths to C or C++ standard library headers from your compiler and specify the paths in your Polyspace project.
C/C++ Language Standard Used in Polyspace Analysis
See supported language standards and the default standard used in Polyspace analysis.
Supported Keil or IAR Language Extensions
Find which Keil or IAR-specific extensions of the C language standard are supported for verification.