Gesamt-Schlussbericht des Verbundprojektes Deutsch - CC Gmbh

QUAD:
BB0 (ENTRY) (in: , out: BB2)
BB2 (in: BB0 (ENTRY), out: BB3, BB8)
1 NEWARRAY T3 Int32[], IConst: 2, LInt32;[]
2 MOVE_I R1 int, IConst: 0
3 NULL_CHECK T-1 , R0 String[]
4 BOUNDS_CHECK R0 String[], IConst: 1, T-1
5 ALOAD_I T4 int, R0 String[], IConst: 1, T-1
6 NULL_CHECK T-1 , R0 String[]
7 BOUNDS_CHECK R0 String[], IConst: 0, T-1
8 ALOAD_I T5 int, R0 String[], IConst: 0, T-1
9 IFCMP_I T4 int, T5 int, LE, BB8
BB3 (in: BB2, out: BB7)
10 MOVE_I R2 int, IConst: 0
11 GOTO BB7
BB7 (in: BB3, BB6, out: BB8, BB4)
:
BB1 (EXIT) (in: BB2, out: )
Abb. 3: Beispiel für eine C#-Datei: Darstellung im Quadcode.
In diesem Zusammenhang wurde von CC eine Anforderungs- und Machbarkeitsanalyse
sowie eine Aufwandsabschätzung zur Herstellung eines solchen Compilers durchgeführt.
Dazu wurde die für die Programmiersprache Java schon vorhandene Lösung, der
JVM2QUAD-Compiler, analysiert und parallel verschiedene Open-Source-Projekte und
verschiedene Spezifikationen untersucht, die sich mit dem Handling von CIL-Bytecode
befassen. Dazu gehören unter anderem ILDump, JaCIL, IKVM, MS Rotor, MBEL und Mono.
Der CIL2QUAD-Compiler wurde schließlich auf Basis des quelloffenen Bytecodeparsers
MBEL (Microsoft Bytecode Engineering Library, [MBEL 2008]) entworfen und entwickelt –
dies schloss Implementierung und Test ein. Die Entscheidung für MBEL ergab sich u. a.
auch aus der Implementierungssprache Java, die eine einfache Integration in das SecFlow-
Framework gewährleistete. Während der Entwicklung zeigte sich, dass MBEL an einigen
Stellen nicht vollständig implementiert ist. Die Bibliothek wurde entsprechend ergänzt.
Zusätzlich unterzog CC die Komponente einem Profiling und optimierte diese – auch im
Hinblick auf die Performance – auf Basis der Ergebnisse weiter. Die Unabhängigkeit des
CIL2QUAD-Compilers und damit auch des SecFlow-Analyse-Backends von einer konkreten
CLR-Implementierung konnte so erreicht werden.
Mit Unterstützung des Projektpartner IESE wurde schließlich der CIL2QUAD-Compiler von
CC in das SecFlow-Framework integriert. Kritische Codebereiche wurden besprochen und
nötige Anpassungen der Schnittstelle vorgenommen.
Anbindung weiterer Programmiersprachen
Neben der Analyse von Java- und .NET-Programmen erscheint auch die Prüfung von
Quelltexten in der Programmiersprache PHP als lohnenswerte Zielsetzung für SecFlow.
Mit der Anbindung der Programmiersprache PHP wird es nicht nur möglich sein,
Anwendungen, die in dieser heute als hochgradig unsicher geltenden Programmiersprache
erstellt wurden bzw. werden, auf sicherheitskritische Datenflüsse zu analysieren. Es wird
zudem aufgrund des hohen Verbreitungsgrades in der Entwickler Community und der zahlreichen
Implementierungen zur Anhebung des allgemeinen Sicherheitsstandards von Web-
Anwendungen beitragen.
Im Rahmen des Projektes wurde von IESE und CC die Möglichkeit der Erweiterung des
SecFlow-Kerns für die Programmiersprache PHP analysiert. Im Rahmen einer Diplomarbeit
bei IESE wurde eine prototypische, wenn auch nicht voll ausgereifte Unterstützung für die
Programmiersprache PHP realisiert [Nicolay 2008]. Dabei konnte nachgewiesen werden,
Datei
SecFlow_Gesamtschlussbericht_V10.odt
Version
1.0
Datum
2009-02-02
Bearbeiter/in
Dana Richter
Seite
14 von 27