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 -- ------------------------------------------------- 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
