CodeQL library for C/C++
Search

Module Overlap

Import path

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

Predicates

combineOverlap

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.