Polyspace Bug Finder
Polyspace Bug Finder is a static code analysis tool used to analyze code components or entire embedded software projects. Polyspace Bug Finder uses fast static code analysis techniques including formal methods with low false positive rates to pinpoint numerical, dataflow, programming, and other bugs in C or C++ source code.
You can use it to quickly find, triage, and fix bugs. Polyspace Bug Finder performs bug detection and coding rules violations as soon as the code is written, modified, or generated. You can use it to iteratively debug and fix your code early in the development process. Polyspace Bug Finder supports command line invocation, use through a standalone user interface, and use with the Eclipse IDE. You can integrate it into build environments for automated use. Polyspace Bug Finder supports critical activities in a software development workflow, including:
With Polyspace Bug Finder, you can set up a project and perform static code analysis:
Polyspace Bug Finder works with Polyspace Code Prover to prove the absence of certain run-time errors in your source code. These products together offer an end-to-end static analysis capability for early-stage development use, that spans bug-finding, code rules checking, and proof. This capability ensures the reliability of embedded software that must operate at the highest levels of software quality and safety.