aboutsummaryrefslogtreecommitdiff
path: root/gcc/analyzer/sm-taint.cc
AgeCommit message (Expand)AuthorFilesLines
2023-07-19analyzer: fix ICE on division of tainted floating-point values [PR110700]David Malcolm1-0/+6
2023-06-21analyzer: add text-art visualizations of out-of-bounds accesses [PR106626]David Malcolm1-8/+8
2023-01-16Update copyright years.Jakub Jelinek1-1/+1
2023-01-13analyzer: add heuristics for switch on enum type [PR105273]David Malcolm1-0/+25
2022-11-13analyzer: new warning: -Wanalyzer-tainted-assertion [PR106235]David Malcolm1-13/+170
2022-11-03analyzer: use std::unique_ptr for pending_diagnostic/noteDavid Malcolm1-9/+13
2022-10-05analyzer: simplify some includesDavid Malcolm1-4/+0
2022-09-09analyzer: implement trust boundaries via a plugin for Linux kernelDavid Malcolm1-0/+27
2022-07-28analyzer: add CWE identifier URLs to docsDavid Malcolm1-0/+1
2022-07-20analyzer: bulletproof taint warnings against NULL m_argDavid Malcolm1-83/+164
2022-07-20analyzer: update "tainted" state of RHS in comparisons [PR106373]David Malcolm1-3/+15
2022-07-19analyzer: fix taint handling of switch statements [PR106321]David Malcolm1-0/+58
2022-07-15analyzer: fix taint false positive on optimized range checks [PR106284]David Malcolm1-0/+42
2022-07-07analyzer: fix false positives from -Wanalyzer-tainted-divisor [PR106225]David Malcolm1-12/+39
2022-06-02diagnostics: add SARIF output formatDavid Malcolm1-0/+11
2022-05-20Use "final" and "override" directly, rather than via macrosDavid Malcolm1-30/+30
2022-03-23analyzer: use tainted_allocation_size::m_mem_space [PR105017]David Malcolm1-26/+56
2022-03-16analyzer: early rejection of disabled warnings [PR104955]David Malcolm1-26/+45
2022-03-10analyzer: fix duplicates in check_for_tainted_size_argDavid Malcolm1-0/+4
2022-03-07Fix up duplicated duplicated words in commentsJakub Jelinek1-1/+1
2022-02-07analyzer: fix ICE on realloc of non-heap [PR104417]David Malcolm1-9/+0
2022-02-03analyzer: fixes to realloc-handling [PR104369]David Malcolm1-3/+9
2022-01-14analyzer: fix ICE when combining taint states has_ub and has_lbDavid Malcolm1-5/+9
2022-01-14analyzer: fix ICE in taint checker on unary ops [PR104029]David Malcolm1-1/+0
2022-01-12analyzer: complain about tainted sizes with "access" attribute [PR103940]David Malcolm1-9/+107
2022-01-03Update copyright years.Jakub Jelinek1-1/+1
2021-11-13analyzer: add four new taint-based warningsDavid Malcolm1-89/+737
2021-07-07analyzer: remove add_any_constraints_from_ssa_def_stmtDavid Malcolm1-4/+4
2021-03-30analyzer: only call get_diagnostic_tree when it's neededDavid Malcolm1-1/+3
2021-01-04Update copyright years.Jakub Jelinek1-1/+1
2020-09-22analyzer: add -fdump-analyzer-jsonDavid Malcolm1-0/+1
2020-09-09analyzer: eliminate sm_context::warn_for_state in favor of a new 'warn' vfuncDavid Malcolm1-20/+29
2020-09-09analyzer: use objects for state_machine::state_tDavid Malcolm1-4/+0
2020-08-13analyzer: rewrite of region and value-handlingDavid Malcolm1-5/+4
2020-01-28diagnostic_metadata: unbreak xgettext (v2)David Malcolm1-12/+12
2020-01-22analyzer: introduce namespace to avoid ODR clashes (PR 93307)David Malcolm1-0/+4
2020-01-14analyzer: fix dedupe issue seen with CVE-2005-1689David Malcolm1-1/+1
2020-01-14Initial commit of analyzerDavid Malcolm1-0/+328
generated by cgit v1.1 at 2025-01-30 06:35:38 +0000