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

[zlaski/pointer-overflow-check] Minor tweak to Qhelp.

Browse Source
This commit is contained in:
Ziemowit Laski
2019-10-29 15:30:41 -07:00
parent 9228844604
commit 3aafcf4604
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
cpp/ql/src/Likely Bugs/Memory Management/PointerOverflowCheck.qhelp
View File

@@ -7,7 +7,7 @@
When checking for out-of-range pointer values, one might write tests like
<code>p + a &lt; p</code> and check if the value "wraps around".
Such a test is wrong in that it relies on the overflow of <code>p + a</code>,
which is undefined behavior. In fact, many optimizing compilers will remove
which has undefined behavior. In fact, many optimizing compilers will remove
<code>p + a &lt; p</code> altogether and replace it with the value <code>0</code>
(<code>false</code>). Conversely, should <code>p + a</code> <i>not</i> overflow,
the programmer may erroneously assume that the memory location <code>p + a</code>