aboutsummaryrefslogtreecommitdiff
path: root/gcc/analyzer/program-state.cc
AgeCommit message (Expand)AuthorFilesLines
2023-02-21analyzer: stop exploring the path after certain diagnostics [PR108830]David Malcolm1-2/+26
2023-01-16Update copyright years.Jakub Jelinek1-1/+1
2022-11-29analyzer work on issues with flex-generated lexers [PR103546]David Malcolm1-0/+2
2022-11-23analyzer: revamp of heap-allocated regions [PR106473]David Malcolm1-2/+2
2022-11-10analyzer: new warning: -Wanalyzer-deref-before-check [PR99671]David Malcolm1-9/+74
2022-11-03analyzer: use std::unique_ptr for pending_diagnostic/noteDavid Malcolm1-0/+1
2022-10-05analyzer: simplify some includesDavid Malcolm1-6/+0
2022-10-04analyzer: revamp side-effects of call summaries [PR107072]David Malcolm1-0/+48
2022-07-15libcpp: Improve encapsulation of label_textJonathan Wakely1-1/+1
2022-07-07Convert label_text to C++11 move semanticsDavid Malcolm1-1/+0
2022-06-24analyzer: consolidate call_string instancesDavid Malcolm1-5/+6
2022-03-18analyzer: extend state-purging to locals [PR104943]David Malcolm1-35/+94
2022-01-03Update copyright years.Jakub Jelinek1-1/+1
2021-11-19analyzer: fix false leak due to overeager state merging [PR103217]David Malcolm1-3/+6
2021-11-13analyzer: add four new taint-based warningsDavid Malcolm1-2/+24
2021-11-04analyzer: fix ICE in sm_state_map::dump when dumping treesDavid Malcolm1-0/+1
2021-08-30analyzer: support "bifurcation"; reimplement realloc [PR99260]David Malcolm1-2/+4
2021-08-18analyzer: detect and analyze calls via function pointerAnkur Saini1-0/+44
2021-07-19analyzer: add svalue::can_have_associated_state_p [PR101503]David Malcolm1-2/+4
2021-07-16analyzer: add region_model::check_region_accessDavid Malcolm1-1/+1
2021-07-16analyzer: add __analyzer_dump_stateDavid Malcolm1-0/+49
2021-07-16analyzer: add svalue::maybe_get_regionDavid Malcolm1-6/+3
2021-07-15analyzer: reimplement -Wanalyzer-use-of-uninitialized-value [PR95006 et al]David Malcolm1-16/+27
2021-06-30analyzer: eliminate enum binding_key [PR95006]David Malcolm1-0/+1
2021-06-15analyzer: track dynamic extents of regionsDavid Malcolm1-2/+11
2021-06-13use range based for loops to iterate over vec<>Trevor Saunders1-3/+1
2021-05-10Remove __cplusplus >= 201103Martin Liska1-2/+0
2021-04-08analyzer: fix leak false +ves due to maybe-clobbered regions [PR99042,PR99774]David Malcolm1-22/+48
2021-04-01analyzer: record per-enode saved_diagnosticsDavid Malcolm1-6/+6
2021-03-24analyzer; reset sm-state for SSA names at def-stmts [PR93695,PR99044,PR99716]David Malcolm1-0/+30
2021-02-17analyzer: fix false leak involving params [PR98969]David Malcolm1-2/+2
2021-01-04Update copyright years.Jakub Jelinek1-1/+1
2020-11-10analyzer: remove dead codeMartin Liska1-11/+11
2020-10-28analyzer: more non-determinism fixesDavid Malcolm1-3/+23
2020-10-28analyzer: fix more pointer-printing in logsDavid Malcolm1-2/+5
2020-10-27analyzer: eliminate non-deterministic behaviorDavid Malcolm1-0/+57
2020-10-27analyzer: eliminate non-determinism in logsDavid Malcolm1-8/+25
2020-09-28analyzer: fix sm_state_map::printDavid Malcolm1-1/+1
2020-09-23analyzer: add -fno-analyzer-feasibilityDavid Malcolm1-1/+1
2020-09-23analyzer: fix member call on null seen with ubsan [PR97178]David Malcolm1-5/+7
2020-09-22analyzer: add -fdump-analyzer-jsonDavid Malcolm1-0/+85
2020-09-09analyzer: use objects for state_machine::state_tDavid Malcolm1-28/+44
2020-08-13analyzer: rewrite of region and value-handlingDavid Malcolm1-781/+490
2020-04-28analyzer: remove -Wanalyzer-use-of-uninitialized-value for GCC 10David Malcolm1-8/+6
2020-04-01analyzer: handle compound assignments [PR94378]David Malcolm1-0/+1
2020-03-27analyzer: fix malloc pointer NULL-nessDavid Malcolm1-1/+1
2020-03-06analyzer: improvements to region_model::get_representative_treeDavid Malcolm1-0/+46
2020-03-06analyzer: improvements to state dumpingDavid Malcolm1-12/+116
2020-02-18analyzer: fix ICE on COMPONENT_REF of ARRAY_TYPE [PR 93778]David Malcolm1-4/+5
2020-02-17analyzer: fix ICEs in region_model::get_lvalue_1 [PR 93388]David Malcolm1-2/+19
generated by cgit v1.1 at 2025-01-08 12:30:58 +0000