Projects |

Log4shell Checker

Mon, 17 Jan 2022 10:48:14 +0100

Log4jShell Bytecode Detector is an open source tool that helps identify if a jar file is affected by the critical CVE-2021-44228.

Eclipse Steady

Sat, 27 Apr 2019 00:00:00 +0000

Eclipse Steady analyses Java and Python applications to identify, assess and mitigate the use of open-source dependencies with known vulnerabilities.

During my internship at SAP, Security research in France, I added support for Soot to Eclipse Steady and worked on the Maven plugin.

SootUp

Tue, 02 Jan 2018 00:00:00 +0000

Future-proofing the Soot Framework for Program Analysis and Transformation. The goal of this DFG project is to develop a brand-new version of Soot. This new version will enable people to use Soot in a much more flexible manner. I am a main contributor to this project.

Together with my colleagues I kick-started the design and development of the new SootUP framework.

Soot

Sun, 27 Mar 2016 00:00:00 +0000

Soot is static analysis framework used by researchers and practitioners from around the world to analyze, instrument, optimize and visualize Java and Android applications.

Besides several bug fixes, I adapted Soot to support Java’s module systems and Java version newer then 9.

MechatronicUML

Sun, 27 Apr 2014 00:00:00 +0000

MechatronicUML is a Model-Driven Software Development tool-chain for cyber-physical systems.

As a student I worked on MechatronicUML’s metamodels, its C codegenerator, and several Eclipse plugins.