Infer 是 Facebook 最新開源的靜態程序分析工具，用于在發布移動應用之前對代碼進行分析，找出潛在的問題。目前 Facebook 使用該工具來分析 Facebook 的 App，包括 ...

為了減少測試與人工代碼檢查的工作量，軟件供應商一般利用靜態代碼分析工具來進行程序正確性和穩定性的檢查。Monoidics就是在2009年成立、專門設計代碼分析工具的公司。該公司所開發的Infer...

開源已是大勢所趨。不僅Google 公開了自己最重要的秘密之一 ，社交巨頭Facebook對開放也一直都是保持開放的態度。比方說它有推進數據中心基礎設施建設標準化的Open Compute項目，...