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

C++: Fix comment.

Browse Source
This commit is contained in:
Mathias Vorreiter Pedersen
2023-08-11 11:50:50 +01:00
parent 3d5b1986c9
commit 88d3fcb34b
1 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
cpp/ql/lib/semmle/code/cpp/security/InvalidPointerDereference/AllocationToInvalidPointer.qll
View File

@@ -169,7 +169,7 @@ private module SizeBarrier {
exists(int delta, int k |
state > k + delta and
// result <= "size of allocation" + delta + k
// <= "size of allocation" + state
// < "size of allocation" + state
result = getABarrierInstruction0(delta, k)
)
}
@@ -198,7 +198,7 @@ private module SizeBarrier {
state > k + delta
// so now we have:
// result <= "size of allocation" + delta + k
// <= "size of allocation" + state
// < "size of allocation" + state
)
}
}