Struct DataFlowGraph 

pub struct DataFlowGraph { /* private fields */ }

DataFlowGraph provides data flow analysis capabilities built on top of the CallGraph. It tracks variable dependencies, data transformations, and information flow between functions.

Implementations

impl DataFlowGraph

pub fn new() -> Self

pub fn from_call_graph(call_graph: CallGraph) -> Self

Create a DataFlowGraph from an existing CallGraph

pub fn call_graph(&self) -> &CallGraph

Get the underlying call graph

pub fn get_variable_dependencies( &self, func_id: &FunctionId, ) -> Option<&HashSet<String>>

Get variable dependencies for a function

pub fn add_variable_dependencies( &mut self, func_id: FunctionId, variables: HashSet<String>, )

Add variable dependencies for a function

pub fn get_data_transformation( &self, from: &FunctionId, to: &FunctionId, ) -> Option<&DataTransformation>

Get data transformation between two functions

pub fn add_data_transformation( &mut self, from: FunctionId, to: FunctionId, transformation: DataTransformation, )

Add data transformation between two functions

pub fn get_io_operations( &self, func_id: &FunctionId, ) -> Option<&Vec<IoOperation>>

Get I/O operations for a function

pub fn add_io_operation(&mut self, func_id: FunctionId, operation: IoOperation)

Add I/O operation for a function

pub fn get_purity_info(&self, func_id: &FunctionId) -> Option<&PurityInfo>

Get purity information for a function

pub fn set_purity_info(&mut self, func_id: FunctionId, purity: PurityInfo)

Set purity information for a function

pub fn get_cfg_analysis( &self, func_id: &FunctionId, ) -> Option<&DataFlowAnalysis>

Get CFG-based data flow analysis for a function

pub fn set_cfg_analysis( &mut self, func_id: FunctionId, analysis: DataFlowAnalysis, )

Set CFG-based data flow analysis for a function

pub fn get_mutation_info(&self, func_id: &FunctionId) -> Option<&MutationInfo>

Get mutation analysis for a function

pub fn set_mutation_info(&mut self, func_id: FunctionId, info: MutationInfo)

Set mutation analysis for a function

pub fn get_cfg_analysis_with_context( &self, func_id: &FunctionId, ) -> Option<&CfgAnalysisWithContext>

Get CFG analysis with translation context

pub fn set_cfg_analysis_with_context( &mut self, func_id: FunctionId, context: CfgAnalysisWithContext, )

Set CFG analysis with context

pub fn get_dead_store_names(&self, func_id: &FunctionId) -> Vec<String>

Get dead store variable names

pub fn get_escaping_var_names(&self, func_id: &FunctionId) -> Vec<String>

Get escaping variable names

pub fn get_return_dependency_names(&self, func_id: &FunctionId) -> Vec<String>

Get return dependency variable names

pub fn get_tainted_var_names(&self, func_id: &FunctionId) -> Vec<String>

Get tainted variable names

pub fn has_side_effects(&self, func_id: &FunctionId) -> bool

Check if a function has side effects based on data flow analysis

pub fn get_downstream_dependencies( &self, func_id: &FunctionId, ) -> Vec<FunctionId>

Get all functions that may be affected by changes to the given function

pub fn get_upstream_dependencies( &self, _func_id: &FunctionId, ) -> Vec<FunctionId>

Get all functions that the given function depends on

pub fn analyze_modification_impact( &self, func_id: &FunctionId, ) -> ModificationImpact

Analyze the data flow impact of modifying a function

Trait Implementations

impl Clone for DataFlowGraph

fn clone(&self) -> DataFlowGraph

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for DataFlowGraph

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

Formats the value using the given formatter.

impl Default for DataFlowGraph

fn default() -> Self

Returns the “default value” for a type.

impl<'de> Deserialize<'de> for DataFlowGraph

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Serialize for DataFlowGraph

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

where __S: Serializer,

Serialize this value into the given Serde serializer.