information flow control with system dependence graphs - improving modularity , scalability and precision for object oriented languages .
A fast algorithm for finding dominators in a flowgraph