We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent dda85bf commit 862ebefCopy full SHA for 862ebef
cpp/ql/src/Likely Bugs/Memory Management/UsingExpiredStackAddress.ql
@@ -219,7 +219,7 @@ where
219
// We know that we have a sequence:
220
// (1) store to `address` -> (2) return from `f` -> (3) load from `address`.
221
// But if (2) and (3) happen in the sam block we need to check the
222
- // block indices to nsure that (3) happens after (2).
+ // block indices to ensure that (3) happens after (2).
223
if isCallBlock = true
224
then
225
// If so, the load must happen after the call.
0 commit comments