Are you after this command help...
usage: (klee_init_env) [options] [program arguments]
-sym-arg <N> - Replace by a symbolic argument with length N
-sym-args <MIN> <MAX> <N> - Replace by at least MIN arguments and at most
MAX arguments, each with maximum length N
-sym-files <NUM> <N> - Make stdin and up to NUM symbolic files, each
with maximum size N.
-sym-stdout - Make stdout symbolic.
-max-fail <N> - Allow up to <N> injected failures
-fd-fail - Shortcut for '-max-fail 1'
I got this by running
$ klee --libc=uclibc --posix-runtime a_program.bc --help
On 10 October 2012 20:44, Neha Rungta <[email protected]> wrote:
> 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
>
_______________________________________________
klee-dev mailing list
[email protected]
http://keeda.Stanford.EDU/mailman/listinfo/klee-dev
