The Vulnerability Analysis Framework for Java Bytecode | IEEE Conference Publication | IEEE Xplore