Thank you. I have read the paper you recommended. I know now that compositional analysis can be achieved in KLEE but the details are not discussed in that paper. Is there any open source code for this?
Nazir, Tareq Mohammed <tareq.na...@aau.at> 于2022年10月23日周日 20:44写道： > 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/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
