Gesamt-Schlussbericht des Verbundprojektes Deutsch - CC Gmbh

Weitere Magazine

Empfehlungen

Info

Abb. 1: SecFlow: Werkzeugarchitektur Die Analysekomponente (Analysis Component) führt die eigentliche Datenflussanalyse durch und berechnet aus den zuvor generierten Tupeln und den von der Summarykomponente übersetzten Datenfluss-Summaries eine Rohform der kritischen Pfade. Das Ergebnis der Analysekomponente sind verschiedene Datenbankrelationen, welche tupelweise ausgelesen werden können. Datei SecFlow_Gesamtschlussbericht_V10.odt Version 1.0 Datum 2009-02-02 Bearbeiter/in Dana Richter Seite 12 von 27
Die Filterkomponente (Filter Component) entwickelt aus den Ergebnisrelationen der Analysekomponente einen Graphen und extrahiert aus diesem Graphen einen redundanzfreien Datenflusspfad. Der Pfad wird in XML-Format ausgegeben. In der Präsentationskomponente (Presentation Component) können diese Pfade visualisiert werden. Sprachmodule: Compiler nach QUAD Java-Bytecode JBC nach Quad Für die Programmiersprache Java war das Sprachmodul, der Compiler vom Java-Bytecode JBC nach Quad, in Joeq bereits vorhanden (der sogenannte JVM2QUAD-Compiler). .NET-Bytecode CIL nach Quad Um auch Programme in anderen Programmiersprachen als Java analysieren zu können, müssen entsprechende Compiler nach Quad erstellt werden. Ein lohnendes Ziel für Sicherheitsanalysen sind die auf der .NET-Plattform von Microsoft implementierten Programmiersprachen (u. a. C#, Visual Basic .NET). Für alle diese Sprachen existieren bereits Compiler von der Quellsprache in den .NET-Bytecode "Common Intermediate Language" (genannt CIL), eine erweiterte Bytecodesprache (siehe auch Abbildung 2). CIL- Bytecode dient als Zwischensprache für viele verschiedene Quellsprachen (neben den oben genannten .NET-Sprachen auch Java und PHP) und ist Bestandteil der CLR (Common Language Runtime), einer nach ECMA 335 vorliegenden Spezifikation für eine Ausführungsumgebung. CLR wurde von Microsoft als Alternative zur Java VM (JVM) vorangetrieben, es liegen dazu auch Implementierungen als Open Source vor (z. B, Mono, MS Rotor). Im Projekt wurde daher beschlossen, die Sicherheitsanalyse basierend auf dem .NET- Bytecode CIL aufzusetzen, damit konnte SecFlow gleichzeitig für eine Vielzahl von Sprachen erweitert werden. Aus dieser Tatsache entstand die Notwendigkeit für einen entsprechenden Compiler von CIL-Bytecode in den Zwischencode Quad, dem sogenannten CIL2Quad Compiler (vgl. Abbildungen 2 und 3). C# using System; using System.IO; namespace sample { class MainClass { public static void Main(string[] args) { int[] iArray = new int[2]; Int32 i32 = new Int32(); iArray[0] = 2; iArray[1] = i32; if(!(iArray[1]
Seite 1 und 2: PH_GE_Titelseite 3.0, Master V3.0,
Seite 3 und 4: Inhaltsverzeichnis 1 Kurze Darstell
Seite 5 und 6: 1.3 Planung und Ablauf des Vorhaben
Seite 7 und 8: Entgegen der ursprünglichen Planun
Seite 9 und 10: 2 Eingehende Darstellung 2.1 Erziel
Seite 11: � einem sprachunabhängigen Werkz
Seite 15 und 16: dass eine Anbindung von PHP prinzip
Seite 17 und 18: Um den in der ersten Projektphase e
Seite 19 und 20: Weiterhin wurden im Rahmen der Eval
Seite 21 und 22: verschiedener Programmiersprachen u
Seite 23 und 24: [Peine et al. 2006] H. Peine, S. Ma
Seite 25 und 26: 3 Literaturverzeichnis [Aho et al.
Seite 27: [Whaley&Lam 2004] J. Whaley, M. Lam

Gesamt-Schlussbericht des Verbundprojektes Deutsch - CC Gmbh

Erfolgreiche ePaper selbst erstellen

Template löschen?

Als Template speichern?