Let me follow up on Bill's very complete and well phrased answer with a
comment more general than just Dyninst:
No static analysis tool can do a perfect job of finding basic blocks.
Just not possible.
And no dynamic tool can do a perfect job either, because there is no
guarantee that all th
On 10/01/2015 08:51 AM, chenping wrote:
Hello, Dyninst developers
I am using Dyninst to statically instrument the binary. Our work
heavily depends on the correctness of the basic block recognization.
So I would like to guarantee/know if there is any basic block cannot
be correctly reco
