Struct TaintState 

pub struct TaintState {
    pub tainted: HashSet<String>,
    pub sanitized: HashSet<String>,
}

A simple variable-level taint tracking state.

Fields

tainted: HashSet<String>

Tainted variables.

sanitized: HashSet<String>

Sanitized variables (explicitly cleaned).

Implementations

impl TaintState

pub fn new() -> Self

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

Mark a variable as a taint source.

pub fn sanitize(&mut self, var: &str)

Mark a variable as sanitized.

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

Propagate taint: dst is tainted if any of srcs is tainted.

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

Check for a taint violation: var is tainted and reaches a sink.

pub fn join(&self, other: &TaintState) -> TaintState

Join two taint states (union of tainted sets).

Trait Implementations

impl Clone for TaintState

fn clone(&self) -> TaintState

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for TaintState

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

Formats the value using the given formatter.

impl Default for TaintState

fn default() -> TaintState

Returns the “default value” for a type.