C++: Fix QL-for-QL warnings

jketema · jketema · commit cb1dacfef128 · 2022-12-12T11:23:29.000+01:00
diff --git a/cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/SsaInternalsCommon.qll b/cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/SsaInternalsCommon.qll
@@ -149,14 +149,14 @@ abstract class Indirection extends Type {
 
   /**
    * Holds if `deref` is an instruction that behaves as a `LoadInstruction`
-   * that loads the value computed by `addres`.
+   * that loads the value computed by `address`.
    */
   predicate isAdditionalDereference(Instruction deref, Operand address) { none() }
 
   /**
    * Holds if `value` is written to the address computed by `address`.
    *
-   * `certain` is `true` if this write is guarenteed to write to the address.
+   * `certain` is `true` if this write is guaranteed to write to the address.
    */
   predicate isAdditionalWrite(Node0Impl value, Operand address, boolean certain) { none() }
 
