We did try that as well and klee says it does not understand -sym-args -sym-files
Neha On Wed, Oct 10, 2012 at 12:13 PM, Jonathan Neuschäfer <[email protected] > wrote: > 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 > -- ------------------------------------------------- Neha Rungta, Ph.D SGT/NASA Ames Research Center http://ti.arc.nasa.gov/profile/nrungta/ --------------------------------------------------
_______________________________________________ klee-dev mailing list [email protected] http://keeda.Stanford.EDU/mailman/listinfo/klee-dev
