Hi,
The kind of bugs KLEE can find are memory errors (buffer overflows, null
pointer dereference, etc.), division/modulo by zero, overshifts, and
assertion violations. If I forgot anything, others should feel free to
add to this list. KLEE does not report memory leaks, but it could be
Dear all,
I would like to ask what types of bugs can KLEE find? I only find a simple
introduction about the error KLEE report here:
http://klee.github.io/tutorials/testing-regex/
Do you have detailed documentation?
What’s more, is KLEE able to discover memory leak, i.e. forget to free() after