Facebook’s Infer Static Analyzer (opens in new tab)

I encountered the project in this article about separation logic [1]. I figured the above project would be more relevant to the HN community, though.

[1] https://dl.acm.org/doi/pdf/10.1145/3211968