основы и применение статического анализа кода при...
Post on 05-Jul-2015
46 Views
Preview:
DESCRIPTION
Lection 3
TRANSCRIPT
Precise Interprocedural Dataflow Analysis via Graph Reachability
Thomas Reps,† Susan Horwitz,† and Mooly Sagiv†, ‡
Constant propagation
top related