Werkzeuge

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

Abgeschlossene Projekte

Cheetah

Just-in-time Analysemehr


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


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


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


VisuFlow

VisuFlow ist eine Debugging-Umgebung für statische Datenflussanalyse basierend auf dem Soot Analyse-Framework.  mehr