Das Ziel des Forschungs- und Entwicklungsprojekts ist die maschinelle Unter-stützung der hauptsächlich manuellen Programmanalyse hinsichtlich der Sicherheit (z.B. Backdoors, Vulnerabilities, Systemschwächen) und funktionaler Korrektheit von Binärcode im Rahmen der Kryptoanalyse im Fachbereich Analyse von Softwareartefakten (Software Reverse Engineering (SRE)). |