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.
_______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
