aboutsummaryrefslogtreecommitdiff
path: root/gcc/analyzer/exploded-graph.h
AgeCommit message (Expand)AuthorFilesLines
2023-08-21analyzer: add ability for context to add events to a saved_diagnosticDavid Malcolm1-0/+1
2023-02-15analyzer: fix uninit false +ves [PR108664,PR108666,PR108725]David Malcolm1-0/+1
2023-01-16Update copyright years.Jakub Jelinek1-1/+1
2022-11-15analyzer: add warnings relating to sockets [PR106140]David Malcolm1-4/+6
2022-11-11analyzer: new warning: -Wanalyzer-infinite-recursion [PR106147]David Malcolm1-0/+5
2022-11-10analyzer: new warning: -Wanalyzer-deref-before-check [PR99671]David Malcolm1-0/+2
2022-11-03analyzer: use std::unique_ptr during bifurcationDavid Malcolm1-1/+1
2022-11-03analyzer: use std::unique_ptr for feasibility_problems and exploded_pathDavid Malcolm1-1/+1
2022-11-03analyzer: use std::unique_ptr for custom_edge_info pointersDavid Malcolm1-7/+4
2022-11-03analyzer: use std::unique_ptr for saved_diagnostic::m_stmt_finderDavid Malcolm1-1/+1
2022-11-03analyzer: use std::unique_ptr for pending_diagnostic/noteDavid Malcolm1-2/+2
2022-10-24analyzer: simplify sm_state_map lookupDavid Malcolm1-9/+4
2022-10-24analyzer: handle "pipe" and "pipe2" [PR106300]David Malcolm1-0/+3
2022-10-05analyzer: remove unused variablesMartin Liska1-2/+0
2022-10-04analyzer: revamp side-effects of call summaries [PR107072]David Malcolm1-5/+31
2022-07-19analyzer: fix taint handling of switch statements [PR106321]David Malcolm1-0/+3
2022-06-24analyzer: consolidate call_string instancesDavid Malcolm1-58/+3
2022-05-20Use "final" and "override" directly, rather than via macrosDavid Malcolm1-26/+26
2022-04-28analyzer: add .fpath.txt dumps to -fdump-analyzer-feasibilityDavid Malcolm1-0/+2
2022-03-10analyzer: add notes to write-to-const/string from access attr [PR104793]David Malcolm1-0/+1
2022-02-15analyzer: fix uninit false +ve due to optimized conditionals [PR102692]David Malcolm1-0/+2
2022-01-03Update copyright years.Jakub Jelinek1-1/+1
2021-11-13analyzer: add four new taint-based warningsDavid Malcolm1-0/+3
2021-08-30analyzer: support "bifurcation"; reimplement realloc [PR99260]David Malcolm1-33/+29
2021-08-21analyzer: Fix PR analyzer/101980Ankur Saini1-7/+7
2021-08-18analyzer: detect and analyze calls via function pointerAnkur Saini1-0/+39
2021-07-15analyzer: reimplement -Wanalyzer-use-of-uninitialized-value [PR95006 et al]David Malcolm1-1/+14
2021-07-15analyzer: add -fdump-analyzer-exploded-pathsDavid Malcolm1-3/+6
2021-07-07analyzer: remove add_any_constraints_from_ssa_def_stmtDavid Malcolm1-1/+3
2021-06-15analyzer: track dynamic extents of regionsDavid Malcolm1-16/+4
2021-04-08analyzer: fix leak false +ves due to maybe-clobbered regions [PR99042,PR99774]David Malcolm1-2/+9
2021-04-01analyzer: record per-enode saved_diagnosticsDavid Malcolm1-9/+25
2021-03-11analyzer: new implementation of shortest feasible path [PR96374]David Malcolm1-0/+8
2021-03-10analyzer: factor out new class feasibility_stateDavid Malcolm1-0/+22
2021-02-26analyzer: implement exploded_path copy ctorDavid Malcolm1-1/+0
2021-02-25analyzer: eliminate dedupe_candidate [PR96374]David Malcolm1-1/+0
2021-01-14analyzer: fixes to -fdump-analyzer-jsonDavid Malcolm1-0/+4
2021-01-04Update copyright years.Jakub Jelinek1-1/+1
2020-10-12analyzer: handle static callbacks [PR97258]David Malcolm1-0/+8
2020-09-23analyzer: add -fno-analyzer-feasibilityDavid Malcolm1-5/+8
2020-09-22analyzer: add -fdump-analyzer-jsonDavid Malcolm1-0/+7
2020-09-16analyzer: show SCC ids in .dot dumpsDavid Malcolm1-0/+9
2020-09-16analyzer: bulk merger/processing of runs of nodes at CFG join pointsDavid Malcolm1-0/+4
2020-08-13analyzer: rewrite of region and value-handlingDavid Malcolm1-31/+24
2020-03-27analyzer: add new supergraph visualizationDavid Malcolm1-3/+21
2020-03-18analyzer: tweaks to exploded_node ctorDavid Malcolm1-6/+1
2020-03-04analyzer: remove unused private fieldsDavid Malcolm1-1/+0
2020-02-26analyzer: improvements to logging/dumpingDavid Malcolm1-1/+8
2020-02-24analyzer: fix ICE with OFFSET_TYPE [PR 93899]David Malcolm1-1/+2
2020-02-18analyzer: fix ICE on COMPONENT_REF of ARRAY_TYPE [PR 93778]David Malcolm1-2/+2
generated by cgit v1.1 at 2025-02-07 07:14:47 +0000