Hi,
KLEE does not provide this information, although you could add such
metadata when adding a new constraint. However, because constraint
solving optimisations could combine constraints, obtaining the origin of
a constraint might not be possible in the general case.
Best,
Cristian
On
收件人:klee-dev@imperial.ac.uk
周三 2024/1/24 19:18
Hi,
I am new to Klee. I have a question about how to determine which path
constraints generated in the KQuery file correspond to specific paths or
lines of code in the original source code or in the IR?
For example; I have a dummy c code that have