This package performs analysis and synthesis related to program control flow. It includes a method control flow graph, dominance frontier, dominator tree, liveness analysis, interference graph, and a register allocator. It also contains a hierarchy of classes for generating methods that mimic a graph.