Upload
m2rus
View
39
Download
0
Embed Size (px)
DESCRIPTION
Lection 3
Citation preview
Precise Interprocedural Dataflow Analysis via Graph Reachability
Thomas Reps,† Susan Horwitz,† and Mooly Sagiv†, ‡
Constant propagation