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

C++: Put AliasedSSA.qll in new qlformat style

Browse Source
This commit is contained in:
Jonas Jensen
2020-01-30 11:37:03 +01:00
parent f0f752844e
commit 148e87c61d
1 changed files with 6 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

10
cpp/ql/src/semmle/code/cpp/ir/implementation/aliased_ssa/internal/AliasedSSA.qll
View File

@@ -554,8 +554,9 @@ MemoryLocation getResultMemoryLocation(Instruction instr) {
) )
or or
kind instanceof EntireAllocationMemoryAccess and kind instanceof EntireAllocationMemoryAccess and
result = TEntireAllocationMemoryLocation(getAddressOperandAllocation(instr result =
.getResultAddressOperand()), isMayAccess) TEntireAllocationMemoryLocation(getAddressOperandAllocation(instr.getResultAddressOperand()),
isMayAccess)
or or
kind instanceof EscapedMemoryAccess and kind instanceof EscapedMemoryAccess and
result = TAllAliasedMemory(instr.getEnclosingIRFunction(), isMayAccess) result = TAllAliasedMemory(instr.getEnclosingIRFunction(), isMayAccess)
@@ -584,8 +585,9 @@ MemoryLocation getOperandMemoryLocation(MemoryOperand operand) {
) )
or or
kind instanceof EntireAllocationMemoryAccess and kind instanceof EntireAllocationMemoryAccess and
result = TEntireAllocationMemoryLocation(getAddressOperandAllocation(operand result =
.getAddressOperand()), isMayAccess) TEntireAllocationMemoryLocation(getAddressOperandAllocation(operand.getAddressOperand()),
isMayAccess)
or or
kind instanceof EscapedMemoryAccess and kind instanceof EscapedMemoryAccess and
result = TAllAliasedMemory(operand.getEnclosingIRFunction(), isMayAccess) result = TAllAliasedMemory(operand.getEnclosingIRFunction(), isMayAccess)