summaryrefslogtreecommitdiff
path: root/gcc/analyzer/program-state.cc
AgeCommit message (Expand)Author
2025-11-12analyzer: fix log of name in ana::log_set_of_svaluesDavid Malcolm
2025-10-09analyzer: reimplement binding_map using a "spatial" representationDavid Malcolm
2025-07-25diagnostics: introduce namespace diagnostics::pathsDavid Malcolm
2025-07-25diagnostics: introduce a "gcc/diagnostics" subdirectoryDavid Malcolm
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: handle NRVO and DECL_BY_REFERENCE [PR111536]David Malcolm
2025-04-28Eliminate make-unique.h and ::make_uniqueDavid Malcolm
2025-04-28analyzer: use unique_ptr for state_machine instancesDavid Malcolm
2025-04-28analyzer: convert gcall * to gcall & in many placesDavid Malcolm
2025-04-28analyzer: use analyzer/common.h as a common headerDavid Malcolm
2025-01-02Update copyright years.Jakub Jelinek
2024-11-22build: Remove INCLUDE_MEMORY [PR117737]Andrew Pinski
2024-11-01analyzer: use std::unique_ptr in "to_json" functionsDavid Malcolm
2024-10-25gcc: Remove trailing whitespaceJakub Jelinek
2024-09-20analyzer: simplify dumps using tree_dump_pretty_printer [PR116613]David Malcolm
2024-09-09diagnostics: rename dc.printer to m_printer [PR116613]David Malcolm
2024-07-24analyzer: reduce use of naked "new" for json dumpsDavid Malcolm
2024-06-18analyzer: Fix g++ 4.8 bootstrap without using std::move to return std::unique...Jonathan Wakely
2024-06-12pretty_printer: make all fields privateDavid Malcolm
2024-06-08analyzer: Restore g++ 4.8 bootstrap; use std::move to return std::unique_ptr.Roger Sayle
2024-05-30Add new text_art::tree_widget and use it in analyzerDavid Malcolm
2024-04-09Fix up duplicated words mostly in comments, part 2Jakub Jelinek
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-11-17analyzer: new warning: -Wanalyzer-infinite-loop [PR106147]David Malcolm
2023-02-21analyzer: stop exploring the path after certain diagnostics [PR108830]David Malcolm
2023-01-16Update copyright years.Jakub Jelinek
2022-11-29analyzer work on issues with flex-generated lexers [PR103546]David Malcolm
2022-11-23analyzer: revamp of heap-allocated regions [PR106473]David Malcolm
2022-11-10analyzer: new warning: -Wanalyzer-deref-before-check [PR99671]David Malcolm
2022-11-03analyzer: use std::unique_ptr for pending_diagnostic/noteDavid Malcolm
2022-10-05analyzer: simplify some includesDavid Malcolm
2022-10-04analyzer: revamp side-effects of call summaries [PR107072]David Malcolm
2022-07-15libcpp: Improve encapsulation of label_textJonathan Wakely
2022-07-07Convert label_text to C++11 move semanticsDavid Malcolm
2022-06-24analyzer: consolidate call_string instancesDavid 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-11-13analyzer: add four new taint-based warningsDavid Malcolm
2021-11-04analyzer: fix ICE in sm_state_map::dump when dumping treesDavid Malcolm
2021-08-30analyzer: support "bifurcation"; reimplement realloc [PR99260]David Malcolm
2021-08-18analyzer: detect and analyze calls via function pointerAnkur Saini
2021-07-19analyzer: add svalue::can_have_associated_state_p [PR101503]David Malcolm
2021-07-16analyzer: add region_model::check_region_accessDavid Malcolm
2021-07-16analyzer: add __analyzer_dump_stateDavid Malcolm
generated by cgit v1.2.3 (git 2.25.1) at 2026-06-09 10:34:55 +0000