Das Ziel ist die maschinelle Unterstützung der hauptsächlich manuellen Pro-grammanalyse 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)) |