mirror of
https://github.com/github/codeql.git
synced 2025-12-18 01:33:15 +01:00
9 lines
230 B
Plaintext
9 lines
230 B
Plaintext
import csharp
|
|
import semmle.code.csharp.controlflow.Guards
|
|
|
|
query predicate impliesStep(Expr e1, AbstractValue v1, Expr e2, AbstractValue v2) {
|
|
e1.fromSource() and
|
|
e2.fromSource() and
|
|
Internal::impliesStep(e1, v1, e2, v2)
|
|
}
|