CodeQL library for C/C++
codeql/cpp-all 2.1.1 (changelog, source)
Search

Class Overlap

Represents a possible overlap between two memory ranges.

Import path

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

Direct supertypes

Known direct subtypes

    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