CIL to Java-Bytecode Translation for Static Analysis Leveraging | IEEE Conference Publication | IEEE Xplore