[klee-dev] how to find the final instruction of a path

[jingde liu]

Hi everyone,

I encounter the following question when hacking KLEE.

I want to know whether an LLVM instruction is the last one (or program
exit) in the current path. I can image maybe we can do it using calling
stack. But I want to know whether there is a nice way that I can do it.

Any help is truly appreciated.
-------------- next part --------------
HTML attachment scrubbed and removed