aboutsummaryrefslogtreecommitdiff
path: root/gcc/analyzer/program-state.cc
AgeCommit message (Expand)AuthorFilesLines
2024-07-28analyzer: reduce use of naked "new" for json dumpsDavid Malcolm1-1/+1
2024-06-18analyzer: Fix g++ 4.8 bootstrap without using std::move to return std::unique...Jonathan Wakely1-4/+4
2024-06-12pretty_printer: make all fields privateDavid Malcolm1-3/+3
2024-06-08analyzer: Restore g++ 4.8 bootstrap; use std::move to return std::unique_ptr.Roger Sayle1-2/+2
2024-05-30Add new text_art::tree_widget and use it in analyzerDavid Malcolm1-0/+112
2024-04-09Fix up duplicated words mostly in comments, part 2Jakub Jelinek1-2/+2
2024-02-29analyzer: fix ICE in call summarization [PR114159]David Malcolm1-2/+2
2024-01-24analyzer: fix taint false +ve due to overzealous state purging [PR112977]David Malcolm1-2/+63
2024-01-03Update copyright years.Jakub Jelinek1-1/+1
2023-12-06analyzer: fix taint false positives with UNKNOWN [PR112850]David Malcolm1-0/+8
2023-11-17analyzer: new warning: -Wanalyzer-infinite-loop [PR106147]David Malcolm1-5/+12
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
generated by cgit v1.1 at 2025-05-20 10:00:41 +0000