mirror of
https://github.com/github/codeql.git
synced 2025-12-17 17:23:36 +01:00
12 lines
311 B
Plaintext
12 lines
311 B
Plaintext
import csharp
|
|
|
|
query predicate arrayCreation(ArrayCreation creation, int i, Expr length) {
|
|
length = creation.getLengthArgument(i)
|
|
}
|
|
|
|
query predicate arrayElement(ArrayCreation array, int i, Expr element) {
|
|
element = array.getInitializer().getElement(i)
|
|
}
|
|
|
|
query predicate stackalloc(Stackalloc a) { any() }
|