README


1
2
3
4
5
6
7
8
9
10

Labs I've written for classes

    - sat-chaff: implement a basic DPLL SAT solver, profile it, then optimize
      it with the watched literals trick from Chaff

    - smt-symex: implement a bitblasting QF_ABV SMT solver and use it to build
      a symbolic execution engine (builds on sat-chaff)

    - static-analysis: implement a mini static analysis pass that finds some
      bugs in the Linux kernel