Files
codeql/csharp/ql/test/library-tests/controlflow/guards/BooleanGuardedExpr.ql
Tom Hvitved e76e448953 C#: Unify logic in guards library
Unify the logic for Boolean/nullness/matching guards.
2018-10-30 13:15:15 +01:00

7 lines
158 B
Plaintext

import csharp
import semmle.code.csharp.controlflow.Guards
from GuardedExpr ge, Expr e, Access a, boolean b
where ge.isGuardedBy(e, a, b)
select ge, e, a, b