From e8985864a385992aa26e7c8373faa190e2ced17d Mon Sep 17 00:00:00 2001 From: GCC Administrator Date: Sat, 23 Mar 2024 00:17:26 +0000 Subject: Daily bump. --- gcc/analyzer/ChangeLog | 19 +++++++++++++++++++ 1 file changed, 19 insertions(+) (limited to 'gcc/analyzer') diff --git a/gcc/analyzer/ChangeLog b/gcc/analyzer/ChangeLog index 38efe59..1468d2a 100644 --- a/gcc/analyzer/ChangeLog +++ b/gcc/analyzer/ChangeLog @@ -1,3 +1,22 @@ +2024-03-22 David Malcolm + + PR analyzer/112974 + PR analyzer/112975 + * sm-taint.cc (taint_state_machine::on_condition): Strip away + casts before considering LHS and RHS, to increase the chance of + detecting places where sanitization of a value may have happened. + +2024-03-22 David Malcolm + + * sm-taint.cc: Include "diagnostic-format-sarif.h". + (bounds_to_str): New. + (taint_diagnostic::maybe_add_sarif_properties): New. + (tainted_offset::tainted_offset): Add "offset" param. + (tainted_offset::maybe_add_sarif_properties): New. + (tainted_offset::m_offset): New. + (region_model::check_region_for_taint): Pass offset to + tainted_offset ctor. + 2024-03-21 David Malcolm PR analyzer/113619 -- cgit v1.1