aboutsummaryrefslogtreecommitdiff
path: root/gcc/analyzer
AgeCommit message (Expand)AuthorFilesLines
2023-08-04Daily bump.GCC Administrator1-0/+5
2023-08-03analyzer: fix ICE on zero-sized arrays [PR110882]David Malcolm1-1/+5
2023-08-03Daily bump.GCC Administrator1-0/+8
2023-08-02analyzer: stash values for CPython plugin [PR107646]Eric Feng2-0/+31
2023-07-27Daily bump.GCC Administrator1-0/+129
2023-07-26analyzer: add symbol base class, moving region id to there [PR104940]David Malcolm9-150/+262
2023-07-22Daily bump.GCC Administrator1-0/+18
2023-07-20analyzer: avoid usage of TYPE_PRECISION on vector types [PR110455]David Malcolm1-1/+2
2023-07-20analyzer/text-art: fix clang warnings [PR110433,PR110612]David Malcolm1-0/+1
2023-07-20analyzer: fix ICE on certain pointer subtractions [PR110387]David Malcolm1-5/+11
2023-07-20Daily bump.GCC Administrator1-0/+9
2023-07-19analyzer: fix ICE on division of tainted floating-point values [PR110700]David Malcolm2-0/+7
2023-06-30Daily bump.GCC Administrator1-0/+12
2023-06-30analyzer: Fix regression bug after r14-1632-g9589a46ddadc8b [PR110198]benjamin priour3-10/+13
2023-06-25Daily bump.GCC Administrator1-0/+5
2023-06-23text-art: remove explicit #include of C++ standard library headersDavid Malcolm2-0/+2
2023-06-23Daily bump.GCC Administrator1-0/+143
2023-06-21analyzer: add text-art visualizations of out-of-bounds accesses [PR106626]David Malcolm27-140/+3319
2023-06-11Daily bump.GCC Administrator1-0/+13
2023-06-10analyzer: Fix allocation size false positive on conjured svalue [PR109577]Tim Lange3-50/+162
2023-06-10Daily bump.GCC Administrator1-0/+19
2023-06-09analyzer: add caching to globals with initializers [PR110112]David Malcolm3-31/+79
2023-06-09Daily bump.GCC Administrator1-0/+11
2023-06-08analyzer: Standalone OOB-warning [PR109437, PR109439]Benjamin Priour3-21/+37
2023-06-03Daily bump.GCC Administrator1-0/+18
2023-06-02analyzer: implement various atomic builtins [PR109015]David Malcolm1-0/+355
2023-06-02analyzer: regions in different memory spaces can't aliasDavid Malcolm1-0/+12
2023-05-19Daily bump.GCC Administrator1-0/+9
2023-05-18analyzer: use _P() defines from tree.hBernhard Reutner-Fischer3-6/+6
2023-03-23Daily bump.GCC Administrator1-0/+11
2023-03-22analyzer: fix false +ves from -Wanalyzer-deref-before-check due to inlining [...David Malcolm3-4/+50
2023-03-19Daily bump.GCC Administrator1-0/+11
2023-03-18analyzer: fix ICE on certain longjmp calls [PR109094]David Malcolm2-4/+14
2023-03-11Daily bump.GCC Administrator1-0/+48
2023-03-10analyzer: fix leak false +ve seen in haproxy's cfgparse.c [PR109059]David Malcolm3-16/+69
2023-03-10analyzer: fix deref-before-check false +ves seen in haproxy [PR108475,PR109060]David Malcolm1-37/+44
2023-03-04Daily bump.GCC Administrator1-0/+5
2023-03-03analyzer: provide placeholder implementation of sprintfDavid Malcolm1-0/+29
2023-03-03Daily bump.GCC Administrator1-0/+10
2023-03-02analyzer: fix uninit false +ves reading from DECL_HARD_REGISTER [PR108968]David Malcolm1-1/+8
2023-03-02analyzer: Support errno for newlibHans-Peter Nilsson1-0/+2
2023-03-02Daily bump.GCC Administrator1-0/+21
2023-03-01analyzer: fixes to side-effects for built-in functions [PR107565]David Malcolm1-25/+19
2023-03-01analyzer: fix infinite recursion false +ves [PR108935]David Malcolm1-51/+100
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
generated by cgit v1.1 at 2024-11-02 19:54:42 +0000