diff options
| author | GCC Administrator <gccadmin@gcc.gnu.org> | 2024-03-23 00:17:26 +0000 |
|---|---|---|
| committer | GCC Administrator <gccadmin@gcc.gnu.org> | 2024-03-23 00:17:26 +0000 |
| commit | e8985864a385992aa26e7c8373faa190e2ced17d (patch) | |
| tree | 989fd9d77b682f1c541a5df07db32d7a39a03573 /gcc/analyzer | |
| parent | c2e28df90a1640cebadef6c6c8ab5ea964071bb1 (diff) | |
| download | gcc-e8985864a385992aa26e7c8373faa190e2ced17d.zip gcc-e8985864a385992aa26e7c8373faa190e2ced17d.tar.gz gcc-e8985864a385992aa26e7c8373faa190e2ced17d.tar.bz2 | |
Daily bump.
Diffstat (limited to 'gcc/analyzer')
| -rw-r--r-- | gcc/analyzer/ChangeLog | 19 |
1 files changed, 19 insertions, 0 deletions
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 <dmalcolm@redhat.com> + + 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 <dmalcolm@redhat.com> + + * 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 <dmalcolm@redhat.com> PR analyzer/113619 |