This package contains standard static analysis data structures, such as dominator trees and dominance frontiers.