<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 15 (filtered medium)">
<style><!--
/* Font Definitions */
@font-face
{font-family:"Cambria Math";
panose-1:2 4 5 3 5 4 6 3 2 4;}
@font-face
{font-family:Calibri;
panose-1:2 15 5 2 2 2 4 3 2 4;}
@font-face
{font-family:Consolas;
panose-1:2 11 6 9 2 2 4 3 2 4;}
@font-face
{font-family:Menlo;
panose-1:0 0 0 0 0 0 0 0 0 0;}
/* Style Definitions */
p.MsoNormal, li.MsoNormal, div.MsoNormal
{margin:0in;
margin-bottom:.0001pt;
font-size:12.0pt;
font-family:"Times New Roman",serif;}
a:link, span.MsoHyperlink
{mso-style-priority:99;
color:#0563C1;
text-decoration:underline;}
a:visited, span.MsoHyperlinkFollowed
{mso-style-priority:99;
color:#954F72;
text-decoration:underline;}
pre
{mso-style-priority:99;
mso-style-link:"HTML Preformatted Char";
margin:0in;
margin-bottom:.0001pt;
font-size:10.0pt;
font-family:"Courier New";}
p.msonormal0, li.msonormal0, div.msonormal0
{mso-style-name:msonormal;
mso-margin-top-alt:auto;
margin-right:0in;
mso-margin-bottom-alt:auto;
margin-left:0in;
font-size:12.0pt;
font-family:"Times New Roman",serif;}
span.HTMLPreformattedChar
{mso-style-name:"HTML Preformatted Char";
mso-style-priority:99;
mso-style-link:"HTML Preformatted";
font-family:Consolas;}
span.apple-tab-span
{mso-style-name:apple-tab-span;}
span.EmailStyle21
{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:8.5in 11.0in;
margin:1.0in 1.0in 1.0in 1.0in;}
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="EN-US" link="#0563C1" vlink="#954F72">
<div class="WordSection1">
<p class="MsoNormal"><span style="font-size:11.0pt;font-family:"Calibri",sans-serif;color:#1F497D">Hi Jonas,<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt;font-family:"Calibri",sans-serif;color:#1F497D"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt;font-family:"Calibri",sans-serif;color:#1F497D">From the command line, it looks as I you are trying to analyze Java source code. The source code front-end for Soot is pretty outdated at the moment. For a more
stable experience, especially on APK files, try to analyze the compiled APK instead. You need your process-dir to point to the APK file and your src-prec option to be set to APK.<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt;font-family:"Calibri",sans-serif;color:#1F497D"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt;font-family:"Calibri",sans-serif;color:#1F497D">Best regards,<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt;font-family:"Calibri",sans-serif;color:#1F497D"> Steven<o:p></o:p></span></p>
<p class="MsoNormal"><span 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 #E1E1E1 1.0pt;padding:3.0pt 0in 0in 0in">
<p class="MsoNormal"><b><span style="font-size:11.0pt;font-family:"Calibri",sans-serif">From:</span></b><span style="font-size:11.0pt;font-family:"Calibri",sans-serif"> Soot-list [mailto:soot-list-bounces@cs.mcgill.ca]
<b>On Behalf Of </b>Jonas De Bleser<br>
<b>Sent:</b> Wednesday, April 19, 2017 3:25 PM<br>
<b>To:</b> soot-list@cs.mcgill.ca<br>
<b>Subject:</b> [Soot-list] Analyzing Android source code<o:p></o:p></span></p>
</div>
</div>
<p class="MsoNormal"><o:p> </o:p></p>
<div name="messageBodySection">
<p class="MsoNormal"><span style="font-size:10.5pt;font-family:"Arial",sans-serif">I’m trying to analyse an Android Studio project. However, it doesn’t work with the following options (Java SDK 1.8) :
<o:p></o:p></span></p>
<div>
<p class="MsoNormal"><span style="font-size:10.5pt;font-family:"Arial",sans-serif"><o:p> </o:p></span></p>
</div>
<div>
<pre style="background:white"><span style="font-size:9.0pt;font-family:"Menlo",serif"><o:p> </o:p></span></pre>
<pre style="background:white"><span style="font-size:9.0pt;font-family:"Menlo",serif">String[] sootArgsJar = {<br> <b><span style="color:green">"-cp"</span></b>, <b><span style="color:green">"/Users/jonas/Library/Android/sdk/platforms/android-17/android.jar"</span></b>,<br> <b><span style="color:green">"-w"</span></b>, <i><span style="color:gray">//"-whole-program",<br> </span></i><b><span style="color:green">"-v"</span></b>, <i><span style="color:gray">// verbose<br> </span></i><b><span style="color:green">"-process-dir"</span></b>, <b><span style="color:green">"/Users/jonas/AndroidStudioProjects/Test/app/src"</span></b>,<br> <b><span style="color:green">"-keep-line-number"</span></b>,<br> <b><span style="color:green">"-allow-phantom-refs"</span></b>,<br><br>};<o:p></o:p></span></pre>
<pre style="background:white"><span style="font-size:9.0pt;font-family:"Menlo",serif"><o:p> </o:p></span></pre>
<pre><span style="font-size:9.0pt;font-family:"Menlo",serif"><o:p> </o:p></span></pre>
<pre><span style="font-size:9.0pt;font-family:"Menlo",serif">soot.Main.<i>main</i>(sootArgsJar);<o:p></o:p></span></pre>
<pre style="background:white"><span style="font-size:9.0pt;font-family:"Menlo",serif"><o:p> </o:p></span></pre>
<pre style="background:white"><span style="font-size:10.5pt;font-family:"Arial",sans-serif">I get the following error:</span><span style="font-size:9.0pt;font-family:"Menlo",serif"><o:p></o:p></span></pre>
<pre style="background:white"><span style="font-size:9.0pt;font-family:"Menlo",serif"><o:p> </o:p></span></pre>
<pre><span style="font-size:9.0pt;font-family:"Menlo",serif"><o:p> </o:p></span></pre>
<pre><span style="font-size:9.0pt;font-family:"Menlo",serif">Exception in thread "main" java.lang.Error: Error: Failed to load java.lang.reflect.AnnotatedElement.<o:p></o:p></span></pre>
<pre><span style="font-size:9.0pt;font-family:"Menlo",serif"><o:p> </o:p></span></pre>
<pre><span style="font-size:9.0pt;font-family:"Menlo",serif">I’m not sure what the problem is. I thought it had something to do with the annotation @Override,but removing it from the class did not help. Is it a bug or doesn’t SOOT support this?<o:p></o:p></span></pre>
<pre><span style="font-size:9.0pt;font-family:"Menlo",serif"><o:p> </o:p></span></pre>
<pre><span style="font-size:9.0pt;font-family:"Menlo",serif"><o:p> </o:p></span></pre>
<pre><span style="font-size:10.5pt;font-family:"Arial",sans-serif">Full error log:</span><span style="font-size:9.0pt;font-family:"Menlo",serif"><o:p></o:p></span></pre>
<pre style="background:white"><span style="font-size:9.0pt;font-family:"Menlo",serif"><o:p> </o:p></span></pre>
<pre><span style="font-size:9.0pt;font-family:"Menlo",serif"><o:p> </o:p></span></pre>
<pre><span style="font-size:9.0pt;font-family:"Menlo",serif">objc[35881]: Class JavaLaunchHelper is implemented in both /Library/Java/JavaVirtualMachines/jdk1.8.0_121.jdk/Contents/Home/bin/java (0x10276c4c0) and /Library/Java/JavaVirtualMachines/jdk1.8.0_121.jdk/Contents/Home/jre/lib/libinstrument.dylib (0x1048a94e0). One of the two will be used. Which one is undefined.<o:p></o:p></span></pre>
<pre><span style="font-size:9.0pt;font-family:"Menlo",serif"><o:p> </o:p></span></pre>
<pre><span style="font-size:9.0pt;font-family:"Menlo",serif">Soot started on Wed Apr 19 15:24:58 CEST 2017<o:p></o:p></span></pre>
<pre><span style="font-size:9.0pt;font-family:"Menlo",serif"><o:p> </o:p></span></pre>
<pre><span style="font-size:9.0pt;font-family:"Menlo",serif">Warning: java.lang.invoke.LambdaMetafactory is a phantom class!<o:p></o:p></span></pre>
<pre><span style="font-size:9.0pt;font-family:"Menlo",serif"><o:p> </o:p></span></pre>
<pre><span style="font-size:9.0pt;font-family:"Menlo",serif">Warning: java.lang.ref.Finalizer is a phantom class!<o:p></o:p></span></pre>
<pre><span style="font-size:9.0pt;font-family:"Menlo",serif"><o:p> </o:p></span></pre>
<pre><span style="font-size:9.0pt;font-family:"Menlo",serif">resolving [from .java]: main.java.com.example.jonas.test.APIResourceLeak<o:p></o:p></span></pre>
<pre><span style="font-size:9.0pt;font-family:"Menlo",serif"><o:p> </o:p></span></pre>
<pre><span style="font-size:9.0pt;font-family:"Menlo",serif">Exception in thread "main" java.lang.Error: Error: Failed to load java.lang.reflect.AnnotatedElement.<o:p></o:p></span></pre>
<pre><span style="font-size:9.0pt;font-family:"Menlo",serif"><o:p> </o:p></span></pre>
<pre><span class="apple-tab-span"><span style="font-size:9.0pt;font-family:"Menlo",serif"> </span></span><span style="font-size:9.0pt;font-family:"Menlo",serif">at soot.JastAddJ.PathPart.getCompilationUnit(PathPart.java:109)<o:p></o:p></span></pre>
<pre><span style="font-size:9.0pt;font-family:"Menlo",serif"><o:p> </o:p></span></pre>
<pre><span class="apple-tab-span"><span style="font-size:9.0pt;font-family:"Menlo",serif"> </span></span><span style="font-size:9.0pt;font-family:"Menlo",serif">at soot.JastAddJ.Program.getCompilationUnit(Program.java:844)<o:p></o:p></span></pre>
<pre><span style="font-size:9.0pt;font-family:"Menlo",serif"><o:p> </o:p></span></pre>
<pre><span class="apple-tab-span"><span style="font-size:9.0pt;font-family:"Menlo",serif"> </span></span><span style="font-size:9.0pt;font-family:"Menlo",serif">at soot.JastAddJ.Program.getLibCompilationUnit_compute(Program.java:1517)<o:p></o:p></span></pre>
<pre><span style="font-size:9.0pt;font-family:"Menlo",serif"><o:p> </o:p></span></pre>
<pre><span class="apple-tab-span"><span style="font-size:9.0pt;font-family:"Menlo",serif"> </span></span><span style="font-size:9.0pt;font-family:"Menlo",serif">at soot.JastAddJ.Program.getLibCompilationUnit(Program.java:1500)<o:p></o:p></span></pre>
<pre><span style="font-size:9.0pt;font-family:"Menlo",serif"><o:p> </o:p></span></pre>
<pre><span class="apple-tab-span"><span style="font-size:9.0pt;font-family:"Menlo",serif"> </span></span><span style="font-size:9.0pt;font-family:"Menlo",serif">at soot.JastAddJ.Program.lookupLibType_compute(Program.java:1465)<o:p></o:p></span></pre>
<pre><span style="font-size:9.0pt;font-family:"Menlo",serif"><o:p> </o:p></span></pre>
<pre><span class="apple-tab-span"><span style="font-size:9.0pt;font-family:"Menlo",serif"> </span></span><span style="font-size:9.0pt;font-family:"Menlo",serif">at soot.JastAddJ.Program.lookupLibType(Program.java:1433)<o:p></o:p></span></pre>
<pre><span style="font-size:9.0pt;font-family:"Menlo",serif"><o:p> </o:p></span></pre>
<pre><span class="apple-tab-span"><span style="font-size:9.0pt;font-family:"Menlo",serif"> </span></span><span style="font-size:9.0pt;font-family:"Menlo",serif">at soot.JastAddJ.Program.lookupType_compute(Program.java:1412)<o:p></o:p></span></pre>
<pre><span style="font-size:9.0pt;font-family:"Menlo",serif"><o:p> </o:p></span></pre>
<pre><span class="apple-tab-span"><span style="font-size:9.0pt;font-family:"Menlo",serif"> </span></span><span style="font-size:9.0pt;font-family:"Menlo",serif">at soot.JastAddJ.Program.lookupType(Program.java:1393)<o:p></o:p></span></pre>
<pre><span style="font-size:9.0pt;font-family:"Menlo",serif"><o:p> </o:p></span></pre>
<pre><span class="apple-tab-span"><span style="font-size:9.0pt;font-family:"Menlo",serif"> </span></span><span style="font-size:9.0pt;font-family:"Menlo",serif">at soot.JastAddJ.Program.Define_TypeDecl_lookupType(Program.java:1981)<o:p></o:p></span></pre>
<pre><span style="font-size:9.0pt;font-family:"Menlo",serif"><o:p> </o:p></span></pre>
<pre><span class="apple-tab-span"><span style="font-size:9.0pt;font-family:"Menlo",serif"> </span></span><span style="font-size:9.0pt;font-family:"Menlo",serif">at soot.JastAddJ.ASTNode.Define_TypeDecl_lookupType(ASTNode.java:1657)<o:p></o:p></span></pre>
<pre><span style="font-size:9.0pt;font-family:"Menlo",serif"><o:p> </o:p></span></pre>
<pre><span class="apple-tab-span"><span style="font-size:9.0pt;font-family:"Menlo",serif"> </span></span><span style="font-size:9.0pt;font-family:"Menlo",serif">at soot.JastAddJ.ASTNode.Define_TypeDecl_lookupType(ASTNode.java:1657)<o:p></o:p></span></pre>
<pre><span style="font-size:9.0pt;font-family:"Menlo",serif"><o:p> </o:p></span></pre>
<pre><span class="apple-tab-span"><span style="font-size:9.0pt;font-family:"Menlo",serif"> </span></span><span style="font-size:9.0pt;font-family:"Menlo",serif">at soot.JastAddJ.ASTNode.Define_TypeDecl_lookupType(ASTNode.java:1657)<o:p></o:p></span></pre>
<pre><span style="font-size:9.0pt;font-family:"Menlo",serif"><o:p> </o:p></span></pre>
<pre><span class="apple-tab-span"><span style="font-size:9.0pt;font-family:"Menlo",serif"> </span></span><span style="font-size:9.0pt;font-family:"Menlo",serif">at soot.JastAddJ.ASTNode.Define_TypeDecl_lookupType(ASTNode.java:1657)<o:p></o:p></span></pre>
<pre><span style="font-size:9.0pt;font-family:"Menlo",serif"><o:p> </o:p></span></pre>
<pre><span class="apple-tab-span"><span style="font-size:9.0pt;font-family:"Menlo",serif"> </span></span><span style="font-size:9.0pt;font-family:"Menlo",serif">at soot.JastAddJ.ASTNode.Define_TypeDecl_lookupType(ASTNode.java:1657)<o:p></o:p></span></pre>
<pre><span style="font-size:9.0pt;font-family:"Menlo",serif"><o:p> </o:p></span></pre>
<pre><span class="apple-tab-span"><span style="font-size:9.0pt;font-family:"Menlo",serif"> </span></span><span style="font-size:9.0pt;font-family:"Menlo",serif">at soot.JastAddJ.Expr.lookupType(Expr.java:1186)<o:p></o:p></span></pre>
<pre><span style="font-size:9.0pt;font-family:"Menlo",serif"><o:p> </o:p></span></pre>
<pre><span class="apple-tab-span"><span style="font-size:9.0pt;font-family:"Menlo",serif"> </span></span><span style="font-size:9.0pt;font-family:"Menlo",serif">at soot.JastAddJ.TypeAccess.decls_compute(TypeAccess.java:425)<o:p></o:p></span></pre>
<pre><span style="font-size:9.0pt;font-family:"Menlo",serif"><o:p> </o:p></span></pre>
<pre><span class="apple-tab-span"><span style="font-size:9.0pt;font-family:"Menlo",serif"> </span></span><span style="font-size:9.0pt;font-family:"Menlo",serif">at soot.JastAddJ.TypeAccess.decls(TypeAccess.java:414)<o:p></o:p></span></pre>
<pre><span style="font-size:9.0pt;font-family:"Menlo",serif"><o:p> </o:p></span></pre>
<pre><span class="apple-tab-span"><span style="font-size:9.0pt;font-family:"Menlo",serif"> </span></span><span style="font-size:9.0pt;font-family:"Menlo",serif">at soot.JastAddJ.TypeAccess.refined_TypeScopePropagation_TypeAccess_decl(TypeAccess.java:387)<o:p></o:p></span></pre>
<pre><span style="font-size:9.0pt;font-family:"Menlo",serif"><o:p> </o:p></span></pre>
<pre><span class="apple-tab-span"><span style="font-size:9.0pt;font-family:"Menlo",serif"> </span></span><span style="font-size:9.0pt;font-family:"Menlo",serif">at soot.JastAddJ.TypeAccess.decl_compute(TypeAccess.java:460)<o:p></o:p></span></pre>
<pre><span style="font-size:9.0pt;font-family:"Menlo",serif"><o:p> </o:p></span></pre>
<pre><span class="apple-tab-span"><span style="font-size:9.0pt;font-family:"Menlo",serif"> </span></span><span style="font-size:9.0pt;font-family:"Menlo",serif">at soot.JastAddJ.TypeAccess.decl(TypeAccess.java:452)<o:p></o:p></span></pre>
<pre><span style="font-size:9.0pt;font-family:"Menlo",serif"><o:p> </o:p></span></pre>
<pre><span class="apple-tab-span"><span style="font-size:9.0pt;font-family:"Menlo",serif"> </span></span><span style="font-size:9.0pt;font-family:"Menlo",serif">at soot.JastAddJ.TypeAccess.type_compute(TypeAccess.java:590)<o:p></o:p></span></pre>
<pre><span style="font-size:9.0pt;font-family:"Menlo",serif"><o:p> </o:p></span></pre>
<pre><span class="apple-tab-span"><span style="font-size:9.0pt;font-family:"Menlo",serif"> </span></span><span style="font-size:9.0pt;font-family:"Menlo",serif">at soot.JastAddJ.TypeAccess.type(TypeAccess.java:583)<o:p></o:p></span></pre>
<pre><span style="font-size:9.0pt;font-family:"Menlo",serif"><o:p> </o:p></span></pre>
<pre><span class="apple-tab-span"><span style="font-size:9.0pt;font-family:"Menlo",serif"> </span></span><span style="font-size:9.0pt;font-family:"Menlo",serif">at soot.JastAddJ.List.substitute(List.java:96)<o:p></o:p></span></pre>
<pre><span style="font-size:9.0pt;font-family:"Menlo",serif"><o:p> </o:p></span></pre>
<pre><span class="apple-tab-span"><span style="font-size:9.0pt;font-family:"Menlo",serif"> </span></span><span style="font-size:9.0pt;font-family:"Menlo",serif">at soot.JastAddJ.ParClassDecl.getImplementsList_compute(ParClassDecl.java:1039)<o:p></o:p></span></pre>
<pre><span style="font-size:9.0pt;font-family:"Menlo",serif"><o:p> </o:p></span></pre>
<pre><span class="apple-tab-span"><span style="font-size:9.0pt;font-family:"Menlo",serif"> </span></span><span style="font-size:9.0pt;font-family:"Menlo",serif">at soot.JastAddJ.ParClassDecl.getImplementsList(ParClassDecl.java:1028)<o:p></o:p></span></pre>
<pre><span style="font-size:9.0pt;font-family:"Menlo",serif"><o:p> </o:p></span></pre>
<pre><span class="apple-tab-span"><span style="font-size:9.0pt;font-family:"Menlo",serif"> </span></span><span style="font-size:9.0pt;font-family:"Menlo",serif">at soot.JastAddJ.ParClassDecl.getNumImplements(ParClassDecl.java:607)<o:p></o:p></span></pre>
<pre><span style="font-size:9.0pt;font-family:"Menlo",serif"><o:p> </o:p></span></pre>
<pre><span class="apple-tab-span"><span style="font-size:9.0pt;font-family:"Menlo",serif"> </span></span><span style="font-size:9.0pt;font-family:"Menlo",serif">at soot.JastAddJ.ClassDecl.isCircular_compute(ClassDecl.java:1693)<o:p></o:p></span></pre>
<pre><span style="font-size:9.0pt;font-family:"Menlo",serif"><o:p> </o:p></span></pre>
<pre><span class="apple-tab-span"><span style="font-size:9.0pt;font-family:"Menlo",serif"> </span></span><span style="font-size:9.0pt;font-family:"Menlo",serif">at soot.JastAddJ.ClassDecl.isCircular(ClassDecl.java:1673)<o:p></o:p></span></pre>
<pre><span style="font-size:9.0pt;font-family:"Menlo",serif"><o:p> </o:p></span></pre>
<pre><span class="apple-tab-span"><span style="font-size:9.0pt;font-family:"Menlo",serif"> </span></span><span style="font-size:9.0pt;font-family:"Menlo",serif">at soot.JastAddJ.ClassDecl.superclass(ClassDecl.java:240)<o:p></o:p></span></pre>
<pre><span style="font-size:9.0pt;font-family:"Menlo",serif"><o:p> </o:p></span></pre>
<pre><span class="apple-tab-span"><span style="font-size:9.0pt;font-family:"Menlo",serif"> </span></span><span style="font-size:9.0pt;font-family:"Menlo",serif">at soot.JastAddJ.ClassDecl.supertypeClassDecl(ClassDecl.java:1841)<o:p></o:p></span></pre>
<pre><span style="font-size:9.0pt;font-family:"Menlo",serif"><o:p> </o:p></span></pre>
<pre><span class="apple-tab-span"><span style="font-size:9.0pt;font-family:"Menlo",serif"> </span></span><span style="font-size:9.0pt;font-family:"Menlo",serif">at soot.JastAddJ.TypeDecl.supertypeParClassDecl(TypeDecl.java:4489)<o:p></o:p></span></pre>
<pre><span style="font-size:9.0pt;font-family:"Menlo",serif"><o:p> </o:p></span></pre>
<pre><span class="apple-tab-span"><span style="font-size:9.0pt;font-family:"Menlo",serif"> </span></span><span style="font-size:9.0pt;font-family:"Menlo",serif">at soot.JastAddJ.ParClassDecl.subtype_compute(ParClassDecl.java:1164)<o:p></o:p></span></pre>
<pre><span style="font-size:9.0pt;font-family:"Menlo",serif"><o:p> </o:p></span></pre>
<pre><span class="apple-tab-span"><span style="font-size:9.0pt;font-family:"Menlo",serif"> </span></span><span style="font-size:9.0pt;font-family:"Menlo",serif">at soot.JastAddJ.ParClassDecl.subtype(ParClassDecl.java:1128)<o:p></o:p></span></pre>
<pre><span style="font-size:9.0pt;font-family:"Menlo",serif"><o:p> </o:p></span></pre>
<pre><span class="apple-tab-span"><span style="font-size:9.0pt;font-family:"Menlo",serif"> </span></span><span style="font-size:9.0pt;font-family:"Menlo",serif">at soot.JastAddJ.ParClassDecl.instanceOf_compute(ParClassDecl.java:1327)<o:p></o:p></span></pre>
<pre><span style="font-size:9.0pt;font-family:"Menlo",serif"><o:p> </o:p></span></pre>
<pre><span class="apple-tab-span"><span style="font-size:9.0pt;font-family:"Menlo",serif"> </span></span><span style="font-size:9.0pt;font-family:"Menlo",serif">at soot.JastAddJ.ParClassDecl.instanceOf(ParClassDecl.java:1320)<o:p></o:p></span></pre>
<pre><span style="font-size:9.0pt;font-family:"Menlo",serif"><o:p> </o:p></span></pre>
<pre><span class="apple-tab-span"><span style="font-size:9.0pt;font-family:"Menlo",serif"> </span></span><span style="font-size:9.0pt;font-family:"Menlo",serif">at soot.JastAddJ.ConstructorDecl.applicableBySubtyping(ConstructorDecl.java:1624)<o:p></o:p></span></pre>
<pre><span style="font-size:9.0pt;font-family:"Menlo",serif"><o:p> </o:p></span></pre>
<pre><span class="apple-tab-span"><span style="font-size:9.0pt;font-family:"Menlo",serif"> </span></span><span style="font-size:9.0pt;font-family:"Menlo",serif">at soot.JastAddJ.Expr.chooseConstructor(Expr.java:139)<o:p></o:p></span></pre>
<pre><span style="font-size:9.0pt;font-family:"Menlo",serif"><o:p> </o:p></span></pre>
<pre><span class="apple-tab-span"><span style="font-size:9.0pt;font-family:"Menlo",serif"> </span></span><span style="font-size:9.0pt;font-family:"Menlo",serif">at soot.JastAddJ.ClassInstanceExpr.decls_compute(ClassInstanceExpr.java:940)<o:p></o:p></span></pre>
<pre><span style="font-size:9.0pt;font-family:"Menlo",serif"><o:p> </o:p></span></pre>
<pre><span class="apple-tab-span"><span style="font-size:9.0pt;font-family:"Menlo",serif"> </span></span><span style="font-size:9.0pt;font-family:"Menlo",serif">at soot.JastAddJ.ClassInstanceExpr.decls(ClassInstanceExpr.java:931)<o:p></o:p></span></pre>
<pre><span style="font-size:9.0pt;font-family:"Menlo",serif"><o:p> </o:p></span></pre>
<pre><span class="apple-tab-span"><span style="font-size:9.0pt;font-family:"Menlo",serif"> </span></span><span style="font-size:9.0pt;font-family:"Menlo",serif">at soot.JastAddJ.ClassInstanceExpr.refined_NameCheck_ClassInstanceExpr_nameCheck(ClassInstanceExpr.java:170)<o:p></o:p></span></pre>
<pre><span style="font-size:9.0pt;font-family:"Menlo",serif"><o:p> </o:p></span></pre>
<pre><span class="apple-tab-span"><span style="font-size:9.0pt;font-family:"Menlo",serif"> </span></span><span style="font-size:9.0pt;font-family:"Menlo",serif">at soot.JastAddJ.ClassInstanceExpr.nameCheck(ClassInstanceExpr.java:754)<o:p></o:p></span></pre>
<pre><span style="font-size:9.0pt;font-family:"Menlo",serif"><o:p> </o:p></span></pre>
<pre><span class="apple-tab-span"><span style="font-size:9.0pt;font-family:"Menlo",serif"> </span></span><span style="font-size:9.0pt;font-family:"Menlo",serif">at soot.JastAddJ.ASTNode.collectErrors(ASTNode.java:1283)<o:p></o:p></span></pre>
<pre><span style="font-size:9.0pt;font-family:"Menlo",serif"><o:p> </o:p></span></pre>
<pre><span class="apple-tab-span"><span style="font-size:9.0pt;font-family:"Menlo",serif"> </span></span><span style="font-size:9.0pt;font-family:"Menlo",serif">at soot.JastAddJ.ASTNode.collectErrors(ASTNode.java:1292)<o:p></o:p></span></pre>
<pre><span style="font-size:9.0pt;font-family:"Menlo",serif"><o:p> </o:p></span></pre>
<pre><span class="apple-tab-span"><span style="font-size:9.0pt;font-family:"Menlo",serif"> </span></span><span style="font-size:9.0pt;font-family:"Menlo",serif">at soot.JastAddJ.ASTNode.collectErrors(ASTNode.java:1292)<o:p></o:p></span></pre>
<pre><span style="font-size:9.0pt;font-family:"Menlo",serif"><o:p> </o:p></span></pre>
<pre><span class="apple-tab-span"><span style="font-size:9.0pt;font-family:"Menlo",serif"> </span></span><span style="font-size:9.0pt;font-family:"Menlo",serif">at soot.JastAddJ.ASTNode.collectErrors(ASTNode.java:1292)<o:p></o:p></span></pre>
<pre><span style="font-size:9.0pt;font-family:"Menlo",serif"><o:p> </o:p></span></pre>
<pre><span class="apple-tab-span"><span style="font-size:9.0pt;font-family:"Menlo",serif"> </span></span><span style="font-size:9.0pt;font-family:"Menlo",serif">at soot.JastAddJ.ASTNode.collectErrors(ASTNode.java:1292)<o:p></o:p></span></pre>
<pre><span style="font-size:9.0pt;font-family:"Menlo",serif"><o:p> </o:p></span></pre>
<pre><span class="apple-tab-span"><span style="font-size:9.0pt;font-family:"Menlo",serif"> </span></span><span style="font-size:9.0pt;font-family:"Menlo",serif">at soot.JastAddJ.ASTNode.collectErrors(ASTNode.java:1292)<o:p></o:p></span></pre>
<pre><span style="font-size:9.0pt;font-family:"Menlo",serif"><o:p> </o:p></span></pre>
<pre><span class="apple-tab-span"><span style="font-size:9.0pt;font-family:"Menlo",serif"> </span></span><span style="font-size:9.0pt;font-family:"Menlo",serif">at soot.JastAddJ.ASTNode.collectErrors(ASTNode.java:1292)<o:p></o:p></span></pre>
<pre><span style="font-size:9.0pt;font-family:"Menlo",serif"><o:p> </o:p></span></pre>
<pre><span class="apple-tab-span"><span style="font-size:9.0pt;font-family:"Menlo",serif"> </span></span><span style="font-size:9.0pt;font-family:"Menlo",serif">at soot.JastAddJ.ASTNode.collectErrors(ASTNode.java:1292)<o:p></o:p></span></pre>
<pre><span style="font-size:9.0pt;font-family:"Menlo",serif"><o:p> </o:p></span></pre>
<pre><span class="apple-tab-span"><span style="font-size:9.0pt;font-family:"Menlo",serif"> </span></span><span style="font-size:9.0pt;font-family:"Menlo",serif">at soot.JastAddJ.ASTNode.collectErrors(ASTNode.java:1292)<o:p></o:p></span></pre>
<pre><span style="font-size:9.0pt;font-family:"Menlo",serif"><o:p> </o:p></span></pre>
<pre><span class="apple-tab-span"><span style="font-size:9.0pt;font-family:"Menlo",serif"> </span></span><span style="font-size:9.0pt;font-family:"Menlo",serif">at soot.JastAddJ.ASTNode.collectErrors(ASTNode.java:1292)<o:p></o:p></span></pre>
<pre><span style="font-size:9.0pt;font-family:"Menlo",serif"><o:p> </o:p></span></pre>
<pre><span class="apple-tab-span"><span style="font-size:9.0pt;font-family:"Menlo",serif"> </span></span><span style="font-size:9.0pt;font-family:"Menlo",serif">at soot.JastAddJ.ASTNode.collectErrors(ASTNode.java:1292)<o:p></o:p></span></pre>
<pre><span style="font-size:9.0pt;font-family:"Menlo",serif"><o:p> </o:p></span></pre>
<pre><span class="apple-tab-span"><span style="font-size:9.0pt;font-family:"Menlo",serif"> </span></span><span style="font-size:9.0pt;font-family:"Menlo",serif">at soot.JastAddJ.CompilationUnit.errorCheck(CompilationUnit.java:178)<o:p></o:p></span></pre>
<pre><span style="font-size:9.0pt;font-family:"Menlo",serif"><o:p> </o:p></span></pre>
<pre><span class="apple-tab-span"><span style="font-size:9.0pt;font-family:"Menlo",serif"> </span></span><span style="font-size:9.0pt;font-family:"Menlo",serif">at soot.JastAddInitialResolver.formAst(JastAddInitialResolver.java:58)<o:p></o:p></span></pre>
<pre><span style="font-size:9.0pt;font-family:"Menlo",serif"><o:p> </o:p></span></pre>
<pre><span class="apple-tab-span"><span style="font-size:9.0pt;font-family:"Menlo",serif"> </span></span><span style="font-size:9.0pt;font-family:"Menlo",serif">at soot.JavaClassSource.resolve(JavaClassSource.java:54)<o:p></o:p></span></pre>
<pre><span style="font-size:9.0pt;font-family:"Menlo",serif"><o:p> </o:p></span></pre>
<pre><span class="apple-tab-span"><span style="font-size:9.0pt;font-family:"Menlo",serif"> </span></span><span style="font-size:9.0pt;font-family:"Menlo",serif">at soot.SootResolver.bringToHierarchy(SootResolver.java:243)<o:p></o:p></span></pre>
<pre><span style="font-size:9.0pt;font-family:"Menlo",serif"><o:p> </o:p></span></pre>
<pre><span class="apple-tab-span"><span style="font-size:9.0pt;font-family:"Menlo",serif"> </span></span><span style="font-size:9.0pt;font-family:"Menlo",serif">at soot.SootResolver.bringToSignatures(SootResolver.java:275)<o:p></o:p></span></pre>
<pre><span style="font-size:9.0pt;font-family:"Menlo",serif"><o:p> </o:p></span></pre>
<pre><span class="apple-tab-span"><span style="font-size:9.0pt;font-family:"Menlo",serif"> </span></span><span style="font-size:9.0pt;font-family:"Menlo",serif">at soot.SootResolver.bringToBodies(SootResolver.java:313)<o:p></o:p></span></pre>
<pre><span style="font-size:9.0pt;font-family:"Menlo",serif"><o:p> </o:p></span></pre>
<pre><span class="apple-tab-span"><span style="font-size:9.0pt;font-family:"Menlo",serif"> </span></span><span style="font-size:9.0pt;font-family:"Menlo",serif">at soot.SootResolver.processResolveWorklist(SootResolver.java:166)<o:p></o:p></span></pre>
<pre><span style="font-size:9.0pt;font-family:"Menlo",serif"><o:p> </o:p></span></pre>
<pre><span class="apple-tab-span"><span style="font-size:9.0pt;font-family:"Menlo",serif"> </span></span><span style="font-size:9.0pt;font-family:"Menlo",serif">at soot.SootResolver.resolveClass(SootResolver.java:134)<o:p></o:p></span></pre>
<pre><span style="font-size:9.0pt;font-family:"Menlo",serif"><o:p> </o:p></span></pre>
<pre><span class="apple-tab-span"><span style="font-size:9.0pt;font-family:"Menlo",serif"> </span></span><span style="font-size:9.0pt;font-family:"Menlo",serif">at soot.Scene.loadClass(Scene.java:873)<o:p></o:p></span></pre>
<pre><span style="font-size:9.0pt;font-family:"Menlo",serif"><o:p> </o:p></span></pre>
<pre><span class="apple-tab-span"><span style="font-size:9.0pt;font-family:"Menlo",serif"> </span></span><span style="font-size:9.0pt;font-family:"Menlo",serif">at soot.Scene.loadClassAndSupport(Scene.java:858)<o:p></o:p></span></pre>
<pre><span style="font-size:9.0pt;font-family:"Menlo",serif"><o:p> </o:p></span></pre>
<pre><span class="apple-tab-span"><span style="font-size:9.0pt;font-family:"Menlo",serif"> </span></span><span style="font-size:9.0pt;font-family:"Menlo",serif">at soot.Scene.loadNecessaryClasses(Scene.java:1598)<o:p></o:p></span></pre>
<pre><span style="font-size:9.0pt;font-family:"Menlo",serif"><o:p> </o:p></span></pre>
<pre><span class="apple-tab-span"><span style="font-size:9.0pt;font-family:"Menlo",serif"> </span></span><span style="font-size:9.0pt;font-family:"Menlo",serif">at soot.Main.run(Main.java:250)<o:p></o:p></span></pre>
<pre><span style="font-size:9.0pt;font-family:"Menlo",serif"><o:p> </o:p></span></pre>
<pre><span class="apple-tab-span"><span style="font-size:9.0pt;font-family:"Menlo",serif"> </span></span><span style="font-size:9.0pt;font-family:"Menlo",serif">at soot.Main.main(Main.java:147)<o:p></o:p></span></pre>
<pre><span style="font-size:9.0pt;font-family:"Menlo",serif"><o:p> </o:p></span></pre>
<pre><span class="apple-tab-span"><span style="font-size:9.0pt;font-family:"Menlo",serif"> </span></span><span style="font-size:9.0pt;font-family:"Menlo",serif">at Main.main(Main.java:55)<o:p></o:p></span></pre>
<pre><span style="font-size:9.0pt;font-family:"Menlo",serif"><o:p> </o:p></span></pre>
<pre><span style="font-size:9.0pt;font-family:"Menlo",serif">Caused by: java.lang.ArrayIndexOutOfBoundsException: 1612<o:p></o:p></span></pre>
<pre><span style="font-size:9.0pt;font-family:"Menlo",serif"><o:p> </o:p></span></pre>
<pre><span class="apple-tab-span"><span style="font-size:9.0pt;font-family:"Menlo",serif"> </span></span><span style="font-size:9.0pt;font-family:"Menlo",serif">at soot.JastAddJ.BytecodeParser.parseThisClass(BytecodeParser.java:437)<o:p></o:p></span></pre>
<pre><span style="font-size:9.0pt;font-family:"Menlo",serif"><o:p> </o:p></span></pre>
<pre><span class="apple-tab-span"><span style="font-size:9.0pt;font-family:"Menlo",serif"> </span></span><span style="font-size:9.0pt;font-family:"Menlo",serif">at soot.JastAddJ.BytecodeParser.parseTypeDecl(BytecodeParser.java:404)<o:p></o:p></span></pre>
<pre><span style="font-size:9.0pt;font-family:"Menlo",serif"><o:p> </o:p></span></pre>
<pre><span class="apple-tab-span"><span style="font-size:9.0pt;font-family:"Menlo",serif"> </span></span><span style="font-size:9.0pt;font-family:"Menlo",serif">at soot.JastAddJ.BytecodeParser.parse(BytecodeParser.java:331)<o:p></o:p></span></pre>
<pre><span style="font-size:9.0pt;font-family:"Menlo",serif"><o:p> </o:p></span></pre>
<pre><span class="apple-tab-span"><span style="font-size:9.0pt;font-family:"Menlo",serif"> </span></span><span style="font-size:9.0pt;font-family:"Menlo",serif">at soot.JastAddJ.BytecodeParser.read(BytecodeParser.java:27)<o:p></o:p></span></pre>
<pre><span style="font-size:9.0pt;font-family:"Menlo",serif"><o:p> </o:p></span></pre>
<pre><span class="apple-tab-span"><span style="font-size:9.0pt;font-family:"Menlo",serif"> </span></span><span style="font-size:9.0pt;font-family:"Menlo",serif">at soot.JastAddJ.PathPart.getCompilationUnit(PathPart.java:87)<o:p></o:p></span></pre>
<pre><span style="font-size:9.0pt;font-family:"Menlo",serif"><o:p> </o:p></span></pre>
<pre><span class="apple-tab-span"><span style="font-size:9.0pt;font-family:"Menlo",serif"> </span></span><span style="font-size:9.0pt;font-family:"Menlo",serif">... 65 more<o:p></o:p></span></pre>
<pre><span style="font-size:9.0pt;font-family:"Menlo",serif"><o:p> </o:p></span></pre>
<pre><span style="font-size:9.0pt;font-family:"Menlo",serif"><br><br><o:p></o:p></span></pre>
<pre><span style="font-size:9.0pt;font-family:"Menlo",serif"><o:p> </o:p></span></pre>
<pre><span style="font-size:9.0pt;font-family:"Menlo",serif">Process finished with exit code 1<o:p></o:p></span></pre>
<pre style="background:white"><span style="font-size:9.0pt;font-family:"Menlo",serif"><o:p> </o:p></span></pre>
<pre style="background:white"><span style="font-size:9.0pt;font-family:"Menlo",serif"><br><br><o:p></o:p></span></pre>
</div>
</div>
<div name="messageReplySection">
<p class="MsoNormal"><span style="font-size:10.5pt;font-family:"Arial",sans-serif"><o:p> </o:p></span></p>
</div>
</div>
</body>
</html>