Module IndirectNodeToIndirectExpr
A module that implements the logic for deciding whether an indirect node
should be an IndirectExprNode
.
Import path
import semmle.code.cpp.ir.dataflow.internal.DataFlowUtil
Imports
Sig | A signature for converting an indirect node to an expression. |
Predicates
charpred | Holds if |