Files
codeql/cpp/ql/test/library-tests/dataflow/variable/noInit.ql
2019-11-19 11:31:34 +01:00

6 lines
158 B
Plaintext

import semmle.code.cpp.dataflow.internal.FlowVar
from Variable var, VariableAccess va
where FlowVar_internal::mayBeUsedUninitialized(var, va)
select var, va