aboutsummaryrefslogtreecommitdiff
path: root/gcc/analyzer
AgeCommit message (Expand)AuthorFilesLines
2023-10-09Daily bump.GCC Administrator1-0/+52
2023-10-08analyzer: improvements to out-of-bounds diagrams [PR111155]David Malcolm1-89/+341
2023-10-04Daily bump.GCC Administrator1-0/+9
2023-10-03diagnostics: add ctors to text_info; add m_ prefixes to fieldsDavid Malcolm3-23/+4
2023-10-03Daily bump.GCC Administrator1-0/+5
2023-10-02diagnostics: group together source printing fields of diagnostic_contextDavid Malcolm1-2/+2
2023-09-16Daily bump.GCC Administrator1-0/+44
2023-09-15analyzer: support diagnostics that don't have a stmtDavid Malcolm3-14/+42
2023-09-15analyzer: introduce pending_locationDavid Malcolm5-44/+71
2023-09-15analyzer: handle volatile opsDavid Malcolm1-0/+11
2023-09-15Daily bump.GCC Administrator1-0/+33
2023-09-14diagnostics: support multithreaded diagnostic pathsDavid Malcolm2-1/+20
2023-09-14analyzer: fix missing return in compatible_epath_pDavid Malcolm1-0/+8
2023-09-14analyzer: use unique_ptr for rejected_constraintDavid Malcolm7-45/+45
2023-09-10Daily bump.GCC Administrator1-0/+7
2023-09-09analyzer: Move gcc.dg/analyzer tests to c-c++-common (2) [PR96395]benjamin priour1-0/+4
2023-09-08Daily bump.GCC Administrator1-0/+26
2023-09-07analyzer: basic support for computed gotos (PR analyzer/110529)David Malcolm5-3/+71
2023-09-07analyzer: Call off a superseding when diagnostics are unrelated [PR110830]benjamin priour1-1/+89
2023-09-07analyzer: fix -Wunused-parameter warningsDavid Malcolm1-3/+3
2023-09-07Daily bump.GCC Administrator1-0/+29
2023-09-06analyzer: implement kf_strstr [PR105899]David Malcolm1-0/+96
2023-09-06analyzer: implement kf_strncpy [PR105899]David Malcolm2-0/+184
2023-09-06analyzer: add ctxt to fill_region/zero_fill_regionDavid Malcolm3-12/+21
2023-09-02Daily bump.GCC Administrator1-0/+24
2023-09-01analyzer: Add support of placement new and improved operator new [PR105948,PR...benjamin priour8-25/+182
2023-09-01Daily bump.GCC Administrator1-0/+4
2023-08-31Darwin: homogenize spelling of macOSFrancois-Xavier Coudert1-1/+1
2023-08-31Daily bump.GCC Administrator1-0/+17
2023-08-30analyzer: implement reference count checking for CPython plugin [PR107646]Eric Feng4-12/+59
2023-08-30Analyzer: include algorithm headerFrancois-Xavier Coudert1-0/+1
2023-08-30Daily bump.GCC Administrator1-0/+26
2023-08-29analyzer: new warning: -Wanalyzer-overlapping-buffers [PR99860]David Malcolm8-2/+554
2023-08-29analyzer: improve strdup handling [PR105899]David Malcolm1-9/+19
2023-08-28Daily bump.GCC Administrator1-0/+34
2023-08-27analyzer: Move gcc.dg/analyzer tests to c-c++-common (1) [PR96395]benjamin priour8-108/+351
2023-08-26Daily bump.GCC Administrator1-0/+5
2023-08-25analyzer: fix ICE in text art strings supportDavid Malcolm1-19/+38
2023-08-25Daily bump.GCC Administrator1-0/+91
2023-08-24analyzer: implement kf_strcat [PR105899]David Malcolm5-20/+138
2023-08-24analyzer: handle strlen(BITS_WITHIN) [PR105899]David Malcolm1-1/+20
2023-08-24analyzer: handle INIT_VAL(ELEMENT_REG(STRING_REG), CONSTANT_SVAL) [PR105899]David Malcolm1-0/+19
2023-08-24analyzer: handle strlen(INIT_VAL(STRING_REG)) [PR105899]David Malcolm1-21/+47
2023-08-24analyzer: reimplement kf_memcpy_memmoveDavid Malcolm3-10/+48
2023-08-24analyzer: eliminate region_model::get_string_size [PR105899]David Malcolm2-32/+0
2023-08-24analyzer: reimplement kf_strcpy [PR105899]David Malcolm3-23/+45
2023-08-24analyzer: handle symbolic bindings in scan_for_null_terminator [PR105899]David Malcolm1-0/+15
2023-08-24analyzer: add logging to impl_path_contextDavid Malcolm1-2/+11
2023-08-23Daily bump.GCC Administrator1-0/+99
2023-08-22analyzer: reimplement kf_strlen [PR105899]David Malcolm3-59/+29