Files
codeql/csharp/ql/test/query-tests/Nullness/NullCheck.ql
2025-10-29 13:02:08 +01:00

7 lines
168 B
Plaintext

import csharp
import semmle.code.csharp.controlflow.Guards
from DereferenceableExpr de, Guards::Guard reason
where de.guardSuggestsMaybeNull(reason)
select reason, de