Data-Flow Based Analysis of Java Bytecode Vulnerability | IEEE Conference Publication | IEEE Xplore