Infer
Meta
A static analyzer built on separation logic that proves properties about memory and concurrency, catching null dereferences, leaks and data races.
SAST
Analyze source code or bytecode for vulnerable patterns without running the application.
31 tools profiled
How it differs Reads the code you wrote without running it. SCA checks the third party packages you depend on; IAST watches the running app while your tests exercise it.
Meta
A static analyzer built on separation logic that proves properties about memory and concurrency, catching null dereferences, leaks and data races.
PMD open source project
Extensible source code analyzer that applies rule sets to the syntax tree of several languages, bundled with a cross language copy and paste detector.
Sonar
Self hosted analysis server that scans repositories for quality and security issues, enforces quality gates and tracks findings over time.
SpotBugs project
Successor to FindBugs that analyzes compiled JVM bytecode against a catalog of bug patterns, extensible with security focused detector plugins.
Meta
A static analyzer built on separation logic that proves properties about memory and concurrency, catching null dereferences, leaks and data races.
PMD open source project
Extensible source code analyzer that applies rule sets to the syntax tree of several languages, bundled with a cross language copy and paste detector.
Sonar
Self hosted analysis server that scans repositories for quality and security issues, enforces quality gates and tracks findings over time.
SpotBugs project
Successor to FindBugs that analyzes compiled JVM bytecode against a catalog of bug patterns, extensible with security focused detector plugins.