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
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