<html xmlns:v="urn:schemas-microsoft-com:vml" xmlns:o="urn:schemas-microsoft-com:office:office" xmlns:w="urn:schemas-microsoft-com:office:word" xmlns:m="http://schemas.microsoft.com/office/2004/12/omml" xmlns="http://www.w3.org/TR/REC-html40"><head><meta http-equiv=Content-Type content="text/html; charset=utf-8"><meta name=Generator content="Microsoft Word 14 (filtered medium)"><style><!--
/* Font Definitions */
@font-face
{font-family:Calibri;
panose-1:2 15 5 2 2 2 4 3 2 4;}
@font-face
{font-family:Tahoma;
panose-1:2 11 6 4 3 5 4 4 2 4;}
/* Style Definitions */
p.MsoNormal, li.MsoNormal, div.MsoNormal
{margin:0cm;
margin-bottom:.0001pt;
font-size:12.0pt;
font-family:"Times New Roman","serif";}
a:link, span.MsoHyperlink
{mso-style-priority:99;
color:blue;
text-decoration:underline;}
a:visited, span.MsoHyperlinkFollowed
{mso-style-priority:99;
color:purple;
text-decoration:underline;}
p.MsoListParagraph, li.MsoListParagraph, div.MsoListParagraph
{mso-style-priority:34;
margin-top:0cm;
margin-right:0cm;
margin-bottom:0cm;
margin-left:36.0pt;
margin-bottom:.0001pt;
font-size:12.0pt;
font-family:"Times New Roman","serif";}
p.msolistparagraphcxspfirst, li.msolistparagraphcxspfirst, div.msolistparagraphcxspfirst
{mso-style-name:msolistparagraphcxspfirst;
margin-top:0cm;
margin-right:0cm;
margin-bottom:0cm;
margin-left:36.0pt;
margin-bottom:.0001pt;
line-height:115%;
font-size:12.0pt;
font-family:"Times New Roman","serif";}
p.msolistparagraphcxspmiddle, li.msolistparagraphcxspmiddle, div.msolistparagraphcxspmiddle
{mso-style-name:msolistparagraphcxspmiddle;
margin-top:0cm;
margin-right:0cm;
margin-bottom:0cm;
margin-left:36.0pt;
margin-bottom:.0001pt;
line-height:115%;
font-size:12.0pt;
font-family:"Times New Roman","serif";}
p.msolistparagraphcxsplast, li.msolistparagraphcxsplast, div.msolistparagraphcxsplast
{mso-style-name:msolistparagraphcxsplast;
margin-top:0cm;
margin-right:0cm;
margin-bottom:0cm;
margin-left:36.0pt;
margin-bottom:.0001pt;
line-height:115%;
font-size:12.0pt;
font-family:"Times New Roman","serif";}
span.E-MailFormatvorlage21
{mso-style-type:personal-reply;
font-family:"Calibri","sans-serif";
color:#1F497D;}
.MsoChpDefault
{mso-style-type:export-only;
font-size:10.0pt;}
@page WordSection1
{size:612.0pt 792.0pt;
margin:70.85pt 70.85pt 2.0cm 70.85pt;}
div.WordSection1
{page:WordSection1;}
--></style><!--[if gte mso 9]><xml>
<o:shapedefaults v:ext="edit" spidmax="1026" />
</xml><![endif]--><!--[if gte mso 9]><xml>
<o:shapelayout v:ext="edit">
<o:idmap v:ext="edit" data="1" />
</o:shapelayout></xml><![endif]--></head><body lang=DE link=blue vlink=purple><div class=WordSection1><p class=MsoNormal><span lang=EN-US style='font-size:11.0pt;font-family:"Calibri","sans-serif";color:#1F497D'>Hi Prateek,<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US style='font-size:11.0pt;font-family:"Calibri","sans-serif";color:#1F497D'><o:p> </o:p></span></p><p class=MsoNormal><span lang=EN-US style='font-size:11.0pt;font-family:"Calibri","sans-serif";color:#1F497D'>When I try to download your APK file, I get an HTTP 404, file not found error. Can you please send me the APK file via e-mail?<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US style='font-size:11.0pt;font-family:"Calibri","sans-serif";color:#1F497D'><o:p> </o:p></span></p><p class=MsoNormal><span lang=EN-US style='font-size:11.0pt;font-family:"Calibri","sans-serif";color:#1F497D'>Best regards,<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US style='font-size:11.0pt;font-family:"Calibri","sans-serif";color:#1F497D'> Steven<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US style='font-size:11.0pt;font-family:"Calibri","sans-serif";color:#1F497D'><o:p> </o:p></span></p><div><div style='border:none;border-top:solid #B5C4DF 1.0pt;padding:3.0pt 0cm 0cm 0cm'><p class=MsoNormal><b><span style='font-size:10.0pt;font-family:"Tahoma","sans-serif"'>Von:</span></b><span style='font-size:10.0pt;font-family:"Tahoma","sans-serif"'> soot-list-bounces@CS.McGill.CA [mailto:soot-list-bounces@CS.McGill.CA] <b>Im Auftrag von </b>prateeksaxena@gmail.com<br><b>Gesendet:</b> Samstag, 13. Juni 2015 04:06<br><b>An:</b> soot-list@CS.McGill.CA<br><b>Betreff:</b> [Soot-list] Why does rewriting an APK fail with no instrumentation?<o:p></o:p></span></p></div></div><p class=MsoNormal><o:p> </o:p></p><div><div><p class=MsoNormal><span style='font-family:"Calibri","sans-serif"'>Hi,<o:p></o:p></span></p></div><div><p class=MsoNormal><span style='font-family:"Calibri","sans-serif"'><o:p> </o:p></span></p></div><div><p class=MsoNormal><span style='font-family:"Calibri","sans-serif"'>I am trying to instrument an APK using soot. As a simple test, I want to re-compile the APK with no / null instrumentation. I am using the VM released at <a href="http://sseblog.ec-spride.de/tutorials/" target="_parent">http://sseblog.ec-spride.de/tutorials/</a><o:p></o:p></span></p></div><div><p class=MsoNormal><span style='font-family:"Calibri","sans-serif"'><o:p> </o:p></span></p></div><div><p class=MsoNormal><span style='font-family:"Calibri","sans-serif"'>My instrumentation doesn’t modify any method bodies.<o:p></o:p></span></p></div><div><p class=MsoNormal><span style='font-family:"Calibri","sans-serif"'>The code is:<o:p></o:p></span></p></div><div><p class=MsoNormal><span style='font-family:"Calibri","sans-serif"'><o:p> </o:p></span></p></div><div><p class=MsoNormal><span style='font-family:"Calibri","sans-serif"'>public class MyBodyTransformer extends BodyTransformer{<br> @Override<br> protected void internalTransform(Body body, String arg0, Map arg1) {<o:p></o:p></span></p></div><div><div><p class=MsoNormal><span style='font-family:"Calibri","sans-serif"'><o:p> </o:p></span></p></div><div><p class=MsoNormal><span style='font-family:"Calibri","sans-serif"'> }<br>}<o:p></o:p></span></p></div><div><p class=MsoNormal><span style='font-family:"Calibri","sans-serif"'><o:p> </o:p></span></p></div><div><p class=MsoNormal><span style='font-family:"Calibri","sans-serif"'>When I try the RV2013.apk example (sample provided in the tutorial VM), it works fine. But, when I use a different apk it fails (e.g. the <a href="https://www.dropbox.com/s/qihaunn2qsvi034/foo.apk?dl=0" target="_parent">apk here</a>). The original APK works fine on the Android emulator.<o:p></o:p></span></p></div><div><p class=MsoNormal><span style='font-family:"Calibri","sans-serif"'><o:p> </o:p></span></p></div><div><p class=MsoNormal><span style='font-family:"Calibri","sans-serif"'><o:p> </o:p></span></p></div><div><p class=MsoNormal><span style='font-family:"Calibri","sans-serif"'>In the console I see:<o:p></o:p></span></p></div><div><p class=MsoNormal><span style='font-family:"Calibri","sans-serif"'>…<o:p></o:p></span></p></div><div><p class=MsoNormal><span style='font-family:"Calibri","sans-serif"'>Transforming com.vladium.util.IntObjectMap... <o:p></o:p></span></p></div><div><p class=MsoNormal><span style='font-family:"Calibri","sans-serif"'>…<o:p></o:p></span></p></div><div><p class=MsoNormal><span style='font-family:"Calibri","sans-serif"'>Exception in thread "main" java.lang.RuntimeException: (<com.vladium.util.IntObjectMap: java.lang.Object put(int,java.lang.Object)>) no defs for value: $r5!<o:p></o:p></span></p></div><div><p class=MsoNormal><span style='font-family:"Calibri","sans-serif"'>…<o:p></o:p></span></p></div><div><p class=MsoNormal><span style='font-family:"Calibri","sans-serif"'> at soot.Body.validateUses(Body.java:365)<br> at soot.Body.validate(Body.java:234)<br> at soot.jimple.JimpleBody.validate(JimpleBody.java:71)<br> at soot.PackManager.runBodyPacks(PackManager.java:903)<br> at soot.PackManager.runBodyPacks(PackManager.java:585)<br> at soot.PackManager.runBodyPacks(PackManager.java:487)<br> at soot.PackManager.runPacksNormally(PackManager.java:464)<br> at soot.PackManager.runPacks(PackManager.java:388)<br> at instrumentation.Main.main(Main.java:12)<o:p></o:p></span></p></div><div><p class=MsoNormal><span style='font-family:"Calibri","sans-serif"'><o:p> </o:p></span></p></div><div><p class=MsoNormal><span style='font-family:"Calibri","sans-serif"'><o:p> </o:p></span></p></div><div><p class=MsoNormal><span style='font-family:"Calibri","sans-serif"'>The options I provide are the same as the one that work for the sample APK:<o:p></o:p></span></p></div><div><p class=MsoNormal><span style='font-family:"Calibri","sans-serif"'><o:p> </o:p></span></p></div><div><p class=MsoNormal><span style='font-family:"Arial","sans-serif"'>public class Settings {</span><span style='font-family:"Calibri","sans-serif"'><br></span><span style='font-family:"Arial","sans-serif"'> private static boolean SOOT_INITIALIZED = false;</span><span style='font-family:"Calibri","sans-serif"'><br></span><span style='font-family:"Arial","sans-serif"'> private final static String TOAST_CLASS = "android.widget.Toast";</span><span style='font-family:"Calibri","sans-serif"'><br></span><span style='font-family:"Arial","sans-serif"'> private final static String androidJAR = "./lib/android.jar";</span><span style='font-family:"Calibri","sans-serif"'><br></span><span style='font-family:"Arial","sans-serif"'> private final static String apk = "./apk/foo.apk";</span><span style='font-family:"Calibri","sans-serif"'><br></span><span style='font-family:"Arial","sans-serif"'> </span><span style='font-family:"Calibri","sans-serif"'><br></span><span style='font-family:"Arial","sans-serif"'> public static void initialiseSoot(){</span><span style='font-family:"Calibri","sans-serif"'><br></span><span style='font-family:"Arial","sans-serif"'> if (SOOT_INITIALIZED)</span><span style='font-family:"Calibri","sans-serif"'><br></span><span style='font-family:"Arial","sans-serif"'> return;</span><span style='font-family:"Calibri","sans-serif"'><br></span><span style='font-family:"Arial","sans-serif"'> G.reset();</span><span style='font-family:"Calibri","sans-serif"'><br></span><span style='font-family:"Arial","sans-serif"'> </span><span style='font-family:"Calibri","sans-serif"'><br></span><span style='font-family:"Arial","sans-serif"'> Options.v().set_allow_phantom_refs(true);</span><span style='font-family:"Calibri","sans-serif"'><br></span><span style='font-family:"Arial","sans-serif"'> Options.v().set_prepend_classpath(true);</span><span style='font-family:"Calibri","sans-serif"'><br></span><span style='font-family:"Arial","sans-serif"'> Options.v().set_validate(true)</span><span style='font-family:"Calibri","sans-serif"'><br></span><span style='font-family:"Arial","sans-serif"'> Options.v().set_output_format(Options.output_format_dex);</span><span style='font-family:"Calibri","sans-serif"'><br></span><span style='font-family:"Arial","sans-serif"'> Options.v().set_process_dir(Collections.singletonList(apk));</span><span style='font-family:"Calibri","sans-serif"'><br></span><span style='font-family:"Arial","sans-serif"'> Options.v().set_force_android_jar(androidJAR);</span><span style='font-family:"Calibri","sans-serif"'><br></span><span style='font-family:"Arial","sans-serif"'> Options.v().set_src_prec(Options.src_prec_apk);</span><span style='font-family:"Calibri","sans-serif"'><o:p></o:p></span></p></div><div><p class=MsoNormal><span style='font-family:"Arial","sans-serif"'> Options.v().set_soot_classpath(androidJAR);</span><span style='font-family:"Calibri","sans-serif"'><br></span><span style='font-family:"Arial","sans-serif"'> Scene.v().loadNecessaryClasses();</span><span style='font-family:"Calibri","sans-serif"'><br></span><span style='font-family:"Arial","sans-serif"'> Scene.v().forceResolve(TOAST_CLASS, SootClass.BODIES);</span><span style='font-family:"Calibri","sans-serif"'><o:p></o:p></span></p></div><div><p class=MsoNormal><span style='font-family:"Calibri","sans-serif"'><o:p> </o:p></span></p></div><div><p class=MsoNormal><span style='font-family:"Arial","sans-serif"'> SOOT_INITIALIZED = true;</span><span style='font-family:"Calibri","sans-serif"'><br> }<o:p></o:p></span></p></div><div><p class=MsoNormal><span style='font-family:"Calibri","sans-serif"'><o:p> </o:p></span></p></div><div><p class=MsoNormal><span style='font-family:"Calibri","sans-serif"'>Could you please help?<o:p></o:p></span></p></div><div><p class=MsoNormal><span style='font-family:"Calibri","sans-serif"'><o:p> </o:p></span></p></div><div><p class=MsoNormal><span style='font-family:"Calibri","sans-serif"'>Thanks,<o:p></o:p></span></p></div><div><p class=MsoNormal><span style='font-family:"Calibri","sans-serif"'><o:p> </o:p></span></p></div><div><p class=MsoNormal><span style='font-family:"Calibri","sans-serif"'>-- Prateek.<o:p></o:p></span></p></div><div><p class=MsoNormal><span style='font-family:"Calibri","sans-serif"'><o:p> </o:p></span></p></div><div><p class=MsoNormal><span style='font-family:"Calibri","sans-serif"'><o:p> </o:p></span></p></div></div></div></div></body></html>