Age | Commit message (Expand) | Author | Files | Lines |
2023-11-17 | analyzer: new warning: -Wanalyzer-infinite-loop [PR106147] | David Malcolm | 1 | -5/+12 |
2023-02-21 | analyzer: stop exploring the path after certain diagnostics [PR108830] | David Malcolm | 1 | -2/+26 |
2023-01-16 | Update copyright years. | Jakub Jelinek | 1 | -1/+1 |
2022-11-29 | analyzer work on issues with flex-generated lexers [PR103546] | David Malcolm | 1 | -0/+2 |
2022-11-23 | analyzer: revamp of heap-allocated regions [PR106473] | David Malcolm | 1 | -2/+2 |
2022-11-10 | analyzer: new warning: -Wanalyzer-deref-before-check [PR99671] | David Malcolm | 1 | -9/+74 |
2022-11-03 | analyzer: use std::unique_ptr for pending_diagnostic/note | David Malcolm | 1 | -0/+1 |
2022-10-05 | analyzer: simplify some includes | David Malcolm | 1 | -6/+0 |
2022-10-04 | analyzer: revamp side-effects of call summaries [PR107072] | David Malcolm | 1 | -0/+48 |
2022-07-15 | libcpp: Improve encapsulation of label_text | Jonathan Wakely | 1 | -1/+1 |
2022-07-07 | Convert label_text to C++11 move semantics | David Malcolm | 1 | -1/+0 |
2022-06-24 | analyzer: consolidate call_string instances | David Malcolm | 1 | -5/+6 |
2022-03-18 | analyzer: extend state-purging to locals [PR104943] | David Malcolm | 1 | -35/+94 |
2022-01-03 | Update copyright years. | Jakub Jelinek | 1 | -1/+1 |
2021-11-19 | analyzer: fix false leak due to overeager state merging [PR103217] | David Malcolm | 1 | -3/+6 |
2021-11-13 | analyzer: add four new taint-based warnings | David Malcolm | 1 | -2/+24 |
2021-11-04 | analyzer: fix ICE in sm_state_map::dump when dumping trees | David Malcolm | 1 | -0/+1 |
2021-08-30 | analyzer: support "bifurcation"; reimplement realloc [PR99260] | David Malcolm | 1 | -2/+4 |
2021-08-18 | analyzer: detect and analyze calls via function pointer | Ankur Saini | 1 | -0/+44 |
2021-07-19 | analyzer: add svalue::can_have_associated_state_p [PR101503] | David Malcolm | 1 | -2/+4 |
2021-07-16 | analyzer: add region_model::check_region_access | David Malcolm | 1 | -1/+1 |
2021-07-16 | analyzer: add __analyzer_dump_state | David Malcolm | 1 | -0/+49 |
2021-07-16 | analyzer: add svalue::maybe_get_region | David Malcolm | 1 | -6/+3 |
2021-07-15 | analyzer: reimplement -Wanalyzer-use-of-uninitialized-value [PR95006 et al] | David Malcolm | 1 | -16/+27 |
2021-06-30 | analyzer: eliminate enum binding_key [PR95006] | David Malcolm | 1 | -0/+1 |
2021-06-15 | analyzer: track dynamic extents of regions | David Malcolm | 1 | -2/+11 |
2021-06-13 | use range based for loops to iterate over vec<> | Trevor Saunders | 1 | -3/+1 |
2021-05-10 | Remove __cplusplus >= 201103 | Martin Liska | 1 | -2/+0 |
2021-04-08 | analyzer: fix leak false +ves due to maybe-clobbered regions [PR99042,PR99774] | David Malcolm | 1 | -22/+48 |
2021-04-01 | analyzer: record per-enode saved_diagnostics | David Malcolm | 1 | -6/+6 |
2021-03-24 | analyzer; reset sm-state for SSA names at def-stmts [PR93695,PR99044,PR99716] | David Malcolm | 1 | -0/+30 |
2021-02-17 | analyzer: fix false leak involving params [PR98969] | David Malcolm | 1 | -2/+2 |
2021-01-04 | Update copyright years. | Jakub Jelinek | 1 | -1/+1 |
2020-11-10 | analyzer: remove dead code | Martin Liska | 1 | -11/+11 |
2020-10-28 | analyzer: more non-determinism fixes | David Malcolm | 1 | -3/+23 |
2020-10-28 | analyzer: fix more pointer-printing in logs | David Malcolm | 1 | -2/+5 |
2020-10-27 | analyzer: eliminate non-deterministic behavior | David Malcolm | 1 | -0/+57 |
2020-10-27 | analyzer: eliminate non-determinism in logs | David Malcolm | 1 | -8/+25 |
2020-09-28 | analyzer: fix sm_state_map::print | David Malcolm | 1 | -1/+1 |
2020-09-23 | analyzer: add -fno-analyzer-feasibility | David Malcolm | 1 | -1/+1 |
2020-09-23 | analyzer: fix member call on null seen with ubsan [PR97178] | David Malcolm | 1 | -5/+7 |
2020-09-22 | analyzer: add -fdump-analyzer-json | David Malcolm | 1 | -0/+85 |
2020-09-09 | analyzer: use objects for state_machine::state_t | David Malcolm | 1 | -28/+44 |
2020-08-13 | analyzer: rewrite of region and value-handling | David Malcolm | 1 | -781/+490 |
2020-04-28 | analyzer: remove -Wanalyzer-use-of-uninitialized-value for GCC 10 | David Malcolm | 1 | -8/+6 |
2020-04-01 | analyzer: handle compound assignments [PR94378] | David Malcolm | 1 | -0/+1 |
2020-03-27 | analyzer: fix malloc pointer NULL-ness | David Malcolm | 1 | -1/+1 |
2020-03-06 | analyzer: improvements to region_model::get_representative_tree | David Malcolm | 1 | -0/+46 |
2020-03-06 | analyzer: improvements to state dumping | David Malcolm | 1 | -12/+116 |
2020-02-18 | analyzer: fix ICE on COMPONENT_REF of ARRAY_TYPE [PR 93778] | David Malcolm | 1 | -4/+5 |