Polyspace Bug Finder
copyright: — Identifies run-time errors, concurrency issues, security vulnerabilities, and other defects in C and C++ embedded software.
- from
- Static Analysis & Code Quality
- added
- 2026-10-10
- likes
- 0
similar
-
Polyspace for Ada mathworks.com
copyright: — Provide code verification that proves the absence of overflow, divide-by-zero, out-of-bounds array access, and certain other run-time errors in source code.
-
Polyspace Code Prover mathworks.com
copyright: — Provide code verification that proves the absence of overflow, divide-by-zero, out-of-bounds array access, and certain other run-time errors in C and C++ source code.
-
FlawFinder github.com
David Wheeler - Scan C / C++ code for potential security weaknesses.
-
flawfinder dwheeler.com
Finds possible security weaknesses.
-
SpotBugs spotbugs.github.io
SpotBugs is FindBugs' successor. A tool for static analysis to look for bugs in Java code.
-
SpotBugs github.com
SpotBugs - Static code analysis for Java applications.
Static Analysis & Code Quality › Programming Languages: “copyright: — Identifies run-time errors, concurrency issues, security vulnerabilities, and other defects in C and C++ embedded software.”