Software

Pexyn: Program extension synthesizer.

JUtil: Various utilities that I have used in research projects.

TVLA: 3-Valued Logic Analyzer is a powerful framework for Shape Analysis.

J2TVLA: A Soot-based toolkit for translating Java programs to TVLA inputs. I no longer actively maintain J2TVLA, but if you are interested in using it, contact me for further details.