[prev in list] [next in list] [prev in thread] [next in thread]
List: soot-list
Subject: Re: [Soot-list] Class path problem, cant find java.lang.CharSequence
From: "Steven Arzt" <Steven.Arzt () cased ! de>
Date: 2015-04-21 9:54:17
Message-ID: 002201d07c19$21766be0$646343a0$ () cased ! de
[Download RAW message or body]
This is a multipart message in MIME format.
[Attachment #2 (multipart/alternative)]
This is a multipart message in MIME format.
Do you try to load your program under analysis from source code or bytecode?
Additionally, you use a very non-standard way of initializing Soot. Especially, you \
never load the basic Java classes, you only set the options. You normally also have \
to do this after all options are set and before you do anything else:
Scene.v().loadNecessaryClasses();
Then, you enable certain Soot phases (why, btw.?), but you never run the Soot packs:
PackManager.v().runPacks();
For simplicity, you might even be better off by simply calling Soot's main method and \
just hook in using custom transformers instead of manually invoking the Soot API \
methods.
Von: soot-list-bounces@CS.McGill.CA [mailto:soot-list-bounces@CS.McGill.CA] Im \
Auftrag von Marcelino Rodriguez Cancio
Gesendet: Dienstag, 21. April 2015 09:57
An: Steven Arzt
Cc: soot-list@CS.McGill.CA
Betreff: Re: [Soot-list] Class path problem, cant find java.lang.CharSequence
Hi Steven,
Tried without replacing and still no good.
Best
Marcelino
2015-04-20 16:35 GMT+02:00 Steven Arzt <Steven.Arzt@cased.de>:
Hi Marcelino,
why do you replace the backslahes in your Soot classpath by slashes? Soot will \
automatically pick the correct path delimiter for your operating system. Using a \
slash on Windows may lead to issues as the path separator is a backslash on Windows.
Best regards,
Steven
Von: soot-list-bounces@CS.McGill.CA [mailto:soot-list-bounces@CS.McGill.CA] Im \
Auftrag von Marcelino Rodriguez Cancio
Gesendet: Montag, 20. April 2015 16:31
An: soot-list@CS.McGill.CA
Betreff: [Soot-list] Class path problem, cant find java.lang.CharSequence
Hi all,
I'm trying to run one of the Soot examples found in the wiki in all classes in a \
directory. But got this error:
resolving [from .java]: TestClass1
Exception in thread "main" java.lang.Error: Error loading java.lang.CharSequence
at soot.JastAddJ.PathPart.getCompilationUnit(PathPart.java:128)
at soot.JastAddJ.Program.getCompilationUnit(Program.java:858)
at soot.JastAddJ.Program.getLibCompilationUnit_compute(Program.java:1531)
at soot.JastAddJ.Program.getLibCompilationUnit(Program.java:1514)
at soot.JastAddJ.Program.lookupLibType_compute(Program.java:1479)
at soot.JastAddJ.Program.lookupLibType(Program.java:1447)
at soot.JastAddJ.Program.lookupType_compute(Program.java:1426)
at soot.JastAddJ.Program.lookupType(Program.java:1407)
at soot.JastAddJ.Program.Define_TypeDecl_lookupType(Program.java:1995)
at soot.JastAddJ.ASTNode.Define_TypeDecl_lookupType(ASTNode.java:1657)
at soot.JastAddJ.ASTNode.Define_TypeDecl_lookupType(ASTNode.java:1657)
at soot.JastAddJ.ASTNode.Define_TypeDecl_lookupType(ASTNode.java:1657)
at soot.JastAddJ.ASTNode.Define_TypeDecl_lookupType(ASTNode.java:1657)
at soot.JastAddJ.ASTNode.Define_TypeDecl_lookupType(ASTNode.java:1657)
at soot.JastAddJ.ASTNode.Define_TypeDecl_lookupType(ASTNode.java:1657)
at soot.JastAddJ.ASTNode.Define_TypeDecl_lookupType(ASTNode.java:1657)
at soot.JastAddJ.ASTNode.Define_TypeDecl_lookupType(ASTNode.java:1657)
at soot.JastAddJ.Expr.lookupType(Expr.java:1186)
at soot.JastAddJ.TypeAccess.decls_compute(TypeAccess.java:425)
at soot.JastAddJ.TypeAccess.decls(TypeAccess.java:414)
at soot.JastAddJ.TypeAccess.refined_TypeScopePropagation_TypeAccess_decl(TypeAccess.java:387)
at soot.JastAddJ.TypeAccess.decl_compute(TypeAccess.java:460)
at soot.JastAddJ.TypeAccess.decl(TypeAccess.java:452)
at soot.JastAddJ.TypeAccess.type_compute(TypeAccess.java:590)
at soot.JastAddJ.TypeAccess.type(TypeAccess.java:583)
at soot.JastAddJ.ParameterDeclaration.type_compute(ParameterDeclaration.java:479)
at soot.JastAddJ.ParameterDeclaration.type(ParameterDeclaration.java:472)
at soot.JastAddJ.MethodDecl.signature_compute(MethodDecl.java:1355)
at soot.JastAddJ.MethodDecl.signature(MethodDecl.java:1343)
at soot.JastAddJ.TypeDecl.localMethodsSignatureMap_compute(TypeDecl.java:2527)
at soot.JastAddJ.TypeDecl.localMethodsSignatureMap(TypeDecl.java:2515)
at soot.JastAddJ.ClassDecl.methodsSignatureMap_compute(ClassDecl.java:1102)
at soot.JastAddJ.ClassDecl.methodsSignatureMap(ClassDecl.java:1094)
at soot.JastAddJ.TypeDecl$2.<init>(TypeDecl.java:468)
at soot.JastAddJ.TypeDecl.methodsIterator(TypeDecl.java:467)
at soot.JastAddJ.TypeDecl.methodsNameMap_compute(TypeDecl.java:2468)
at soot.JastAddJ.TypeDecl.methodsNameMap(TypeDecl.java:2459)
at soot.JastAddJ.TypeDecl.memberMethods(TypeDecl.java:2431)
at soot.JastAddJ.AbstractDot.Define_Collection_lookupMethod(AbstractDot.java:766)
at soot.JastAddJ.Expr.lookupMethod(Expr.java:1032)
at soot.JastAddJ.MethodAccess.decls_compute(MethodAccess.java:1094)
at soot.JastAddJ.MethodAccess.decls(MethodAccess.java:1086)
at soot.JastAddJ.MethodAccess.decl_compute(MethodAccess.java:1128)
at soot.JastAddJ.MethodAccess.decl(MethodAccess.java:1120)
at soot.JastAddJ.MethodAccess.refined_TypeAnalysis_MethodAccess_type(MethodAccess.java:913)
at soot.JastAddJ.MethodAccess.type_compute(MethodAccess.java:1264)
at soot.JastAddJ.MethodAccess.type(MethodAccess.java:1249)
at soot.JastAddJ.AbstractDot.type_compute(AbstractDot.java:604)
at soot.JastAddJ.AbstractDot.type(AbstractDot.java:597)
at soot.JastAddJ.IfStmt.typeCheck(IfStmt.java:138)
at soot.JastAddJ.ASTNode.collectErrors(ASTNode.java:1284)
at soot.JastAddJ.ASTNode.collectErrors(ASTNode.java:1292)
at soot.JastAddJ.ASTNode.collectErrors(ASTNode.java:1292)
at soot.JastAddJ.ASTNode.collectErrors(ASTNode.java:1292)
at soot.JastAddJ.ASTNode.collectErrors(ASTNode.java:1292)
at soot.JastAddJ.ASTNode.collectErrors(ASTNode.java:1292)
at soot.JastAddJ.ASTNode.collectErrors(ASTNode.java:1292)
at soot.JastAddJ.ASTNode.collectErrors(ASTNode.java:1292)
at soot.JastAddJ.ASTNode.collectErrors(ASTNode.java:1292)
at soot.JastAddJ.CompilationUnit.errorCheck(CompilationUnit.java:178)
at soot.JastAddInitialResolver.formAst(JastAddInitialResolver.java:58)
at soot.JavaClassSource.resolve(JavaClassSource.java:54)
at soot.SootResolver.bringToHierarchy(SootResolver.java:237)
at soot.SootResolver.bringToSignatures(SootResolver.java:264)
at soot.SootResolver.bringToBodies(SootResolver.java:302)
at soot.SootResolver.processResolveWorklist(SootResolver.java:161)
at soot.SootResolver.resolveClass(SootResolver.java:129)
at soot.Scene.loadClass(Scene.java:694)
at soot.Scene.loadClassAndSupport(Scene.java:679)
at fr.irisa.diverse.SwapSootMain.main(SwapSootMain.java:48)
at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:62)
at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
at java.lang.reflect.Method.invoke(Method.java:483)
at com.intellij.rt.execution.application.AppMain.main(AppMain.java:134)
I tried both command line and manually calling the Soot API, so far no look, same \
error both.
Here is my code for the command line:
String[] sootParams = new String[] { "-cp", ".", "-pp", "-process-dir", \
p.getProperty("cp"), "-d", p.getProperty("output"), "-v" };
soot.Main.main(sootParams);
===============
And here is my code for the manual calls to the API:
public static void configure(String classpath) {
Options.v().set_verbose(true);
Options.v().set_process_dir(Arrays.asList(classpath));
Options.v().set_keep_line_number(true);
Options.v().set_src_prec(Options.src_prec_class);
String cp = System.getProperty("java.class.path").replace("\\", "/");
Options.v().set_soot_classpath(cp);
Options.v().set_prepend_classpath(true);
Options.v().set_allow_phantom_refs(true);
PhaseOptions.v().setPhaseOption("bb", "off");
PhaseOptions.v().setPhaseOption("tag.ln", "on");
PhaseOptions.v().setPhaseOption("jj.a", "on");
PhaseOptions.v().setPhaseOption("jj.ule", "on");
Options.v().set_whole_program(true);
}
public static void main(String[] args) throws IOException {
Properties p = new Properties();
p.load(SwapSootMain.class.getClassLoader().getResourceAsStream("soot.properties"));
configure(p.getProperty("cp"));
SootClass c = Scene.v().loadClassAndSupport("TestClass1");
c.setApplicationClass();
// Retrieve the method and its body
SootMethod m = c.getMethodByName("foo");
Body b = m.retrieveActiveBody();
// Instruments bytecode
new GuaranteedDefs(new ExceptionalUnitGraph(b));
}
Here is the value of the System.getProperty("java.class.path").replace("\\", "/"):
C:/Program Files/Java/jdk1.8.0_05/jre/lib/resources.jar
C:/Program Files/Java/jdk1.8.0_05/jre/lib/rt.jar
C:/Program Files/Java/jdk1.8.0_05/jre/lib/ext/access-bridge-64.jar
C:/Program Files/Java/jdk1.8.0_05/jre/lib/ext/cldrdata.jar
C:/Program Files/Java/jdk1.8.0_05/jre/lib/ext/dnsns.jar
C:/Program Files/Java/jdk1.8.0_05/jre/lib/ext/jaccess.jar
C:/Program Files/Java/jdk1.8.0_05/jre/lib/ext/jfxrt.jar
C:/Program Files/Java/jdk1.8.0_05/jre/lib/ext/localedata.jar
C:/Program Files/Java/jdk1.8.0_05/jre/lib/ext/nashorn.jar
C:/Program Files/Java/jdk1.8.0_05/jre/lib/ext/sunec.jar
C:/Program Files/Java/jdk1.8.0_05/jre/lib/ext/sunjce_provider.jar
C:/Program Files/Java/jdk1.8.0_05/jre/lib/ext/sunmscapi.jar
C:/Program Files/Java/jdk1.8.0_05/jre/lib/ext/sunpkcs11.jar
C:/Program Files/Java/jdk1.8.0_05/jre/lib/ext/zipfs.jar
C:/MarcelStuff/PROJECTS/DIVERSE/soot-example/target/classes
C:/Users/marodrig/.m2/repository/edu/sable/soot/nightly-build/soot-nightly-build.jar
C:/Program Files (x86)/JetBrains/IntelliJ IDEA Community Edition \
14.0.2/lib/idea_rt.jar
Any ideas what could be happening?
Thanks you all.
Marcelino
[Attachment #5 (text/html)]
<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;}
@font-face
{font-family:Consolas;
panose-1:2 11 6 9 2 2 4 3 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.MsoAcetate, li.MsoAcetate, div.MsoAcetate
{mso-style-priority:99;
mso-style-link:"Sprechblasentext Zchn";
margin:0cm;
margin-bottom:.0001pt;
font-size:8.0pt;
font-family:"Tahoma","sans-serif";}
span.E-MailFormatvorlage17
{mso-style-type:personal-reply;
font-family:"Calibri","sans-serif";
color:#1F497D;}
span.SprechblasentextZchn
{mso-style-name:"Sprechblasentext Zchn";
mso-style-priority:99;
mso-style-link:Sprechblasentext;
font-family:"Tahoma","sans-serif";
mso-fareast-language:DE;}
.MsoChpDefault
{mso-style-type:export-only;
font-family:"Calibri","sans-serif";
mso-fareast-language:EN-US;}
@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'>Do you try \
to load your program under analysis from source code or \
bytecode?<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'>Additionally, \
you use a very non-standard way of initializing Soot. Especially, you never load the \
basic Java classes, you only set the options. You normally also have to do this after \
all options are set and before you do anything else:<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 style='text-autospace:none'><span lang=EN-US \
style='font-size:11.0pt;font-family:"Calibri","sans-serif";color:#1F497D'> \
</span><span style='font-size:10.0pt;font-family:Consolas;color:black;mso-fareast-language:EN-US'>Scene.<i>v</i>().loadNecessaryClasses();</span><span \
style='font-size:10.0pt;font-family:Consolas;mso-fareast-language:EN-US'><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'>Then, you \
enable certain Soot phases (why, btw.?), but you never run the Soot \
packs:<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 style='text-autospace:none'><span \
style='font-size:10.0pt;font-family:Consolas;color:black;mso-fareast-language:EN-US'> \
PackManager.<i>v</i>().runPacks();</span><span \
style='font-size:10.0pt;font-family:Consolas;mso-fareast-language:EN-US'><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'>For \
simplicity, you might even be better off by simply calling Soot's main method and \
just hook in using custom transformers instead of manually invoking the Soot API \
methods.<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><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>Marcelino Rodriguez Cancio<br><b>Gesendet:</b> Dienstag, 21. April 2015 \
09:57<br><b>An:</b> Steven Arzt<br><b>Cc:</b> \
soot-list@CS.McGill.CA<br><b>Betreff:</b> Re: [Soot-list] Class path problem, cant \
find java.lang.CharSequence<o:p></o:p></span></p><p \
class=MsoNormal><o:p> </o:p></p><div><p class=MsoNormal>Hi \
Steven,<o:p></o:p></p><div><p class=MsoNormal><o:p> </o:p></p></div><div><p \
class=MsoNormal>Tried without replacing and still no \
good.<o:p></o:p></p></div><div><p class=MsoNormal><o:p> </o:p></p></div><div><p \
class=MsoNormal>Best<o:p></o:p></p></div><div><p \
class=MsoNormal>Marcelino<o:p></o:p></p></div></div><div><p \
class=MsoNormal><o:p> </o:p></p><div><p class=MsoNormal>2015-04-20 16:35 \
GMT+02:00 Steven Arzt <<a href="mailto:Steven.Arzt@cased.de" \
target="_blank">Steven.Arzt@cased.de</a>>:<o:p></o:p></p><div><div><p \
class=MsoNormal style='mso-margin-top-alt:auto;mso-margin-bottom-alt:auto'><span \
lang=EN-US style='font-size:11.0pt;font-family:"Calibri","sans-serif";color:#1F497D'>Hi \
Marcelino,</span><o:p></o:p></p><p class=MsoNormal \
style='mso-margin-top-alt:auto;mso-margin-bottom-alt:auto'><span lang=EN-US \
style='font-size:11.0pt;font-family:"Calibri","sans-serif";color:#1F497D'> </span><o:p></o:p></p><p \
class=MsoNormal style='mso-margin-top-alt:auto;mso-margin-bottom-alt:auto'><span \
lang=EN-US style='font-size:11.0pt;font-family:"Calibri","sans-serif";color:#1F497D'>why \
do you replace the backslahes in your Soot classpath by slashes? Soot will \
automatically pick the correct path delimiter for your operating system. Using a \
slash on Windows may lead to issues as the path separator is a backslash on \
Windows.</span><o:p></o:p></p><p class=MsoNormal \
style='mso-margin-top-alt:auto;mso-margin-bottom-alt:auto'><span lang=EN-US \
style='font-size:11.0pt;font-family:"Calibri","sans-serif";color:#1F497D'> </span><o:p></o:p></p><p \
class=MsoNormal style='mso-margin-top-alt:auto;mso-margin-bottom-alt:auto'><span \
lang=EN-US style='font-size:11.0pt;font-family:"Calibri","sans-serif";color:#1F497D'>Best \
regards,</span><o:p></o:p></p><p class=MsoNormal \
style='mso-margin-top-alt:auto;mso-margin-bottom-alt:auto'><span lang=EN-US \
style='font-size:11.0pt;font-family:"Calibri","sans-serif";color:#1F497D'> \
Steven</span><o:p></o:p></p><p class=MsoNormal \
style='mso-margin-top-alt:auto;mso-margin-bottom-alt:auto'><span lang=EN-US \
style='font-size:11.0pt;font-family:"Calibri","sans-serif";color:#1F497D'> </span><o:p></o:p></p><p \
class=MsoNormal style='mso-margin-top-alt:auto;mso-margin-bottom-alt:auto'><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"'> <a \
href="mailto:soot-list-bounces@CS.McGill.CA" \
target="_blank">soot-list-bounces@CS.McGill.CA</a> [mailto:<a \
href="mailto:soot-list-bounces@CS.McGill.CA" \
target="_blank">soot-list-bounces@CS.McGill.CA</a>] <b>Im Auftrag von </b>Marcelino \
Rodriguez Cancio<br><b>Gesendet:</b> Montag, 20. April 2015 16:31<br><b>An:</b> <a \
href="mailto:soot-list@CS.McGill.CA" \
target="_blank">soot-list@CS.McGill.CA</a><br><b>Betreff:</b> [Soot-list] Class path \
problem, cant find java.lang.CharSequence</span><o:p></o:p></p><div><div><p \
class=MsoNormal style='mso-margin-top-alt:auto;mso-margin-bottom-alt:auto'> <o:p></o:p></p><div><p \
class=MsoNormal style='mso-margin-top-alt:auto;mso-margin-bottom-alt:auto'>Hi \
all,<o:p></o:p></p><div><p class=MsoNormal \
style='mso-margin-top-alt:auto;mso-margin-bottom-alt:auto'> <o:p></o:p></p></div><div><p \
class=MsoNormal style='mso-margin-top-alt:auto;mso-margin-bottom-alt:auto'>I'm trying \
to run one of the Soot examples found in the wiki in all classes in a directory. But \
got this error:<o:p></o:p></p><p class=MsoNormal \
style='mso-margin-top-alt:auto;mso-margin-bottom-alt:auto'> <o:p></o:p></p><p \
class=MsoNormal style='mso-margin-top-alt:auto;mso-margin-bottom-alt:auto'>resolving \
[from .java]: TestClass1<o:p></o:p></p><p class=MsoNormal \
style='mso-margin-top-alt:auto;mso-margin-bottom-alt:auto'>Exception in thread \
"main" java.lang.Error: Error loading \
java.lang.CharSequence<o:p></o:p></p><p class=MsoNormal \
style='mso-margin-top-alt:auto;mso-margin-bottom-alt:auto'> \
at soot.JastAddJ.PathPart.getCompilationUnit(PathPart.java:128)<o:p></o:p></p><p \
class=MsoNormal style='mso-margin-top-alt:auto;mso-margin-bottom-alt:auto'> \
at soot.JastAddJ.Program.getCompilationUnit(Program.java:858)<o:p></o:p></p><p \
class=MsoNormal style='mso-margin-top-alt:auto;mso-margin-bottom-alt:auto'> \
at soot.JastAddJ.Program.getLibCompilationUnit_compute(Program.java:1531)<o:p></o:p></p><p \
class=MsoNormal style='mso-margin-top-alt:auto;mso-margin-bottom-alt:auto'> \
at soot.JastAddJ.Program.getLibCompilationUnit(Program.java:1514)<o:p></o:p></p><p \
class=MsoNormal style='mso-margin-top-alt:auto;mso-margin-bottom-alt:auto'> \
at soot.JastAddJ.Program.lookupLibType_compute(Program.java:1479)<o:p></o:p></p><p \
class=MsoNormal style='mso-margin-top-alt:auto;mso-margin-bottom-alt:auto'> \
at soot.JastAddJ.Program.lookupLibType(Program.java:1447)<o:p></o:p></p><p \
class=MsoNormal style='mso-margin-top-alt:auto;mso-margin-bottom-alt:auto'> \
at soot.JastAddJ.Program.lookupType_compute(Program.java:1426)<o:p></o:p></p><p \
class=MsoNormal style='mso-margin-top-alt:auto;mso-margin-bottom-alt:auto'> \
at soot.JastAddJ.Program.lookupType(Program.java:1407)<o:p></o:p></p><p \
class=MsoNormal style='mso-margin-top-alt:auto;mso-margin-bottom-alt:auto'> \
at soot.JastAddJ.Program.Define_TypeDecl_lookupType(Program.java:1995)<o:p></o:p></p><p \
class=MsoNormal style='mso-margin-top-alt:auto;mso-margin-bottom-alt:auto'> \
at soot.JastAddJ.ASTNode.Define_TypeDecl_lookupType(ASTNode.java:1657)<o:p></o:p></p><p \
class=MsoNormal style='mso-margin-top-alt:auto;mso-margin-bottom-alt:auto'> \
at soot.JastAddJ.ASTNode.Define_TypeDecl_lookupType(ASTNode.java:1657)<o:p></o:p></p><p \
class=MsoNormal style='mso-margin-top-alt:auto;mso-margin-bottom-alt:auto'> \
at soot.JastAddJ.ASTNode.Define_TypeDecl_lookupType(ASTNode.java:1657)<o:p></o:p></p><p \
class=MsoNormal style='mso-margin-top-alt:auto;mso-margin-bottom-alt:auto'> \
at soot.JastAddJ.ASTNode.Define_TypeDecl_lookupType(ASTNode.java:1657)<o:p></o:p></p><p \
class=MsoNormal style='mso-margin-top-alt:auto;mso-margin-bottom-alt:auto'> \
at soot.JastAddJ.ASTNode.Define_TypeDecl_lookupType(ASTNode.java:1657)<o:p></o:p></p><p \
class=MsoNormal style='mso-margin-top-alt:auto;mso-margin-bottom-alt:auto'> \
at soot.JastAddJ.ASTNode.Define_TypeDecl_lookupType(ASTNode.java:1657)<o:p></o:p></p><p \
class=MsoNormal style='mso-margin-top-alt:auto;mso-margin-bottom-alt:auto'> \
at soot.JastAddJ.ASTNode.Define_TypeDecl_lookupType(ASTNode.java:1657)<o:p></o:p></p><p \
class=MsoNormal style='mso-margin-top-alt:auto;mso-margin-bottom-alt:auto'> \
at soot.JastAddJ.ASTNode.Define_TypeDecl_lookupType(ASTNode.java:1657)<o:p></o:p></p><p \
class=MsoNormal style='mso-margin-top-alt:auto;mso-margin-bottom-alt:auto'> \
at soot.JastAddJ.Expr.lookupType(Expr.java:1186)<o:p></o:p></p><p class=MsoNormal \
style='mso-margin-top-alt:auto;mso-margin-bottom-alt:auto'> \
at soot.JastAddJ.TypeAccess.decls_compute(TypeAccess.java:425)<o:p></o:p></p><p \
class=MsoNormal style='mso-margin-top-alt:auto;mso-margin-bottom-alt:auto'> \
at soot.JastAddJ.TypeAccess.decls(TypeAccess.java:414)<o:p></o:p></p><p \
class=MsoNormal style='mso-margin-top-alt:auto;mso-margin-bottom-alt:auto'> \
at soot.JastAddJ.TypeAccess.refined_TypeScopePropagation_TypeAccess_decl(TypeAccess.java:387)<o:p></o:p></p><p \
class=MsoNormal style='mso-margin-top-alt:auto;mso-margin-bottom-alt:auto'> \
at soot.JastAddJ.TypeAccess.decl_compute(TypeAccess.java:460)<o:p></o:p></p><p \
class=MsoNormal style='mso-margin-top-alt:auto;mso-margin-bottom-alt:auto'> \
at soot.JastAddJ.TypeAccess.decl(TypeAccess.java:452)<o:p></o:p></p><p \
class=MsoNormal style='mso-margin-top-alt:auto;mso-margin-bottom-alt:auto'> \
at soot.JastAddJ.TypeAccess.type_compute(TypeAccess.java:590)<o:p></o:p></p><p \
class=MsoNormal style='mso-margin-top-alt:auto;mso-margin-bottom-alt:auto'> \
at soot.JastAddJ.TypeAccess.type(TypeAccess.java:583)<o:p></o:p></p><p \
class=MsoNormal style='mso-margin-top-alt:auto;mso-margin-bottom-alt:auto'> \
at soot.JastAddJ.ParameterDeclaration.type_compute(ParameterDeclaration.java:479)<o:p></o:p></p><p \
class=MsoNormal style='mso-margin-top-alt:auto;mso-margin-bottom-alt:auto'> \
at soot.JastAddJ.ParameterDeclaration.type(ParameterDeclaration.java:472)<o:p></o:p></p><p \
class=MsoNormal style='mso-margin-top-alt:auto;mso-margin-bottom-alt:auto'> \
at soot.JastAddJ.MethodDecl.signature_compute(MethodDecl.java:1355)<o:p></o:p></p><p \
class=MsoNormal style='mso-margin-top-alt:auto;mso-margin-bottom-alt:auto'> \
at soot.JastAddJ.MethodDecl.signature(MethodDecl.java:1343)<o:p></o:p></p><p \
class=MsoNormal style='mso-margin-top-alt:auto;mso-margin-bottom-alt:auto'> \
at soot.JastAddJ.TypeDecl.localMethodsSignatureMap_compute(TypeDecl.java:2527)<o:p></o:p></p><p \
class=MsoNormal style='mso-margin-top-alt:auto;mso-margin-bottom-alt:auto'> \
at soot.JastAddJ.TypeDecl.localMethodsSignatureMap(TypeDecl.java:2515)<o:p></o:p></p><p \
class=MsoNormal style='mso-margin-top-alt:auto;mso-margin-bottom-alt:auto'> \
at soot.JastAddJ.ClassDecl.methodsSignatureMap_compute(ClassDecl.java:1102)<o:p></o:p></p><p \
class=MsoNormal style='mso-margin-top-alt:auto;mso-margin-bottom-alt:auto'> \
at soot.JastAddJ.ClassDecl.methodsSignatureMap(ClassDecl.java:1094)<o:p></o:p></p><p \
class=MsoNormal style='mso-margin-top-alt:auto;mso-margin-bottom-alt:auto'> \
at soot.JastAddJ.TypeDecl$2.<init>(TypeDecl.java:468)<o:p></o:p></p><p \
class=MsoNormal style='mso-margin-top-alt:auto;mso-margin-bottom-alt:auto'> \
at soot.JastAddJ.TypeDecl.methodsIterator(TypeDecl.java:467)<o:p></o:p></p><p \
class=MsoNormal style='mso-margin-top-alt:auto;mso-margin-bottom-alt:auto'> \
at soot.JastAddJ.TypeDecl.methodsNameMap_compute(TypeDecl.java:2468)<o:p></o:p></p><p \
class=MsoNormal style='mso-margin-top-alt:auto;mso-margin-bottom-alt:auto'> \
at soot.JastAddJ.TypeDecl.methodsNameMap(TypeDecl.java:2459)<o:p></o:p></p><p \
class=MsoNormal style='mso-margin-top-alt:auto;mso-margin-bottom-alt:auto'> \
at soot.JastAddJ.TypeDecl.memberMethods(TypeDecl.java:2431)<o:p></o:p></p><p \
class=MsoNormal style='mso-margin-top-alt:auto;mso-margin-bottom-alt:auto'> \
at soot.JastAddJ.AbstractDot.Define_Collection_lookupMethod(AbstractDot.java:766)<o:p></o:p></p><p \
class=MsoNormal style='mso-margin-top-alt:auto;mso-margin-bottom-alt:auto'> \
at soot.JastAddJ.Expr.lookupMethod(Expr.java:1032)<o:p></o:p></p><p class=MsoNormal \
style='mso-margin-top-alt:auto;mso-margin-bottom-alt:auto'> \
at soot.JastAddJ.MethodAccess.decls_compute(MethodAccess.java:1094)<o:p></o:p></p><p \
class=MsoNormal style='mso-margin-top-alt:auto;mso-margin-bottom-alt:auto'> \
at soot.JastAddJ.MethodAccess.decls(MethodAccess.java:1086)<o:p></o:p></p><p \
class=MsoNormal style='mso-margin-top-alt:auto;mso-margin-bottom-alt:auto'> \
at soot.JastAddJ.MethodAccess.decl_compute(MethodAccess.java:1128)<o:p></o:p></p><p \
class=MsoNormal style='mso-margin-top-alt:auto;mso-margin-bottom-alt:auto'> \
at soot.JastAddJ.MethodAccess.decl(MethodAccess.java:1120)<o:p></o:p></p><p \
class=MsoNormal style='mso-margin-top-alt:auto;mso-margin-bottom-alt:auto'> \
at soot.JastAddJ.MethodAccess.refined_TypeAnalysis_MethodAccess_type(MethodAccess.java:913)<o:p></o:p></p><p \
class=MsoNormal style='mso-margin-top-alt:auto;mso-margin-bottom-alt:auto'> \
at soot.JastAddJ.MethodAccess.type_compute(MethodAccess.java:1264)<o:p></o:p></p><p \
class=MsoNormal style='mso-margin-top-alt:auto;mso-margin-bottom-alt:auto'> \
at soot.JastAddJ.MethodAccess.type(MethodAccess.java:1249)<o:p></o:p></p><p \
class=MsoNormal style='mso-margin-top-alt:auto;mso-margin-bottom-alt:auto'> \
at soot.JastAddJ.AbstractDot.type_compute(AbstractDot.java:604)<o:p></o:p></p><p \
class=MsoNormal style='mso-margin-top-alt:auto;mso-margin-bottom-alt:auto'> \
at soot.JastAddJ.AbstractDot.type(AbstractDot.java:597)<o:p></o:p></p><p \
class=MsoNormal style='mso-margin-top-alt:auto;mso-margin-bottom-alt:auto'> \
at soot.JastAddJ.IfStmt.typeCheck(IfStmt.java:138)<o:p></o:p></p><p class=MsoNormal \
style='mso-margin-top-alt:auto;mso-margin-bottom-alt:auto'> \
at soot.JastAddJ.ASTNode.collectErrors(ASTNode.java:1284)<o:p></o:p></p><p \
class=MsoNormal style='mso-margin-top-alt:auto;mso-margin-bottom-alt:auto'> \
at soot.JastAddJ.ASTNode.collectErrors(ASTNode.java:1292)<o:p></o:p></p><p \
_______________________________________________
Soot-list mailing list
Soot-list@CS.McGill.CA
https://mailman.CS.McGill.CA/mailman/listinfo/soot-list
[prev in list] [next in list] [prev in thread] [next in thread]
Configure |
About |
News |
Add a list |
Sponsored by KoreLogic