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
