4 ms·I agree, FB Infer is not a certifying compiler, but it's based on program logic.by mafribe 11y agoI agree, FB Infer is not a certifying compiler, but it's based on program logic.