Type mismatch error when running example code

Question

Type mismatch error when running example code

danielftz opened this issue 5 years ago · comments

When running the example code provided in the wiki, I get this error:

Type mismatch: cannot convert from IFDSReachingDefinitions to IFDSTabulationProblem<Unit,Pair<Value,Set>,SootMethod,InterproceduralCFG<Unit,SootMethod>>

It seems the issue comes from this statement:

IFDSTabulationProblem<Unit, Pair<Value, 
	                Set<DefinitionStmt>>, SootMethod, 
	                InterproceduralCFG<Unit, SootMethod>> problem = new IFDSReachingDefinitions(icfg);

What should I do?

Eric Bodden · Answer 1 · Tue Jan 14 2020 23:35:11 GMT+0800 (China Standard Time)

Can you please make sure that the Pair type you use is the type soot.toolkits.scalar.Pair? Then it works for me.

Eric Bodden · Answer 2 · Mon Jan 27 2020 20:45:09 GMT+0800 (China Standard Time)

@danielftz Could you confirm please? Thanks