ber 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 variab
, 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.
On Wed, 5 Oct 2022 at 14:10, Nazir, Tareq Mohammed wrote:
> Yes I would be needing the source-level variable names and source-level info.
> We are currently trying to understand the vulnerabilities such as heap
> overflow that can be present in the source code. We are able to understand
> the
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
On Wed, 5 Oct 2022 at 10:28, Nazir, Tareq Mohammed wrote:
> 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.
KLEE currently
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. Would also like to know if KLEE engine is storing the
> variable name information while executing the llvm bitcode
> symbolically.
>
>