heros icon indicating copy to clipboard operation
heros copied to clipboard

Published 20 hours ago • verified publisher icon soot-oss

Type mismatch error when running example code

Open danielftz opened this issue 5 years ago • 2 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<DefinitionStmt>>,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?

danielftz avatar Dec 03 '19 09:12 danielftz