hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-04-26 09:15:12 +02:00
Code Issues Packages Projects Releases Wiki Activity

C++: Remove paragraph.

Browse Source
This commit is contained in:
Mathias Vorreiter Pedersen
2023-07-24 12:20:38 +02:00
parent 5edc5e7c7b
commit d02a1c2840
1 changed files with 0 additions and 5 deletions
Download Patch File Download Diff File Expand all files Collapse all files

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

@@ -33,11 +33,6 @@
* 7. }
* ```
*
* Reducing the size of `pointerAddInstructionHasBounds`:
* The `pointerAddInstructionHasBounds` can be very large since the `sink2` column is defined as anything that non-strictly
* upper bounds the right-hand side of a pointer-arithmetic instruction. In order to reduce the size of this predicate we prune
* the set of pointer-arithmetic instructions to only those instructions where the left-hand side flows from an allocation.
*
* Handling false positives:
*
* Consider a snippet such as: