Struct DataFlow 

pub struct DataFlow {
    pub origins: HashMap<String, ValueOrigin>,
    pub def_use_chains: Vec<DefUse>,
    pub tainted_vars: HashSet<String>,
    pub dependencies: HashMap<String, HashSet<String>>,
}

DataFlow analysis result for a function.

Fields

origins: HashMap<String, ValueOrigin>

Variable origins.

def_use_chains: Vec<DefUse>

Definition-use chains.

tainted_vars: HashSet<String>

Tainted variables.

dependencies: HashMap<String, HashSet<String>>

Data dependencies.

Implementations

impl DataFlow

pub fn new() -> Self

Create empty data flow analysis.

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

Check if a variable is tainted.

pub fn transitive_dependents(&self, var: &str) -> HashSet<String>

Get all variables that depend on a given variable.

pub fn can_affect(&self, a: &str, b: &str) -> bool

Check if variable a can affect variable b.

Trait Implementations

impl Clone for DataFlow

fn clone(&self) -> DataFlow

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for DataFlow

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

Formats the value using the given formatter.

impl Default for DataFlow

fn default() -> Self

Returns the “default value” for a type.

impl<'de> Deserialize<'de> for DataFlow

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Serialize for DataFlow

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.