3 ms·
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.
by cwzwarich 11y ago
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 11y agoI agree, FB Infer is not a certifying compiler, but it's based on program logic.