Class MustTotallyOverlap
Represents an overlap in which the first memory range is known to include all bits of the second memory range, but may be larger or have a different type.
Import path
import semmle.code.cpp.ir.internal.OverlapDirect supertypes
Indirect supertypes
Predicates
| getPrecision | Gets a value representing how precise this overlap is. The higher the value, the more precise the overlap. The precision values are ordered as follows, from most to least precise: |
| toString |