hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-05-05 13:45:19 +02:00
Code Issues Packages Projects Releases Wiki Activity

C++: QLDoc terminology: object -> mem allocation

Browse Source
This commit is contained in:
Jonas Jensen
2020-03-23 20:32:47 +01:00
parent b0d3c9ee6b
commit 999051d20e
5 changed files with 5 additions and 5 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
cpp/ql/src/semmle/code/cpp/ir/implementation/aliased_ssa/Instruction.qll
View File

@@ -323,7 +323,7 @@ class Instruction extends Construction::TInstruction {
/**
* Holds if this is an instruction with a memory result that represents a
* conflation of more than one object.
* conflation of more than one memory allocation.
*
* This happens in practice when dereferencing a pointer that cannot be
* tracked back to a single local allocation. Such memory is instead modeled

2
cpp/ql/src/semmle/code/cpp/ir/implementation/raw/Instruction.qll
View File

@@ -323,7 +323,7 @@ class Instruction extends Construction::TInstruction {
/**
* Holds if this is an instruction with a memory result that represents a
* conflation of more than one object.
* conflation of more than one memory allocation.
*
* This happens in practice when dereferencing a pointer that cannot be
* tracked back to a single local allocation. Such memory is instead modeled

2
cpp/ql/src/semmle/code/cpp/ir/implementation/unaliased_ssa/Instruction.qll
View File

@@ -323,7 +323,7 @@ class Instruction extends Construction::TInstruction {
/**
* Holds if this is an instruction with a memory result that represents a
* conflation of more than one object.
* conflation of more than one memory allocation.
*
* This happens in practice when dereferencing a pointer that cannot be
* tracked back to a single local allocation. Such memory is instead modeled

2
csharp/ql/src/semmle/code/csharp/ir/implementation/raw/Instruction.qll
View File

@@ -323,7 +323,7 @@ class Instruction extends Construction::TInstruction {
/**
* Holds if this is an instruction with a memory result that represents a
* conflation of more than one object.
* conflation of more than one memory allocation.
*
* This happens in practice when dereferencing a pointer that cannot be
* tracked back to a single local allocation. Such memory is instead modeled

2
csharp/ql/src/semmle/code/csharp/ir/implementation/unaliased_ssa/Instruction.qll
View File

@@ -323,7 +323,7 @@ class Instruction extends Construction::TInstruction {
/**
* Holds if this is an instruction with a memory result that represents a
* conflation of more than one object.
* conflation of more than one memory allocation.
*
* This happens in practice when dereferencing a pointer that cannot be
* tracked back to a single local allocation. Such memory is instead modeled