This is a WIP project for symbolic execution using LLVM instrumentation containing the following subprojects:
- rewinder - library that is able to snapshot memory state of programs and revert them back (used for exploring paths in SE)
- instrumentation - LLVM pass that instruments programs and adds array bound checks
- dynlib - runtime library that computes the symbolic constraints at runtime and produces warnings