[Soot-list] Help for Java Web App Data Flow

[Richard L. Halpert]

You need to enable spark if you want to use InfoFlowAnalysis.  Have you
been using spark?  -cg.spark enabled:true

-Richard

On Fri, Jul 27, 2012 at 6:39 PM, Jafar Mirzaei <jm.csh2009 at gmail.com> wrote:

> Hello
> I think problem is in method getInvokeInfoFlowSummary in
> class InfoFlowAnalysis.
> There can't find the implementation of some method in call graph and It
> may caused by  incomplete CallGraph(I see some warning look like  "Warning:
> Class org.hsqldb.jdbcDriver is a dynamic class, and you did not specify it
> as such; graph will be incomplete!"  ).
> Are there any way to avoid this exception?(may be change phase option)
> Or can I do that without using this classes?
>
> Some times the exception different!!!!
> Stack trace:
> ...
> @parameter-1: java.lang.Object
> @parameter0: java.lang.String =>
> @parameter0: java.lang.String
> @parameter0: java.lang.String =>
> @this: javax.naming.spi.ContinuationContext
> java.lang.RuntimeException: @this: javax.naming.spi.ContinuationContext
> not in graph!
> at
> soot.toolkits.graph.MemoryEfficientGraph.addEdge(MemoryEfficientGraph.java:63)
>  at
> soot.jimple.toolkits.infoflow.InfoFlowAnalysis.getInvokeInfoFlowSummary(InfoFlowAnalysis.java:22
> 0)
> at
> soot.jimple.toolkits.infoflow.SmartMethodInfoFlowAnalysis.handleInvokeExpr(SmartMethodInfoFlowAn
> alysis.java:391)
> at
> soot.jimple.toolkits.infoflow.SmartMethodInfoFlowAnalysis.addFlowToCdfg(SmartMethodInfoFlowAnaly
> sis.java:795)
>  at
> soot.jimple.toolkits.infoflow.SmartMethodInfoFlowAnalysis.generateAbbreviatedInfoFlowGraph(Smart
> MethodInfoFlowAnalysis.java:154)
> at
> soot.jimple.toolkits.infoflow.SmartMethodInfoFlowAnalysis.<init>(SmartMethodInfoFlowAnalysis.jav
> a:131)
> at
> soot.jimple.toolkits.infoflow.ClassInfoFlowAnalysis.getMethodInfoFlowSummary(ClassInfoFlowAnalys
> is.java:89)
> at
> soot.jimple.toolkits.infoflow.InfoFlowAnalysis.getMethodInfoFlowSummary(InfoFlowAnalysis.java:11
> 2)
> at
> soot.jimple.toolkits.infoflow.InfoFlowAnalysis.getInvokeInfoFlowSummary(InfoFlowAnalysis.java:21
> 0)
> at
> soot.jimple.toolkits.infoflow.SmartMethodInfoFlowAnalysis.handleInvokeExpr(SmartMethodInfoFlowAn
> alysis.java:391)
> at
> soot.jimple.toolkits.infoflow.SmartMethodInfoFlowAnalysis.addFlowToCdfg(SmartMethodInfoFlowAnaly
> sis.java:795)
>  at
> soot.jimple.toolkits.infoflow.SmartMethodInfoFlowAnalysis.generateAbbreviatedInfoFlowGraph(Smart
> MethodInfoFlowAnalysis.java:154)
> at
> soot.jimple.toolkits.infoflow.SmartMethodInfoFlowAnalysis.<init>(SmartMethodInfoFlowAnalysis.jav
> a:131)
> at
> soot.jimple.toolkits.infoflow.ClassInfoFlowAnalysis.getMethodInfoFlowSummary(ClassInfoFlowAnalys
> is.java:89)
> at
> soot.jimple.toolkits.infoflow.InfoFlowAnalysis.getMethodInfoFlowSummary(InfoFlowAnalysis.java:11
> 2)
> at
> soot.jimple.toolkits.infoflow.InfoFlowAnalysis.getInvokeInfoFlowSummary(InfoFlowAnalysis.java:21
> 0)
> at
> soot.jimple.toolkits.infoflow.SmartMethodInfoFlowAnalysis.handleInvokeExpr(SmartMethodInfoFlowAn
> alysis.java:391)
> at
> soot.jimple.toolkits.infoflow.SmartMethodInfoFlowAnalysis.addFlowToCdfg(SmartMethodInfoFlowAnaly
> sis.java:825)
>  at
> soot.jimple.toolkits.infoflow.SmartMethodInfoFlowAnalysis.generateAbbreviatedInfoFlowGraph(Smart
> MethodInfoFlowAnalysis.java:154)
> at
> soot.jimple.toolkits.infoflow.SmartMethodInfoFlowAnalysis.<init>(SmartMethodInfoFlowAnalysis.jav
> a:131)
> at
> soot.jimple.toolkits.infoflow.ClassInfoFlowAnalysis.getMethodInfoFlowSummary(ClassInfoFlowAnalys
> is.java:89)
> at
> soot.jimple.toolkits.infoflow.InfoFlowAnalysis.getMethodInfoFlowSummary(InfoFlowAnalysis.java:11
> 2)
> at
> soot.jimple.toolkits.infoflow.InfoFlowAnalysis.getInvokeInfoFlowSummary(InfoFlowAnalysis.java:21
> 0)
> at
> soot.jimple.toolkits.infoflow.SmartMethodInfoFlowAnalysis.handleInvokeExpr(SmartMethodInfoFlowAn
> alysis.java:391)
> at
> soot.jimple.toolkits.infoflow.SmartMethodInfoFlowAnalysis.addFlowToCdfg(SmartMethodInfoFlowAnaly
> sis.java:825)
>  at
> soot.jimple.toolkits.infoflow.SmartMethodInfoFlowAnalysis.generateAbbreviatedInfoFlowGraph(Smart
> MethodInfoFlowAnalysis.java:154)
> at
> soot.jimple.toolkits.infoflow.SmartMethodInfoFlowAnalysis.<init>(SmartMethodInfoFlowAnalysis.jav
> a:131)
> at
> soot.jimple.toolkits.infoflow.ClassInfoFlowAnalysis.getMethodInfoFlowSummary(ClassInfoFlowAnalys
> is.java:89)
> at
> soot.jimple.toolkits.infoflow.InfoFlowAnalysis.getMethodInfoFlowSummary(InfoFlowAnalysis.java:11
> 2)
> at
> soot.jimple.toolkits.infoflow.InfoFlowAnalysis.getInvokeInfoFlowSummary(InfoFlowAnalysis.java:21
> 0)
> at
> soot.jimple.toolkits.infoflow.SmartMethodInfoFlowAnalysis.handleInvokeExpr(SmartMethodInfoFlowAn
> alysis.java:391)
> at
> soot.jimple.toolkits.infoflow.SmartMethodInfoFlowAnalysis.addFlowToCdfg(SmartMethodInfoFlowAnaly
> sis.java:795)
>  at
> soot.jimple.toolkits.infoflow.SmartMethodInfoFlowAnalysis.generateAbbreviatedInfoFlowGraph(Smart
> MethodInfoFlowAnalysis.java:154)
> at
> soot.jimple.toolkits.infoflow.SmartMethodInfoFlowAnalysis.<init>(SmartMethodInfoFlowAnalysis.jav
> a:131)
> at
> soot.jimple.toolkits.infoflow.ClassInfoFlowAnalysis.getMethodInfoFlowSummary(ClassInfoFlowAnalys
> is.java:89)
> at
> soot.jimple.toolkits.infoflow.InfoFlowAnalysis.getMethodInfoFlowSummary(InfoFlowAnalysis.java:11
> 2)
> at
> soot.jimple.toolkits.infoflow.InfoFlowAnalysis.getInvokeInfoFlowSummary(InfoFlowAnalysis.java:21
> 0)
> at
> soot.jimple.toolkits.infoflow.SmartMethodInfoFlowAnalysis.handleInvokeExpr(SmartMethodInfoFlowAn
> alysis.java:391)
> at
> soot.jimple.toolkits.infoflow.SmartMethodInfoFlowAnalysis.addFlowToCdfg(SmartMethodInfoFlowAnaly
> sis.java:795)
>  at
> soot.jimple.toolkits.infoflow.SmartMethodInfoFlowAnalysis.generateAbbreviatedInfoFlowGraph(Smart
> MethodInfoFlowAnalysis.java:154)
> at
> soot.jimple.toolkits.infoflow.SmartMethodInfoFlowAnalysis.<init>(SmartMethodInfoFlowAnalysis.jav
> a:131)
> at DFtestClass.test2(DFtestClass.java:189)
>
>
>
> Best regards
>
> _______________________________________________
> Soot-list mailing list
> Soot-list at sable.mcgill.ca
> http://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/20120730/adc976bf/attachment.html