[klee-dev] blog post about combining klee with integer undefined behavior checks

[John Regehr]

Possibly interesting to folks here:

   http://blog.regehr.org/archives/388

John