We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent c4b01d0 commit ba3bc15Copy full SHA for ba3bc15
cpp/ql/src/Critical/NotInitialised.ql
@@ -11,6 +11,7 @@
11
import cpp
12
13
// See also InitialisationNotRun.ql and GlobalUseBeforeInit.ql
14
+
15
// Holds if s defines variable v (conservative)
16
predicate defines(ControlFlowNode s, Variable lv) {
17
exists(VariableAccess va | va = s and va.getTarget() = lv and va.isUsedAsLValue())
0 commit comments