Struct circomspect_program_analysis::taint_analysis::TaintAnalysis

pub struct TaintAnalysis { /* private fields */ }

Implementations

impl TaintAnalysis

pub fn get_definition(&self, var: &VariableName) -> Option<VariableUse>

Get the variable use corresponding to the definition of the variable.

pub fn definitions(&self) -> impl Iterator<Item = &VariableUse>

pub fn get_declaration(&self, var: &VariableName) -> Option<VariableUse>

Get the variable use corresponding to the declaration of the variable.

pub fn declarations(&self) -> impl Iterator<Item = &VariableUse>

pub fn single_step_taint(&self, source: &VariableName) -> HashSet<VariableName>

Returns variables tainted in a single step by source.

pub fn multi_step_taint(&self, source: &VariableName) -> HashSet<VariableName>

Returns variables tainted in zero or more steps by source.

pub fn taints_any(
    &self,
    source: &VariableName,
    sinks: &HashSet<VariableName>
) -> bool

Returns true if the source taints any of the sinks.

Trait Implementations

impl Clone for TaintAnalysis

fn clone(&self) -> TaintAnalysis

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Default for TaintAnalysis

fn default() -> TaintAnalysis

Returns the “default value” for a type.