Import path
import semmle.code.cpp.pointsto.CallGraph
Imports
|
PointsTo
|
Provides classes and predicates implementing a points-to analysis based on Steensgaard’s algorithm, extended to support fields.
|
|
cpp
|
Provides classes and predicates for working with C/C++ code.
|