toolkit for loading, parsing, and processing vulnerability fixing commit datasets
dynamic symbolic execution engine for java