bannerc

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

Compare with Current View Page History

« Previous Version 9 Next »

Tool title

Title of page above

Type

COTS

Owner/Source

MathWorks

Link

http://www.mathworks.com/products/polyspace/index.html

Description

Polyspace code verifiers detect and prove the absence of overflow, divide-by-zero, out-of-bounds array access and other run-time errors in source code. Polyspace uses static code analysis that is formal methods based (with abstract interpretation) to verify C/C++ or Ada. Polyspace can also be used to check compliance to coding standards, review code complexity metrics, and measure software quality.

User

ARC, IV&V

SWE

SWE-087, SWE-135

  • No labels