[klee-dev] Branch on data of symbolic file

[Cristian Cadar]

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
> klee-dev at imperial.ac.uk
> https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
>