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

Author: jbj

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

@@ -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

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

@@ -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

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

@@ -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

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

@@ -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

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

@@ -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