Konferenzartikel: Kombination von Slicing und Constraint-Solving für Software-Reengineering

Um sicherheitsrelevante Software zu überprüfen, reichen herkömmliche Softwareanalyse-Verfahren nicht aus. Unser Softwareanalyse-System ValSoft setzt Datenflußanalysen und deduktive Verfahren ein, um Beeinflussungen von relevan- ten Informationspfaden innerhalb von Programmen zu erkennen und zu analysie- ren. Die Grundlage der Analyse bilden sog. Programmabhängigkeitsgraphen. Mit deren Hilfe berechnen wir konservativ approximierte Pfadbedingungen: diese ge- ben die Umstände an, unter denen es eine Abhängigkeit zwischen interessierenden Punkten im Programm geben kann.