Polyspace products perform static code analysis and use formal methods to prove the absence of critical "run-time" errors in a program. All possible code traversals with all possible data values are considered. Checks cover coding compliance errors, code security vulnerabilities, code metrics, and hundreds of other error groups.
Polyspace Bug Finder
Checking compliance with coding rules, security standards, evaluating code metrics and finding bugs.
Polyspace Code Prover
Formally demonstrating the absence of critical "run-time" errors without running the code.
