[klee-dev] Identifying Variables Influencing Control Flows in KLEE

[Yuzhou Fang]

Hi,

To my understanding, identifying control dependence is not a part of Klee's
functionality. Please refer to LLVM documents
<https://llvm.org/docs/DependenceGraphs/index.html> and find an appropriate
static analyzer. For instance, Program Dependence Graph (PDG) should be
able to satisfy your requirement.

Yuzhou

On Sat, Jul 20, 2024 at 6:04 AM Sun <shutong255 at gmail.com> wrote:

> Dear KLEE Community,
> I am looking for an efficient method to identify which variables influence
> the control flows in a given program. Specifically, I would like to find
> out which variables directly affect each control flow, as this information
> is crucial for the subsequent use of klee_make_symbolic. Identifying
> these variables manually is quite time consuming, and I am wondering if
> there is an existing feature or method in KLEE that could help automate
> this process.
> Any help or direction you could provide would be greatly appreciated.
> Thank you for your time and assistance.
> Best regards
> _______________________________________________
> klee-dev mailing list
> klee-dev at imperial.ac.uk
>
> https://urldefense.com/v3/__https://mailman.ic.ac.uk/mailman/listinfo/klee-dev__;!!LIr3w8kk_Xxm!pua9JTEWBZK4lnWOo51x6fmM8P5nlC1gBWGNz2smXxuqa6lPCne-pMsiYJNbc4BayR5uhvnmbUYMgaU4YcckGkM$
>
-------------- next part --------------
HTML attachment scrubbed and removed