Datalog

Program_Graph

Bit_Vector_Framework

Reaching_Definitions

Live_Variables

Available_Expressions

Very_Busy_Expressions

Reachable_Nodes