aboutsummaryrefslogtreecommitdiff
path: root/gcc/analyzer/exploded-graph.h
AgeCommit message (Expand)AuthorFilesLines
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
2020-02-17analyzer: fix ICEs in region_model::get_lvalue_1 [PR 93388]David Malcolm1-0/+6
2020-02-17analyzer: add diagnostics to output of -fdump-analyzer-exploded-graphDavid Malcolm1-0/+4
2020-02-11analyzer: fix ICE due to missing state_change purging (PR 93374)David Malcolm1-0/+1
2020-02-05analyzer: add enode status and revamp __analyzer_dump_exploded_nodesDavid Malcolm1-1/+27
2020-02-03analyzer: detect zero-assignment in phis (PR 93544)David Malcolm1-0/+2
2020-01-27analyzer: fixes to tree_cmp and other comparatorsDavid Malcolm1-1/+0
2020-01-27analyzer: fix setjmp-detection and support sigsetjmpDavid Malcolm1-3/+11
2020-01-22analyzer: fix setjmp handling with -g (PR 93378)David Malcolm1-6/+9
2020-01-22analyzer: introduce namespace to avoid ODR clashes (PR 93307)David Malcolm1-0/+4
2020-01-14analyzer: purge state for unknown function callsDavid Malcolm1-0/+2
2020-01-14Initial commit of analyzerDavid Malcolm1-0/+829
generated by cgit v1.1 at 2025-01-05 20:30:43 +0000