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

[Nazir, Tareq Mohammed]

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-bounces at imperial.ac.uk <klee-dev-bounces at imperial.ac.uk> on behalf of hb wang <fighter9010 at gmail.com>
Sent: Sunday, 23 October 2022 07:44:43
To: klee-dev at 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~

-------------- next part --------------
HTML attachment scrubbed and removed