secure-software-engineering / FlowDroid

FlowDroid Static Data Flow Tracker
GNU Lesser General Public License v2.1
1.03k stars 293 forks source link

Build error for soot-infoflow-summaries #463

Closed dah-fari7009 closed 2 years ago

dah-fari7009 commented 2 years ago

Hi,

When attempting to build the latest version of the project (on develop branch) using Maven in IntelliJ, I get a compilation error for soot-infoflow-summaries :
incompatible types: java.util.Set<soot.jimple.infoflow.solver.EndSummary<soot.Unit,soot.jimple.infoflow.data.Abstraction>> cannot be converted to java.util.Set<heros.solver.Pair<soot.Unit,soot.jimple.infoflow.data.Abstraction>> image

The error is occuring in taintWrappers.SummaryTaintWrapper image

I get this error with both "mvn install" and Build Project in IntelliJ.

StevenArzt commented 2 years ago

This was indeed a bug from an incomplete refactoring. I have fixed it.

dah-fari7009 commented 2 years ago

Thank you!