Module Overlap
Import path
import semmle.code.cpp.ir.internal.Overlap
Predicates
combineOverlap | Gets the |
Classes
MayPartiallyOverlap | Represents a partial overlap between two memory ranges, which may or may not actually occur in practice. |
MustExactlyOverlap | Represents an overlap between two memory ranges that have the same extent and the same type. |
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. |
Overlap | Represents a possible overlap between two memory ranges. |