4 ms·
Facebook’s Infer Static Analyzer
- jbrot 5y agoI 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 https://dl.acm.org/doi/pdf/10.1145/3211968