Files
codeql/cpp/ql/test/library-tests/dataflow/dataflow-tests/uninitialized.ql
Jeroen Ketema ecdeb9a970 C++: Revert semmle.code.cpp.dataflow to its old state
While here make sure all queries and tests use IR dataflow when appropriate.
2023-02-10 14:21:44 +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