Fast Bytecode Analysis