https://123dok.org/document/ozl5m9oq-code-obfuscation-and-malware-detection-by-abstract-interpretation.html