Commit Graph

3276 Commits (c6c7411e05806f2c8894b25f2f4eaae01918be20)

Author SHA1 Message Date
Andrzej Kotulski 61aa7aaae5 Move Fieldname module inside Typ 8 years ago
Jia Chen a8ad84b9d3 Prevent addresses of local vars from appearing in function summary 8 years ago
Kihong Heo 7176fc936a [inferbo] fix the semantics of unknown library calls 8 years ago
Dino Distefano 4a5d0e0b55 Adding ability to express properties on the hierachy of protocols 8 years ago
Jules Villard cd83a24381 [merge] only try to read/create multilink files when --merge is specified 8 years ago
Jia Chen 806585db26 Fix aliasing rules about local variables introduced before 8 years ago
Jeremy Dubreil e200b6cdcc [infer][java] Simplify some of the models 8 years ago
Dulma Churchill 7d680b3b0c [linters] Add an optional doc_url field to linters to specify the url to some documentation online. 8 years ago
Sungkeun Cho f8b8dd1abb [infer] Parse unsigned short (uint16_t) as IUShort 8 years ago
Dulma Churchill 2d1a8f4940 [linters] Remove leftover code related to paths 8 years ago
Jules Villard f38462407e [utils] make `read_file` return a `Result.t` 8 years ago
Jules Villard b158f5cd30 [reportdiff] add filtered out bugs to preexisting 8 years ago
Dulma Churchill 72802024b3 [linters] Fix unavailable api check to take the avaiability attribute into account when it's not the first one in the list. 8 years ago
Jia Chen a6757be036 Force emitting prune node for C++ comparison expressions 8 years ago
Jia Chen f7927cadda Teach the frontend to recognize STL throw wrappers 8 years ago
Jia Chen 62cfd554c7 Teach the Prover additional aliasing rules about local variables 8 years ago
Sam Blackshear cb95bde659 [labs] clean up lab document 8 years ago
Sam Blackshear 4f54fabf4f [absint] move the framework bits/utilities of Infer.AI to a separate directory from the clients (checkers ~= transfer functions + domains) 8 years ago
Mehdi Bouaziz 63fcddb4a7 [inferbo] Do not store dummy idents into stack 8 years ago
Sungkeun Cho 00390d367a [inferbo] Refactor new symbol generation 8 years ago
Sungkeun Cho f45f4cb4c0 [Bufferoverrun] symbolic value for parameter 8 years ago
Sungkeun Cho 52c0caafaf [inferbo] Declare unsigned typed parameters 8 years ago
Sungkeun Cho 1f721d0824 [inferbo] Revise modulo semantics for positive values 8 years ago
Kyriakos Nikolaos Gkorogiannis b4f6308495 [thread-safety] Restrict propagation of attributes in an assignment; treat ownership propagation more strictly. 8 years ago
Daiva Naudziuniene 0a786e9019 [ThreadSafety] Do not report if all accesses are unprotected. 8 years ago
Andrzej Kotulski 4ce997c8f0 [clang] blacklist -profile-guided-section-prefix 8 years ago
Mehdi Bouaziz 7e9f859896 More detailed error message for typ_get_recursive_flds 8 years ago
Mehdi Bouaziz aad66bc6f6 [inferbo] More tests 8 years ago
Jia Chen 108c865b20 [infer][checker] Put AnnotationSpec.report into actual use for annotation reachability checker 8 years ago
Jia Chen 1edcbce35b Whitelist std::swap in C++ analyses 8 years ago
Jeremy Dubreil 0806ac067b [infer][java] use a multi-target Buck project to test the Buck integration for Java 8 years ago
Dulma Churchill 855b87e5d9 [linters] Remove internal error warning that is not really an error 8 years ago
Jules Villard da82d94a12 [report] restore "no issues found" output 8 years ago
Dulma Churchill 45a8e48e00 [linters] Adapt the debugger and linters-developer-mode to the new logs 8 years ago
Martino Luca 04db7b6db2 Simple refactoring of issues.py 8 years ago
Marco Concetto Rudilosso d196c03434 [infer][PR] JMain link is broken 8 years ago
Martino Luca 20a6131ccf Compute differential of certain files only, if desired 8 years ago
Daiva Naudziuniene 336b7182c3 [ThreadSafety] Releasing lock at the end of the procedure if it has a lock_guard field. 8 years ago
Jules Villard e87e2b007d [AI] escape html output 8 years ago
Sam Blackshear 1f153d3e3f [absint] kill `AbstractInterpreter.Interprocedural` module 8 years ago
Dulma Churchill ad7028cb49 [printing] Make sure that error messages end in a dot. 8 years ago
Jules Villard 0554da99e7 [perfstats] do not register the same file twice in the same process 8 years ago
Jules Villard a84df4673a [flock] truncate locked files explicitly to prevent race conditions 8 years ago
Dulma Churchill 47f1c6ffac [linters] Global paths 8 years ago
Mehdi Bouaziz f8eb9c2466 @\n only for format strings 8 years ago
Jeremy Dubreil 29d42a5e32 [infer][backend] Only call the prover to check that an expression being dereferenced is not null after checking if the expression is associated with @Nullable 8 years ago
Martino Luca acb7cf8dfe Remove unused `--filter-report-paths` argument 8 years ago
Mehdi Bouaziz 69e0063593 [vector] Define _LIBCPP_VECTOR / _GLIBCXX_VECTOR 8 years ago
Sam Blackshear 2a3032d0e3 [absint] rename confusing compute_and_store_post function 8 years ago
Dulma Churchill 99a0f894b6 [linters] Add option to blacklist the unavailable api check for some files 8 years ago
Sam Blackshear 03703e316c [thread-safety] understand that Pools.Pool.acquire returns ownership 8 years ago
Dulma Churchill d4d8db4025 [linters] Adding some missing dots to the suggestion sentences in the default linters. 8 years ago
Andrzej Kotulski 1c8ce44042 [Fieldname] Kill equal_modulo_parent 8 years ago
Sam Blackshear 5a420f7aee [quandary] only report code injection via endpoints on strings 8 years ago
Kihong Heo 8567afdf55 [inferbo] add instantiation for parameters (call-by-ptr/ref) 8 years ago
Daiva Naudziuniene 5938c6331d [ThreadSafety] Extending lock model with lock_quard. 8 years ago
Dulma Churchill dfca0cdcf7 [linters] Introduce whitelist and blacklist path, also multiple paths 8 years ago
Jia Chen 938425020d [infer] Do not treat static locals as stack-allocated in the biabduction analysis 8 years ago
Sam Blackshear 4fe9110ad3 [quandary] SQL sinks 8 years ago
Martino Luca f2728f5592 Suppress warnings on SourceFile creation, if desired 8 years ago
Jules Villard e8ce7d7cad [infer] fix make clean on the buck_flavors_deterministic test 8 years ago
Kyriakos Nikolaos Gkorogiannis cfe79cf1ca [thread-safety] Add SimplePool as container, mild refactoring of container handling. 8 years ago
Josh Berdine fdad9f552b [threadsafety] Check @ThreadSafe annotation per class instead of per file 8 years ago
Martino Luca 392ae928f1 Add unit folder to merlin 8 years ago
Don Stewart 35ac57c378 Typo in message. 8 years ago
Sam Blackshear 3cd7fa1c62 [quandary] remember name of tainted parameter for endpoint source 8 years ago
Jeremy Dubreil 7dd7b460e0 [infer][java] skip reports on generated methods 8 years ago
Jeremy Dubreil c51458f7a8 [infer][ondemand] no longer use deprecated reporting function for the suggest nullable checker 8 years ago
Jeremy Dubreil cddd1b4ca2 [infer][ondemand] rename the logging functions to outline the deprecated ones 8 years ago
Sam Blackshear 7b8eef52f8 [thread-safety] fix bad read/write race traces 8 years ago
Jia Chen 73aa7fe212 [infer] Initial attempt to cleanup and generalize the annotation reachability checker 8 years ago
Sam Blackshear 08586f3e81 [checkers] logging to summary in printf args checker 8 years ago
Sam Blackshear d4ee640dd6 [thread-safety] better error messages 8 years ago
Martino Luca b7d0c3d45b Limit creation of TV links 8 years ago
Kyriakos Nikolaos Gkorogiannis bee8e21633 [thread-safety] Add model and tests for SimpleArrayMap container. 8 years ago
Andrzej Kotulski cf8d5483db [C++] Add option to exclude header models from compilation 8 years ago
Jules Villard bfccb5222e [buck] do not generate non-deterministic data inside buck-out 8 years ago
Jules Villard 8f50c9dd3b [buck] do not pass unused --buck to python 8 years ago
Dulma Churchill 57dd45dd82 [linters] Improve the error message in implicit cast error 8 years ago
Sam Blackshear 0714b93b14 [quandary] use sink index info when expanding traces 8 years ago
Jules Villard 334c68771b [tests] add test for Buck flavors integration 8 years ago
Daiva Naudziuniene 093a00af9b [ThreadSafety] Do not report for c++ classes that do not have mutex member. 8 years ago
Jules Villard d1ef5ae27f [log] fix issue with --print-logs 8 years ago
Jules Villard ba5e04cf39 [clang] save temporary clang commands into /tmp 8 years ago
Dino Distefano 55da0055c9 Predicate for `using namespace` 8 years ago
Jeremy Dubreil 8917536944 [eradicate] model System.getenv as @Nullable 8 years ago
Jia Chen bbed46de47 [infer][java] Suggest @Nullable on fields that are compared to null 8 years ago
Sam Blackshear 24d541d403 [quandary] move some utility functions for manipulating footprint vars/access paths into appropriate modules 8 years ago
Sam Blackshear 3135560283 [quandary] move trace expansion logic into Quandary 8 years ago
Jules Villard b449b8c735 [wibble] refactor error output 8 years ago
Jules Villard 6435e6b001 [build] put clang plugin files inside src/clang_plugin/ instead of src/clang/ 8 years ago
Jules Villard e24bffef98 [police] open IStd automatically 8 years ago
Jules Villard 7a1f1d93ad [log] --stats sets debug level to 1 8 years ago
Sam Blackshear 97bf3324c8 [quandary] add indexes to sinks 8 years ago
Sam Blackshear 2089cd8a34 [thread-safety] container models for SparseArray/SparseArrayCompat 8 years ago
Sam Blackshear 56201964ca [cleanup] make `PatternMatch.is_subtype` reflexive 8 years ago
Jules Villard 93cc3266e8 [log] log to a single file with different categories and debug levels 8 years ago
Jules Villard 03bd3f1df1 [log] append ERROR in front of `failwith` toplevel messages 8 years ago
Jules Villard b50f9f2695 [police] open IStd everywhere 8 years ago
Jules Villard a121e4bb01 [oops] do not report in analysis sub-processes 8 years ago
Jules Villard 6f0911c157 [CLI] do not generate --command options by default 8 years ago
Peter O'Hearn ddcbb419be [threadsafety] Thumbs up step 1 8 years ago
Jules Villard 644066f4be [driver] make clear when the results dir becomes available 8 years ago
Jules Villard 5fae8ca712 [CLI] deprecate `-a capture/compile` and `-- analyze` 8 years ago
Jules Villard 1727bd4125 [clang] clang pointer map becomes a clang pointer hashtbl 8 years ago
Sam Blackshear aa50d90a7d [quandary] get rid of report_reachable bool in taint specifications 8 years ago
Sam Blackshear 3e45a249d5 [thread-safety] fix infinite loop in quotient_access_map 8 years ago
Mehdi Bouaziz ec7b096ff6 [inferbo] Add warnings and errors for unreachable code 8 years ago
Kyriakos Nikolaos Gkorogiannis 7be1bfa89f [threadsafety] Fix some FPs added by may-alias analysis. 8 years ago
Jia Chen c0e20e0880 Propagate C++ noexcept annotation from frontend to backend 8 years ago
Jia Chen 2720716b95 Prettier error message for NullabilitySuggest 8 years ago
Sam Blackshear 7d828fff93 [quandary] make it possible to specify code that should be modeled even if we have a summary 8 years ago
Jules Villard 84b9901b22 [driver] run analysis and reporting for "analyze" commands 8 years ago
Dulma Churchill 03bdf0fe2c [linters] Cast from pointer to integer 8 years ago
Jules Villard 2608ec67c3 [CLOpt] add option `f` argument to a bunch more `mk_*` functions 8 years ago
Jules Villard 0404641ab3 [utils] move parts of utils into their own submodules to avoid future dependency cycle 8 years ago
Daiva Naudziuniene f4b9bb3e3b [ThreadSafety] Do not report unprotected writes for c++. 8 years ago
Mehdi Bouaziz 5bed343280 [commandline] Fix error option '' expects one of 8 years ago
Jia Chen 6fc287656f Transitively track null assignment in NullabliltySuggest 8 years ago
Martino Luca 2e8e5733f6 [AL] Load AL files from a directory 8 years ago
Jules Villard f9c146ced1 [log] pardon my french 8 years ago
Mehdi Bouaziz 70c4aec26e [inferbo] Fix vector model 8 years ago
Dino Distefano 0809279b3b Extending type parser to deal with typedefs 8 years ago
Sam Blackshear 4ef487928c [quandary] make passthroughs optional 8 years ago
Sam Blackshear 38d3946c71 [quandary] support for basic return value sanitizers 8 years ago
Andrzej Kotulski 5522365479 [IR] Add Typ.TVar variant to Typ.desc 8 years ago
Mehdi Bouaziz 2d73c71845 [debug] Links to non-visited nodes 8 years ago
Dulma Churchill 46a539df82 [linters] Specify path in linters 8 years ago
Kihong Heo 485814a75a [Inferbo] remove redundant alarm message 8 years ago
Mehdi Bouaziz cc6b0f1e0b [inferbo] Print skipped warnings only with bo_debug >= 4 8 years ago
Mehdi Bouaziz 8dd041c5af [inferbo] Moving stuff 8 years ago
Mehdi Bouaziz 5d9291b911 [inferbo] Some more debug 8 years ago
Mehdi Bouaziz f521e5fbc0 [inferbo] Models for exit, fgetc 8 years ago
Mehdi Bouaziz c9803a6481 False negative tests for std::timed_mutex 8 years ago
Andrzej Kotulski c6e2046848 [C++] Fix various issues with unique_ptr model 8 years ago
Mehdi Bouaziz b2e03b1734 [inferbo] New test for call by ptr/ref 8 years ago
Josh Berdine bf504c5b70 Minimal thread safety analysis for C++ 8 years ago
Josh Berdine b4b45236fd [threadsafety] Relax javaism of may_alias 8 years ago
Jia Chen 07c6fbef81 Added an initial implementation of a checker that suggest the use of @Nullable 8 years ago
Sam Blackshear 1d9d7a3ee0 [guarded-by] fix error message 8 years ago
Dulma Churchill 470a409d76 [clang] Blacklist retain cycles for now 8 years ago
Peter O'Hearn 34ae89cf35 [threadsafety] Model more xThreadUtil methods 8 years ago
Kihong Heo de32a6728e [inferbo] remove bottoms in pointer arithmetic 8 years ago
Don Stewart 1a41d9dc89 Add location information to boolean conditions in paths. Improves comprehension a little 8 years ago
Kyriakos Nikolaos Gkorogiannis 750cc65092 [threadsafety] fix false negative on locations that may alias. 8 years ago
Mehdi Bouaziz 1486b92084 [inferbo] Renamed a few Itv values 8 years ago
Dulma Churchill 43d7428e8f [linters] Linters options in the help 8 years ago
Peter O'Hearn 0c8222cb2f [threadsafety] Model isMainThread() 8 years ago
Dulma Churchill f5d3870485 [linters] Adding a new error type like 8 years ago
Sam Blackshear 927b08346e [SRI summer school] skeleton code for lab 8 years ago
Jia Chen c8cad5b0f1 remove TODO file 8 years ago
Peter O'Hearn 0abceb730b [threadsafety] record threaded information alongside accesses and use disjunction for thread join 8 years ago
Martino Luca d5fbb298eb Skip compilation of certain source files, if desired 8 years ago
Jules Villard 71f20908a1 [logging] revert to using `assert false` since we catch `Assert_failure` in some places 8 years ago
Jules Villard bee1bbc26b [build] clean out stale binaries 8 years ago
Dulma Churchill a7cff528fa [linters] Disable components factory function rule 8 years ago
Jeremy Dubreil 16b87a3675 [infer] more cleanup for the tracing mode options 8 years ago
Sam Blackshear 6af61d099e [HIL] Print HIL instructions in the debug HTML 8 years ago
Mehdi Bouaziz b8c677497a [checkers] Kill Localise.checkers_dead_code 8 years ago
Sam Blackshear 54f1122bc0 [quandary] allowing specification of C++ endpoints 8 years ago
Martino Luca 34a0efd626 Add optional field in serialized output 8 years ago
Dino Distefano 4e7c7f30c1 Extended transitions to universal quantified operators 8 years ago
Dulma Churchill 31f189532c [buck capture] Remove the argument keep-going from the buck targets command 8 years ago
Dino Distefano e77ca182a5 Added a lint for namespace 8 years ago
Jules Villard 741e527826 [console] print progress-like messages on stderr 8 years ago
Jules Villard b964f6ab74 [CLI] options to unset default checkers and to print active checkers 8 years ago
Jeremy Dubreil 441bf7131a [infer][CLI] remove the Tracing analyzer option and only rely on the --tracing option for the biabduction analysis 8 years ago
Jeremy Dubreil d470ed6edc [infer][models] model java.io.BufferedReader as a wrapper 8 years ago
Jules Villard 500f0fd5d5 [analyze] same parallelisation for `infer-analyze` and `infer -- analyze` 8 years ago
Dulma Churchill b196eaa1bd [clang] Collect captured folders in buck-out when keep-going is passed 8 years ago
Dino Distefano bdd2395be6 Adding ability to get type of paramters. 8 years ago
Sam Blackshear 45aaa4da93 [quandary] gflag globals as source 8 years ago
Sam Blackshear 32ead76a3b [absint] make Set and Map functors take an ordered type 8 years ago
Dulma Churchill 7c1a01b186 [clang] Make keep going work with the infer-capture-all integration 8 years ago
Dino Distefano cfd0a9b038 Extending type parser to parse ObjC classes. 8 years ago
Jeremy Dubreil 11ebad7cea [infer][checkers] finaly remove the unecessary 'checkers' flag 8 years ago
Jeremy Dubreil 5b495c6a38 [infer][absint] Functor to create a domain with Top 8 years ago
Jeremy Dubreil 64ab959486 [infer][java] model the Eradicate assertion utils for the biabduction analysis 8 years ago
Jeremy Dubreil 735e906145 [infer][java] Force the Buck integration for Java to not use the Buck daemon 8 years ago
Jeremy Dubreil 1fbc4a1b22 [infer][java] remove the temporary file created to store the list of Buck targets 8 years ago
Sam Blackshear abc5642c83 [quandary] tests for string functionality 8 years ago
Jules Villard 4266360606 [build] taking the .mli into account actually broke the build 8 years ago
Jules Villard 8dacc2df94 [build] move ctl_parse_types.mli to the right place 8 years ago
Jules Villard 9c3e92d9fd [toplevel] small changes in the stdout output 8 years ago
Jules Villard 252c78bb0e [clang] initialize dynamically-size stack-allocated arrays 8 years ago
Sam Blackshear d5f4784e61 [quandary] add more exec sinks 8 years ago
Jeremy Dubreil 73e9963b76 Revert "[infer][checkers] remove the unecessary 'checkers' flag" 8 years ago
Jeremy Dubreil 7d0375d9ee [infer][checkers] add missing command line flags to enable/disable the checkers enabled by default 8 years ago
Jeremy Dubreil 5773a903c6 [infer][checkers] remove the unecessary 'checkers' flag 8 years ago
Jeremy Dubreil f43e18b7b6 [infer][checkers] add an option to enable the Fragment View Checker 8 years ago
Jeremy Dubreil a56ac06c7e [infer][tests] update the expected test results for bufferoverrun analysis 8 years ago
Kihong Heo 984a81413a [inferbo] Top for unanalyzed variables (e.g., global variables) 8 years ago
Sam Blackshear d446f0f800 [quandary] clipboard as a source 8 years ago
Jeremy Dubreil 3b9aa9ad15 [infer][checkers] filter out the experimental issues instead of using a whitelist 8 years ago
Jules Villard 06dfadecb7 [pmd] handle failure of decoding procedure ids as Java methods 8 years ago
Jules Villard 93ec47a5f4 [IR] add stride to array type 8 years ago
Sam Blackshear 9910391144 [quandary] improved handling of unknown code in C++ 8 years ago
Sam Blackshear b7afa4727d [hil] fix crash when translating C code that indexes string literals like arrays or does pointer arithmetic 8 years ago
Sam Blackshear 4e97d1e991 [quandary] add support for C++ parameter passing modes that differ from Java 8 years ago
Sam Blackshear 30e629c319 [hil] rename Write to Assign 8 years ago
Mehdi Bouaziz 491cc2587b [infer] More mutex models 8 years ago
Jules Villard 801c605c26 [CLI] switch to infer-<command> (symlinks) executables 8 years ago
Jules Villard 81177dc711 [CLI] skip anon args for `infer clang ...` 8 years ago
Jules Villard 5881b676a2 [CLI] parse contents of @argfiles 8 years ago
Jules Villard 6c3845257f [manual] list all supported options in `infer --help` and `infer --help-full` 8 years ago
Jules Villard d508b0880d [manual] add --help-format option 8 years ago
Jules Villard 709376945f [config] migrate help to use man pages 8 years ago
Jules Villard ebd5ec0013 [archeology] remove infer/src/checkers/sql_examples/ 8 years ago
Dino Distefano 99552edd7b Extending type parser to parse pointer types. 8 years ago
Jeremy Dubreil 8de5b7b85c [infer][checkers] fix performance issue when running the biabduction analysis as a checker 8 years ago
Jeremy Dubreil b5b12ba9ff [infer][checkers] add the option to run the biabduction analysis as a checker for Java 8 years ago
Dulma Churchill 68f957ac97 [linters] Print name and type of the node in the debugging 8 years ago
Dulma Churchill d04a03b8e3 [linters] Remove redundant predicate 8 years ago
Dulma Churchill c9670d215d [linters] Add new predicate has_type and check for implicit cast 8 years ago
Sam Blackshear 30b3075d11 [quandary] allow specification of parameter sources via JSON 8 years ago
Sam Blackshear 6c8f3fe618 [quandary] allocation as a sink 8 years ago
Martino Luca 6d1d78bb60 Change invariant to compute differential of reports 8 years ago
Martino Luca 30bcc6b5ce Simple refactoring of Localise 8 years ago
Sam Blackshear 9c5bf9bba5 [quandary] run Quandary on Java when -a checkers is passed 8 years ago
Jeremy Dubreil 7e12885f98 [infer][checkers] remove the quandary analyzer option and rely on the --quandary flag only 8 years ago
Jeremy Dubreil 6f85980e6e [infer][ondemand] try to load the summary when the procedure description cannot be found 8 years ago
Jeremy Dubreil be0cd4fa73 [infer][ondemand] use the attributes from the procedure description without filesystem lookup 8 years ago
Dino Distefano c6a29e5e8a Adding more builtin type to parser 8 years ago
Sam Blackshear 9157f42b7c [test] diagnose invalid source file issue 8 years ago
Sam Blackshear 6af6ef35ec [quandary] support sources that taint a pointer arg or arg passed by ref rather than the return value 8 years ago
Sam Blackshear 52ed886886 [quandary] log error to summary instead of pdesc 8 years ago
Sam Blackshear 28bc279cdc [quandary] tests for passthroughs 8 years ago
Jeremy Dubreil 7bc2d6de12 [infer][ondemand] confine the concept of currently analyzed method to the Ondemand module 8 years ago
Jeremy Dubreil 9e4cbc919b [infer][checkers] Using the same filtering mechanisim for the biabduction analysis for the main Infer analysis and when using the checkers framework 8 years ago
Sam Blackshear a0377fe8c9 [quandary] treat call to unknown operator= as assignment 8 years ago
Sam Blackshear 9dc7e3d66f [quandary] handle return value passed by reference in sources 8 years ago
Sam Blackshear fe8142deb8 [tests] tests for reporting cross-module errors with buck 8 years ago
Jules Villard 29f7967f26 [build] remove unused values 8 years ago
Mehdi Bouaziz 37896ff435 [inferbo] More errors on symbolic intervals 8 years ago
Mehdi Bouaziz 5a57be9003 [infer][checkers] remove the bufferoverrun analyzer option and rely on the --bufferoverrun flag only 8 years ago
Jeremy Dubreil 8064ac2614 [infer][checkers] remove the siof analyzer option and rely on the --siof flag only 8 years ago
Jeremy Dubreil 62be37f163 [infer] parse the classpath information from the javac command line 8 years ago
Sam Blackshear 6f33fa4089 [cli] parse classpath from argfiles 8 years ago
Jeremy Dubreil ef354e6e2b [infer][checkers] remove the threadsafey as analyzer option and rely on the --threadsafety flag only 8 years ago
Jeremy Dubreil d5e9b22e41 [infer][checkers] remove the code for the checkers that are not being run in prod 8 years ago
Sam Blackshear 4425f0908c [thread-safety] understand custom Buck locks 8 years ago
Mehdi Bouaziz 174c0091ae [inferbo] std::vector model for inferbo 8 years ago
Jeremy Dubreil 0097d8a5cb [infer] First step to the biabduction analysis using the checkers framework 8 years ago
Ryan Rhee 62e4364085 [componentkit] Whitelist CKComponentKey 8 years ago
Ryan Rhee 9f65b0d3fa [componentkit] Whitelist CKComponentContext 8 years ago
Sam Blackshear 6680126af9 [cleanup] replace Location.dummy with Location.none where acceptable 8 years ago
Sam Blackshear 19da59cf19 [hil] functor for easily creating HIL analyses 8 years ago
Dulma Churchill 1a141eddca [ObjC capture] Model functions related to dispatch sources 8 years ago
Dulma Churchill 6097c05d88 [clang] Add a preanalysis to compute nullability annotations 8 years ago
Mehdi Bouaziz 7b8dc59386 [inferbo] Always use strong update 8 years ago
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
Jeremy Dubreil 548a36d71f [infer][backend] some more non-functional cleanup 8 years ago
Mehdi Bouaziz 3131660ede [inferbo] Model-like test for vector 8 years ago
Sam Blackshear 3258bc2ec4 [quandary] delegate handling of call to HIL 8 years ago
Sam Blackshear 80030c8de7 [quandary] delegate handling of assignment to HIL 8 years ago
Andrzej Kotulski c1147710ba [C++] Store class template name without its template arguments 8 years ago
Jeremy Dubreil b3af2ad4b6 [infer][ondemand] The source parameter from the analysis callback was never used 8 years ago
Jeremy Dubreil 224c1fea86 [infer][backend] remove the unecessary parameter source when printing node data 8 years ago
Sam Blackshear d248780645 [quandary] delegate cast handling to HIL 8 years ago
Sam Blackshear 8f10cae4b3 [quandary] delegate id map management to HIL 8 years ago
Jeremy Dubreil 33f9a2f864 [infer][backend] remove the unsafe function Specs.get_specs 8 years ago
Jeremy Dubreil 250d9cb8b3 [infer] the function to pretty-print the call graph does not need to access the analysis summaries 8 years ago
Sam Blackshear 7b44236874 [thread-safety] remove hacky special case for Builder's 8 years ago
Sam Blackshear 728412ce07 [thread-safety] clean up code unused after HIL conversion 8 years ago
Sam Blackshear f7a8d50c33 [thread-safety] convert Call logic to HIL 8 years ago
Sam Blackshear 6ff77fedda [thread-safety] convert Write logic to HIL 8 years ago
Sam Blackshear 135ac8be7c [integration] make it possible to run Inferbo/Quandary/Siof/Threadsafety on Clang buck projects 8 years ago
Andrzej Kotulski 7a0c4d9031 add more quals to SIL 8 years ago
Jeremy Dubreil 2e50022eb1 [infer][backend] remove unecessary check for analyzer kind 8 years ago
Jeremy Dubreil 8bbaf12500 [infer][backend] remove the function Specs.get_specs_formals 8 years ago
Sam Blackshear aadb26ada0 [hil] add Unbind operation for removing a temporary binding 8 years ago
Jeremy Dubreil b790ac8c14 [infer][java] load the global type environment at most once per process 8 years ago
Sam Blackshear 78a7865f2a [CLI] parse argfile contents into Config vars 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
Sam Blackshear 1c23876a4e [absint] BottomLiftedDomain should satisfy WithBottom signature 8 years ago
Sam Blackshear 863d90272f [cleanup] replace type_has_supertype with supertype_exists 8 years ago
Peter O'Hearn 3db1f9e94c [threadsafety] Treat clone() as aquiring ownership 8 years ago
Andrzej Kotulski 6ff421ca65 [C++ models] Fix compilation issues with unique_ptr under gcc 5 8 years ago
Mehdi Bouaziz eb477b771e [inferbo] Replace some Bottom by Top 8 years ago
Mehdi Bouaziz 2dbde13335 [inferbo] Use Logging for logging 8 years ago
Mehdi Bouaziz 7d70310691 [inferbo] Yack manucuring 8 years ago
Andrzej Kotulski db3c07a631 [clang frontend] Pass type qualifiers through frontend 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
Andrzej Kotulski 029499cd9d [IR] add type qualifiers to Typ.t 8 years ago
Sam Blackshear 5de8161f89 [thread-safety] convert Prune logic to HIL 8 years ago
Dulma Churchill 69afe434a9 [clang] Add a flag to get around missing files in the buck integration 8 years ago
Sam Blackshear 8dbd91b5ba [java frontend] fix infinite loop 8 years ago
Jeremy Dubreil 06b0b94626 [infer][java] simplify the domain logic of the annotation reachability checker 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
Mehdi Bouaziz 92241119a2 [debug] Show the full payload of proc specs rather than preposts only 8 years ago
Jules Villard 15b8f80e18 [build] record last modified date of --help data inside ./configure 8 years ago
Jules Villard f232e3bd8d [build] fatal on warnings 21, 52, 57 8 years ago
Jules Villard 6f264a30fa [build] remove c stubs and ctypes dependency 8 years ago
Jules Villard 3325306c58 [config] rename --report and -report to --stats-report 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
Sam Blackshear 48d99f38cb [thread-safety] fix typo in printing of domain info 8 years ago
Sam Blackshear 24165942a4 [hil] HIL instructions 8 years ago
Sam Blackshear 0caac1aa93 [hil] HIL expressions 8 years ago
Andrzej Kotulski e742d5bb7b [clang] Replace Prebuilt type_ptr with Typ.t 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
Martino Luca 05a9270b13 [CTL] Attach CTL debugger to breakpoints in source code 8 years ago
Andrzej Kotulski a81f4e7bf9 Remove custom Clang_ast_types module, extend types instead 8 years ago
Martino Luca a42302bd38 Add variant type to traces' node_tags 8 years ago
Martino Luca 46c7aa378c Drop XML reports in InferPrint 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
Jeremy Dubreil 3f67ca3f80 [infer][java] avoid unecessary convertions from sets to lists of call sites 8 years ago
Sam Blackshear bcbb032052 [quandary] WebView.postUrl is a sink 8 years ago
Andrzej Kotulski 6d360fb84a [C++] Replace clang_include_to_override with regex 8 years ago
Martino Luca 2e3b9a30ab [CTL][Debug] Fix colouring issue 8 years ago
Sam Blackshear 119672894d [thread-safety] use real location for trace spacers 8 years ago
Sam Blackshear 3c7361a83d [thread-safety] assume findViewById returns ownership 8 years ago
Jules Villard 19e490dbd2 [clang] create InferClang++ in infer/bin/ on compilation 8 years ago
Jules Villard fb5edaf819 [python] suggest correct package name when lxml is missing 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 c8489cb3ac [spacetime] two big allocators in some profiles 8 years ago
Josh Berdine ebf9acf6a2 Use tail recursive infix list append 8 years ago
Sam Blackshear 05faadf643 [buck] fix argument list too long issue 8 years ago
Jules Villard e8a6c2e68d [CLOpt] replace uses of Str with Core.String 8 years ago
Mehdi Bouaziz 93b6980b28 [Makefile] Models: add dependency on header files 8 years ago
Jules Villard 68d6f73142 ocaml 4.04.0 8 years ago
Jules Villard 857eae7c6b [build] address warnings 52 and 57 8 years ago
Jules Villard dd2c56da06 be more careful about handling invalid source files 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
Jules Villard e5e08ce659 fix warning and wrong type in GraphQL.ml 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
Dulma Churchill 07c9e71399 [linters] Improve linter developer mode 8 years ago
Jules Villard b349fb147c [build] upgrade Reason to 1.13.3 8 years ago
Sam Blackshear 093b3c6478 [logging] don't log debug html for preanalyses 8 years ago
Sam Blackshear d7f39970d1 [thread-safety] report both a read and write stack trace in R/W race reports 8 years ago
Sam Blackshear ede9a31089 [thread-safety] refactor trace generation logic 8 years ago
Dino Distefano 7cef8ae3b5 Making AL distinguish class methods from instance methods 8 years ago
Dulma Churchill 6b9a37f5cd [capture] Fail when buck call fails 8 years ago
Andrzej Kotulski 3cdb0e04f5 [SourceFile] Move append_crc_cutoff to DB module 8 years ago
Dulma Churchill da0e0305f0 [linters] Make fail with syntax error appear at the end of the stderr in linters developer mode 8 years ago
Jules Villard b539366a5c [build] fail early if running `make test` with only some analyzers, add `make config_tests` 8 years ago