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 'ee206dbc12'
${ noResults }
infer_clone/FILES.md

23 lines
876 B
Raw Normal View History Unescape

[OSS] Adding FILES.md
10 years ago
#Files in infer/bin/
## Top-level commands
delete the deprecated script inferJ Summary: @​public The script inferJ is no longer used. Reviewed By: @sblackshear Differential Revision: D2501379
9 years ago
*infer* : Main command to run Infer. It's a python script. Check out the docs for instructions on how to use it.
[OSS] Adding FILES.md
10 years ago
*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.
delete the deprecated script inferJ Summary: @​public The script inferJ is no longer used. Reviewed By: @sblackshear Differential Revision: D2501379
9 years ago
*InferClang* : Binary containing the clang frontend.
[OSS] Adding FILES.md
10 years ago
delete the deprecated script inferJ Summary: @​public The script inferJ is no longer used. Reviewed By: @sblackshear Differential Revision: D2501379
9 years ago
*InferAnalyze* : Binary containing the backend of Infer that performs the analysis.
[OSS] Adding FILES.md
10 years ago
*InferPrint* : Binary that prints reports about the analysis such as the specs of methods and a list of bugs found.