aboutsummaryrefslogtreecommitdiff
path: root/gcc/analyzer
AgeCommit message (Expand)AuthorFilesLines
2023-12-09Daily bump.GCC Administrator1-0/+22
2023-12-08analyzer: avoid taint for (TAINTED % NON_TAINTED)David Malcolm1-1/+8
2023-12-08analyzer: fix ICE on infoleak with poisoned sizeDavid Malcolm1-13/+24
2023-12-07analyzer: fix ICE for 2 bits before the start of base region [PR112889]David Malcolm1-5/+5
2023-12-08Daily bump.GCC Administrator1-0/+28
2023-12-07analyzer: deal with -fshort-enumsAlexandre Oliva1-4/+23
2023-12-06analyzer: fix taint false positives with UNKNOWN [PR112850]David Malcolm8-1/+50
2023-12-07Daily bump.GCC Administrator1-0/+5
2023-12-06diagnostics: prettify JSON output formatsDavid Malcolm1-1/+1
2023-12-02Daily bump.GCC Administrator1-0/+40
2023-12-01diagnostics, analyzer: add optional per-diagnostic property bags to SARIFDavid Malcolm23-497/+490
2023-11-20Daily bump.GCC Administrator1-0/+43
2023-11-19libcpp: split decls out to rich-location.hDavid Malcolm1-0/+1
2023-11-18analyzer: new warning: -Wanalyzer-undefined-behavior-strtok [PR107573]David Malcolm13-17/+407
2023-11-19Daily bump.GCC Administrator1-0/+112
2023-11-17analyzer: new warning: -Wanalyzer-infinite-loop [PR106147]David Malcolm14-51/+845
2023-11-15Daily bump.GCC Administrator1-0/+6
2023-11-14analyzer: enable taint state machine by default [PR103533]David Malcolm2-5/+2
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
generated by cgit v1.1 at 2024-11-02 16:29:58 +0000