Module path_analysis 

Modules

default

graph

Structs

PathMapWrapper

Display wrapper that prints all paths for every function, annotated with cleanup-block markers via format_path_annotated.

PathNode

A node in a PathTree trie.

PathTree

A prefix-tree (trie) of whole-CFG paths sharing common prefixes.

PathTreeIter

DFS iterator over all complete paths in a PathTree.

Functions

format_path_annotated

Format a path slice with cleanup-block annotations.