Automatisches Reverse-Engineering von Mathematikgleichungen aus ausführbaren Dateien

Das REMaQE-Framework ermöglicht das automatische Reverse-Engineering von Mathematikgleichungen aus Binärausführbaren. Es verwendet symbolische Ausführung und mathematisch-bewusste algebraische Vereinfachung, um die extrahierten semantischen Informationen in leicht verständliche Gleichungen umzuwandeln.