example.c
In Polyspace R2021a, reports are used to document the results of static analysis for C and C++ projects, typically covering defects, coding standard violations, and code metrics Report Types and Contents The R2021a release of Polyspace Bug Finder Polyspace Code Prover allows you to generate several types of reports: Defect Reports polyspace r2021a
polyspace-code-prover -sources example.c -main-generator -entry-points divide,copy_buffer -target-compiler gcc10 -runtime-range-analysis example
Related searches I can suggest for deeper follow-up: polyspace r2021a release notes, polyspace vs coverity, polyspace integration with gitlab. example.c In Polyspace R2021a
Polyspace R2021a identified hundreds of potential errors, including some that had been hiding in the code for months. The team was amazed by the accuracy of the tool, which not only detected errors but also provided detailed explanations and suggestions for fixing them.