Information flow analysis for java bytecode (2005)

by Samir Genaim, Fausto Spoto
Venue:In Proceedings of the 6th international conference on Verification, Model Checking, and Abstract Interpretation, VMCAI’05