Skip to main content

Module interprocedural

Module interprocedural 

Source
Expand description

Interprocedural call-graph and cross-function taint propagation engine (milestone v1.0.0).

Analyzes cross-function and cross-method control/data flow across Python and TypeScript agent extensions. Connects tool input parameters that are passed through intermediate helper functions, utility wrappers, and class methods to downstream execution sinks.

Structs§

CallGraph
Interprocedural Call Graph.
CallSite
A call-site invoking a function.
FunctionNode
A representation of a function definition in the project.

Functions§

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