3001 Commits (6d1d78bb60cae34c7c6c3102790fc38120080d50)
 

Author SHA1 Message Date
Martino Luca b956d2ddef [CTL] Initial version of a step-by-step debugger for CTL formulas
8 years ago
Andrzej Kotulski fc7b427126 update fcp
8 years ago
Dulma Churchill 830b185e6a [driver] Improvements to buck compilation database mode
8 years ago
Andrzej Kotulski 5503487704 [C++] Introduce mechanism to write generic models
8 years ago
Andrzej Kotulski a90525f627 [C++] Create notion of generic procname, it will be used to store specs of generic models
8 years ago
Sam Blackshear 899cfadfbd [access paths] don't compare types of bases
8 years ago
Dulma Churchill 6c3cc6fca4 [linters] Do not return a dummy ctl formula from the hardcoded linters
8 years ago
htxs 4933a22991 [infer][PR] Fix ValueError: unknown locale: UTF-8
8 years ago
Dulma Churchill 9a9dec4d96 [linters] Disable hard_coded linters in linters developer mode
8 years ago
Sam Blackshear 8e2863a598 [quandary] more detailed source and sink kinds
8 years ago
Sam Blackshear 52dbd129cd [quandary] don't complain about transferring extras between intents
8 years ago
Sam Blackshear 417ddb1bc0 [quandary] make params of WebViewClient methods sources where appropriate
8 years ago
Sam Blackshear 8c5b15f65b [thread-safety] report more warnings by inferring when state is accessed by methods marked `@ThreadSafe` and other methods.
8 years ago
Jules Villard 7a81fbc774 add stuff to CONTRIBUTING.md
8 years ago
Andrzej Kotulski 21af28619f [C++] Use annotate attribute instead of deprecated
8 years ago
Jules Villard cccefd6434 [driver] better user error messages
8 years ago
Dulma Churchill 142fe31fae [driver] Declare a clean command for xcodebuild with xcpretty
8 years ago
Dulma Churchill 15ede90c44 [driver] Add warning about nothing captured
8 years ago
Jeremy Dubreil 54547c9fd7 [infer][checkers] simplify the logic to invoke the repeated call checker
8 years ago
Jeremy Dubreil bf55514b85 [infer][checkers] Add a pretty print of the annotation reachability payload when printing summaries
8 years ago
Sam Blackshear 88430c3e51 [quandary] make index field optional for custom sinks specified in JSON
8 years ago
Jeremy Dubreil a7422cf227 [infer][backend] make the Map and Set of procedure names pretty printable
8 years ago
Sam Blackshear 615489a619 [thread-safety] don't report on protected reads
8 years ago
Jules Villard 93c3758717 [docker] revert accidentally bumped infer version
8 years ago
Josh Berdine 6d2a88ed64 Add --chunk to set per-procedure-parallelism chunk size
8 years ago
Jules Villard a3b3148100 bump version: 0.10.0 -> 0.11.0
8 years ago
Dulma Churchill f4bc0db2b4 [clang] Make capture with simple clang command be a method call
8 years ago
Dino Distefano 3ebf8c3277 Added the capability to import macros files in AL
8 years ago
Martino Luca 5321300896 Remove dead-code
8 years ago
Sam Blackshear c255823673 [quandary] clean up `Intent` sinks
8 years ago
Sam Blackshear afb26a9804 [thread-safety] add . to dummy fieldname
8 years ago
Sam Blackshear ff3159953d [thread-safety] don't report read-write races when the write is in a private or autogenerated proc
8 years ago
Andrzej Kotulski f598360786 [C++] Make QualifiedCppName.t reversed list
8 years ago
Jeremy Dubreil f5adab59ec [infer][checkers] Prevent the race conditions between the summaries passed as parameter to the checkers and the summaries from the specs table
8 years ago
Jeremy Dubreil 1cd4b4cc38 [infer][checkers] Do not run the reapeted call checker by default
8 years ago
Dulma Churchill 64791d1136 [driver] Bring clang capture from python to ocaml
8 years ago
Dino Distefano d32faf4f46 Replacing strings by a new data type for AL variables
8 years ago
Paco Estevez Garcia 5482f110c1 Add type path_exec to represent an skipped path of execution. Add logic to symExec to report skipped paths
8 years ago
Jules Villard 3ab6c43fb6 [tests] awesomize make output
8 years ago
Jules Villard 41d615c351 [lint] copyright linter lints Makefiles
8 years ago
Jules Villard 7210e79c57 [make] fix Makefile bug in building models
8 years ago
Jules Villard 5599f078ee [make] do not overwrite execs in infer/bin/ when testing byte compilation
8 years ago
Jules Villard dbb22aabc6 [gitignore] ignore infer-deps-* generated by build-infer.sh
8 years ago
Jules Villard cd421b4a5f [make] print @ commands when passed VERBOSE=1
8 years ago
Andrzej Kotulski fbddeba8a7 [clang] Don't inline global var initializers
8 years ago
Sam Blackshear a5ee1f155c [thread-safety] tests for thread-safe methods
8 years ago
Sam Blackshear a800908797 [thread-safety] fix de-duplication logic
8 years ago
Sam Blackshear f8aea424cf [thread-safety] use aggregated access table as results table
8 years ago
Sam Blackshear 912652b523 [thread-safety] use existing conflict detection for reporting R/W races
8 years ago
Sam Blackshear eccc3a8e4e [thread-safety] move reporting of unprotected reads into aggregation function
8 years ago