Infer
Meta
A static analyzer built on separation logic that proves properties about memory and concurrency, catching null dereferences, leaks and data races.
Open source
Established