aboutsummaryrefslogtreecommitdiff
path: root/gcc/testsuite/gcc.dg/analyzer
AgeCommit message (Expand)AuthorFilesLines
2023-12-07testsuite: refine gcc.dg/analyzer/fd-4.c test for newlibMarc Poulhiès1-0/+1
2023-12-07analyzer: deal with -fshort-enumsAlexandre Oliva2-0/+281
2023-12-06analyzer: fix taint false positives with UNKNOWN [PR112850]David Malcolm17-13/+21
2023-12-06diagnostics: prettify JSON output formatsDavid Malcolm1-1/+1
2023-12-01diagnostics, analyzer: add optional per-diagnostic property bags to SARIFDavid Malcolm3-4/+4
2023-11-26Skip analyzer strndup test on hppa*-*-hpux*John David Anglin1-1/+1
2023-11-26Skip analyzer socket tests on hppa*-*-hpux*John David Anglin2-2/+2
2023-11-23hppa: Fix gcc.dg/analyzer/fd-4.c on hpuxJohn David Anglin1-1/+1
2023-11-17analyzer: new warning: -Wanalyzer-infinite-loop [PR106147]David Malcolm11-8/+275
2023-11-14analyzer: enable taint state machine by default [PR103533]David Malcolm30-183/+8
2023-11-13C99 testsuite readiness: -fpermissive testsFlorian Weimer1-0/+2
2023-10-08analyzer: improvements to out-of-bounds diagrams [PR111155]David Malcolm4-89/+103
2023-09-09analyzer: Move gcc.dg/analyzer tests to c-c++-common (2) [PR96395]benjamin priour132-9915/+55
2023-09-07analyzer: basic support for computed gotos (PR analyzer/110529)David Malcolm1-0/+27
2023-09-06analyzer: implement kf_strncpy [PR105899]David Malcolm1-0/+24
2023-08-29analyzer: improve strdup handling [PR105899]David Malcolm1-0/+27
2023-08-27analyzer: Move gcc.dg/analyzer tests to c-c++-common (1) [PR96395]benjamin priour103-7186/+35
2023-08-25analyzer: fix ICE in text art strings supportDavid Malcolm3-0/+117
2023-08-24analyzer: implement kf_strcat [PR105899]David Malcolm1-0/+136
2023-08-24analyzer: handle strlen(INIT_VAL(STRING_REG)) [PR105899]David Malcolm1-0/+7
2023-08-24analyzer: reimplement kf_strcpy [PR105899]David Malcolm4-0/+105
2023-08-24analyzer: handle symbolic bindings in scan_for_null_terminator [PR105899]David Malcolm1-0/+11
2023-08-22analyzer: reimplement kf_strlen [PR105899]David Malcolm2-2/+56
2023-08-21analyzer: check format strings for null termination [PR105899]David Malcolm2-2/+35
2023-08-21analyzer: add kf_fopenDavid Malcolm1-0/+66
2023-08-21analyzer: replace -Wanalyzer-unterminated-string with scan_for_null_terminato...David Malcolm6-13/+178
2023-08-20Testsuite: fix analyzer tests on DarwinFrancois-Xavier Coudert9-0/+16
2023-08-11analyzer: new warning: -Wanalyzer-unterminated-string [PR105899]David Malcolm7-0/+72
2023-08-09analyzer: remove default return value from region_model::on_call_preDavid Malcolm8-23/+38
2023-08-04analyzer: handle function attribute "alloc_size" [PR110426]David Malcolm12-36/+303
2023-08-03testsuite, analyzer: add test case [PR108171]David Malcolm1-0/+31
2023-08-03analyzer: fix ICE on zero-sized arrays [PR110882]David Malcolm1-0/+18
2023-07-20analyzer: avoid usage of TYPE_PRECISION on vector types [PR110455]David Malcolm1-0/+7
2023-07-20analyzer: fix ICE on certain pointer subtractions [PR110387]David Malcolm1-0/+19
2023-07-19analyzer: fix ICE on division of tainted floating-point values [PR110700]David Malcolm1-0/+13
2023-07-11testsuite: Skip failing analyzer tests on AIX.David Edelsohn6-0/+6
2023-06-21analyzer: add text-art visualizations of out-of-bounds accesses [PR106626]David Malcolm24-5/+1045
2023-06-21testsuite: move handle-multiline-outputs to before check for blank linesDavid Malcolm1-5/+0
2023-06-10testsuite: Add more allocation size tests for conjured svalues [PR110014]Tim Lange1-0/+25
2023-06-10analyzer: Fix allocation size false positive on conjured svalue [PR109577]Tim Lange2-8/+32
2023-06-08analyzer: Standalone OOB-warning [PR109437, PR109439]Benjamin Priour5-5/+12
2023-06-02analyzer: implement various atomic builtins [PR109015]David Malcolm4-0/+628
2023-05-30testsuite: add verify-sarif-file to some testcases that were missing itDavid Malcolm2-0/+3
2023-05-25testsuite, analyzer: Fix testcases with fcloseChristophe Lyon2-0/+4
2023-05-22testsuite/52641: Fix more of implicit int=32 assumption fallout.Georg-Johann Lay13-0/+17
2023-04-14testsuite: filter out warning noise for CWE-1341 testJiufu Guo1-0/+3
2023-03-31testsuite, analyzer: Fix up pipe-glibc.c testcase [PR107396]Jakub Jelinek1-0/+4
2023-03-22analyzer: fix false +ves from -Wanalyzer-deref-before-check due to inlining [...David Malcolm1-0/+153
2023-03-18analyzer: fix ICE on certain longjmp calls [PR109094]David Malcolm1-0/+38
2023-03-13testsuite: add test coverage for analyzer leak false +ve [PR105906]David Malcolm1-0/+32
generated by cgit v1.1 at 2025-03-13 17:15:43 +0000