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.

jrm 22013a007b Buck integration: Infer should always use the javac out directory when running the analysis from the javac commands ... Summary: public In the case of Buck, the integration works by using the out directory of javac in order to store the analysis artifacts in the jar file. Making buck call: infer -o infer_out -- javac -d classes_out ... instead of every javac command is having no effect and is the same as Buck running: infer -- javac -d classes_out ... Reviewed By: sblackshear Differential Revision: D2822642 fb-gh-sync-id: b13e067		9 years ago
..
clang_wrappers	Turn off compiler all warnings to avoid compilation failures	9 years ago
java	[infer][models] Fixing InferAssume	10 years ago
python	Buck integration: Infer should always use the javac out directory when running the analysis from the javac commands	9 years ago
specs	initial synchronization	10 years ago
wrappers	move python code to infer package	9 years ago
xcode_wrappers	quote infer result dir shell variable	9 years ago