Quick access
Tools
On this page you will find infomation about our current projects. You will get an overview of our completed projects via the following link:

FlowDroid
FlowDroid is a context-, flow-, field-, object-sensitive and lifecycle-aware static taint analysis tool for Android applications.more

MatchBox
The MatchBox is developed as part of CRC 901 "On-The-Fly Computing". It provides the possibility to match service specifications...more

MechatronicUML
Mechatronic systems combine mechanical parts, electrical parts, control-engineering parts and software parts that interact tightly with each other....more

Phasar - A LLVM-based static code analysis framework
Phasar is a novel static-analysis framework on top of LLVM. Phasar provides various solvers that allow the solving of arbitrary monotone data-flow...more

Service Specification Environment
The Service Specification Environment (SSE) is developed as part of CRC 901 "On-The-Fly Computing". It provides the possibility to...more

SeSAME - Service Specification, Analysis, and Matching Environment
The SeSAME is developed as part of CRC 901 "On-The-Fly Computing". It provides the possibility to specify services as well as to...more

SimuLizar
SimuLizar is part of the SeSAME tool suite. It is used for analyzing scalability, elasticity, and efficiency of self-adaptive systems. You can...more

Soot – Static code analysis and transformation for Java
Soot is one of the most widely used analysis and transformation frameworks for Java bytecode and source code. Soot features a wide-range of...more

TamiFlex – Taming Reflection in Java Programs
TamiFlex is our solution to the dreaded “reflection problem” in static program analysis for Java. Using reflection, Java programs can invoke methods...more