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

(fbinfer.com)

1 pointsjbrot4y ago1 comments

1 comments

jbrotOP4y ago

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.

j / k navigate · click thread line to collapse

(fbinfer.com)

1 pointsjbrot4y ago1 comments

jbrotOP4y ago

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.

j / k navigate · click thread line to collapse