I've seen klee hang before when fscanf is called but I forgot about it. Thanks for reminding me. I don't have time to look into it now but I've filled the fscanf hang bug on KLEE's new issue tracker on GitHub ( https://github.com/ccadar/klee/issues/30 ).
I afraid I can't help you with the read() issue as I currently can't run KLEE (uclibc no longer compiles :( ) but hopefully someone else can. Thanks, Dan Liew. On 10 September 2013 22:53, ANAS faruqui <[email protected]> wrote: > 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 > _______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
