如何在 numpy 庫上運行 Facebook 推斷？

[英]How can I run Facebook infer on numpy library?

我想在 numpy 庫上運行 Infer 來檢測它的弱點。 當我運行以下命令時： 它引發以下錯誤： 如何對具有特殊編譯器（例如 numpy 或 tensorflow）的項目中的單個源文件運行推斷。 這些編譯器不明確使用 make 或 cmake。 謝謝。 ...

使用 Brew 安裝 Infer 失敗（無瓶）

[英]Installing Infer Using Brew Failed (No Bottle)

我正在嘗試安裝由Facebook開發的static分析工具Infer。 我嘗試按照此鏈接的 Mac 教程進行操作： https://fbinfer.com/docs/getting-started/ 。 我使用了“brew install infer”命令，但是，我不斷收到以下錯誤： 我不知道我做 ...

如何正確管理OutputStream以避免資源泄漏錯誤

[英]How manage correctly a OutputStream to avoid resource leak errors

我已經堅持這個問題一段時間了，我已經閱讀了一些如何實現inputStream變量及其生命周期的教程和文檔，但是我重復了同樣的錯誤標記為“推斷”來自facebook的靜態分析器，它建議我在這段代碼中存在以下問題： RESOURCE_LEAK ： 描述錯誤是： 錯誤：在第499行之后， ...

更新推斷時，'brew install infer`錯誤

[英]`brew install infer` error while updating infer

我最近在我的工作筆記本電腦上更新了facebook推斷，並且我試圖在我的個人筆記本電腦上更新推斷。 它在我的工作筆記本電腦上安裝沒有問題，但我在我的個人筆記本電腦上收到錯誤（見下文）。 兩者都安裝了opam 1.2.2和ocaml 4.03.0。 如果我執行opam init --comp ...

推斷-Gradle構建不起作用

[英]infer — gradle build is not working

我正在嘗試使用推斷工具來分析我的應用程序代碼。 我遵循了這些步驟，並且每次嘗試運行infer -- gradle build我都會遇到以下錯誤： 任何想法將不勝感激！ ...

[Android，Facebook，Infer]有關推斷錯誤的打開文件過多

[英][Android,Facebook,Infer]Too many open files about infer error

我使用Facebook的推斷來檢查我的Android代碼 ...

如何在Windows上運行Facebook推斷

[英]How to run Facebook Infer on Windows

我知道官方文檔只提到Mac和Linux選項，但我嘗試使用Android示例在Cygwin上。 總是得到以下錯誤： C:\\Python27\\python.exe: can't open file '/cygdrive/c/Users/Tung/infer-linux64-v0.1.0/inf ...

如何為我的 maven 項目運行 facebook 推斷？

[英]How do I run facebook infer for my maven project?

如文檔中所述，我嘗試運行 在我的 maven 項目上。 它抱怨為 我錯過了什么嗎？ ...