Module MakeImplCommon::CallContextSensitivity
Provides predicates releated to call-context sensitivity.
Import path
import codeql.dataflow.internal.DataFlowImplCommon
Imports
PrunedViableImpl<DefaultPrunedViableImplInput> | This module is only parameterized so that we can refer to cached versions of the input predicates in |
Predicates
callContextAffectsDispatch | |
getSpecificCallContextCall | |
getSpecificCallContextReturn | |
recordDataFlowCallSiteUnreachable | Holds if the call context |
reducedViableImplInCallContext | Holds if the call context |
reducedViableImplInReturn | Holds if flow returning from callable |
Classes
Modules
PrunedViableImpl | This module is only parameterized so that we can refer to cached versions of the input predicates in |