mirror of
https://github.com/github/codeql.git
synced 2026-07-23 12:12:05 +02:00
20 lines
812 B
Plaintext
20 lines
812 B
Plaintext
import csharp
|
|
import semmle.code.csharp.dataflow.internal.SsaImpl as Impl
|
|
import Impl::Consistency
|
|
import Ssa
|
|
|
|
query predicate localDeclWithSsaDef(LocalVariableDeclExpr d) {
|
|
// Local variables in C# must be initialized before every use, so uninitialized
|
|
// local variables should not have an SSA definition, as that would imply that
|
|
// the declaration is live (can reach a use without passing through a definition)
|
|
exists(SsaExplicitWrite def |
|
|
d = def.getDefinition().(AssignableDefinitions::LocalVariableDefinition).getDeclaration()
|
|
|
|
|
not d = any(ForeachStmt fs).getVariableDeclExpr() and
|
|
not d = any(SpecificCatchClause scc).getVariableDeclExpr() and
|
|
not d.getVariable().getType() instanceof Struct and
|
|
not d instanceof PatternExpr and
|
|
not d.getVariable().isCaptured()
|
|
)
|
|
}
|