Stack Overflow
Stack Overflow

Questions tagged [facebook-infer]

Infer is a static analysis tool for Java/C/C++/Objective-C code, created by Facebook

Infer is a static analysis tool - if you give Infer some Java or C/C++/Objective-C code it produces a list of potential bugs. Anyone can use Infer to intercept critical bugs before they have shipped to users, and help prevent crashes or poor performance.

More information about the tool: https://fbinfer.com/docs/getting-started.html

Open source available at: https://github.com/facebook/infer

Other related issue can be viewed and asked at: https://github.com/facebook/infer/issues

This tag is about question relates to the installation, usage etc.

10 questions
8
votes
2 answers

How do I run facebook infer for my maven project?

As mentioned in the documentation, I tried running infer -- mvn compile on my maven project. It complains as [ERROR] Javac compilation error with: ['javac', '-g', '-d', ... ...'-g', '-nowarn', '-target', '1.8', '-source', '1.8',…
Apurv
  • 4,458
  • 2
  • 21
  • 31
6
votes
1 answer

How to run Facebook Infer on Windows

I know the official docs mentioned only Mac and Linux options, but I tried on Cygwin with the Android example. Always get the following error: C:\Python27\python.exe: can't open file…
EyeQ Tech
  • 7,198
  • 18
  • 72
  • 126
4
votes
1 answer

`brew install infer` error while updating infer

I recently updated facebook infer on my work laptop, and am trying to update infer on my personal laptop. It installed without an issue on my work laptop, but I am getting an error (see below) on my personal laptop. Both have opam 1.2.2 and ocaml…
lgdroid57
  • 699
  • 14
  • 29
2
votes
1 answer

How manage correctly a OutputStream to avoid resource leak errors

I have been stuck with this problem for a while, I have read some tutorials and documentations of how implement an inputStream variable and its life cycle, nevertheless I get over an over again the same error marked by "Infer" the static analyzer…
dicarlomagnus
  • 576
  • 4
  • 17
1
vote
0 answers

infer xcode build output error - *** Infer needs a working compilation command to run

I am running infer on an Xcode workspace with the following command: infer run --reactive -- xcodebuild -workspace WORKSPACE_NAME.xcworkspace -scheme SCEMENAME the code builds successfully. but afterwards I get: Build Succeeded Starting…
FerasAS
  • 273
  • 2
  • 14
1
vote
0 answers

Can facebook infer ignore error in line?

I use facebook infer to detect error in my Android project. It find some error but is not error. try { ... AppInfo app = JsonUtil.parseObject(resFileContent , AppInfo.class); …
Zebulon Li
  • 540
  • 4
  • 21
1
vote
1 answer

infer -- gradle build is not working

I'm trying to use the Infer tool to analyze my app code. I followed these steps and every time I'm trying to run infer -- gradle build I'm getting the below errors : infer -- gradle build Running and capturing gradle compilation... Traceback (most…
M.Khouli
  • 3,992
  • 1
  • 23
  • 26
1
vote
1 answer

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

I use Facebook's Infer to check my android code infer -- ./gradlew build after 8 minutes Fatal error: exception Sys_error("/Users/lm/project/android_workplace/******/app/build/intermediates/exploded-aar/com.mogujie/user/1.2.17/jars/classes.jar: Too…
swenze
  • 21
  • 3
0
votes
1 answer

How can I run Facebook infer on numpy library?

I want to run Infer on numpy library to detect its weaknesses. When I run the following command: infer run -- gcc -c /numpy/numpy/numpy/core/src/multiarrayabstractdtypes.c it throws the following error: Capturing in make/cc…
Nima shiri
  • 73
  • 7
0
votes
1 answer

Installing Infer Using Brew Failed (No Bottle)

I am trying to install Infer, a static analysis tool developed by Facebook. I tried following the tutorial for Mac at this link: https://fbinfer.com/docs/getting-started/. I used the "brew install infer" command, however, I keep getting the…
Momchil Nikolov
  • 11
  • 2