Information Flow Analysis for Java Bytecode.

Samir Genaim, Fausto Spoto

Browse the full VMCAI paper archive.