mirror of
https://github.com/github/codeql.git
synced 2025-12-18 01:33:15 +01:00
10 lines
300 B
Plaintext
10 lines
300 B
Plaintext
import csharp
|
|
|
|
query predicate edges(ControlFlow::Node node, ControlFlow::Node successor, string attr, string val) {
|
|
not node.getElement().fromLibrary() and
|
|
exists(ControlFlow::SuccessorType t | successor = node.getASuccessorByType(t) |
|
|
attr = "semmle.label" and
|
|
val = t.toString()
|
|
)
|
|
}
|