pghs975uc
/
infer_clone
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity
6244 Commits
1 Branch
0 Tags
129 MiB
Branches Tags
${ item.name }
Create tag ${ searchTerm }
Create branch ${ searchTerm }
from 'c3d55817b1'
${ noResults }
Commit Graph

6244 Commits (c3d55817b16686fd6c210d42cc7f373d9e80c253)
 

Author SHA1 Message Date
Mehdi Bouaziz f8380f9480 Trying to fix comments on Localise.ml
6 years ago
Nikos Gorogiannis 14556f52b4 [starvation] whitelist @WorkerThread methods
6 years ago
Mehdi Bouaziz a06685c517 [inferbo] Add mli for proof obligations
6 years ago
Jeremy Dubreil 426ddb5e1c [nullable] make the Eradicate flag use_models to be the default mode
6 years ago
Sungkeun Cho 524ae3a7e2 [inferbo] Return unknown value on non-const function calls
6 years ago
Jules Villard a3d5f0283d [clang] only pass `--Xclang` args to driver commands
6 years ago
Sungkeun Cho 76bf31bc17 [inferbo] Add a test case of global constant
6 years ago
Jeremy Dubreil ed638de189 [eradicate] remove the check extension flag which was always false
6 years ago
Mehdi Bouaziz 277fd06782 [inferbo] Simplify condition trace
6 years ago
Mehdi Bouaziz 5817ff6adc [inferbo] Do not re-report issues if the precision hasn't improved
6 years ago
Jeremy Dubreil 735b28f359 [infer] remove the bug_class from the Infer report
6 years ago
Jeremy Dubreil 3cffdb9745 [infer] remove the field procedure_id in the analysis report
6 years ago
Mehdi Bouaziz 5a4d4f0882 [inferbo] Fail if trying to substitute non-symbolic conditions
6 years ago
Mehdi Bouaziz 6bb429ef63 Reporting cleanup 13: log_issue_external
6 years ago
Mehdi Bouaziz 9dad4c3648 Reporting cleanup 12: node_id_key -> node
6 years ago
Mehdi Bouaziz 3986a823f8 Reporting cleanup 11: node_id
6 years ago
Jules Villard 3f4cb5cae9 [dune] upgrade to 1.1.1
6 years ago
Mehdi Bouaziz 1a75fa9ebd [inferbo] Propagate INFERBO_ALLOC_MAY_BE_ even when the bound is infinity
6 years ago
Mehdi Bouaziz 693089ab08 [inferbo] Alloc site in the trace for INFERBO_ALLOC_xx issues
6 years ago
Mehdi Bouaziz 364099530e [inferbo] Retrieve callee_pdesc and payload at the same time
6 years ago
Jeremy Dubreil 1938c4b758 [eradicate] remove TypeState extensions
6 years ago
Dino Distefano 370f33c8dc Added predicate for CXX11ConstantExpr
6 years ago
Nikos Gorogiannis af14da6a13 [starvation] stop considering View.get... as blocking.
6 years ago
Ezgi Çiçek 527fb90bbe [Cost] Add a Java model for functions to be considered invariant
6 years ago
Jeremy Dubreil 070f541226 [infer][nullsafe] cleanup of the Eradicate code 1
6 years ago
Jeremy Dubreil 98c596c546 [infer][biabduction] generate the Objective C and C++ models in single core mode
6 years ago
Katie Ots 7c8f00eb76 Update ocamlformat hash to match git release hash
6 years ago
Katie Ots 789fcaff4c Add file containing hash of required ocamlformat version
6 years ago
Mehdi Bouaziz 07f22daada [inferbo] Report calls without ()
6 years ago
Mehdi Bouaziz 34a6a487c5 Reporting cleanup 10: log_frontend_issue
6 years ago
Ezgi Çiçek cc18f9883d [Cost] Fix invariant variable analysis to be based on all reaching defns
6 years ago
Mehdi Bouaziz eb282797ab Reporting cleanup 9: move NodeKey to Procdesc
6 years ago
Jules Villard d9e12850b9 [biabd] do not try to bypass `Ondemand` to get proc desc of models
6 years ago
Martino Luca 55c2188615 [Perf] Emit costs to a separate file named costs-report.json
6 years ago
Mehdi Bouaziz 04af716fba Reporting cleanup 8: move errlog to summary
6 years ago
Mehdi Bouaziz ac5633bf58 Reporting cleanup 7: session
6 years ago
Mehdi Bouaziz fbe1e853f4 Reporting cleanup 6: mandatory loc for reporting errors
6 years ago
Mehdi Bouaziz 7024543dc9 Reporting cleanup 5: log_warning/error node_id_key
6 years ago
Mehdi Bouaziz 2ee4b5da18 Reporting cleanup 4: clang_method_kind
6 years ago
Martin Trojer 451f8f1efa Add --Xbuck-no-inline and --Xclang flags to enable jackalope/ios builds.
6 years ago
Mehdi Bouaziz 919d05b5ef Reporting cleanup 3: NodeKey
6 years ago
Julian Sutherland dd4ee55d5a fixed error in java expected test results
6 years ago
Martin Trojer 7c57d6e017 Lock g++ platform so clang-plugins builds on devservers
6 years ago
Mehdi Bouaziz 114c4e436d Reporting cleanup 2: Errlog.log_issue
6 years ago
Julian Sutherland b7c90c3fe0 Fixed incorrect reporting of tainted index in function call by quandary
6 years ago
Martino Luca 90a3315042 [InferPrint] Refactor common aspects to emit json reports
6 years ago
Mehdi Bouaziz f08ba1c016 Reporting cleanup 1: log_issue_deprecated
6 years ago
Katie Ots ecde8a7660 Add ocamlformat shim script to install correct version
6 years ago
Mehdi Bouaziz e3e521afca Kill MinTree
6 years ago
Mehdi Bouaziz add478d97d Remove Errlog.equal
6 years ago