[Soot-list] Question about Soot ClassResolutionFailedException During Analysis

[Jin Li]

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/af546724/attachment.html