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

20 lines
666 B
Raw Normal View History Unescape

[OSS] Adding FILES.md
10 years ago
#Files in infer/bin/
## Top-level commands
Add OCaml toplevel driver executable Summary: This diff changes the toplevel 'infer' executable from the current python script to an OCaml binary. Currently this executable only parses command line arguments, sets up environment variables, and invokes the existing python script. This improves infer's command-line and configuration interface, since passing arguments to the frontends or backend no longer requires manually setting environment variables, and arguments for the toplevel can now also be specified in .inferconfig. Simplification and migration of functionality from the python script is left for the future. Reviewed By: martinoluca, jvillard Differential Revision: D3450662 fbshipit-source-id: 1b52302
9 years ago
*infer* : Main command to run Infer. Check out the docs for instructions on how to use it.
[OSS] Adding FILES.md
10 years ago
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.