codeql/cpp-all
2.0.1-dev
For other CodeQL resources, including tutorials and examples, see the CodeQL documentation
.
The points-to set parentset, when dereferenced using the given label, gives values in the points-to set childset.
import semmle.code.cpp.pointsto.PointsTo
predicate children(int parentset, string label, int childset)