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

fixup unique assignment

Browse Source
This commit is contained in:
Philippe Antoine
2024-05-21 22:10:00 +02:00
parent 8ace9da14a
commit ab4b823c2e
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
cpp/ql/src/experimental/Likely Bugs/DerefNullResult.ql
View File

@@ -24,7 +24,7 @@ where
DataFlow::localFlow(DataFlow::exprNode(v.getAnAccess()),
DataFlow::exprNode(fc.getArgument(pd.getIndex()))) and
// this variable v was assigned by a call to the nuller function
v.getAnAssignedValue() = nuller.getACallToThisFunction() and
unique( | | v.getAnAssignedValue()) = nuller.getACallToThisFunction() and
// this variable v is not accessed for an operation (check for NULLness)
not exists(VariableAccess vc |
vc.getTarget() = v and