Commit Graph

670 Commits (2a8bf53e9efbd1658eea2e8fbb11c96fbe870791)

Author SHA1 Message Date
Jeremy Dubreil 027bdc32e8 [infer][genrule] Add example of Buck DEFS macro to generate Infer analysis targets 8 years ago
Jeremy Dubreil a0b83ed693 [infer][test] The command should change directory outside the call to silent_on_success 8 years ago
Sam Blackshear 831786240a [quandary] ignore null assignments to return value in void functions 8 years ago
Jules Villard e5863f5420 [siof] handle constexpr constructors 8 years ago
Sam Blackshear e212183e7e [thread-safety] don't count accesses in methods of builder classes 8 years ago
Dino Distefano bd216f3205 Fixed problem with evaluation of sizeof which would give false positive 8 years ago
Jules Villard 9cc9cc101c [IR] add Static_local_var pvar kind and use it in clang 8 years ago
Andrzej Kotulski 0479720c91 [C++] Don't ignore header files passed in --changed-files-index 8 years ago
Andrzej Kotulski bd0f0cc7fc [DB] Don't fail hard when realpath fails 8 years ago
Sam Blackshear 4b98543d35 [traces] don't hang when unrolling a mutually recursive trace 8 years ago
Jeremy Dubreil 532621def1 [infer][tests] No longer rely on Infer being in the PATH for the genrule integration test 8 years ago
Sam Blackshear c1205c1453 [thread-safety] model ReadLock/WriteLock 8 years ago
Dulma Churchill 826accc21b [clang] Adding model for NSNumber boxing functions 8 years ago
Sam Blackshear 5743351906 [thread-safety] don't report thread safety violations due to calls to constructors 8 years ago
Jeremy Dubreil 7b884144b5 [infer][tests] More complete test cases for the models of the Java Integer class 8 years ago
Sam Blackshear 0972c8d262 [quandary] don't report FP's due to flow-insensitive traces 8 years ago
Sam Blackshear 3b161a3737 [thread-safety] interprocedural traces for thread safety checker 8 years ago
Sam Blackshear 579b982359 [thread-safety] Lay the groundwork for interprocedural trace-based reporting 8 years ago
Cristiano Calcagno 827d7c3d9c [backend][perf] Address top performance bottleneck from profiling the backend. 8 years ago
Sam Blackshear 01136cc326 [thread-safety] interprocedural analysis 8 years ago
Sam Blackshear 937ae12f29 [thread-safety] adding models for lock methods 8 years ago
Jeremy Dubreil cead43b731 [infer][genrule] run the genrule integration as part of the Buck integration test 8 years ago
Josh Berdine 0cf71c74ef Sort nodes when printing cfg to dot file 8 years ago
Jeremy Dubreil e269f2a3fd [infer][java] basic support to run Infer using Buck genrules 8 years ago
Andrzej Kotulski 9d6a6510e8 [clang] Translate everything coming from <X>.h files when translating <X>.cpp source 8 years ago
Andrzej Kotulski 6192cb98b4 [DB] Use realpath when calling source_file_from_abs_path 8 years ago
Sam Blackshear 9e9ca333f9 [thread-safety] use boolean domain to track locks 8 years ago
Andrzej Kotulski 0aa93c97bd [tests] Extend compilation database tests to handle multiple scenarios 8 years ago
Sam Blackshear ad5ff00dcd [quandary] making it easier to specify behavior for unknown functions 8 years ago
Andrzej Kotulski b6b7593cf6 [tests] Make project root infer/test/ for java tests 8 years ago
Andrzej Kotulski b0a0fbcc35 [tests] fix tests for open source 8 years ago
Andrzej Kotulski 2810740377 [tests] Make project root infer/test/ for clang tests 8 years ago
Sam Blackshear 935018ae9e [quandary] cheaper handling of unknown code 8 years ago
Dulma Churchill 8415b6c38b [backend] do not log analysis_stops in debug_exceptions mode 8 years ago
Dulma Churchill 616ee9276b [clang] Adding model for NSString length to avoid false positive npes. 8 years ago
Ryan Rhee 28b741e62c [componentkit] Compute Cyclomatic Complexity 8 years ago
Ryan Rhee ccb51912e1 [componentkit] Compute line count for main file 8 years ago
Ryan Rhee 661de290e7 [componentkit] Gate analytics behind flag 8 years ago
Dulma Churchill e8085d5996 [linters] Fix perf problem in the linters, added tests 8 years ago
Andrzej Kotulski 548918e524 [tests] extend compilation database test with changed-files-index options 8 years ago
Sam Blackshear bdfc7de48e [tests] fix buck integration tests 8 years ago
Sam Blackshear a6121a9fb0 [guarded-by] support `Classname.fieldname` syntax 8 years ago
Peter O'Hearn f2d86cb90c [GuardedBy] Model of trylock in ReentrantLock.java 8 years ago
Sam Blackshear 708c0bf1f8 [backend] eliminate phantom spaces in printing of types 8 years ago
Jules Villard b34e8fe192 [tests] fix clean targets 8 years ago
Peter O'Hearn 733646ba09 [GuardedBy] Fix Subclassing False positive 8 years ago
Sam Blackshear adacee51e2 [quandary] switch to --issues-tests printing 8 years ago
Jules Villard 17179d4275 [siof] take POD into account 8 years ago
Jules Villard b3209e2c18 [tests] convert clang_compilation_db test to Makefile 8 years ago
Jules Villard 15d80e04df [tests] record summary of bug traces 8 years ago