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.
Meta
A static analyzer built on separation logic that proves properties about memory and concurrency, catching null dereferences, leaks and data races.