Symbolic Execution With LLVM

This was created as a course project for 15-745 Optimizing Compilers, Spring 2011.

Please read our project proposal.

Please read our milestone report.

Please read our final report.

Please see our project wiki .