CIL to Java-bytecode translation for static analysis leveraging