6490 Commits (22cfcc09f5484c2021fd0cb120a3c31840d3a70e)
 

Author SHA1 Message Date
Julian Sutherland e24ce31744 Added inferBO model for the C memset function.
6 years ago
Mehdi Bouaziz d9fb7b3004 ProcAttributes: removed unused by_vals
6 years ago
Mehdi Bouaziz 9608c4d340 PrintfArgs: removed unused fixed_pos
6 years ago
Jeremy Dubreil 3442ce1999 [eradicate] no longer report Inconsistent Subclass Return Annotation when overriding external methods
6 years ago
Mehdi Bouaziz f57e7028a8 ProcAttributes: removed unused proc_flags
6 years ago
Julian Sutherland 16c70d1c23 Fixed a bug that caused the stride of symbolic arrays to not be set.
6 years ago
Dino Distefano 21145c75c9 Added new predicate is_const_expr()
6 years ago
Jeremy Dubreil 0d4007e6be [nullsafe] translate the more attributes
6 years ago
Nikos Gorogiannis 52eef069b2 [concurrency] fix UI thread models
6 years ago
Sungkeun Cho b86b6b44f3 [inferbo] Substitute free symbols to Itv.top
6 years ago
Jeremy Dubreil c38163a83a [eradicate] the Java map put method does not accept nullable parameters
6 years ago
Jeremy Dubreil 30bec802aa [infer] more terminal colors for the Infer reports
6 years ago
Daiva Naudziuniene 0bbeb85295 [ownership] Stack reference wrapper example
6 years ago
Martino Luca b0cfd73b19 [Perf] Emit traces alongside cost issues
6 years ago
Julian Sutherland e2150d1579 Wired up model for memmove which is identical to memcopy
6 years ago
Martino Luca aea1b4095e [Perf][CI] Disable threshold based cost reports
6 years ago
Martino Luca c078bf5a12 [Perf][CI] Differential of costs, based on degree variation
6 years ago
Andrey Epin 77744eda97 [infer][java] add support for Buck compilation commands with no source files
6 years ago
Nikos Gorogiannis d48e22be8b [starvation] prefer shorter UI-thread traces
6 years ago
Mehdi Bouaziz ddbb7e05d3 Reporting cleanup 22: log_error/warning -> use IssueType rather than exception
6 years ago
Mehdi Bouaziz 051c9d5e1f [inferbo] Report Unreachable_code_after with Checkers exception
6 years ago
Mehdi Bouaziz 0a9606b2b4 [inferbo] Report conditions always true/false using Checkers exception
6 years ago
Jeremy Dubreil 3c220f7dbb [eradicate] remove the unused code to do the nullability inferrence
6 years ago
Jules Villard 817f83972c [epilogues] do not rely on `at_exit`
6 years ago
Jules Villard 4ddbc714ba [SIL] remove dead `Typ substitution
6 years ago
Nikos Gorogiannis 888a169dce [starvation] make a trace out of our explanation as to why a method runs on the UI thread
6 years ago
Nikos Gorogiannis a6e5ab7fdb [starvation][strict mode] disable strict mode violation reporting and analysis by default
6 years ago
Nikos Gorogiannis 96e698a458 [starvation] strict mode meta-analyzer for Android
6 years ago
Sungkeun Cho 3aab371b1f [inferbo] Detach Summary from Domain module
6 years ago
Sungkeun Cho 6759763a98 [inferbo] Simplify instantiate_ret_alias
6 years ago
Julian Sutherland b7353c961c Added model for memcpy C function to inferBO
6 years ago
Martino Luca dcdc5ec168 [Perf] Add hash to costs report
6 years ago
Julian Sutherland e715d48c12 QuandaryBO
6 years ago
Julian Sutherland 3afec7f2f9 Re-enabling noisy inferBO issues to have better QuandaryBO coverage
6 years ago
Mehdi Bouaziz bc737851b1 Move biabduction config/state to its own module
6 years ago
Mehdi Bouaziz 247e785ae4 Reporting cleanup 21: do not keep in-re-execution issues
6 years ago
Mehdi Bouaziz 9318a22b29 Update plugin
6 years ago
Mehdi Bouaziz 4c0e217410 Remove dead Config.pp_simple
6 years ago
Mehdi Bouaziz 348d0a0326 Remove Config.forcing_delayed_prints
6 years ago
Mehdi Bouaziz 636da5954b Remove dead Config.arc_mode
6 years ago
Martino Luca 37bf7a5039 Emit human-readable cost info when in developer-mode
6 years ago
Ezgi Çiçek 15bdcca119 [Loop-hoisting] Add a new model for Javax's Provider.get() and make it invariant only
6 years ago
Daiva Naudziuniene e5b38a42d8 [ownership] More examples
6 years ago
Martin Trojer e2c08e4085 Decouple objc tests from xcode-select
6 years ago
Mehdi Bouaziz 1141c8c5a8 Linters: remove def_file
6 years ago
Mehdi Bouaziz 7964dd76ca Reporting cleanup 19: use IssueType for CIssue.issue_desc
6 years ago
Jeremy Dubreil 5e2fcd62d4 [infer][java] translate the name of the field when the class is not found
6 years ago
Julian Sutherland a3753885bb Reordered elements of severity array to make compare more meaningful. This will be helpful in merging inferBO and Quandary commits in QuandaryBO
6 years ago
Martino Luca e46bf6a3d9 [Perf] Perform comparisons of costs-reports by using costs-report.json files
6 years ago
Mehdi Bouaziz d331a7ad19 Start/Exit_node don't need the procname
6 years ago