codeql/cpp-all
0.9.2
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 )