[klee-dev] using KLEE with read()/write() instead of fread()/fwrite() or fscanf/fprintf

[ANAS faruqui]

Hi all,

I am trying to run KLEE on gzip with symbolic files but klee seems to just
get stuck (even when giving the max-time parameter).

So i wrote a small toy program to run klee on.

At first trial i used fscanf function an klee got stuck on it as well. Then
when i changed the read function to fread(), everything worked fine and
klee generated the test cases.

Then i used the read() function (which is used by gzip), and the klee just
prints one test case with all 0's.

The command i am using is
*klee --libc=uclibc --posix-runtime ./de.bc --sym-files 1 160 A*




Any ideas how i can get the klee to work with  read() / gzip.

I am attaching both the versions of my toy program.

Thanks
-------------- next part --------------
HTML attachment scrubbed and removed
-------------- next part --------------
A non-text attachment was scrubbed...
Name: fread.c
Type: text/x-csrc
Size: 1190 bytes
Desc: not available
URL: <http://mailman.ic.ac.uk/pipermail/klee-dev/attachments/20130910/7e70c8d7/attachment.bin>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: read.c
Type: text/x-csrc
Size: 1376 bytes
Desc: not available
URL: <http://mailman.ic.ac.uk/pipermail/klee-dev/attachments/20130910/7e70c8d7/attachment-0001.bin>