Facebook’s Infer Static Analyzerfbinfer.com 1 pointjbrot5 years ago1 commentSaveHideCopy link On HNComments−jbrotOP5yI 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
Comments
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