On improving automated program analysis to secure software systems

Software ist allgegenwärtig in unserem digitalen Zeitalter. Daher ist es unentbehrlich nach Schwachstellen in ihr zu suchen. Durch wachsende Softwarekomplexität wird es schwieriger, Software manuell zu analysieren. In dieser Arbeit beschäftigen wir uns mit der automatisierten Analyse von Software. Zu diesem Zweck haben wir Programme und Algorithmen entwickelt, mit denen wir sicherheitsrelevante Informationen auffinden können. Diese Arbeit hat vier Themenbereiche: Im ersten Bereich entwickeln wir eine generische Methode um Pseudozufallszahlengeneratoren und kryptografische Hash-Funktionen in geschlossener Software zu finden. Als Nächstes haben wir eine Methode zur automatisierten Rekonstruktion von C++-Klassenhierarchien in Binärprogrammen erstellt. Im dritten Themenbereich haben wir C++-Verteidigungsmaßnahmen auf Binärebene verbessert. Im letzten Teil dieser Arbeit stellen wir einen Ansatz vor, um Programmbibliotheken und Skriptinterpreter auf ein Zielprogramm zuzuschneiden