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

[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: steven.arzt at ec-spride.de <javascript:>
>
> Web: http://sse.ec-spride.de
>
>  
>
>  
>
>  
>
> *Von:* soot-lis... at CS.McGill.CA <javascript:> [mailto:
> soot-lis... at CS.McGill.CA <javascript:>] *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!
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://mailman.CS.McGill.CA/pipermail/soot-list/attachments/20140612/2fcd9bde/attachment-0001.html