From CIL to Java-bytecode: Semantics-based Translation for Static Analysis Leveraging