bannerc

You are viewing an old version of this page. View the current version.

Compare with Current View Page History

« Previous Version 11 Next »

Tool title

Title of page above

Type

COTS

Owner/Source

MathWorks

Link

https://www.mathworks.com/products/polyspace.html

Description

Polyspace® static code analysis products use formal methods to prove the absence of critical run-time errors under all possible control flows and data flows. They include checkers for coding rules, security vulnerabilities, code metrics, and hundreds of additional classes of bugs.

User

ARC, IV&V

SWE

SWE-087, SWE-135


  • No labels