Reach.Trace.Flow (Reach v2.8.1)

Copy Markdown View Source

Taint and variable flow tracing through data dependence edges.

Summary

Functions

analyze_preset(project, pattern, max_paths)

Analyzes all source-to-sink routes in a named trace preset.

analyze_taint(project, from_pattern, to_pattern, max_paths)
analyze_variable(project, var_name, scope)

Functions

analyze_preset(project, pattern, max_paths)

Analyzes all source-to-sink routes in a named trace preset.

analyze_taint(project, from_pattern, to_pattern, max_paths)

analyze_variable(project, var_name, scope)