hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2025-12-22 19:56:32 +01:00
Code Issues Packages Projects Releases Wiki Activity

Merge pull request #9726 from github/rdmarsh2/stack-address-join-order

Browse Source 
C++: fix join order in UsingExpiredStackAddress
This commit is contained in:
Jeroen Ketema
2022-06-29 09:35:47 +02:00
committed by GitHub
parent 741b2a923a 829fdd1ff6
commit 8b13d1fab8
1 changed files with 3 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
cpp/ql/src/Likely Bugs/Memory Management/UsingExpiredStackAddress.ql
View File

@@ -133,7 +133,9 @@ TGlobalAddress globalAddress(Instruction instr) {
) )
or or
exists(FieldAddressInstruction fai | instr = fai | exists(FieldAddressInstruction fai | instr = fai |
result = TFieldAddress(globalAddress(fai.getObjectAddress()), fai.getField()) result =
TFieldAddress(globalAddress(pragma[only_bind_into](fai.getObjectAddress())),
pragma[only_bind_out](fai.getField()))
) )
or or
result = globalAddress(instr.(PointerOffsetInstruction).getLeft()) result = globalAddress(instr.(PointerOffsetInstruction).getLeft())