aboutsummaryrefslogtreecommitdiff
path: root/gcc/analyzer
AgeCommit message (Expand)AuthorFilesLines
2022-01-28Daily bump.GCC Administrator1-0/+54
2022-01-27analyzer: show region creation events for uninit warningsDavid Malcolm9-9/+231
2022-01-27analyzer: fix -Wformat warnings on i686Martin Liska2-3/+3
2022-01-27Daily bump.GCC Administrator1-0/+20
2022-01-26analyzer: fix missing uninit warning on args to stdio builtins [PR104224]David Malcolm2-0/+13
2022-01-26analyzer: fix sense in range::add_bound [PR94362]David Malcolm1-14/+79
2022-01-23Daily bump.GCC Administrator1-0/+8
2022-01-22analyzer: fix ICE on vector casts [PR104159]David Malcolm1-0/+11
2022-01-21Daily bump.GCC Administrator1-0/+24
2022-01-20analyzer: reject ((i + 1 > 0) && (i < 0)) for integers [PR94362]David Malcolm3-13/+179
2022-01-19Daily bump.GCC Administrator1-0/+16
2022-01-18analyzer: fix ICE on unary ops folding to casts of constants [PR104089]David Malcolm1-1/+18
2022-01-18analyzer: fix ICE on realloc of zeroed memory [PR104062]David Malcolm1-1/+2
2022-01-18Daily bump.GCC Administrator1-0/+9
2022-01-17Change references of .c files to .cc filesMartin Liska5-6/+6
2022-01-15Daily bump.GCC Administrator1-0/+30
2022-01-14analyzer: fix ICE when combining taint states has_ub and has_lbDavid Malcolm1-5/+9
2022-01-14analyzer: fix ICE in taint checker on unary ops [PR104029]David Malcolm1-1/+0
2022-01-13Add __attribute__ ((tainted_args))David Malcolm1-2/+318
2022-01-13Daily bump.GCC Administrator1-0/+23
2022-01-12analyzer: complain about tainted sizes with "access" attribute [PR103940]David Malcolm3-12/+124
2022-01-12Daily bump.GCC Administrator1-0/+29
2022-01-11analyzer: fix false +ve on bitwise binops (PR analyzer/102692)David Malcolm4-12/+109
2022-01-08Daily bump.GCC Administrator1-0/+33
2022-01-07analyzer: add logging of aliasingDavid Malcolm6-4/+40
2022-01-07analyzer: implement __analyzer_dump_escapedDavid Malcolm4-0/+74
2022-01-07analyzer: add region::is_named_decl_pDavid Malcolm2-0/+16
2022-01-07Daily bump.GCC Administrator1-0/+7
2022-01-06analyzer: make use of may_be_aliased in alias detection [PR103546]David Malcolm1-7/+11
2022-01-03Update copyright years.Jakub Jelinek66-66/+66
2022-01-03Update Copyright in ChangeLog filesJakub Jelinek1-1/+1
2021-12-13Daily bump.GCC Administrator1-0/+4
2021-12-12Replace gnu::unique_ptr with std::unique_ptrJonathan Wakely1-1/+1
2021-12-07Daily bump.GCC Administrator1-0/+12
2021-12-06analyzer: fix equivalence class state purging [PR103533]David Malcolm2-2/+149
2021-12-02Daily bump.GCC Administrator1-0/+7
2021-12-01analyzer: fix false leak seen in Juliet 1.3 [PR102471]David Malcolm1-0/+13
2021-11-30Daily bump.GCC Administrator1-0/+8
2021-11-29analyzer: further false leak fixes due to overzealous state merging [PR103217]David Malcolm1-2/+12
2021-11-20Daily bump.GCC Administrator1-0/+34
2021-11-19analyzer: fix false leak due to overeager state merging [PR103217]David Malcolm6-12/+71
2021-11-18Daily bump.GCC Administrator1-0/+17
2021-11-16analyzer: fix missing -Wanalyzer-write-to-const [PR102695]David Malcolm4-3/+126
2021-11-17Daily bump.GCC Administrator1-0/+6
2021-11-16analyzer: fix overeager sharing of bounded_range instances [PR102662]David Malcolm1-1/+3
2021-11-14Daily bump.GCC Administrator1-0/+73
2021-11-13analyzer: add four new taint-based warningsDavid Malcolm9-112/+875
2021-11-13Daily bump.GCC Administrator1-0/+5
2021-11-12analyzer: "__analyzer_dump_state" has no side-effectsDavid Malcolm1-2/+5
2021-11-12Daily bump.GCC Administrator1-0/+4