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

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] MACKE: compositional analysis of

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

022 03:50:40 To: Nazir, Tareq Mohammed Cc: klee-dev@imperial.ac.uk Subject: Re: [klee-dev] Is it possible to implement compositional symbolic execution in KLEE Thank you. I have read the paper you recommended. I know now that compositional analysis can be achieved in KLEE but the details are n

[klee-dev] Regarding getting variable names from KLEE

Hi, I would like to know if I can get variable names of the source code in KLEE engine. Would also like to know if KLEE engine is storing the variable name information while executing the llvm bitcode symbolically. For example : From the below C code I want to get the buffer variable name is

Re: [klee-dev] Regarding getting variable names from KLEE

From: J. Ryan Stinnett Sent: Wednesday, 5 October 2022 14:59:43 To: Nazir, Tareq Mohammed Cc: klee-dev@imperial.ac.uk Subject: Re: [klee-dev] Regarding getting variable names from KLEE On Wed, 5 Oct 2022 at 10:28, Nazir, Tareq Mohammed wrote: > I would like to know if I can get varia

Re: [klee-dev] Regarding getting variable names from KLEE

, 5 October 2022 13:05 Cc: klee-dev@imperial.ac.uk Subject: Re: [klee-dev] Regarding getting variable names from KLEE Hi, On Wed, 5 Oct 2022 09:26:35 + "Nazir, Tareq Mohammed" wrote: > I would like to know if I can get variable names of the source code > in KLEE engine.