aboutsummaryrefslogtreecommitdiff
path: root/gcc/analyzer/bounds-checking.cc
AgeCommit message (Expand)AuthorFilesLines
2025-07-25diagnostics: move/rename output formats to diagnostics as "sinks"David Malcolm1-9/+11
2025-07-25diagnostics: introduce namespace diagnostics::pathsDavid Malcolm1-2/+2
2025-07-25diagnostics: move diagnostic_diagram to diagnostics::diagramDavid Malcolm1-2/+2
2025-06-30analyzer: use nullptr rather than NULLDavid Malcolm1-3/+3
2025-04-28Eliminate make-unique.h and ::make_uniqueDavid Malcolm1-35/+41
2025-04-28analyzer: convert various enums to "enum class"David Malcolm1-13/+13
2025-04-28analyzer: use analyzer/common.h as a common headerDavid Malcolm1-12/+3
2025-01-02Update copyright years.Jakub Jelinek1-1/+1
2024-11-22build: Remove INCLUDE_MEMORY [PR117737]Andrew Pinski1-1/+0
2024-10-24analyzer: avoid implicit use of global_dc's pretty_printer [PR116613]David Malcolm1-183/+276
2024-03-18analyzer: fix ICEs due to sloppy types in bounds-checking [PR110902,PR110928,...David Malcolm1-1/+147
2024-01-03Update copyright years.Jakub Jelinek1-1/+1
2023-12-16analyzer: add sarif properties for bounds checking diagnosticsDavid Malcolm1-0/+58
2023-12-16analyzer: use bit-level granularity for concrete bounds-checking [PR112792]David Malcolm1-102/+333
2023-12-01diagnostics, analyzer: add optional per-diagnostic property bags to SARIFDavid Malcolm1-78/+52
2023-11-03diagnostics: convert diagnostic_context to a classDavid Malcolm1-2/+2
2023-08-04analyzer: handle function attribute "alloc_size" [PR110426]David Malcolm1-9/+3
2023-06-23text-art: remove explicit #include of C++ standard library headersDavid Malcolm1-0/+1
2023-06-21analyzer: add text-art visualizations of out-of-bounds accesses [PR106626]David Malcolm1-62/+210
2023-06-08analyzer: Standalone OOB-warning [PR109437, PR109439]Benjamin Priour1-9/+19
2023-01-16Update copyright years.Jakub Jelinek1-1/+1
2022-12-02analyzer: introduce struct event_loc_infoDavid Malcolm1-8/+4
2022-12-02analyzer: fixes to region creation messages [PR107851]David Malcolm1-16/+24
2022-11-30analyzer: fix i18n issues in symbolic out-of-bounds [PR106626]David Malcolm1-54/+138
2022-11-30analyzer: unify bounds-checking class hierarchiesDavid Malcolm1-75/+110
2022-11-30analyzer: more bounds-checking wording tweaks [PR106626]David Malcolm1-34/+99
2022-11-30analyzer: add note about valid subscripts [PR106626]David Malcolm1-4/+42
2022-11-30analyzer: fix wording of 'number of bad bytes' note [PR106626]David Malcolm1-22/+44
2022-11-30analyzer: move bounds checking to a new bounds-checking.ccDavid Malcolm1-0/+695