Files
codeql/csharp/ql/test/library-tests/dataflow/ssa/ReadAdjacentRead.ql
2018-08-02 17:53:23 +01:00

6 lines
137 B
Plaintext

import csharp
from AssignableRead read1, AssignableRead read2
where read2 = read1.getANextRead()
select read1.getTarget(), read1, read2