Contents
這是 Facebook 內部使用的工具，使用 OCaml 開發的
Infer 是一種靜態分析工具-如果你提供Infer一些 Java 或 C / C ++ / Objective-C 程式碼，則會生成一系列潛在錯誤。 任何人都可以使用 Infer 將關鍵錯誤釋出給使用者之前攔截它們，並幫助防止崩潰或效能下降。
Infer部署在Facebook內部，它持續執行，以驗證 Android 和 iOS 的主要Facebook應用程式、Facebook Messenger、Instagram和其他應用程式的每個程式碼修改的選定屬性。它也可以用於其他程式碼。Infer還可以分析 C 程式碼，以及非 Android 的 Java 程式碼。目前，Infer正在追蹤由 Null pointer 解除引用以及資源和記憶體泄漏引起的問題，這些問題在行動領域引起了一些更重要的問題。
Infer 是在 2013 年收購了驗證創業公司 Monoidics 後進入Facebook的。Monoidics本身是基於最近的學術研究，特別是分離邏輯( separation logic )和雙歸納( bi-abduction ) 。
在過去的幾年裡擴大了 Infer 的範圍。把最初的分離邏輯分析稱為 Infer.SL。現在還有Infer.AI，這是一個通用的分析框架，是模組化分析引擎的介面，可以用於其他類型的程式分析（技術上稱為”抽像解釋 abstract interpretations ”，因此是 AI 的別名）。這種新增的通用性已經被用來開發 Infer.AI 的實例，用於安全、concurrency和其他領域。此外，還有用於描述淺層句法分析的 Infer linters，使用 AL 語言，因為有時 linters 正是你所需要的。
以下影片是 Facebook的 Peter O’Hearn 教授向我們介紹了他們的程式碼檢查程式 “Infer”，該程式與不可逆性的概念有關。
示範程式碼檢查的工作方式
專案網址
不受 FB 演算法影響，歡迎透過 e-mail 訂閱網站更新
❤️您應該有留意到，我們的網頁並不會出現干擾人的跳出煩人的廣告或是在內容中嵌入廣告，因為我們發現這樣對閱讀網頁的內容體驗真的是不好!
如果您覺得我們提供的內容服務還不錯，歡迎透過對以下產品/服務的購買投資來支持本站的營運走得更遠
如果暫時還不需要以下的付費服務，幫我們把這個網站分享給有需要的朋友，您的小小舉動會對 Soft & Share 有莫大的幫助！感謝您的支持！
🎈如果您點選優惠連結後，還是沒有看到優惠價格，請將瀏覽器的 cookie 清除 ( 清除 udemy 網站的就可以了 )，然後重新點選優惠連結並登入 Udemy 就可以了
- ❤️記得透過電腦瀏覽器登入 udemy ，使用這個✨優惠連結✨購買線上課程，本站可獲得 udemy 推薦獎金，歡迎透過我們的 A-Z 關鍵字索引 或 Udemy 策展找到您想要的課程
- ❤️LN+ for udemy/youtube/hahow/web 無縫整合 Notion 成為線上學習平台筆記工具
- ❤️更多付費服務（電子書/其他線上課程平台/軟體服務 ）……