[Soot-list] One-to-one Map Between ASM's CFG to Soot's CFG

[Zhou, Tong]

Hi,


Can a basic block in Soot's CFG (for Shimple) can be unambiguously mapped to a block in ASM's CFG (for the bytecode) when "-o" is off? Or in other words, does Soot's CFG have the same graph structure as ASM's? When all optimizations are off, Soot shouldn't change the block structure of the original ASM CFG when building a three address code SSA for a block right? Thanks!


-Tong
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://mailman.CS.McGill.CA/pipermail/soot-list/attachments/20181117/76357e4f/attachment.html>