Rust: Add change note for reads as taint steps

This commit is contained in:
Simon Friis Vindum
2025-12-11 09:09:12 +01:00
parent c6d2047827
commit 8c39472d73

View File

@@ -0,0 +1,4 @@
---
category: minorAnalysis
---
* Reading content of a value now carry taint if the value itself is tainted. For instance, if `s` is tainted then `s.field` is also tainted. This generally improves taint flow.