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.