mirror of
https://github.com/github/codeql.git
synced 2025-12-20 02:44:30 +01:00
9 lines
237 B
Plaintext
9 lines
237 B
Plaintext
import csharp
|
|
|
|
query predicate countSplits(ControlFlowElement cfe, int i) {
|
|
not cfe.fromLibrary() and
|
|
i = strictcount(ControlFlow::Nodes::ElementNode n | n.getElement() = cfe)
|
|
}
|
|
|
|
query predicate ssaDef(Ssa::Definition def) { any() }
|