Skip to content

SMG: remove HVE filtering by object, offset, bitsize

Replace filtering by triple with new SMGHasValueEdgeSet#getEdge.

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

Merge request reports

Loading