aboutsummaryrefslogtreecommitdiff
path: root/gcc/analyzer
AgeCommit message (Expand)AuthorFilesLines
2024-01-05Daily bump.GCC Administrator1-0/+33
2024-01-04Add generated .opt.urls filesDavid Malcolm1-0/+215
2024-01-04analyzer: add sarif properties for checker eventsDavid Malcolm2-0/+49
2024-01-04analyzer: fix deref-before-check false positives due to inlining [PR112790]David Malcolm3-40/+50
2024-01-04analyzer: handle arrays of unknown size in access diagrams [PR113222]David Malcolm1-2/+2
2024-01-03Update copyright years.Jakub Jelinek94-94/+94
2024-01-03Update Copyright year in ChangeLog filesJakub Jelinek1-1/+1
2023-12-17Daily bump.GCC Administrator1-0/+112
2023-12-16analyzer: add sarif properties for bounds checking diagnosticsDavid Malcolm7-0/+208
2023-12-16analyzer: use bit-level granularity for concrete bounds-checking [PR112792]David Malcolm5-183/+494
2023-12-15Daily bump.GCC Administrator1-0/+17
2023-12-14analyzer: cleanups [PR112655]David Malcolm6-25/+25
2023-12-12Daily bump.GCC Administrator1-0/+11
2023-12-11analyzer: fix uninitialized bitmap [PR112955]David Malcolm1-0/+1
2023-12-11analyzer: Remove check of unsigned_char in maybe_undo_optimize_bit_field_comp...Andrew Pinski1-3/+0
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
generated by cgit v1.1 at 2024-07-18 09:28:34 +0000