pghs975uc
/
infer_clone
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity
You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
Branches Tags
${ item.name }
Create tag ${ searchTerm }
Create branch ${ searchTerm }
from 'fcc0c72ecb'
${ noResults }
infer_clone/FILES.md

34 lines
1.2 KiB
Raw Normal View History Unescape

[OSS] Adding FILES.md
10 years ago
#Files in infer/bin/
## Top-level commands
*infer* : Main command to run Infer. It's a python script. Check out the docs for instructions on how to use it.
*inferTest* : Shell script for running Infer's tests. Uses Buck for running the tests.
Usage: inferTest {c, objc, java} for the tests about the analysis of C, Objective-C, or Java files.
a simple text visualisation of error traces Summary: @public This adds a script `inferTraceBugs` to `infer/bin/` that 1. shows the list of bugs found by Infer to the user 2. asks which one to display 3. asks what max level of nested procedure calls to display 4. shows the error trace of that bug with some lines of context in the source code Also has some options to script more easily, for instance when calling it from inside an editor to navigate the sources. Test Plan: infer -o out -- gcc -c hello.c inferTraceBugs -o out also tested on OpenSSL. In emacs, run `M-x compile` from the directory where `infer-out` is, then enter custom compilation command: inferTraceBugs --select 0 --max-level max --no-source Then navigate the trace with `M-g n`.
10 years ago
*inferTraceBugs* : Python script to explore the error traces in Infer reports
[OSS] Adding FILES.md
10 years ago
## Helper commands
The rest of the commands in infer/bin/ are not meant to be called directly, but are used by the top-level commands above.
*InferJava* : Binary containing the Java frontend.
*InferClang* : Binary containing the clang frontend.
*InferAnalyze* : Binary containing the backend of Infer that performs the analysis.
*InferPrint* : Binary that prints reports about the analysis such as the specs of methods and a list of bugs found.
*inferJ* : Command for running the analysis of Java files.
*BuckAnalyze* : Command for running the analysis of Java projects compiled with Buck.
*inferlib.py* : Python libraries for the other scripts.
*utils.py* : Python libraries for the other scripts.
*jwlib.py* : Python libraries for the other scripts.