Files
2018-12-20 10:19:59 +01:00

8 lines
228 B
Plaintext

import csharp
from AssignableDefinition def, AssignableRead read, Ssa::Definition ssaDef
where
ssaDef.getAnUltimateDefinition().(Ssa::ExplicitDefinition).getADefinition() = def and
read = ssaDef.getARead()
select def, read