hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2025-12-17 01:03:14 +01:00
Code Issues Packages Projects Releases Wiki Activity

Merge pull request #20734 from aschackmull/csharp/tweak-nullness

Browse Source 
C#: Allow nullness sources with SSA at entry.
This commit is contained in:
Anders Schack-Mulligen
2025-10-31 14:14:43 +01:00
committed by GitHub
parent 09378b8499 5aa53287ce
commit e558c0219c
1 changed files with 0 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

1
csharp/ql/lib/semmle/code/csharp/dataflow/Nullness.qll
View File

@@ -197,7 +197,6 @@ private predicate defMaybeNull(
msg = "as suggested by $@ null check" and msg = "as suggested by $@ null check" and
node = def.getControlFlowNode() and node = def.getControlFlowNode() and
not de = any(Ssa::PhiNode phi).getARead() and not de = any(Ssa::PhiNode phi).getARead() and
strictcount(Element e | e = any(Ssa::Definition def0 | de = def0.getARead()).getElement()) = 1 and
// Don't use a check as reason if there is a `null` assignment // Don't use a check as reason if there is a `null` assignment
// or argument // or argument
not def.(Ssa::ExplicitDefinition).getADefinition().getSource() instanceof MaybeNullExpr and not def.(Ssa::ExplicitDefinition).getADefinition().getSource() instanceof MaybeNullExpr and