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

[Jafar Mirzaei]

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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://mailman.cs.mcgill.ca/pipermail/soot-list/attachments/20120728/a553180d/attachment-0001.html