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 Datenflussanalysen und deduktive Verfahren ein, um Beeinflussungen von relevanten Informationspfaden innerhalb von Programmen zu erkennen und zu analysieren. Die Grundlage der Analyse bilden sog. Programmabhängigkeitsgraphen. Mit deren Hilfe berechnen wir konservativ approximierte Pfadbedingungen: diese geben die Umstände an, unter denen es eine Abhängigkeit zwischen interessierenden Punkten im Programm geben kann.