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)