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

[Sun]

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
-------------- next part --------------
HTML attachment scrubbed and removed