1375 Commits (ecde8a76605ae40c8a399d02d64370952eb15f03)

Author SHA1 Message Date
Jeremy Dubreil d000a27bd4 [infer] use a fully qualified name for the procedure field in the final report
7 years ago
Mehdi Bouaziz 6d134762b6 Remove dead print_key
7 years ago
Mehdi Bouaziz ad986dffde Get rid of Declare_locals
7 years ago
Jules Villard 59f09ef697 [opam] upgrade atdgen to version 2
7 years ago
Jeremy Dubreil 59b7915177 [infer] rename the severity variants
7 years ago
Jules Villard e5a5d64760 [caml] do not use `let _ =`
7 years ago
Jeremy Dubreil 8a6aa4b1fd [infer] fix the internal confusion between the issue kind and the severity
7 years ago
Jeremy Dubreil 3767716c86 [infer][scheduler] simplify the callbacks API
7 years ago
Jules Villard d3a36947bd [specs] do not expose specs cache
7 years ago
Jeremy Dubreil d5a5e7da10 [infer] remove ad hoc treatment of anonymous class renaming
7 years ago
Martino Luca 974e134061 [Perf] Count polynomials costs when computing differential
7 years ago
Jules Villard f00d73b574 [taskbar] more informative non-interactive mode
7 years ago
Daiva Naudziuniene a8d80a590b [cfg] Add variant type for statement node
7 years ago
Martino Luca 9e048c11f8 [Perf] Emit cost polynomial and their degree as part of the report
7 years ago
Martino Luca cccef6261d Revert "[Perf] Add cost information to the hashing function"
7 years ago
Martino Luca ac64be761f [Perf] Add cost information to the hashing function
7 years ago
Jules Villard 8977011737 [taskbar] display on-demand nesting
7 years ago
Jules Villard 0d8c2dedd6 [cli] add the ability to rerun the analysis on some files with different options
7 years ago
Jules Villard f70f413c54 [sqlite] API to retrieve rows of more than one column
7 years ago
Jules Villard 0f79fd8d94 [minor] adjust some comments
7 years ago
Jules Villard be855d3589 [explore] change filtering options to filter in OCaml rather than SQLite
7 years ago
Jules Villard a6a7b7f467 [reactive] always delete specs dir
7 years ago
Jules Villard 86e79a7125 [attributes] always have a (single) translation unit
7 years ago
Jules Villard a5a106c83a [cli] create missing directory
7 years ago
Jeremy Dubreil 7d2b96b42f [infer][backend] removed the use of Summary.get_unsafe in the backend 2/2
7 years ago
Jeremy Dubreil a055833eb3 [infer][ondemand] assert that the callbacks are set before retrieving the procedure description
7 years ago
Jules Villard 89040bee1c [backend] do not let caches grow too big
7 years ago
Jeremy Dubreil 055a8267e8 [eradicate] promote reports as errors for generated GraphQL source of nulls
7 years ago
Jules Villard 4a1379ebc5 [taskbar] it is born
7 years ago
Jules Villard 0914fee2cc [backend] remove source file from exe_env
7 years ago
Jules Villard ea734a3e77 [scheduler] delete unused tasks continuations
7 years ago
Dulma Churchill 2f00ccb434 [IR] Unify the proc attribute translation_unit and source_captured
7 years ago
Mehdi Bouaziz 4eef0d90c8 Logging/Printer: better code
7 years ago
Ezgi Çiçek bbd6820ca1 Get rid of data dep analysis and localize it to single step
7 years ago
Dulma Churchill 79a8f8716c [clang] Adding parameters as part of the procname for C++/ObjC methods and ObjC blocks
7 years ago
Nikos Gorogiannis 4820e3db1e [starvation] add NonBlocking annotation
7 years ago
Jeremy Dubreil 0da5435d9d [infer][backend] remove unecessary function Summary.pdesc_resolve_attributes
7 years ago
Jules Villard 710dae8ee4 [doc] add `make doc` target for building html API doc
7 years ago
Nikos Gorogiannis a5f9bcbbde [reporting] fix position of optional arg
7 years ago
Nikos Gorogiannis cacc975394 [starvation] implement SuppressLint
7 years ago
Mehdi Bouaziz 69ead917c3 Instrs: Arrays and RevArrays only
7 years ago
Mehdi Bouaziz fc5c093d1e ProcCfg: do not include module Node
7 years ago
Jules Villard 30c470eb48 [tests] record error bucket in expected output
7 years ago
Jules Villard 8b882ac1df Change license to MIT
7 years ago
Mehdi Bouaziz 4927e31c2f Abstract type for list of instructions in node
7 years ago
Mehdi Bouaziz 42b3958a07 ProcCfg: fold on nodes only
7 years ago
Mehdi Bouaziz c841bf262a Preanal: append_instrs once per node
7 years ago
Mehdi Bouaziz eaf4490670 Preanal: reduce garbage
7 years ago
Jules Villard fecabb3bf3 [siof] do not report on standard streams
7 years ago
Mehdi Bouaziz 1cd1dc580d Errdesc.find_in_node_or_preds: got rid of ref
7 years ago