Update cpp/ql/src/experimental/Security/CWE/CWE-193/InvalidPointerDeref.ql

Co-authored-by: Jeroen Ketema <93738568+jketema@users.noreply.github.com>
This commit is contained in:
Mathias Vorreiter Pedersen
2023-07-25 10:33:38 +02:00
committed by GitHub
parent e1f519fab7
commit 97809e7646

View File

@@ -57,7 +57,7 @@
*
* The set of pointer-arithmetic instructions that define the `TPointerArith` flow state is restricted to be the pointer-
* arithmetic instructions that both receive flow from the allocation (as identified by `AllocationToInvalidPointer.qll`),
* and further flows to a dereference (as identified by `InvalidPointerToDereference.qll`).
* and further flow to a dereference (as identified by `InvalidPointerToDereference.qll`).
*/
import cpp