[klee-dev] Branch on data of symbolic file

[Awanish Pandey]

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
-------------- next part --------------
HTML attachment scrubbed and removed