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

[Eric Bodden]

Hi Tong.

I don’t think we ever validated this but I believe that this should be more or less the case. I could foresee some divergence, though, w.r.t. exceptional flows. I am not sure how ASM handles those.

Best wishes
Eric

> On 17. Nov 2018, at 17:46, Zhou, Tong <tz at gatech.edu> wrote:
> 
> 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
> _______________________________________________
> Soot-list mailing list
> Soot-list at CS.McGill.CA
> https://mailman.CS.McGill.CA/mailman/listinfo/soot-list