GitHub repository: technarr/dse-fork
Description: DSE: a generic dynamic symbolic execution engine