Skip to content

SMG: remove HVE filtering by object, offset, bitsize

Петров Олег Максимович requested to merge mr54-refactor-smg-hve-filter-ObjOfsSize into smg-master

Replace filtering by triple with new SMGHasValueEdgeSet#getEdge.

Add a unit test to check the behavior has not changed.

Merge request reports