A system for exploring different symbolic execution memory model designs - View it on GitHub