https://123dok.org/document/rz38rkmq-java-bytecode-semantics-based-translation-static-analysis-leveraging.html