Module Overlap

Import path

import semmle.code.cpp.ir.internal.Overlap

Predicates

Gets the Overlap that best represents the relationship between two memory locations a and c, where getOverlap(a, b) = previousOverlap and getOverlap(b, c) = newOverlap, for some intermediate memory location b.

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.