Reach.Trace.Flow (Reach v2.6.0)

Copy Markdown View Source

Taint and variable flow tracing through data dependence edges.

Summary

Functions

analyze_taint(project, from_pattern, to_pattern, max_paths)

analyze_variable(project, var_name, scope)