[klee-dev] rationale behind the parameters used in the KLEE OSDI paper
Cristian Cadar
c.cadar at imperial.ac.uk
Mon Jan 14 15:44:03 GMT 2013
Hi Lei,
Our choice was based on a high-level understanding of the Coreutils
apps: most behavior can be triggered with no more than 2 short options,
1 long option, and 2 small files (one of which is stdin).
Best wishes,
Cristian
On 14/01/13 14:58, Lei Zhang wrote:
> Hi All,
>
> We are working on a possible way to improve KLEE. So it would be nice to
> compare our method's results with the original KLEE's. For a fair
> comparison, we need to understand how the parameters used in your
> OSDI'08 paper were chosen. According to your reply on the KLEE mailing
> list
> (http://www.mail-archive.com/klee-dev@imperial.ac.uk/msg00162.html),
> your OSDI paper uses
>
> --sym-args 0 1 10 --sym-args 0 2 2 --sym-files 2 8 --sym-stdout
>
> Could you unveil the rationale/intuition behind these settings, such
> like why 10 and 2 are used as the maximal lengths? Any help is highly
> appreciated. Thanks in advance!
>
> Best regards,
>
> --
> Lei
> Department of Electrical and Computer Engineering
> University of Waterloo
> 200 University Avenue West
> Waterloo, Ontario, Canada N2L 3G1
>
>
> _______________________________________________
> klee-dev mailing list
> klee-dev at imperial.ac.uk
> https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
>
More information about the klee-dev
mailing list