summaryrefslogtreecommitdiff
path: root/gcc/analyzer/exploded-graph.h
AgeCommit message (Expand)Author
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-29analyzer: fix for older version of GCCMarc Poulhiès
2025-04-28analyzer: initial implementation of exception handling [PR97111]David Malcolm
2025-04-28analyzer: convert various call_summary * to call_summary &David Malcolm
2025-04-28analyzer: convert gcall * to gcall & in many placesDavid Malcolm
2025-04-28analyzer: convert various enums to "enum class"David Malcolm
2025-01-02Update copyright years.Jakub Jelinek
2024-11-01analyzer: use std::unique_ptr in "to_json" functionsDavid Malcolm
2024-10-25gcc: Remove trailing whitespaceJakub Jelinek
2024-06-01analyzer: detect -Wanalyzer-allocation-size at call stmts [PR106203]David Malcolm
2024-02-29analyzer: fix ICE in call summarization [PR114159]David Malcolm
2024-01-03Update copyright years.Jakub Jelinek
2023-11-17analyzer: new warning: -Wanalyzer-infinite-loop [PR106147]David Malcolm
2023-09-14analyzer: use unique_ptr for rejected_constraintDavid Malcolm
2023-08-30analyzer: implement reference count checking for CPython plugin [PR107646]Eric Feng
2023-08-21analyzer: add ability for context to add events to a saved_diagnosticDavid Malcolm
2023-02-15analyzer: fix uninit false +ves [PR108664,PR108666,PR108725]David Malcolm
2023-01-16Update copyright years.Jakub Jelinek
2022-11-15analyzer: add warnings relating to sockets [PR106140]David Malcolm
2022-11-11analyzer: new warning: -Wanalyzer-infinite-recursion [PR106147]David Malcolm
2022-11-10analyzer: new warning: -Wanalyzer-deref-before-check [PR99671]David Malcolm
2022-11-03analyzer: use std::unique_ptr during bifurcationDavid Malcolm
2022-11-03analyzer: use std::unique_ptr for feasibility_problems and exploded_pathDavid Malcolm
2022-11-03analyzer: use std::unique_ptr for custom_edge_info pointersDavid Malcolm
2022-11-03analyzer: use std::unique_ptr for saved_diagnostic::m_stmt_finderDavid Malcolm
2022-11-03analyzer: use std::unique_ptr for pending_diagnostic/noteDavid Malcolm
2022-10-24analyzer: simplify sm_state_map lookupDavid Malcolm
2022-10-24analyzer: handle "pipe" and "pipe2" [PR106300]David Malcolm
2022-10-05analyzer: remove unused variablesMartin Liska
2022-10-04analyzer: revamp side-effects of call summaries [PR107072]David Malcolm
2022-07-19analyzer: fix taint handling of switch statements [PR106321]David Malcolm
2022-06-24analyzer: consolidate call_string instancesDavid Malcolm
2022-05-20Use "final" and "override" directly, rather than via macrosDavid Malcolm
2022-04-28analyzer: add .fpath.txt dumps to -fdump-analyzer-feasibilityDavid Malcolm
2022-03-10analyzer: add notes to write-to-const/string from access attr [PR104793]David Malcolm
2022-02-15analyzer: fix uninit false +ve due to optimized conditionals [PR102692]David Malcolm
2022-01-03Update copyright years.Jakub Jelinek
2021-11-13analyzer: add four new taint-based warningsDavid Malcolm
2021-08-30analyzer: support "bifurcation"; reimplement realloc [PR99260]David Malcolm
2021-08-21analyzer: Fix PR analyzer/101980Ankur Saini
2021-08-18analyzer: detect and analyze calls via function pointerAnkur Saini
2021-07-15analyzer: reimplement -Wanalyzer-use-of-uninitialized-value [PR95006 et al]David Malcolm
2021-07-15analyzer: add -fdump-analyzer-exploded-pathsDavid Malcolm
2021-07-07analyzer: remove add_any_constraints_from_ssa_def_stmtDavid Malcolm
2021-06-15analyzer: track dynamic extents of regionsDavid Malcolm
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-11analyzer: new implementation of shortest feasible path [PR96374]David Malcolm
2021-03-10analyzer: factor out new class feasibility_stateDavid Malcolm
generated by cgit v1.2.3 (git 2.25.1) at 2026-06-15 19:30:27 +0000