mirror of
https://github.com/github/codeql.git
synced 2025-12-17 17:23:36 +01:00
11 lines
309 B
Plaintext
11 lines
309 B
Plaintext
import csharp
|
|
|
|
query predicate edges(ControlFlow::Node a, ControlFlow::Node b, string label, string value) {
|
|
exists(ControlFlow::SuccessorType t |
|
|
a.getEnclosingCallable().hasName("SwitchStatements") and
|
|
b = a.getASuccessorByType(t) and
|
|
label = "semmle.label" and
|
|
value = t.toString()
|
|
)
|
|
}
|