Meta用從不執行程式的靜態分析器在投產程式碼中發現了10萬個缺陷
Meta的Infer利用抽象詮釋和雙向推理，透過推理程式碼結構而非執行來發現空指標解引用、記憶體洩漏和競態條件。以下是它的運作原理以及如何在您自己的程式碼庫中使用它。
Meta已經發布了超過10萬個由靜態分析器在程式碼到達使用者之前捕獲的缺陷修復。這個工具名為Infer，它是開源的，並且不會執行您的程式碼。它讀取程式碼，建構程式碼可能執行的數學模型，並證明某些壞事不可能發生。或者它會找到一條可能發生的路徑。…
meta
1 post