Precise Interprocedural Dataflow Analysis via Graph Reachability
Thomas Reps,† Susan Horwitz,† and Mooly Sagiv†, ‡
Constant propagation
Recommended