Files
codeql/csharp/ql/test/library-tests/controlflow/guards/GuardedControlFlowNode.ql
2019-01-16 10:29:26 +01:00

6 lines
164 B
Plaintext

import csharp
import semmle.code.csharp.controlflow.Guards
from GuardedControlFlowNode gcfn, Expr sub, AbstractValue v
select gcfn, gcfn.getAGuard(sub, v), sub, v