Predicate DataFlow::uninitializedNode
Gets the Node
corresponding to the value of an uninitialized local
variable v
.
Import path
import semmle.code.cpp.dataflow.DataFlow
Gets the Node
corresponding to the value of an uninitialized local
variable v
.
import semmle.code.cpp.dataflow.DataFlow