Flow-sensitive static optimizations for runtime monitoring (0)

by E Bodden, P Lam, L Hendren