Module rupta::builder::fpag_builder

source ·
Expand description

Builds the Pointer Assignment Graph (PAG) for a single function.

The Function PAG is part of the PAG for the whole program.

Structs§

  • A visitor that traverses the MIR associated with a particular function’s body and build the function’s pointer assignment graph.