Hi,
Please find the below paper is this related to the topic : https://dl.acm.org/doi/abs/10.1145/2970276.2970281 [https://dl.acm.org/cms/asset/53e7485c-29f4-4b88-b12f-3ac86ec74c11/2970276.cover.jpg]<https://dl.acm.org/doi/abs/10.1145/2970276.2970281> MACKE: compositional analysis of low-level vulnerabilities with symbolic execution | Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering<https://dl.acm.org/doi/abs/10.1145/2970276.2970281> dl.acm.org Thanks and Best Regards, Tareq Mohammed Nazir ________________________________ From: klee-dev-boun...@imperial.ac.uk <klee-dev-boun...@imperial.ac.uk> on behalf of hb wang <fighter9...@gmail.com> Sent: Sunday, 23 October 2022 07:44:43 To: klee-dev@imperial.ac.uk Subject: [klee-dev] Is it possible to implement compositional symbolic execution in KLEE 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
