Werkzeuge
Auf dieser Seite finden Sie Informationen zu unseren aktuellen Projekten. Eine Übersicht über unsere abgeschlossenen Projekte finden Sie unter dem folgenden Link:

CodeInspect
CodeInspect ist ein Reverse-Engineering Framework für Android und Java Applikationen.mehr

FlowDroid
FlowDroid ist ein kontext-, fluss-, feld- sowie objektsensitives und laufzeitbewusstes Werkzeug zur statischen Taint-Analyse für Android...mehr

MatchBox
MatchBox ermöglicht das Matching von Servicespezifikationen unter Berücksichtigung von sowohl funktionalen, als auch nicht-funktionalen Eigenschaften...mehr

MechatronicUML
Mechatronische Systeme bestehen aus mechanischen, elektrotechnischen, regelungstechnischen und softwaretechnischen Anteilen, die eng miteinander...mehr

Phasar - A LLVM-based static code analysis framework
Phasar ist ein neues statisches Codeanalyseframework basierend auf LLVM. Phasar bietet verschiedene Datenfluss-Solver an, die das vollautomatische...mehr

Service Specification Environment
SSE ermöglicht die Spezifikation von Services anhand ihrer funktionalen und nicht-funktionalen Eigenschaften. SSE wird im Rahmen des...mehr

SeSAME - Service Specification, Analysis, and Matching Environment
SeSAME erlaubt die Spezifikation von Services sowie das Analysieren und Matching dieser Spezifikationen. SeSAME wird im Rahmen des CRC901...mehr

SimuLizar
SimuLizar ist Teil der SeSAME Tool Suite und ermöglich die Analyse von Skalierbarkeit, Elastizität und Effizienz von selbst-adaptiven Software...mehr

Soot – Static code analysis and transformation for Java
Soot ist eines der meistgenutzten Analyse- und Transformations-Frameworks für Java Bytecode und Sourcecode. Soot umfasst vielfältige...mehr

TamiFlex – Taming Reflection in Java Programs
TamiFlex ist unsere Lösung für das gefürchtete "reflection-problem" in statischer Programmanalyse für Java. Mit Hilfe von sog. Reflections...mehr