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