fbpx

infer : 用於Java,C,C ++和 Objective-C 的靜態分析器

這是 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”,該程式與不可逆性的概念有關。

示範程式碼檢查的工作方式

專案網址

支持 Soft & Share

💥 udemy 從 12/5 ~ 12/7 全站課程最低價 NT330 起

如果您覺得我們提供的內容服務還不錯,歡迎透過對以下產品/服務的購買投資來支持本站的營運走得更遠

如果暫時還不需要以下的付費服務,幫我們把這個網站分享給有需要的朋友,您的小小舉動會對 Soft & Share 有莫大的幫助!感謝您的支持!

🎈如果您點選優惠連結後,還是沒有看到優惠價格,麻煩您將瀏覽器的 cookie 清除 ( 清除 udemy 網站的就可以了 ),然後重新點選優惠連結就可以了

不受 FB 演算法影響,歡迎透過 e-mail 訂閱網站更新

Comments are closed.

Powered by WordPress.com.

Up ↑

%d 位部落客按了讚: