soot-oss / heros

IFDS/IDE Solver for Soot and other frameworks

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

flowfunc/Transfer uses == instead of equals(..)

tim-hoffman opened this issue · comments

commit 19cb6fb fixed the same issue in flowfunc/Kill but use of == remains in the Transfer class.

The same usage also exists in flowfunc/Gen but shouldn't cause any issues there if IFDSTabulationProblem#zeroValue() is always used to obtain the unique instance of zero.

Thanks! Would you like to provide a pull request for this? I think then we should fix it in Gen, too. (it should not hurt doing so)

I performed the replacement of == with equals(..) in both Transfer and Gen and created a pull request.