Code Prover Verification
To specify whether you are verifying a complete application with a main
function or a module without a main
function, use the Code Prover verification options. If you are verifying a module, the software generates a main
function for you. To fine-tune the generated main
function, use these options.
Polyspace Options
Topics
- Specify Polyspace Analysis Options
Specify Polyspace® analysis options in Polyspace user interface, other IDE-s or scripts.
- Verify C Application Without main Function
Learn the benefits of manually writing a
main
function versus auto-generating themain
function. - Verify C++ Classes
Learn how to perform robustness verification of classes so that it is safe for reuse.
- Provide Context for C Code Verification
Learn what external context you can provide to narrow down the default verification assumptions.
- Provide Context for C++ Code Verification
Learn what external context you can provide to narrow down the default verification assumptions.
- Constrain Variable Ranges for Polyspace Analysis Using Manual Stubs and Manual main() Function
Improve precision of Polyspace Code Prover™ analysis using your own stubs and
main()
.