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~
_______________________________________________ klee-dev mailing list klee-dev@imperial.ac.uk https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
