Commit Graph

658 Commits (98557bb1fd0e11a7f20d914c6761f8137c96fa89)
 

Author SHA1 Message Date
Jules Villard 98557bb1fd compatibility with older python (eg 2.7.3) 9 years ago
Jules Villard 7a0c9c88bd add test target 9 years ago
Jules Villard ea4be060f6 add --disable-java-analyzers option 9 years ago
Jules Villard 03ccd9d5f3 better instructions for first-time users 9 years ago
Sam Blackshear 44de91f84b logging to stderr/stdout all the time 9 years ago
Jules Villard edcc984158 compute version number inside configure script 9 years ago
Samuel Blackshear 546eaa0eaa only log to analyzer_err and analyzer_out files in developer mode 9 years ago
Dulma Rodriguez 742cb4146e Remove property of maps 9 years ago
Andrzej Kotulski 0bf6333708 Remove parent_line_number information from cfg translation 9 years ago
jrm 0def5c4111 No longer enforce the subtyping rule for the @PerformanceCritical annotation 9 years ago
Sam Blackshear df97489aa1 closing the classpath when we're done with it 9 years ago
Josh Berdine 63b57790f9 Fix indentation of multiline copyright comment 9 years ago
jrm d390568aed to avoid redundancy, no longer print the name of the class when printing the name of a constructor 9 years ago
Sam Blackshear 53167d98cd refactoring command line options for debugging 9 years ago
Josh Berdine b729c93dd5 Add model of java.lang.Class.getResource 9 years ago
Jules Villard 01aab39692 add shasum dependency 9 years ago
Jules Villard 51f0f89f9d add --disable-c-analyzers option 9 years ago
Jules Villard 8ddf621ca3 check if the C compiler is recent enough 9 years ago
Jules Villard ecc6e763d4 compile plugin from toplevel Makefile 9 years ago
Josh Berdine d99b6ca492 Use doesNotContain instead of containsExactly none 9 years ago
Andrzej Kotulski 6d9c5c684e Fix naming problems with template methods 9 years ago
Jules Villard 4d23334abd add version.mli 9 years ago
Jules Villard a31d45b4f7 do not use ocamlbuild -clean, do not print rm commands 9 years ago
Jules Villard 84ed44fa55 revert accidental downgrade of the facebook-clang-plugins 9 years ago
Jules Villard 85ad874bf4 fail if ocamlfind is not installed 9 years ago
Dulma Rodriguez fcd040ff8a Don't use the property of maps for finding properties in the frontend checkers 9 years ago
Dulma Rodriguez 339cf56eb9 Replace query for getter and setter with info from the procdesc rather than the property map 9 years ago
Jules Villard 2565bb1438 fix open-source taint models 9 years ago
Jules Villard b8c16ddb27 fix typo 9 years ago
Jules Villard 1e75ee6789 update build script and instructions 9 years ago
jrm 24d28c6858 no longer fail when the type of an execption is not found in the type environement 9 years ago
Dino Distefano c8b80f2435 Extended framework for taint analysis 9 years ago
Sam Blackshear c6b8682dd6 compute taint errors in single pass over the set of atoms 9 years ago
Jules Villard 731c6cdb0a add interprocedural Java example 9 years ago
Cristiano Calcagno 1666d7f353 Model Map.put() alongside Map.containsKey(). 9 years ago
jrm 3ba477faff add more special characters that can appear in the list of filenames generated by Buck 9 years ago
jrm 15eb16723b non-functional refactoring of the Procname module 9 years ago
Sam Blackshear e0cf26e5c3 adding cf_interface flag--prereq for experimenting with dynamic dispatch for interfaces only 9 years ago
Sam Blackshear 99f79587cd adding ContentValues as sink 9 years ago
Josh Berdine d66261a1f4 Do not reuse Undef function values 9 years ago
Jules Villard c09db829f0 bump dependencies 9 years ago
Andrzej Kotulski 5b4df5566c Make all internal pointers convertible to ints 9 years ago
Dulma Rodriguez a54b2d03f6 Remove unused code from ast_expressions 9 years ago
Dulma Rodriguez 515ce95a98 Remove unused code in ObjCProperty_decl 9 years ago
Dulma Rodriguez b51da4f050 Remove the concept of generated method from the frontend and proc attributes 9 years ago
Dulma Rodriguez 1e5b8aeee7 Adding builtin setters and using them by skip 9 years ago
Andrzej Kotulski 173ee91844 Support template methods 9 years ago
Andrzej Kotulski b544be7bef Use PriorityNode.compute_results_to_parent in init_expr_trans 9 years ago
Andrzej Kotulski cd77e41fbb Simplify PriorityNode.compute_results_to_parent 9 years ago
Andrzej Kotulski 84549f691d Support decl_stmt in switch stmt 9 years ago