This module is only parameterized so that we can refer to cached versions
of the input predicates in CachedCallContextSensitivity
.
Import path
import codeql.dataflow.internal.DataFlowImplCommon
Predicates
noPrunedViableImplInCallContext | Holds if |
prunedViableImplInCallContext | Gets a viable run-time dispatch target for the call |
prunedViableImplInCallContextReverse | Gets a viable call site for the return from |
recordDataFlowCallSite | Holds if the call context |
recordDataFlowCallSiteDispatch | Holds if the call context |
resolveCall | Resolves a call from |
resolveReturn | Resolves a return from |
Parameters
Input2 | PrunedViableImplInputSig |