aboutsummaryrefslogtreecommitdiff
path: root/gcc/analyzer
AgeCommit message (Expand)AuthorFilesLines
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
2020-09-30Daily bump.GCC Administrator1-0/+14
2020-09-29analyzer: fix signal-handler registration location [PR95188]David Malcolm1-6/+16
2020-09-29analyzer: silence -Wsign-compare warningsDavid Malcolm2-4/+4
2020-09-29Daily bump.GCC Administrator1-0/+25
2020-09-28analyzer: add some missing FINAL OVERRIDEsDavid Malcolm1-4/+16
2020-09-28analyzer: remove unused fieldDavid Malcolm1-1/+0
2020-09-28analyzer: fix ICE on non-pointer longjmp [PR97233]David Malcolm2-1/+5
2020-09-28analyzer: fix sm_state_map::printDavid Malcolm1-1/+1
2020-09-27Daily bump.GCC Administrator1-0/+10
2020-09-25analyzer: fix ICEs treeifying offset_region [PR96646, PR96841]David Malcolm1-2/+5
2020-09-25Daily bump.GCC Administrator1-0/+50
2020-09-23analyzer: add -fno-analyzer-feasibilityDavid Malcolm9-48/+185
2020-09-24Daily bump.GCC Administrator1-0/+26
2020-09-23analyzer: fix member call on null seen with ubsan [PR97178]David Malcolm3-8/+10
2020-09-23gcc/analyzer: Silence -Wpragma warns with GCC < 10Tobias Burnus3-1/+6
generated by cgit v1.1 at 2024-07-19 14:26:05 +0000