[klee-dev] Mixed concrete-symbolic execution

[Riyad Parvez]

Hi All,

I was wondering whether it's possible mixed concrete-symbolic execution in
KLEE? Like S2E, where some of the input to the program will be symbolic and
other input will be concrete.

Thanks,
Riyad
-------------- next part --------------
HTML attachment scrubbed and removed