aboutsummaryrefslogtreecommitdiff
path: root/gcc/analyzer
AgeCommit message (Expand)AuthorFilesLines
2024-03-08Daily bump.GCC Administrator1-0/+9
2024-03-07analyzer: Fix up some -Wformat* warningsJakub Jelinek5-1/+5
2024-03-01Daily bump.GCC Administrator1-0/+87
2024-02-29analyzer: fix ICE in call summarization [PR114159]David Malcolm24-127/+159
2024-02-28Daily bump.GCC Administrator1-0/+15
2024-02-27analyzer: use correct format code for string literal indices [PR110483,PR111802]David Malcolm1-1/+1
2024-02-27analyzer: fix ICE on floating-point bounds [PR111881]David Malcolm1-0/+6
2024-02-22Daily bump.GCC Administrator1-0/+16
2024-02-20analyzer: handle array-initialization from a string_cst [PR113999]David Malcolm3-6/+49
2024-02-20analyzer: handle empty ranges in symbolic_byte_range::intersection [PR113998]David Malcolm1-0/+18
2024-02-20Daily bump.GCC Administrator1-0/+15
2024-02-19analyzer: fix -Wanalyzer-va-arg-type-mismatch false +ve on int types [PR111289]David Malcolm1-4/+34
2024-02-19analyzer: Fix maybe_undo_optimize_bit_field_compare vs non-scalar types [PR11...Andrew Pinski1-0/+3
2024-02-16Daily bump.GCC Administrator1-0/+14
2024-02-15analyzer: remove offset_region size overloads [PR111266]David Malcolm2-56/+12
2024-02-14Daily bump.GCC Administrator1-0/+7
2024-02-12diagnostics: unbreak 'make gcc.pot'David Malcolm1-8/+8
2024-02-01Daily bump.GCC Administrator1-0/+17
2024-01-31analyzer: fix skipping of debug stmts [PR113253]David Malcolm3-0/+18
2024-01-30analyzer: handle null "var" in state_change_event::get_desc [PR113509]David Malcolm1-18/+41
2024-01-31Daily bump.GCC Administrator1-0/+19
2024-01-30analyzer: fix -Wanalyzer-allocation-size false +ve on Linux kernel's round_up...David Malcolm1-2/+73
2024-01-30analyzer: add SARIF property bag to -Wanalyzer-allocation-sizeDavid Malcolm1-10/+21
2024-01-26Daily bump.GCC Administrator1-0/+7
2024-01-25analyzer: fix defaults in compound assignments from non-zero offsets [PR112969]David Malcolm1-1/+10
2024-01-25Daily bump.GCC Administrator1-0/+18
2024-01-24analyzer: fix taint false +ve due to overzealous state purging [PR112977]David Malcolm5-3/+80
2024-01-19Daily bump.GCC Administrator1-0/+28
2024-01-18analyzer: fix ICE on strlen ((char *)&VECTOR_CST) [PR111361]David Malcolm1-1/+8
2024-01-18analyzer: fix offsets in has_null_terminator [PR112811]David Malcolm2-134/+301
2024-01-16Daily bump.GCC Administrator1-0/+20
2024-01-15analyzer: fix false +ves from -Wanalyzer-tainted-array-index with unsigned ch...David Malcolm3-5/+114
2024-01-15analyzer: casting all zeroes should give all zeroes [PR113333]David Malcolm1-0/+6
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
generated by cgit v1.1 at 2025-08-08 22:33:55 +0000