Skip to content

Commit dda85bf

Browse files
MathiasVPjketema
andauthored
Update cpp/ql/src/Likely Bugs/Memory Management/UsingExpiredStackAddress.ql
Co-authored-by: Jeroen Ketema <[email protected]>
1 parent ea35f56 commit dda85bf

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

cpp/ql/src/Likely Bugs/Memory Management/UsingExpiredStackAddress.ql

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -153,7 +153,7 @@ StoreInstruction getAStoreStrictlyAfter(StoreInstruction store) {
153153

154154
/**
155155
* Holds if `store` copies the address of `f`'s local variable `var`
156-
* into th address `globalAddress`.
156+
* into the address `globalAddress`.
157157
*/
158158
predicate stackAddressEscapes(
159159
StoreInstruction store, StackVariable var, TGlobalAddress globalAddress, Function f

0 commit comments

Comments
 (0)