mirror of
https://github.com/github/codeql.git
synced 2025-12-20 10:46:30 +01:00
14 lines
325 B
Plaintext
14 lines
325 B
Plaintext
/**
|
|
* @name Test for array creations
|
|
*/
|
|
|
|
import csharp
|
|
|
|
private boolean isImplicit(Expr expr) {
|
|
if expr.isImplicit() then result = true else result = false
|
|
}
|
|
|
|
from ArrayCreation ac, Expr expr
|
|
where ac.isImplicitlySized() and not ac.isImplicitlyTyped() and expr = ac.getALengthArgument()
|
|
select ac, expr, isImplicit(expr)
|