Struct TaintTracker 

pub struct TaintTracker {
    pub tainted: HashSet<String>,
    pub taint_roots: HashMap<String, String>,
    pub sanitized_roots: HashSet<String>,
    pub sources: HashMap<String, String>,
}

Simple taint tracker for dataflow analysis

Fields

tainted: HashSet<String>

taint_roots: HashMap<String, String>

sanitized_roots: HashSet<String>

sources: HashMap<String, String>

Implementations

impl TaintTracker

pub fn mark_source(&mut self, var: &str, origin: &str)

pub fn mark_alias(&mut self, dest: &str, source: &str)

pub fn find_tainted_in_line(&self, line: &str) -> Option<String>

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

pub fn sanitize_root(&mut self, root: &str)

Trait Implementations

impl Default for TaintTracker

fn default() -> TaintTracker

Returns the “default value” for a type.