Hi, When Klee finds an of bound pointer it creates a test case which can be used to replay the bug on the native binaries.
However, there are also failed external calls, which are due to SIGSEGV caught during runProtectedCall(). These usually show up in calls such as vprintf in klee-libc. I think these are also bugs, right? However, during klee-replay the bug is not reproduced. Is this due to linking against glibc instead of klee-libc or are these false positives? Thanks, Cristi
