aboutsummaryrefslogtreecommitdiff
path: root/gcc/analyzer
AgeCommit message (Expand)AuthorFilesLines
2021-01-15Daily bump.GCC Administrator1-0/+22
2021-01-14analyzer: fixes to -fdump-analyzer-jsonDavid Malcolm4-4/+60
2021-01-14analyzer: const fixes [PR98679]David Malcolm3-4/+4
2021-01-13Daily bump.GCC Administrator1-0/+6
2021-01-11analyzer: fix ICE merging dereferencing unknown ptrs [PR98628]David Malcolm1-2/+5
2021-01-08Daily bump.GCC Administrator1-0/+27
2021-01-07analyzer: fix ICE when DECL_INITIAL is error_mark_node [PR98580]David Malcolm1-0/+5
2021-01-06analyzer: fix false leak reports when merging states [PR97074]David Malcolm4-3/+40
2021-01-06analyzer: fix missing bitmap_clear [PR98564]David Malcolm1-0/+1
2021-01-07Daily bump.GCC Administrator1-0/+7
2021-01-05analyzer: fix false leaks when writing through unknown ptrs [PR97072]David Malcolm1-9/+27
2021-01-06Daily bump.GCC Administrator1-0/+7
2021-01-04analyzer: fix ICE with -fsanitize=undefined [PR98293]David Malcolm1-1/+18
2021-01-04Update copyright years.Jakub Jelinek59-59/+59
2021-01-04Update Copyright in ChangeLog filesJakub Jelinek1-1/+1
2020-12-01Daily bump.GCC Administrator1-0/+27
2020-11-30Unbreak build with --disable-analyzerDavid Malcolm1-0/+3
2020-11-30Add analyzer plugin support and CPython GIL exampleDavid Malcolm7-4/+88
2020-11-19Daily bump.GCC Administrator1-0/+7
2020-11-18analyzer: only use CWE-690 for unchecked return value [PR97893]David Malcolm1-4/+4
2020-11-13Daily bump.GCC Administrator1-0/+35
2020-11-11analyzer: precision-of-wording for -Wanalyzer-stale-setjmp-bufferDavid Malcolm4-5/+89
2020-11-11analyzer: warn on invalid shift counts [PR97424]David Malcolm2-0/+110
2020-11-11Daily bump.GCC Administrator1-0/+15
2020-11-10analyzer: remove dead codeMartin Liska7-31/+23
2020-11-06Daily bump.GCC Administrator1-0/+5
2020-11-05analyzer: fix ICE comparing COMPLEX_CSTs [PR97668]David Malcolm1-0/+4
2020-10-29Daily bump.GCC Administrator1-0/+42
2020-10-28analyzer: more non-determinism fixesDavid Malcolm2-4/+32
2020-10-28analyzer: fix false leak diagnostic on offsets from malloc [PR97608]David Malcolm1-0/+34
2020-10-28analyzer: move svalue and region decls to their own header filesDavid Malcolm8-2162/+2331
2020-10-28analyzer: fix more pointer-printing in logsDavid Malcolm2-5/+11
2020-10-28Daily bump.GCC Administrator1-0/+98
2020-10-27analyzer: don't assume extern const vars are zero-initialized [PR97568]David Malcolm2-2/+6
2020-10-27analyzer: Change cast from long to intptr_t [PR96608]Markus Böck1-1/+1
2020-10-27analyzer: eliminate non-deterministic behaviorDavid Malcolm5-31/+102
2020-10-27analyzer: eliminate non-determinism in logsDavid Malcolm13-65/+493
2020-10-27analyzer: fix param "analyzer-max-enodes-per-program-point"David Malcolm1-1/+1
2020-10-27analyzer: implement region_model::get_representative_path_var for labelsDavid Malcolm2-1/+6
2020-10-23Daily bump.GCC Administrator1-0/+14
2020-10-22analyzer: fix ICE when handling callback exceeds enode limit [PR97514]David Malcolm1-2/+3
2020-10-22analyzer: fix ICE on dtor [PR97489]David Malcolm1-0/+5
2020-10-15Daily bump.GCC Administrator1-0/+16
2020-10-14analyzer: fix ICE on globals with unknown size [PR93388]David Malcolm2-21/+32
2020-10-14analyzer: fix build with ada [PR93723]David Malcolm1-1/+0
2020-10-13Daily bump.GCC Administrator1-0/+55
2020-10-12analyzer: handle static callbacks [PR97258]David Malcolm6-14/+109
2020-10-12analyzer: add warnings about writes to constant regions [PR95007]David Malcolm4-1/+133
2020-10-08Daily bump.GCC Administrator1-0/+9
2020-10-07analyzer: handle C++ argument numbers and "this" [PR97116]David Malcolm1-14/+47