Sure, you just need to iterate over the predecessors of a basic block. This specific to LLVM, not really to Klee, so you can check out http://llvm.org/docs/ProgrammersManual.html for more information.
Cristi On Jul 16, 2010, at 4:05 PM, Li Xuan Ji wrote: > Hi, I am interested in accessing the CFG of a program from within klee. For > example, given a basic block, I would like to find out what instructions > branch or jump to it. Is that possible? > _______________________________________________ > klee-dev mailing list > klee-dev at keeda.stanford.edu > http://keeda.Stanford.EDU/mailman/listinfo/klee-dev
