Polyspace - R2021a

: The tool automatically compiles C files as C and C++ files as C++, then verifies the entire project as a unified C++ entity.

: 1.2M LOC of C99, targeting DO-178C Level A. polyspace r2021a

| Task | Command | |------|---------| | Run Bug Finder on folder | polyspace-bug-finder -sources . -target-compiler gcc10 | | Run Code Prover with entry point | polyspace-code-prover -sources main.c -entry-points main | | Generate HTML report | ... -generate-html-report -html-report-folder ./report | | Apply MISRA 2012 | -checkers-selection "MISRA_C_2012" | | Exclude a file | -exclude-files "test/*.c" | | Use baseline (suppress old bugs) | -baseline-results results.pscp | | Merge results from multiple runs | polyspace-report-generator -merge file1.pscp file2.pscp -output merged.pscp | : The tool automatically compiles C files as