Struct FieldTaintMap 

pub struct FieldTaintMap { /* private fields */ }

Maps field paths to their taint states

This data structure tracks taint at the field level, enabling precise analysis where only specific fields of a struct are tainted.

Implementations

impl FieldTaintMap

pub fn new() -> Self

Create a new empty field taint map

pub fn set_field_taint(&mut self, path: FieldPath, taint: FieldTaint)

Set taint state for a specific field

pub fn get_field_taint(&self, path: &FieldPath) -> FieldTaint

Get taint state for a specific field

If the exact field is not in the map, checks parent fields. Returns Unknown if no information is available.

pub fn set_var_taint(&mut self, base_var: &str, taint: FieldTaint)

Set taint for an entire variable (all fields)

This is used when a whole struct is assigned a tainted value. In conservative analysis, this taints all known fields of the struct.

pub fn get_fields_for_var(&self, base_var: &str) -> Vec<(FieldPath, FieldTaint)>

Get all fields for a given base variable

pub fn has_tainted_field(&self, base_var: &str) -> bool

Check if any field of a variable is tainted

pub fn merge(&mut self, other: &FieldTaintMap)

Merge another FieldTaintMap into this one

Used when combining taint states from different paths. If a field appears in both maps, the more specific taint wins: Tainted > Sanitized > Clean > Unknown

pub fn clear(&mut self)

Clear all taint information

pub fn len(&self) -> usize

Get number of tracked fields

pub fn is_empty(&self) -> bool

Check if map is empty

Trait Implementations

impl Clone for FieldTaintMap

fn clone(&self) -> FieldTaintMap

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for FieldTaintMap

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Default for FieldTaintMap

fn default() -> Self

Returns the “default value” for a type.