Using Data Flow Analysis to Infer Type Information in Java Bytecode.

Paolo Maggi, Riccardo Sisto

Browse the full SCAM paper archive.