summaryrefslogtreecommitdiff
path: root/gcc/analyzer/program-state.h
AgeCommit message (Expand)Author
2025-07-11diagnostics: add support for directed graphs; use them for state graphsDavid Malcolm
2025-06-30analyzer: use nullptr rather than NULLDavid Malcolm
2025-06-23diagnostics: add state diagrams to analyzer experimental-html output [PR116792]David Malcolm
2025-04-28analyzer: use unique_ptr for state_machine instancesDavid Malcolm
2025-04-28analyzer: convert gcall * to gcall & in many placesDavid Malcolm
2025-01-02Update copyright years.Jakub Jelinek
2024-11-01analyzer: use std::unique_ptr in "to_json" functionsDavid Malcolm
2024-06-18analyzer: Fix g++ 4.8 bootstrap without using std::move to return std::unique...Jonathan Wakely
2024-05-30Add new text_art::tree_widget and use it in analyzerDavid Malcolm
2024-02-29analyzer: fix ICE in call summarization [PR114159]David Malcolm
2024-01-24analyzer: fix taint false +ve due to overzealous state purging [PR112977]David Malcolm
2024-01-03Update copyright years.Jakub Jelinek
2023-12-06analyzer: fix taint false positives with UNKNOWN [PR112850]David Malcolm
2023-01-16Update copyright years.Jakub Jelinek
2022-11-10analyzer: new warning: -Wanalyzer-deref-before-check [PR99671]David Malcolm
2022-10-04analyzer: revamp side-effects of call summaries [PR107072]David Malcolm
2022-03-18analyzer: extend state-purging to locals [PR104943]David Malcolm
2022-01-03Update copyright years.Jakub Jelinek
2021-11-19analyzer: fix false leak due to overeager state merging [PR103217]David Malcolm
2021-08-18analyzer: detect and analyze calls via function pointerAnkur Saini
2021-07-16analyzer: add __analyzer_dump_stateDavid Malcolm
2021-05-10Remove __cplusplus >= 201103Martin Liska
2021-04-08analyzer: fix leak false +ves due to maybe-clobbered regions [PR99042,PR99774]David Malcolm
2021-04-01analyzer: record per-enode saved_diagnosticsDavid Malcolm
2021-03-24analyzer; reset sm-state for SSA names at def-stmts [PR93695,PR99044,PR99716]David Malcolm
2021-01-04Update copyright years.Jakub Jelinek
2020-11-10analyzer: remove dead codeMartin Liska
2020-10-27analyzer: eliminate non-deterministic behaviorDavid Malcolm
2020-09-23analyzer: fix member call on null seen with ubsan [PR97178]David Malcolm
2020-09-22analyzer: add -fdump-analyzer-jsonDavid Malcolm
2020-08-13analyzer: rewrite of region and value-handlingDavid Malcolm
2020-03-06analyzer: improvements to state dumpingDavid Malcolm
2020-02-18analyzer: fix ICE on COMPONENT_REF of ARRAY_TYPE [PR 93778]David Malcolm
2020-02-17analyzer: fix ICEs in region_model::get_lvalue_1 [PR 93388]David Malcolm
2020-02-11analyzer: fix ICE due to missing state_change purging (PR 93374)David Malcolm
2020-01-30analyzer: add extrinsic_state::dumpDavid Malcolm
2020-01-30analyzer: make extrinsic_state field privateDavid Malcolm
2020-01-30analyzer: avoid comparisons between uncomparable types (PR 93450)David Malcolm
2020-01-27analyzer: fix build with gcc 4.4 (PR 93276)David Malcolm
2020-01-22analyzer: introduce namespace to avoid ODR clashes (PR 93307)David Malcolm
2020-01-14analyzer: purge state for unknown function callsDavid Malcolm
2020-01-14Initial commit of analyzerDavid Malcolm
generated by cgit v1.2.3 (git 2.25.1) at 2026-06-12 18:33:14 +0000