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