Module Cached
Import path
import semmle.code.cpp.dataflow.ExternalFlowPredicates
| interpretElement | Gets the source/sink/summary element corresponding to the supplied parameters. |
| sinkNode | Holds if |
| sourceNode | Holds if |
import semmle.code.cpp.dataflow.ExternalFlow| interpretElement | Gets the source/sink/summary element corresponding to the supplied parameters. |
| sinkNode | Holds if |
| sourceNode | Holds if |