mirror of
https://github.com/github/codeql.git
synced 2025-12-18 01:33:15 +01:00
6 lines
171 B
Plaintext
6 lines
171 B
Plaintext
import csharp
|
|
import semmle.code.csharp.controlflow.Guards
|
|
|
|
from DereferenceableExpr de, AbstractValue v, boolean isNull
|
|
select de.getANullCheck(v, isNull), de, v, isNull
|