Skip to main content

propagate_interprocedural_taint

agentshield::analysis::interprocedural

Function propagate_interprocedural_taint 

Source 
pub fn propagate_interprocedural_taint(
    target: &ScanTarget,
    graph: &CallGraph,
) -> Vec<TaintPath>
Expand description

Propagates taint across call-graph edges and constructs multi-hop TaintPath instances.