Commit Graph

4667 Commits (f7fe76e04324df934a2b7d298d7d001060af543c)

Author SHA1 Message Date
Mehdi Bouaziz f7fe76e043 Renamings: list -> map 7 years ago
Julian Sutherland 7fc29b3248 Added unit tests for function pointers 7 years ago
Ezgi Çiçek b2e7a785ba [Loop-hoisting] Add more models for invariant analysis 7 years ago
Daiva Naudziuniene bfab195d08 [dead store] Do not report dead stores on constexpr 7 years ago
Sungkeun Cho da51a736ec [inferbo] Add a test showing empty fields of structure 7 years ago
Mehdi Bouaziz 87d2f67c91 DifferentialFilters: removed two dead types 7 years ago
Sungkeun Cho d261f94624 [inferbo] Use algebraic data type for allocsite 7 years ago
Jeremy Dubreil bdc1ad751d [eradicate] fix the shaddowing between the annotated signature of the caller and the one of the callee 7 years ago
Jeremy Dubreil 19c7f0497f [eradicate] remove commented out code 7 years ago
Jeremy Dubreil 9349f0d6e2 [eradicate] remove the constant flags remove_temps 7 years ago
Martino Luca 808dd8ee91 [Perf] Merge costs report files coming from buck-based analyses 7 years ago
Jules Villard 5894258f43 [ownership] do not warn on returning ref to outer local 7 years ago
Daiva Naudziuniene 8e753c2b74 [deadstore] Do not report on __tmp 7 years ago
Josh Berdine 40ab73037e [ocamlformat] upgrade to ocamlformat 0.7 7 years ago
Mehdi Bouaziz 060924adff [inferbo] Get rid of condition trace for proof obligations in summary 7 years ago
Mehdi Bouaziz b4b54025bf Remove C++ mutex DOUBLE_LOCK checker 7 years ago
Jeremy Dubreil 066204fcf0 [eradicate] always allow to refine nullable types using repeated calls 7 years ago
Jeremy Dubreil 93e42a5a25 [eradicate] fix the Ambiguous or-pattern variables under guard warning 7 years ago
Sungkeun Cho 1bf8ed95b8 [inferbo] Simplify stack/heap memory domain 7 years ago
Ezgi Çiçek 49e582fa49 [Loop-hoisting] Add a new checker for hoisting invariant function calls 7 years ago
Jeremy Dubreil 66ef5f5c15 [eradicate] always check that non-nullable fields are initialized 7 years ago
Mehdi Bouaziz f8380f9480 Trying to fix comments on Localise.ml 7 years ago
Nikos Gorogiannis 14556f52b4 [starvation] whitelist @WorkerThread methods 7 years ago
Mehdi Bouaziz a06685c517 [inferbo] Add mli for proof obligations 7 years ago
Jeremy Dubreil 426ddb5e1c [nullable] make the Eradicate flag use_models to be the default mode 7 years ago
Sungkeun Cho 524ae3a7e2 [inferbo] Return unknown value on non-const function calls 7 years ago
Jules Villard a3d5f0283d [clang] only pass `--Xclang` args to driver commands 7 years ago
Sungkeun Cho 76bf31bc17 [inferbo] Add a test case of global constant 7 years ago
Jeremy Dubreil ed638de189 [eradicate] remove the check extension flag which was always false 7 years ago
Mehdi Bouaziz 277fd06782 [inferbo] Simplify condition trace 7 years ago
Mehdi Bouaziz 5817ff6adc [inferbo] Do not re-report issues if the precision hasn't improved 7 years ago
Jeremy Dubreil 735b28f359 [infer] remove the bug_class from the Infer report 7 years ago
Jeremy Dubreil 3cffdb9745 [infer] remove the field procedure_id in the analysis report 7 years ago
Mehdi Bouaziz 5a4d4f0882 [inferbo] Fail if trying to substitute non-symbolic conditions 7 years ago
Mehdi Bouaziz 6bb429ef63 Reporting cleanup 13: log_issue_external 7 years ago
Mehdi Bouaziz 9dad4c3648 Reporting cleanup 12: node_id_key -> node 7 years ago
Mehdi Bouaziz 3986a823f8 Reporting cleanup 11: node_id 7 years ago
Mehdi Bouaziz 1a75fa9ebd [inferbo] Propagate INFERBO_ALLOC_MAY_BE_ even when the bound is infinity 7 years ago
Mehdi Bouaziz 693089ab08 [inferbo] Alloc site in the trace for INFERBO_ALLOC_xx issues 7 years ago
Mehdi Bouaziz 364099530e [inferbo] Retrieve callee_pdesc and payload at the same time 7 years ago
Jeremy Dubreil 1938c4b758 [eradicate] remove TypeState extensions 7 years ago
Dino Distefano 370f33c8dc Added predicate for CXX11ConstantExpr 7 years ago
Nikos Gorogiannis af14da6a13 [starvation] stop considering View.get... as blocking. 7 years ago
Ezgi Çiçek 527fb90bbe [Cost] Add a Java model for functions to be considered invariant 7 years ago
Jeremy Dubreil 070f541226 [infer][nullsafe] cleanup of the Eradicate code 1 7 years ago
Jeremy Dubreil 98c596c546 [infer][biabduction] generate the Objective C and C++ models in single core mode 7 years ago
Mehdi Bouaziz 07f22daada [inferbo] Report calls without () 7 years ago
Mehdi Bouaziz 34a6a487c5 Reporting cleanup 10: log_frontend_issue 7 years ago
Ezgi Çiçek cc18f9883d [Cost] Fix invariant variable analysis to be based on all reaching defns 7 years ago
Mehdi Bouaziz eb282797ab Reporting cleanup 9: move NodeKey to Procdesc 7 years ago