Boomerang bodies to Jimple bodies

[ufarooq]

Hi,

I am trying to use this tool as a pointer analysis for an IFDS analysis. My IFDS analysis is using Jimple bodies, but Boomerang transforms bodies during Pre-transformer. What is recommended way to translate between Jimple/Boomerang? Or Do I need to run my IFDS analysis on Boomerang if I want to use WPDS?

Thanks,
Umar

[johspaeth]

Hi Umar,
you need to apply the BoomerangPretransformer before the analysis, and run your analysis on the new Jimple Bodies. For instance, the transformer is used here.

The transformer just replaces statements such as call(123) into two statements int x = 123; call(x). This makes the analysis' flow functions easier to write.

[ufarooq]

Thanks for clearing up @johspaeth