Files
codeql/csharp/ql/test/library-tests/csharp8/NullCoalescingControlFlow.ql
2019-06-04 18:10:49 +01:00

11 lines
374 B
Plaintext

import csharp
import semmle.code.csharp.controlflow.ControlFlowGraph
query predicate edges(ControlFlow::Node node1, ControlFlow::Node node2, string label, string value) {
label = "semmle.label" and
exists(ControlFlow::SuccessorType t |
node2 = node1.getASuccessorByType(t) and value = t.toString()
)
and node1.getEnclosingCallable().hasName("NullCoalescing")
}