Crucible is a library for symbolic simulation of imperative programs - View it on GitHub