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
_______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
