hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-04-23 07:45:17 +02:00
Code Issues Packages Projects Releases Wiki Activity

C++: Rename 'delta1' and 'delta2' in documentation.

Browse Source
This commit is contained in:
Mathias Vorreiter Pedersen
2023-07-25 10:50:51 +02:00
parent e75f604172
commit 46832d0b17
1 changed files with 3 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

5
cpp/ql/lib/semmle/code/cpp/security/InvalidPointerDereference/InvalidPointerToDereference.qll
View File

@@ -37,8 +37,9 @@
* `deltaDerefSinkAndDerefAddress >= 0`. The load attached to `*p` is the "operation". To ensure that the path makes
* intuitive sense, we only pick operations that are control-flow reachable from the dereference sink.
*
* To compute the amount of the dereference is away from the final entry of the allocation, we sum the two deltas `delta1` and
* `delta2`. This is done in the `operationIsOffBy` predicate (which is the only predicate exposed by this file).
* To compute the amount of the dereference is away from the final entry of the allocation, we sum the two deltas
* `deltaDerefSourceAndPai` and `deltaDerefSinkAndDerefAddress`. This is done in the `operationIsOffBy` predicate
* (which is the only predicate exposed by this file).
*
* Handling false positives:
*