CodeQL library for C/C++
Search

Class MayPartiallyOverlap

Represents a partial overlap between two memory ranges, which may or may not actually occur in practice.

Import path

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

Direct 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: MustExactlyOverlap MustTotallyOverlap MayPartiallyOverlap

toString