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 30e2cf7114 Revive the "call by procedure name" mechanism for Java ... Summary: public In the case of Java, the name of the method is enough to lookup the summary of the callees and run the symbolic execution. This revision separates the case of method call in Java and in C, C++ and Objective C. Most of the code for executing method calls was Clang specific and this is an intermediate step to be able to run the capture and analysis on demand. Reviewed By: sblackshear Differential Revision: D2809171 fb-gh-sync-id: da62dce		9 years ago
..
capture	refactoring command line options for debugging	9 years ago
__init__.py	move python code to infer package	9 years ago
analyze.py	Revive the "call by procedure name" mechanism for Java	9 years ago
config.py	Fixing a couple of broken things in the script to compare Infer reports	9 years ago
issues.py	Introducing the DIRECT_ATOMIC_PROPERTY_ACCESS	9 years ago
jwlib.py	move paths constants to config.py	9 years ago
source.py	cleanup print_errors()	9 years ago
utils.py	compatibility with older python (eg 2.7.3)	9 years ago