Current Projects

Research Projects

::: list-group {.img-rounded .pull-left style=“background-color:#FFF; margin-right: 10px; margin-bottom: 5px”} {.list-group-item .clearfix}

Delphi

Delphi helps to create benchmark program sets for the evaluation of program analyses. :::

Program Analysis Frameworks

::: {.alert .alert-info role=“alert”} I design and contribute to various program analysis frameworks. :::

:::: list-group {.img-rounded .pull-left style=“background-color:#FFF; margin-right: 10px; margin-bottom: 5px”} {.list-group-item .clearfix}

OPAL

OPAL is an OPen, extensible Analysis Library for Java bytecode which is written in Scala. It supports various analyses and has support for abstract interpretation and bytecode manipulation/instrumentation.

{.img-rounded .pull-left style=“background-color:#FFF; margin-right: 10px; margin-bottom: 5px”} {.list-group-item .clearfix}

PhASAR

PhASAR is a flexible framework to analyze LLVM IR bitcode enabling complex data-flow analysis for programs written in C/C++.

::: {.list-group-item .clearfix} {.img-rounded .pull-left style=“background-color:#FFF; margin-right: 10px; margin-bottom: 5px”}

FutureSoot

Soot is currently rewritten from scratch allowing it to be adapted to modern software engineering techniques and preparing it for the future of program analysis. ::: ::::

Past Projects

::: list-group {.img-rounded .pull-left style=“background-color:#FFF; margin-right: 10px; margin-bottom: 5px”} {.list-group-item .clearfix}

PEAKS

Platform for the Efficient Analysis and Secure Composition of Software Components

{.img-rounded .pull-left style=“background-color:#FFF; margin-right: 10px; margin-bottom: 5px”} {.list-group-item .clearfix}

Java Exploit Library

Collecting illustrating examples for past exploits of Java and the JCL

{.img-rounded .pull-left style=“background-color:#FFF; margin-right: 10px; margin-bottom: 5px”} {.list-group-item .clearfix}

FlowTwist

Inside-out data-flow analysis for integrity and confidentiality problems :::