CHOW JIM

Synchronous decoupled program analysis in virtual environments