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

Co-authored-by: Jeroen Ketema <93738568+jketema@users.noreply.github.com>
This commit is contained in:
Mathias Vorreiter Pedersen
2022-02-23 09:33:52 +00:00
committed by GitHub
parent ea35f56212
commit dda85bf234

View File

@@ -153,7 +153,7 @@ StoreInstruction getAStoreStrictlyAfter(StoreInstruction store) {
/**
* Holds if `store` copies the address of `f`'s local variable `var`
* into th address `globalAddress`.
* into the address `globalAddress`.
*/
predicate stackAddressEscapes(
StoreInstruction store, StackVariable var, TGlobalAddress globalAddress, Function f