S

slowbeast

Simple interpreter and symbolic executor designed for fast prototyping of symbolic execution algorithms.