[Soot-list] local type not allowed in final code

[Burcu]

Thank you for the quick answer. Yes, I obtained dex file after applying 
baksmali and smali tools to the odex file. Then, I converted it to jar by 
using dex2jar.

When I applied the instrumentation on the dex file (without further 
translating to jar), it worked without any problems.
I guess, it may be a conversion problem to jar.

Best Regards,
Burcu

On Thursday, June 12, 2014 2:47:25 PM UTC+2, Steven Arzt wrote:
>
> If I understand you correctly, you started from odex files and applied 
> some toolchain, to get a JAR file from it. Is that correct? If so, what 
> is your use case? Such a process is usually not very stable, so I'd 
> avoid it wherever possible. 
>
> Aside from that, please check that the method you have mention actually 
> contains valid code and does not access variables that will always be 
> null due to some conversion problem from odex to jar. In that case, Soot 
> would give the variable a null_type and fail on it when trying to write 
> it back out. 
>
> Am 12.06.2014 12:28, schrieb Burcu: 
> > Hi, 
> > 
> > For the jar files obtained from framework.odex in Android emulator, I 
> > have the same type checking error: 
> > 
> > void 
> > 
> cancelThumbnailRequest(android.content.ContentResolver,long,android.net.Uri,long)>) 
>
> > local type not allowed in final code: null_type local: $n0 body: 
> > 
> > Is this issue solved? How can I fix this? 
> > 
> > Thanks in advance. 
> > On Saturday, April 26, 2014 4:29:20 PM UTC+2, Steven Arzt wrote: 
> > 
> >> Hi Yu, 
> >> 
> >> this happens when Soot’s type assigner is not able to properly 
> >> assign types to locals inferred from Dalvik registers or bytecode 
> >> stack elements. Can you please open a bug request on our issue 
> >> tracker on Github? 
> >> 
> >> Best regards, 
> >> 
> >> Steven 
> >> 
> >> M.Sc. M.Sc. Steven Arzt 
> >> 
> >> Secure Software Engineering Group (SSE) 
> >> 
> >> European Center for Security and Privacy by Design (EC SPRIDE) 
> >> 
> >> Mornewegstraße 32 
> >> 
> >> D-64293 Darmstadt 
> >> 
> >> Phone: +49 61 51 16-75426 
> >> 
> >> Fax: +49 61 51 16-72118 
> >> 
> >> eMail: steve... at ec-spride.de <javascript:> 
> >> 
> >> Web: http://sse.ec-spride.de [1] 
> >> 
> >> VON: soot-lis... at CS.McGill.CA [mailto:soot-lis... at CS.McGill.CA] IM 
> >> AUFTRAG VON Yu Adam 
> >> GESENDET: Samstag, 26. April 2014 15:20 
> >> AN: soot-list 
> >> BETREFF: [Soot-list] local type not allowed in final code 
> >> 
> >> Hello! 
> >> 
> >> I've got the exceptions like : 
> >> 
> >> local type not allowed in final code: null_type 
> >> 
> >> local type not allowed in final code: bottom_type 
> >> 
> >> when transforming the jimple files and getting the cfg of some 
> >> programs, i.e. the package in DaCapo 2009 of avrora-cvs-20091224, 
> >> antlr-3.1.3, eclipse, and so on ( I unpacked the corresponding 
> >> program, and analasy the directory.) 
> >> 
> >> I used soot by the follow code: 
> >> 
> >> /*mysoot.java*/ 
> >> 
> >> class myprinter extends BodyTransformer { 
> >> 
> >> /*fot testing, do nothing*/ 
> >> 
> >> protected void internalTransform(Body body, String string, Map map) 
> >> { } 
> >> 
> >> } 
> >> 
> >> public class mysoot { 
> >> 
> >> public static void main(String[] args){ 
> >> 
> >> myprinter printer = new myprinter(); 
> >> 
> >> Transform t1 = new Transform("jtp.myPrinter", printer); 
> >> 
> >> soot.options.Options.v().set_keep_line_number(true); 
> >> 
> >> soot.options.Options.v().set_allow_phantom_refs(true); 
> >> 
> >> soot.options.Options.v().set_verbose(false); 
> >> 
> >> PackManager.v().getPack("jtp").add(t1); 
> >> 
> >> String[] soot_args = new String[5]; 
> >> 
> >> soot_args[0] = "-process-dir"; 
> >> 
> >> soot_args[1] = args[0]; 
> >> 
> >> soot_args[2] ="-cp"; 
> >> 
> >> soot_args[3] =args[0]; 
> >> 
> >> soot_args[4] = "-pp"; 
> >> 
> >> soot.Main.main(soot_args); 
> >> 
> >> } 
> >> 
> >> } 
> >> 
> >> with the command: 
> >> 
> >> java mysoot targetdirectory 
> >> 
> >> I've tried both the stable and nightly version of Soot. 
> >> 
> >> Can anyone help? 
> >> 
> >> Thanks! 
> > 
> > 
> > Links: 
> > ------ 
> > [1] 
> > 
> http://www.google.com/url?q75http%3A%2F%2Fsse.ec-spride.de%2F46sa75D46sntz
> �75146usg75AFQjCNGigQaO_uOHvandnthTpq57clh04g

-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://mailman.CS.McGill.CA/pipermail/soot-list/attachments/20140612/0eedf460/attachment-0001.html