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

Predicate children

The points-to set parentset, when dereferenced using the given label, gives values in the points-to set childset.

Import path

import semmle.code.cpp.pointsto.PointsTo
predicate children ( int parentset , string label , int childset )