Facebook's Infer is just an ordinary static analysis tool, albeit one inspired b... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		cwzwarich on Nov 16, 2015 \| parent \| context \| favorite \| on: Writing a Compiler by Proving It Correct Facebook's Infer is just an ordinary static analysis tool, albeit one inspired by separation logic. It is unsound and does not prove that code is correct.

mafribe on Nov 16, 2015 [–]

I agree, FB Infer is not a certifying compiler, but it's based on program logic.

Consider applying for YC's Summer 2026 batch! Applications are open till May 4
Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact