Skip to content

SMG: remove HVE filtering by object, offset, bitsize

Replace filtering by triple with new SMGHasValueEdgeSet#getEdge.

Instead of filtering has-value edges by object, offset, bitsize, introduce #getEdge(object, offset, bitsize). Introduce shorthand SMG#getHVEdgeOfPtrBitsizeAt to encapsulate most calls to #getEdge.

Remove the following from SMGEdgeHasValueFilter:

  • method #filterBySize(long bitsize);
  • method #filterWithoutSize();
  • fields sizeInBits and sizeNotRequired. These are no longer needed, as there is no more filtering by size.

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

Merge request reports

Loading