Hi all,
I am not sure if this would be a bug in KLEE - it calls an external
longjmp and then a segmentation fault happens. I ran KLEE on Flex like
so:
$ klee -max-time=30 -libc=uclibc --posix-runtime flex.bc
KLEE: NOTE: Using klee-uclibc : /usr/lib/klee/runtime/klee-uclibc.bca
KLEE: NOTE: Using
Dear KLEE users and devs,
I've noticed others had issues with KLEE saying it is unable to load a
symbol:
http://mailman.ic.ac.uk/pipermail/klee-dev/2013-January/17.html
https://www.mail-archive.com/klee-dev@imperial.ac.uk/msg01252.html
To the former Cristian Cadar replied: "[M]ost likely you