Concrete input values for some variables

[ANAS faruqui]

Hi all,

I am trying to run KLEE on gzip. I want to generate test cases when one
parameter is always -d. So how do i give a concrete input while let the
others inputs be symbolic


The command i am using is :

klee --only-output-states-covering-new --libc=uclibc --max-time 36000
--posix-runtime ./gzip.bc --sym-args 2 2 15 --sym-files 1 500


Thanks
-Anas

[Cristian Cadar]

Post by ANAS faruqui
I am trying to run KLEE on gzip. I want to generate test cases when one
parameter is always -d. So how do i give a concrete input while let the
others inputs be symbolic
klee --only-output-states-covering-new --libc=uclibc --max-time 36000
--posix-runtime ./gzip.bc --sym-args 2 2 15 --sym-files 1 500

Simply add "-d" after "gzip,bc"

Cristian