mirror of
https://github.com/github/codeql.git
synced 2026-07-23 12:12:05 +02:00
16 lines
388 B
Plaintext
16 lines
388 B
Plaintext
import csharp
|
|
import semmle.code.csharp.dataflow.internal.BaseSSA
|
|
|
|
from
|
|
AssignableRead ar, BaseSsa::SsaExplicitWrite ssaDef, AssignableDefinition def,
|
|
LocalScopeVariable v
|
|
where
|
|
ar = ssaDef.getARead() and
|
|
def = ssaDef.getDefinition() and
|
|
v = def.getTarget() and
|
|
not exists(SsaExplicitWrite edef |
|
|
edef.getDefinition() = def and
|
|
edef.getARead() = ar
|
|
)
|
|
select ar, def
|