aboutsummaryrefslogtreecommitdiff
path: root/gcc/analyzer
AgeCommit message (Expand)AuthorFilesLines
2023-11-05Daily bump.GCC Administrator1-0/+4
2023-11-03diagnostics: convert diagnostic_context to a classDavid Malcolm1-2/+2
2023-11-03Daily bump.GCC Administrator1-0/+14
2023-11-02analyzer: fix clang warnings [PR112317]David Malcolm3-23/+9
2023-11-01Daily bump.GCC Administrator1-0/+7
2023-10-31analyzer: move class record_layout to its own .h/.ccDavid Malcolm3-131/+217
2023-10-27Daily bump.GCC Administrator1-0/+28
2023-10-26Add attribute((null_terminated_string_arg(PARAM_IDX)))David Malcolm2-28/+179
2023-10-10Daily bump.GCC Administrator1-0/+5
2023-10-09analyzer: fix build with gcc < 6David Malcolm1-1/+2
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