Polyspace Bug Finder is a static analysis tool developed by MathWorks. It identifies software bugs, security vulnerabilities, and compliance violations in C and C++ source code. The tool helps developers find issues early in the software development lifecycle without executing the code. Core Features Scans source code without execution.
MathWorks offers two primary products under the Polyspace umbrella. Understanding the difference ensures you download the correct tool for your project needs. Feature / Capability Polyspace Bug Finder Polyspace Code Prover Static Code Analysis / Pattern Matching Abstract Interpretation / Formal Methods Analysis Speed Fast (Minutes to hours) Thorough (Hours to days) Main Goal Finding common bugs and vulnerabilities Proving the absence of run-time errors Coding Standards MISRA, AUTOSAR, CERT C, CWE MISRA, AUTOSAR Result Metrics Lists found bugs and violations Color-codes code (Green, Red, Orange, Gray) Supported Coding Standards and Vulnerabilities polyspace bug finder download
Integrate analysis directly into Microsoft Visual Studio, Visual Studio Code, or Eclipse. Build Tools and CI/CD Pipelines Polyspace Bug Finder is a static analysis tool
Maps code defects to known architecture and design flaws. Integrating Polyspace into Your Workflow Core Features Scans source code without execution
Requires a matching version of MATLAB to run the desktop interface.
Memory leaks, uninitialized variables, and double frees.
Automate checks by importing compilation databases from CMake, Make, or MSBuild.