How to convert .shimple file to .jimple file?

[su-xingyu]

Hi!

Does Soot provide a convenient way to convert a .shimple file to a .jimple file? I've checked the available command line options but it seems Soot doesn't accept .shimple files as input.

Thanks in advance!

[StevenArzt]

@MarcMil I know that someone from our team has been experimenting with Shimple lately (Florian maybe?) and I know that you discussed the matter with them. Can you provide any insights or refer to the colleague?

[MarcMil]

When using Soot as a library, the ShimpleBody has a toJimpleBody method.

soot/src/main/java/soot/shimple/ShimpleBody.java

Line 154 in 7e7ac53

public JimpleBody toJimpleBody() {

For the command line version:
When the wholeJimple option is set and the output format is set to Jimple, soot should remove the SSA form.

soot/src/main/java/soot/PackManager.java

Line 954 in 7e7ac53

if (produceJimple || (wholeShimple && !produceShimple)) {

However, afaik, there right now there is no Shimple parser, so no way to get Shimple files into Soot.