Gesamt-Schlussbericht des Verbundprojektes Deutsch - CC Gmbh

Entgegen der ursprünglichen Planung wird für den realen praktischen Einsatz des
Werkzeugs eine Weiterentwicklung der Software (z. B. hinsichtlich von Usability,
Performanz, Dokumentation) notwendig werden. Diese wird jedoch keine grundlegende
Änderung der zugrunde liegenden Prinzipien oder Arbeitsweisen von SecFlow beinhalten,
sondern eher eine Verfeinerung und Ergänzung der bestehenden Funktionen und
praxisrelevante Anpassungen darstellen. Das Projekt liefert trotzdem ein wissenschaftlich
fundiertes und wirtschaftlich verwertbares Ergebnis.
1.3.6 Einsatz finanzieller Mittel
Das Projekt blieb seitens der Projektpartner IESE, SHE und CC im kalkulierten finanziellen
Rahmen. Die Kosten für die Projektdurchführung wurden gegenüber der Gesamtvorkalkulation
bei ICT leicht überschritten. Aufgrund der Wichtigkeit des Projekts und der zu
erwartenden positiven wirtschaftlichen Erfolgsaussichten nach Projektende wurde von ICT
jedoch entschieden, diese Kosten selbst zu tragen.
Die Laufzeitverlängerung konnte von allen Partnern kosten-neutral realisiert werden.
1.4 Wissenschaftlicher und technischer Stand, an den angeknüpft wurde
Anknüpfungspunkt für das Vorhaben waren einschlägige Vorarbeiten auf dem Gebiet der
statischen Programmanalyse sowie der Datenflussanalyse. Frühere Untersuchungen, die
gezeigt hatten, welche Vorzüge statische Analysen gegenüber konkurrierenden Ansätzen
aufweisen (siehe etwa [Engler&Musuvathi 2004]), hatten den Ausschlag gegeben,
grundsätzlich einen statischen Analyseansatz zu wählen. Verschiedene wichtige Bausteine
für eine Datenflussanalyse waren bereits aus vorangegangenen Forschungsarbeiten in den
Grundzügen bekannt. So konnte zum Beispiel in Bezug auf sogenannte "Points-to"-Analysen
auf vorhandene Methoden zurückgegriffen werden [Hind 2001, Whaley&Lam 2004]. Der
wissenschaftliche Schwerpunkt des Projekts lag vor allem in der Integration der vielen
partiellen Ansätze für statische Sicherheitsanalysen in ein Gesamtkonzept.
Die Projektpartner waren sich einig, dass – soweit dies möglich ist – bei der Realisierung
einzelner Teilkomponenten des SecFlow-Frameworks auch auf bereits existierende
Konzepte und Methoden zurückgegriffen werden sollte, um den Implementierungsaufwand
in Grenzen zu halten und das Projekt auf Aspekte der Sicherheitsanalyse zu konzentrieren.
Dazu wurden eine ausführliche Technologierecherche und -bewertung sowie eine
entsprechende Auswahl durchgeführt. Bei der Realisierung des Werkzeugkerns wurden
schließlich Teile verschiedener Open Source Software im Framework adaptiert und
integriert:
Um das Analysewerkzeug sprachunabhängig zu gestalten, wurden die Analysemodule von
den sprachabhängigen Compiler-Modulen getrennt. Dazu wurde der Quellcode der
unterstützten Programmiersprachen in ein gemeinsames Zwischenformat (Quad)
umgewandelt. Für diesen Transformationsschritt wurde auf Module der frei verfügbaren
Java-kompatiblen Implementierung der virtuellen Maschine "Joeq" zurückgegriffen [Whaley
2005]. Sie wurde für die Zwecke des Projekts entsprechend angepasst.
Zur Modellierung von Datenflüssen und Analyseregeln entschied sich das Konsortium nach
Abwägung und Erprobung verschiedener Realisierungsalternativen für eine deduktive
Datenbank. Die Wahl fiel schließlich auf die Datenbank-Programmiersprache "Datalog"
(http://de.wikipedia.org/wiki/Datalog) und die eigens für Analysezwecke entwickelte BDDbasierte
Deduktive Datenbank BDDBDDB (Binary Desicion Diagrams Based Deductive
DataBase) [Whaley 2004, Whaley et al. 2005].
Für die Realisierung eines Übersetzers für .NET-Bytecode in die Zwischendarstellung Quad
wurde ein Bytecodeparser benötigt, der in der Lage ist, Assemblyfiles zu lesen und zu
parsen. Mit MBEL (Microsoft Bytecode Engineering Library) fand sich eine Open-Source-
Bibliothek, die in Java programmiert und relativ unabhängig von der Ausführungsumgebung
ist [MBEL 2008].
Datei
SecFlow_Gesamtschlussbericht_V10.odt
Version
1.0
Datum
2009-02-02
Bearbeiter/in
Dana Richter
Seite
7 von 27