You need to send the full program, and the exact line you used to run
it. Have you passed --posix-runtime to KLEE?
Cristian
On 20/03/18 13:52, Awanish Pandey wrote:
Hi everyone,
I have written a code like this
fp = fopen(argv[1],"r")
read(fp,c,1);
if(c == 48)
assert(0)
I compiled this and run it arg sym-file 1 10 allow-external-sym-calls and
libc=uclibc.
But klee is not able to find the crash. What I am missing due to which
crash is not found?
--
Thanking You
Awanish Pandey
PhD, CSE
IIT Kanpur
_______________________________________________
klee-dev mailing list
[email protected]
https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
_______________________________________________
klee-dev mailing list
[email protected]
https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
