Files
codeql/csharp/ql/test/library-tests/controlflow/guards/GuardedExpr.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

6 lines
147 B
Plaintext

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