Module TaintTracking :: MakeWithState
DEPRECATED: Use GlobalWithState instead.
Import path
import semmle.code.cpp.dataflow.TaintTracking
Imports
| GlobalWithState<MakeWithState::Config> |
Constructs a global taint tracking computation using flow state. |
Parameters
| Config | StateConfigSig |