[Soot-list] Question about Soot ClassResolutionFailedException During Analysis

[Steven Arzt]

Hi Yufei,

 

You can find the newest nightly build of Soot here: http://vandyk.st.informatik.tu-darmstadt.de/abc/ Take soot.jar.

 

Best regards,

  Steven

 

Von: soot-list-bounces at CS.McGill.CA [mailto:soot-list-bounces at CS.McGill.CA] Im Auftrag von Jin Li
Gesendet: Donnerstag, 17. Juli 2014 05:02
An: Yufei Jiang
Cc: soot-list at CS.McGill.CA
Betreff: Re: [Soot-list] Question about Soot ClassResolutionFailedException During Analysis

 

Hi Yufei,

I think you can try the lightly bulid soot which can recognize the -ire

Best regards

Jin

 

2014-07-04 2:38 GMT+08:00 Yufei Jiang <yzj107 at ist.psu.edu>:

Dear All

I am encountering soot.SootMethodRefImpl$ClassResolutionFailedException during the analysis. The full log information is pasted at the end of this message. By searching the Soot mail list, I found that several people also suffered the similar problems before. A given answer to these questions is to use option -ire to ignore resolution errors. However, my Soot cannot recognize the option -ire (my soot version is 2.5.2). How to use option -ire correctly (tutorial or exmaple?) or how to get a newer Soot version that works with -ire. Besides using -ire, any other ways to solve this issue? (A previous post said the problem could be solved by switching to Oracle JDK, however, in my case, the JDK already is Oracle JDK). Thank you very much. 


Error log: 

Exception in thread "main" soot.SootMethodRefImpl$ClassResolutionFailedException: Class javax.net.ssl.SSLSocketFactory doesn't have method createSocket([]) : java.net.Socket; failed to resolve in superclasses and interfacesLooking in javax.net.ssl.SSLSocketFactory which has methods [<javax.net.ssl.SSLSocketFactory: void <init>()>, <javax.net.ssl.SSLSocketFactory: javax.net.SocketFactory getDefault()>, <javax.net.ssl.SSLSocketFactory: java.lang.String[] getDefaultCipherSuites()>, <javax.net.ssl.SSLSocketFactory: java.lang.String[] getSupportedCipherSuites()>]
Looking in javax.net.SocketFactory which has methods [<javax.net.SocketFactory: void <init>()>, <javax.net.SocketFactory: javax.net.SocketFactory getDefault()>, <javax.net.SocketFactory: java.net.Socket createSocket(java.lang.String,int)>, <javax.net.SocketFactory: java.net.Socket createSocket(java.lang.String,int,java.net.InetAddress,int)>, <javax.net.SocketFactory: java.net.Socket createSocket(java.net.InetAddress,int)>, <javax.net.SocketFactory: java.net.Socket createSocket(java.net.InetAddress,int,java.net.InetAddress,int)>, <javax.net.SocketFactory: java.lang.Class class$(java.lang.String)>]
Looking in java.lang.Object which has methods [<java.lang.Object: void <init>()>, <java.lang.Object: void registerNatives()>, <java.lang.Object: java.lang.Class getClass()>, <java.lang.Object: int hashCode()>, <java.lang.Object: boolean equals(java.lang.Object)>, <java.lang.Object: java.lang.Object clone()>, <java.lang.Object: java.lang.String toString()>, <java.lang.Object: void notify()>, <java.lang.Object: void notifyAll()>, <java.lang.Object: void wait(long)>, <java.lang.Object: void wait(long,int)>, <java.lang.Object: void wait()>, <java.lang.Object: void finalize()>, <java.lang.Object: void <clinit>()>]

    at soot.SootMethodRefImpl.resolve(SootMethodRefImpl.java:183)
    at soot.SootMethodRefImpl.resolve(SootMethodRefImpl.java:109)
    at soot.jimple.internal.AbstractInvokeExpr.getMethod(AbstractInvokeExpr.java:54)
    at edu.AllMethodsNameIntraproceduralAnalysis.flowThrough(AllMethodsNameIntraproceduralAnalysis.java:57)
    at soot.toolkits.scalar.ForwardFlowAnalysis.doAnalysis(ForwardFlowAnalysis.java:162)
    at edu.AllMethodsNameIntraproceduralAnalysis.<init>(AllMethodsNameIntraproceduralAnalysis.java:29)
    at edu.AllMethodsNameInterproceduralAnalysis.analyseMethod(AllMethodsNameInterproceduralAnalysis.java:183)
    at edu.AbstractInterproceduralAnalysis.doAnalysis(AbstractInterproceduralAnalysis.java:368)
    at edu.AllMethodsNameInterproceduralAnalysis.<init>(AllMethodsNameInterproceduralAnalysis.java:109)
    at edu.AllMethodsNameAnalysis.internalTransform(AllMethodsNameAnalysis.java:38)
    at soot.SceneTransformer.transform(SceneTransformer.java:39)
    at soot.Transform.apply(Transform.java:89)
    at soot.ScenePack.internalApply(ScenePack.java:43)
    at soot.Pack.apply(Pack.java:114)
    at soot.PackManager.runWholeProgramPacks(PackManager.java:418)
    at soot.PackManager.runPacks(PackManager.java:336)
    at soot.Main.run(Main.java:198)
    at soot.Main.main(Main.java:141)
    at edu.AllMethodsNameAnalysisMainH2.main(AllMethodsNameAnalysisMainH2.java:221)


Best regards
Yufei Jiang


_______________________________________________
Soot-list mailing list
Soot-list at CS.McGill.CA
https://mailman.CS.McGill.CA/mailman/listinfo/soot-list

 

-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://mailman.CS.McGill.CA/pipermail/soot-list/attachments/20140717/8893102b/attachment-0001.html