aboutsummaryrefslogtreecommitdiff
path: root/gcc/analyzer
AgeCommit message (Expand)AuthorFilesLines
2021-08-26Daily bump.GCC Administrator1-0/+6
2021-08-25analyzer: Impose recursion limit on indirect calls.Ankur Saini1-0/+14
2021-08-24Daily bump.GCC Administrator1-0/+181
2021-08-23analyzer: rewrite of switch handlingDavid Malcolm12-105/+1682
2021-08-23analyzer: fix ICE with NULL change.m_expr [PR101875]David Malcolm1-4/+14
2021-08-23analyzer: fix ICE when failing to reconstruct a fn ptr [PR101837]David Malcolm1-0/+3
2021-08-23analyzer: assume that POINTER_PLUS_EXPR of non-NULL is non-NULL [PR101962]David Malcolm1-28/+45
2021-08-23analyzer: fix uninit false positive on overlapping bindingsDavid Malcolm2-3/+79
2021-08-23analyzer: Fix PR analyzer/102020Ankur Saini1-1/+1
2021-08-22Daily bump.GCC Administrator1-0/+21
2021-08-21analyzer: Fix PR analyzer/101980Ankur Saini5-41/+82
2021-08-19Daily bump.GCC Administrator1-0/+51
2021-08-18analyzer: detect and analyze virtual function callsAnkur Saini1-0/+5
2021-08-18analyzer: detect and analyze calls via function pointerAnkur Saini15-54/+440
2021-08-05Daily bump.GCC Administrator1-0/+36
2021-08-04analyzer: initial implementation of asm support [PR101570]David Malcolm13-3/+640
2021-08-04Daily bump.GCC Administrator1-0/+6
2021-08-03analyzer: Fix ICE on MD builtin [PR101721]Jakub Jelinek1-1/+1
2021-08-03Daily bump.GCC Administrator1-0/+30
2021-07-29analyzer: : Refactor callstring to work with pairs of supernodes.Ankur Saini3-51/+154
2021-07-29Daily bump.GCC Administrator1-0/+43
2021-07-28analyzer: play better with -fsanitize=boundsDavid Malcolm1-0/+6
2021-07-28analyzer: remove redundant return value from various impl_call_*David Malcolm3-43/+53
2021-07-28analyzer: Handle strdup builtinsSiddhesh Poyarekar3-16/+41
2021-07-28analyzer: Recognize __builtin_free as a matching deallocatorSiddhesh Poyarekar1-1/+2
2021-07-27Daily bump.GCC Administrator1-0/+5
2021-07-26analyzer: fix uninit false +ve when returning structsDavid Malcolm1-8/+5
2021-07-24Daily bump.GCC Administrator1-0/+16
2021-07-22analyzer: fix feasibility false +ve with overly complex svaluesDavid Malcolm3-7/+49
2021-07-22Daily bump.GCC Administrator1-0/+55
2021-07-21analyzer: bulletproof -Wanalyzer-file-leak [PR101547]David Malcolm1-6/+21
2021-07-21analyzer: fix ICE in binding_cluster::purge_state_involving [PR101522]David Malcolm1-5/+9
2021-07-21analyzer: fix issues with phi handlingDavid Malcolm5-24/+49
2021-07-21analyzer: fixes to -fdump-analyzer-state-purge for phi nodesDavid Malcolm2-27/+43
2021-07-21analyzer: show BB index in BEFORE_SUPERNODE's in-edgeDavid Malcolm1-2/+9
2021-07-21analyzer: tweak dumping of min_expr/max_exprDavid Malcolm1-5/+34
2021-07-20Daily bump.GCC Administrator1-0/+34
2021-07-19analyzer: add svalue::can_have_associated_state_p [PR101503]David Malcolm6-14/+50
2021-07-17Daily bump.GCC Administrator1-0/+59
2021-07-16analyzer: add region_model::check_region_accessDavid Malcolm9-20/+88
2021-07-16analyzer: add __analyzer_dump_stateDavid Malcolm5-0/+77
2021-07-16analyzer: add svalue::maybe_get_regionDavid Malcolm5-21/+22
2021-07-16Daily bump.GCC Administrator1-0/+148
2021-07-15analyzer: fix const-correctness of various is_a_helperDavid Malcolm1-4/+4
2021-07-15analyzer: reimplement -Wanalyzer-use-of-uninitialized-value [PR95006 et al]David Malcolm23-233/+880
2021-07-15analyzer: add -fdump-analyzer-exploded-pathsDavid Malcolm4-9/+49
2021-07-15analyzer: use DECL_DEBUG_EXPR on SSA names for artificial varsDavid Malcolm2-5/+23
2021-07-15analyzer: handle self-referential phisDavid Malcolm1-3/+34
2021-07-08Daily bump.GCC Administrator1-0/+61
2021-07-07analyzer: remove add_any_constraints_from_ssa_def_stmtDavid Malcolm15-241/+359
generated by cgit v1.1 at 2025-01-24 16:44:01 +0000