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.