View
39
Download
0
Category
Preview:
DESCRIPTION
Lection 3
Citation preview
Precise Interprocedural Dataflow Analysis via Graph Reachability
Thomas Reps,† Susan Horwitz,† and Mooly Sagiv†, ‡
Constant propagation
Recommended