CodeQL library for C/C++
Search

Predicate anythingPointsTo

Holds if anything points to an element, that is, is equivalent to:

  exists(PointsToExpr e | e.pointsTo() = elem)

Import path

import semmle.code.cpp.pointsto.PointsTo
predicate anythingPointsTo(Element elem)