meta

Meta用从不运行程序的静态分析器在投产代码中发现了10万个缺陷

Meta的Infer利用抽象解释和双向推理，通过推理代码结构而非执行来发现空指针解引用、内存泄漏和竞态条件。以下是它的工作原理以及如何在您自己的代码库中使用它。