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 QLDoc.

Browse Source
This commit is contained in:
Mathias Vorreiter Pedersen
2023-08-07 15:55:43 +01:00
parent 33e991b037
commit 60f2e8a676
1 changed files with 2 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

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

@@ -128,7 +128,8 @@ private module SizeBarrier {
}
/**
* Holds if `small < large + state` holds if `g` evaluates to `edge`.
* Holds if `left < large + state` holds if `g` evaluates to `edge`, where `large` is some
* value that is equal to the size argument of an allocation.
*/
private predicate operandGuardChecks(IRGuardCondition g, Operand left, int state, boolean edge) {
exists(DataFlow::Node nLeft, DataFlow::Node nRight, int k |