The signature for a module that is used to specify the inputs to the FlowFromFree module.
Import path
import semmle.code.cpp.security.flowafterfree.FlowAfterFree
Predicates
| isExcluded | Holds if dealloc is a deallocation expression and e is an expression such that isFree(_, e) holds for some isFree predicate satisfying isSinkSig, and this source-sink pair should be excluded from the analysis.
|
| isSink | Holds if n.asExpr() = e and n is a sink in the FlowFromFreeConfig module.
|
| sourceSinkIsRelated | Holds if sink should be considered a sink when the source of flow is source.
|