zouyonghao/j-klee

A Java port (still in development) of a KLEE like verifier.

The major difference is that all objects in j-klee are symbolic (address and size).