aboutsummaryrefslogtreecommitdiff
path: root/gcc/analyzer
AgeCommit message (Expand)AuthorFilesLines
2023-02-22Daily bump.GCC Administrator1-0/+17
2023-02-21analyzer: stop exploring the path after certain diagnostics [PR108830]David Malcolm6-7/+64
2023-02-17Daily bump.GCC Administrator1-0/+17
2023-02-16analyzer: respect some conditions from bit masks [PR108806]David Malcolm3-1/+175
2023-02-16Daily bump.GCC Administrator1-0/+35
2023-02-15analyzer: fix uninit false +ves [PR108664,PR108666,PR108725]David Malcolm8-24/+146
2023-02-11Daily bump.GCC Administrator1-0/+6
2023-02-10analyzer: don't warn for deref-before-check for checks in macros [PR108745]David Malcolm1-0/+37
2023-02-10Daily bump.GCC Administrator1-0/+6
2023-02-09analyzer: fix further overzealous state purging [PR108733]David Malcolm1-0/+2
2023-02-09Daily bump.GCC Administrator1-0/+7
2023-02-08analyzer: fix overzealous state purging with on-stack structs [PR108704]David Malcolm1-1/+14
2023-02-08Daily bump.GCC Administrator1-0/+7
2023-02-07analyzer: fix -Wanalyzer-use-of-uninitialized-value false +ve on "read" [PR10...David Malcolm2-1/+42
2023-02-03Daily bump.GCC Administrator1-0/+8
2023-02-02analyzer: fix -Wanalyzer-fd-type-mismatch false +ve on "listen" [PR108633]David Malcolm1-2/+6
2023-02-02Daily bump.GCC Administrator1-0/+6
2023-01-31analyzer: fix -Wanalyzer-allocation-size false -ve on alloca [PR108616]David Malcolm1-0/+6
2023-01-27Daily bump.GCC Administrator1-0/+20
2023-01-26analyzer: fix false positives from -Wanalyzer-infinite-recursion [PR108524]David Malcolm4-5/+132
2023-01-20Daily bump.GCC Administrator1-0/+42
2023-01-19analyzer: use dominator info in -Wanalyzer-deref-before-check [PR108455]David Malcolm8-13/+67
2023-01-16Update copyright years.Jakub Jelinek85-85/+85
2023-01-15Daily bump.GCC Administrator1-0/+19
2023-01-13analyzer: add heuristics for switch on enum type [PR105273]David Malcolm5-2/+163
2023-01-12Daily bump.GCC Administrator1-0/+14
2023-01-11analyzer: fix leak false positives on "*UNKNOWN = PTR;" [PR108252]David Malcolm3-10/+80
2023-01-02Update Copyright year in ChangeLog filesJakub Jelinek1-1/+1
2022-12-17Daily bump.GCC Administrator1-0/+21
2022-12-16analyzer: add src_region param to region_model::check_for_poison [PR106479]David Malcolm6-8/+12
2022-12-15Daily bump.GCC Administrator1-0/+12
2022-12-14analyzer: don't call binding_key::make on empty regions [PR108065]David Malcolm2-0/+17
2022-12-10Daily bump.GCC Administrator1-0/+36
2022-12-08analyzer: rename region-model-impl-calls.cc to kf.ccDavid Malcolm3-1/+14
2022-12-08analyzer: fix ICE on region creation during get_referenced_base_regions [PR10...David Malcolm5-7/+7
2022-12-08analyzer: handle memmove like memcpyDavid Malcolm1-6/+12
2022-12-07Daily bump.GCC Administrator1-0/+64
2022-12-06analyzer: don't create bindings or binding keys for empty regions [PR107882]David Malcolm6-9/+55
2022-12-06analyzer: use __attribute__((nonnull)) at top level of analysis [PR106325]David Malcolm4-5/+40
2022-12-06analyzer: split out more stuff from region-model-impl-calls.ccDavid Malcolm14-662/+822
2022-12-03Daily bump.GCC Administrator1-0/+85
2022-12-02analyzer: introduce struct event_loc_infoDavid Malcolm15-197/+211
2022-12-02analyzer: fixes to region creation messages [PR107851]David Malcolm12-166/+237
2022-12-02Daily bump.GCC Administrator1-0/+124
2022-12-01analyzer: handle comparisons against negated symbolic values [PR107948]David Malcolm2-0/+16
2022-11-30analyzer: fix i18n issues in symbolic out-of-bounds [PR106626]David Malcolm1-54/+138
2022-11-30analyzer: unify bounds-checking class hierarchiesDavid Malcolm2-94/+115
2022-11-30analyzer: more bounds-checking wording tweaks [PR106626]David Malcolm1-34/+99
2022-11-30analyzer: add note about valid subscripts [PR106626]David Malcolm1-4/+42
2022-11-30analyzer: fix wording of 'number of bad bytes' note [PR106626]David Malcolm1-22/+44
generated by cgit v1.1 at 2024-11-03 05:33:55 +0000