Aktuell:
26. Juni 2020
Wir gratulieren Christopher Gerking zur Promotion
Christopher Gerking promovierte erfolgreich zu "Model-Driven Information Flow Security Engineering for Cyber-Physical ...
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
