[Soot-list] Exclude classes

[Rohan Padhye]

Hello Zeinab,

Are you using the "-exclude" option in conjunction with the "-include" 
option? The Soot documentation says the following about "-include":

    "If you specify both include and exclude options, first the classes
    from all excluded packages are marked as library classes, then the
    classes from all included packages are marked as application classes."


Hence, some of your excluded classes might get included due to an 
overriding inclusion. Please check that this isn't the case.

Regards,
Rohan

On Tuesday 02 July 2013 06:44 PM, Zeinab Lashkaripour wrote:
> Hi Marc-André,
>
> Thanks for the reply.
> I tried what you said and I get the output below:
> Transforming org.apache.jasper.runtime.HttpJspBase...
> org.apache.jasper.runtime.HttpJspBase
>     protected void <init>()
>     {
>         org.apache.jasper.runtime.HttpJspBase this;
>
>         this := @this: org.apache.jasper.runtime.HttpJspBase;
>         specialinvoke this.<javax.servlet.http.HttpServlet: void 
> <init>()>();
>         return;
>     }
>
> [org.apache.jasper.runtime.]
> org.apache.jasper.runtime.HttpJspBase
>     public final void init(javax.servlet.ServletConfig) throws 
> javax.servlet.ServletException
>     {
>         org.apache.jasper.runtime.HttpJspBase this;
>         javax.servlet.ServletConfig config;
>
>         this := @this: org.apache.jasper.runtime.HttpJspBase;
>         config := @parameter0: javax.servlet.ServletConfig;
>         specialinvoke this.<javax.servlet.http.HttpServlet: void 
> init(javax.servlet.ServletConfig)>(config);
>         virtualinvoke this.<org.apache.jasper.runtime.HttpJspBase: 
> void jspInit()>();
>         virtualinvoke this.<org.apache.jasper.runtime.HttpJspBase: 
> void _jspInit()>();
>         return;
>     }
>
> [org.apache.jasper.runtime.]
> org.apache.jasper.runtime.HttpJspBase
>     public java.lang.String getServletInfo()
>     {
>         org.apache.jasper.runtime.HttpJspBase this;
>         java.lang.String $r0;
>
>         this := @this: org.apache.jasper.runtime.HttpJspBase;
>         $r0 = staticinvoke <org.apache.jasper.compiler.Localizer: 
> java.lang.String getMessage(java.lang.String)>("jsp.engine.info");
>         return $r0;
>     }
>
> It seems that they don't have empty bodies.
> Maybe I'm not using the exclude option properly?
>
> Any suggestions?
>
> Regards,
> Zeinab
>
>
>
>
> _______________________________________________
> Soot-list mailing list
> Soot-list at sable.mcgill.ca
> http://mailman.cs.mcgill.ca/mailman/listinfo/soot-list

-- 
Regards,
Rohan Padhye

-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://mailman.cs.mcgill.ca/pipermail/soot-list/attachments/20130702/3abc92b4/attachment.html