Semmle QL C/C++ standard library
Index
pointstosets
Module
PointsTo
Imports
Expr
File
Predicates
aggregateLiteralChild
allocateDescriptorCall
anythingPointsTo
children
childrenByElement
compoundEdge
flow
flowFromCompound
flowToCompound
location
lvalue
parentSetFor
pointer
pointerFromCompound
pointerToCompound
pointerValue
pointstoinfo
pointstosets
resolve
setflow
setlocations
varArgRead
virtualArg
virtualRet
virtualThis
Classes
PointsToExpr
Predicate
PointsTo
::
pointstosets
Which elements are in which points-to sets.
predicate
pointstosets
(
int
ptset
,
@element
elem
)