On Wed, Oct 10, 2012 at 11:38:03AM -0700, Neha Rungta wrote: > Hi > > Is there some documentation to handle symbolic file I/O in klee? The > commands that I found online do not seem to work as I would expect them to. > > http://static.usenix.org/event/osdi08/tech/full_papers/cadar/cadar_html/ > > says to use* > * > > * klee -max-time 2 -sym-args 1 10 10 -sym-files 2 2000 -max-fail 1 tr.bc > * > > * > 4<http://static.usenix.org/event/osdi08/tech/full_papers/cadar/cadar_html/#foot1113>The > option -sym-files 2 2000 says to use standard input and one file, each > holding 2000 bytes of symbolic data.* > > I am looking to specify the above in the latest klee version. Pointers for > that would be much appreciated. > > Neha
AFAIK you'll also need to pass "-libc=uclibc" and "-posix-runtime" to klee (see "klee --help" output). HTH, Jonathan Neuschäfer _______________________________________________ klee-dev mailing list [email protected] http://keeda.Stanford.EDU/mailman/listinfo/klee-dev
