PolySpace Static Analysis
by MathWorks
What is it all about?
Detect and prove the absence of run-time errors in your source code using static analysis with Polyspace products. Polyspace examines the source code to determine where potential run-time errors such as arithmetic overflow, buffer overrun, division by zero, and others could occur.
Key Features
* Polyspace static analysis can help you find coding errors earlier in your development cycle, reducing potential costs. * It offers a simple solution for exhaustively verifying complex code. * On average, Polyspace can help software developers and quality engineers reduce development time by 12%.
Compare Products
Select up to three two products to compare by clicking on the compare icon () of each product.
{{compareToolModel.Error}}