[klee-dev] CFG of program

[Li Xuan Ji]

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?
-------------- next part --------------
An HTML attachment was scrubbed...
URL: 
http://keeda.Stanford.EDU/pipermail/klee-dev/attachments/20100716/cf144dde/attachment.html