Commit Graph

991 Commits (1d9d7a3ee06374a04224c16a49e1d100ab18666c)

Author SHA1 Message Date
Dino Distefano 5bb41cc18c Removing predicates _strict 8 years ago
Dino Distefano 3c6f53c896 Adding predicate to get return type of a method and start a new parser for types 8 years ago
Sam Blackshear a02b37a03c [quandary] allow custom sources/sinks in C++ 8 years ago
Mehdi Bouaziz 3131660ede [inferbo] Model-like test for vector 8 years ago
Andrzej Kotulski c1147710ba [C++] Store class template name without its template arguments 8 years ago
Sam Blackshear 7b44236874 [thread-safety] remove hacky special case for Builder's 8 years ago
Andrzej Kotulski 462220ce3e [typ] Print type qualifiers in Typ.pp_full 8 years ago
Andrzej Kotulski aefbbe8680 [clang] Translate type qualifiers into Sil 8 years ago
Jules Villard 1b0ee6fbc3 [clang] add sizeof static value to translation 8 years ago
Peter O'Hearn 3db1f9e94c [threadsafety] Treat clone() as aquiring ownership 8 years ago
Mehdi Bouaziz 2dbde13335 [inferbo] Use Logging for logging 8 years ago
Martino Luca 233d6a53c0 [Infer] Emit potential exception lines into qualifier's message 8 years ago
Jeremy Dubreil c0c813c657 [infer][java] only report one annotation reachability issue per end of call stack 8 years ago
Sam Blackshear 3c0cf115b3 [quandary] add option for parsing endpoints from inferconfig 8 years ago
Sungkeun Cho 7212890846 [Bufferoverrun] More prune to make some nodes unreachable 8 years ago
Sungkeun Cho b4b32f8d3e [Bufferoverrun] set uninitialized values in array as top 8 years ago
Sam Blackshear a4f2d99be9 [quandary] a few more ContentProvider sinks 8 years ago
Jules Villard f3d2bd7c08 [subcommands] support subcommands without leading -- 8 years ago
Jules Villard 31a6aba3c2 [siof] enable SIOF checker only when new --siof option is passed 8 years ago
Mehdi Bouaziz d20d71da50 [bufferoverrun][tests] Move bufferoverrun cpp tests to their own directory 8 years ago
Sam Blackshear 20aff78b36 [quandary] ContentProvider Uri's as sources/files as sinks 8 years ago
Kihong Heo 9cad51d00a [Bufferoverrun] add vector test for cpp 8 years ago
Sam Blackshear 3024d9aed2 [quandary] more IPC sources 8 years ago
Sam Blackshear bcbb032052 [quandary] WebView.postUrl is a sink 8 years ago
Sam Blackshear 3c7361a83d [thread-safety] assume findViewById returns ownership 8 years ago
Sam Blackshear b0216035f4 [frontend] don't treat Sawja-generated ternary operator vars as SSA tmps 8 years ago
Sam Blackshear 1f9c2cde85 [thread-safety] clean up error message printing 8 years ago
Peter O'Hearn 4c2ef788a1 [infer][threadsafety] Use disjunction in the join for threaded 8 years ago
Jules Villard 724a592c34 [toplevel] do not read inferconfig location from the command line 8 years ago
Jules Villard 652cf81dab disable flaky generic model test 8 years ago
Sam Blackshear 00f948e924 [quandary] don't add callee-local state to the caller 8 years ago
Sam Blackshear 92011790c2 [quandary] optimize handling of unknown code by adding notion of 'taintable types' 8 years ago
Sam Blackshear d7f39970d1 [thread-safety] report both a read and write stack trace in R/W race reports 8 years ago
Dino Distefano 7cef8ae3b5 Making AL distinguish class methods from instance methods 8 years ago
Andrzej Kotulski 62d1d74d74 [Typ] Change Typ.pp_full to not include class keywords 8 years ago
Andrzej Kotulski fc7b427126 update fcp 8 years ago
Andrzej Kotulski 5503487704 [C++] Introduce mechanism to write generic models 8 years ago
Sam Blackshear 899cfadfbd [access paths] don't compare types of bases 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
Andrzej Kotulski 21af28619f [C++] Use annotate attribute instead of deprecated 8 years ago
Sam Blackshear 88430c3e51 [quandary] make index field optional for custom sinks specified in JSON 8 years ago
Sam Blackshear 615489a619 [thread-safety] don't report on protected reads 8 years ago
Dino Distefano 3ebf8c3277 Added the capability to import macros files in AL 8 years ago
Sam Blackshear c255823673 [quandary] clean up `Intent` sinks 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
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
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 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 eccc3a8e4e [thread-safety] move reporting of unprotected reads into aggregation function 8 years ago
Sam Blackshear 5130952ee8 [thread-safety] move reporting of unprotected writes into aggregation function 8 years ago
Sam Blackshear 0f6439cf3c [thread-safety] report on write outside sync, read inside sync races 8 years ago
Sam Blackshear d5ed44994f [thread-safety] new SynchronizedCollection annotation 8 years ago
Dino Distefano 40e63aa42c Added the capability to define macros in AL 8 years ago
Andrzej Kotulski 5cfde325fd [C++] Fix matching of qualified cpp names 8 years ago
Jeremy Dubreil 0f70ca02e3 [infer][java] Simplify the abstract domain for the annotation reachability checker 8 years ago
Sam Blackshear 6a39585999 [thread-safety] treat non-interface methods with no summary as angelic 8 years ago
Sam Blackshear 31069dd1a7 [quandary] remove assignments to formals from summaries 8 years ago
Jules Villard 4ec3690413 [tests] add a `replace` target to all tests 8 years ago
Andrzej Kotulski 4da4949049 [clang][AST] Fix wrong type in translation of NoOp cast and MaterializeExpr 8 years ago
Peter O'Hearn c52054d3d1 [threadsafety] More races with main thread 8 years ago
Jules Villard 22c3c26359 unprout 8 years ago
Sam Blackshear 08a7f57731 [thread-safety] warn on private methods marked ThreadSafe 8 years ago
Sam Blackshear 68af2afb77 [quandary] more tests 8 years ago
Mehdi Bouaziz f65ac4f094 [infer] std::mutex model to detect simple double lock 8 years ago
Jeremy Dubreil 707d514386 [infer][java] do not report `return not nullable` on lambdas 8 years ago
Andrzej Kotulski d4e9f0de64 [Makefile] Print duplicate symbols to separate file, not stderr 8 years ago
Jules Villard 86656b2db0 [tests] make sure buck-clang-db test doesn't use the Buck cache 8 years ago
Sam Blackshear e7e32b038b [thread-safety] classify protected-if reads/writes in callees as protected when a lock is held in the caller 8 years ago
Martino Luca a7b947f971 Add support to format reports natively 8 years ago
Dulma Churchill 565ce2166d [ios] Translate nonnull annotations and take them into account in parameter not null checked issues. 8 years ago
Andrzej Kotulski c695616eff [Makefile][C++] Run c++ tests with native libs 8 years ago
Peter O'Hearn 089600bdcd [threadsafety] unsynched reading from main thread 8 years ago
Cristiano Calcagno 434cfbfb15 [eradicate] Add support for new annotation @PropagatesNullable 8 years ago
Sam Blackshear 779ec1f0ad [thread-safety] give full traces for read/write races 8 years ago
Sam Blackshear 9066e5bd08 [thread-safety] account for ownership via reflective allocation 8 years ago
Peter O'Hearn e023dddba2 [threadsafety] Races and non-races involving assertMainThread(). 8 years ago
Sam Blackshear 9e293eaa64 [thread-safety] add choice variables to support partial path-sensitivity 8 years ago
Jules Villard 0548b7bd5e [buck-db] add flavour more robustly 8 years ago
Dino Distefano df543b900b Making easier to specify subclassing 8 years ago
Jeremy Dubreil 047bb6796a [infer][threadsafety] Run ThreadSafety as part of the checkers 8 years ago
Jeremy Dubreil e23b04180e [infer][ondemand] run all the registered checkers in sequence 8 years ago
Sam Blackshear 60dac45461 [quandary] don't call read_summary on the current procedure while creating a trace 8 years ago
Cristiano Calcagno 5c9b61877a [Eradicate] Code cleanup and add test cases 8 years ago
Peter O'Hearn 5062ac3173 [thread-safety] Model assertManThread and assertHoldsLock 8 years ago
Jules Villard dac8906d86 [make] make sure makefile uses config-time values 8 years ago
Martino Luca 5448a95ce7 [Infer][Localise] Group all issue types in one place, and provide their human-readable representation 8 years ago
Andrzej Kotulski 24b56de0e9 Populate mangled file only if it's not empty 8 years ago
Andrzej Kotulski 6a02568982 [clang] Change procname file naming scheme 8 years ago
Jules Villard dba740632c [cli] deprecate multiletter short options 8 years ago
Sam Blackshear 56b057acb8 [thread-safety] assume formals of DI constructors are owned 8 years ago
Peter O'Hearn 11937cb076 [infer][threadsafety] model tryLock() for java.util.concurrent.locks.Lock 8 years ago
Andrzej Kotulski 6c67c850d5 [clang capture] Don't attach plugin when clang is invoked in preprocessor mode 8 years ago
Andrzej Kotulski 95a8ca2d3e [tests] Run build system tests with --no-failures-allowed 8 years ago