靜態分析

Meta 的 SapFix 怎麼自動修 Bug：Sapienz 找當機、SapFix 產生補丁、Infer 輔助驗證

依 Meta 2018 年的工程部落格與 ICSE-SEIP 2019 論文，整理 SapFix 這個 proof-of-concept 的流程：Sapienz 找到當機後觸發 SapFix 產生補丁，Infer 協助定位並在修補後重跑，最後交給工程師審查；論文報告約一半補丁被判定正確、約四分之一合入生產程式碼。