mirror of
https://github.com/github/codeql.git
synced 2026-05-19 05:37:10 +02:00
9 lines
253 B
Plaintext
9 lines
253 B
Plaintext
import csharp
|
|
|
|
from AssignableDefinition def, AssignableRead read, SsaDefinition ult, SsaDefinition ssaDef
|
|
where
|
|
ssaDef.getAnUltimateDefinition() = ult and
|
|
ult.(SsaExplicitWrite).getDefinition() = def and
|
|
read = ssaDef.getARead()
|
|
select def, read
|