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 <shutong...@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@imperial.ac.uk > > https://urldefense.com/v3/__https://mailman.ic.ac.uk/mailman/listinfo/klee-dev__;!!LIr3w8kk_Xxm!pua9JTEWBZK4lnWOo51x6fmM8P5nlC1gBWGNz2smXxuqa6lPCne-pMsiYJNbc4BayR5uhvnmbUYMgaU4YcckGkM$ >
_______________________________________________ klee-dev mailing list klee-dev@imperial.ac.uk https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
