mirror of
https://github.com/github/codeql.git
synced 2025-12-17 17:23:36 +01:00
16 lines
440 B
Plaintext
16 lines
440 B
Plaintext
/**
|
|
* @name Test for local variable declaration statement
|
|
*/
|
|
|
|
import csharp
|
|
|
|
from Method m, LocalConstantDeclStmt s, LocalConstantDeclExpr e
|
|
where
|
|
m.getName() = "MainLocalConstDecl" and
|
|
s.getEnclosingCallable() = m and
|
|
s.getAVariableDeclExpr() = e and
|
|
e.getVariable().getName() = "pi" and
|
|
e.getVariable().getType() instanceof FloatType and
|
|
e.getInitializer() instanceof FloatLiteral
|
|
select m, s, e, e.getVariable().getValue()
|