mirror of
https://github.com/github/codeql.git
synced 2025-12-20 10:46:30 +01:00
6 lines
147 B
Plaintext
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
|