Module signature IndirectNodeToIndirectExprSig
A signature for converting an indirect node to an expression.
Import path
import semmle.code.cpp.ir.dataflow.internal.DataFlowUtilPredicates
| indirectNodeHasIndirectExpr | Holds if the indirect expression at indirection index |
Types
| IndirectNode | The indirect node class to be converted to an expression |