[Soot-list] Question about Soot ClassResolutionFailedException During Analysis

[Yufei Jiang]

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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://mailman.CS.McGill.CA/pipermail/soot-list/attachments/20140703/9c5df809/attachment-0001.html