Type mismatch error when running example code

[danielftz]

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?

[ericbodden]

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

[ericbodden]

@danielftz Could you confirm please? Thanks