Struct TaintAnalysis 

pub struct TaintAnalysis {
    pub taint: HashMap<String, TaintValue>,
}

Taint analysis state: map from variable to taint status.

Fields

taint: HashMap<String, TaintValue>

Variable → taint status

Implementations

impl TaintAnalysis

pub fn new() -> Self

Create empty taint analysis state.

pub fn add_source(&mut self, var: impl Into<String>)

Mark a variable as a taint source.

pub fn is_tainted(&self, var: &str) -> bool

Check if a variable is tainted.

pub fn propagate(&mut self, result: impl Into<String>, inputs: &[&str])

Propagate taint: result of operation is tainted if any input is.

Trait Implementations

impl Default for TaintAnalysis

fn default() -> Self

Returns the “default value” for a type.