основы и применение статического анализа кода при...
DESCRIPTION
Lection 3TRANSCRIPT
Precise Interprocedural Dataflow Analysis via Graph Reachability
Thomas Reps,† Susan Horwitz,† and Mooly Sagiv†, ‡
Constant propagation
DESCRIPTION
Lection 3TRANSCRIPT
Precise Interprocedural Dataflow Analysis via Graph Reachability
Thomas Reps,† Susan Horwitz,† and Mooly Sagiv†, ‡
Constant propagation