Hi had some success compiling it with LLVM 2.9 and the patch posted here, however it does not run as advertised:
klee --only-output-states-covering-new Regexp.o KLEE: output directory = "klee-out-0" KLEE: ERROR: /home/sec/src/klee/examples/regexp/Regexp.c:35: memory error: out of bound pointer KLEE: NOTE: now ignoring this error at this location KLEE: done: total instructions = 18 KLEE: done: completed paths = 1 KLEE: done: generated tests = 1 0 klee 0x0000000000de53cf 1 klee 0x0000000000de579a 2 libpthread.so.0 0x00002b0504aef2e0 3 libc.so.6 0x00002b05059d64c8 Segmentation fault ^^^^^^ crashes any idea?
