[klee-dev] Question about KLEE Implementation on Collecting Symbolic Variables

[Haozhi Fan]

Dear klee-dev members,

I was wondering if you could share some insight into how KLEE collects the
set of symbolic names from an expression? Namely, how does KLEE generate
the kquery for a specific path condition and from which files should I be
looking for the details of such implementation? Thank you!

Best regards,
Haozhi Fan
-------------- next part --------------
HTML attachment scrubbed and removed