[klee-dev] Is it possible to implement compositional symbolic execution in KLEE

[hb wang]

Hi, I'm currently planning to verify an idea about compositional symbolic
execution (CSE).
But CSE is not officially supported by KLEE now as far as I know.
So I am eager to know whether it is possible to implement CSE in KLEE.
If so, please give some suggestions about how to implement that. Thank you
very much~
-------------- next part --------------
HTML attachment scrubbed and removed