diff --git a/cpp/ql/lib/semmle/code/cpp/security/InvalidPointerDereference/AllocationToInvalidPointer.qll b/cpp/ql/lib/semmle/code/cpp/security/InvalidPointerDereference/AllocationToInvalidPointer.qll index c3db211fcc3..a22b98b59a5 100644 --- a/cpp/ql/lib/semmle/code/cpp/security/InvalidPointerDereference/AllocationToInvalidPointer.qll +++ b/cpp/ql/lib/semmle/code/cpp/security/InvalidPointerDereference/AllocationToInvalidPointer.qll @@ -50,7 +50,7 @@ * ``` * In order to remove this false positive we define a barrier (see `Barrier2::BarrierConfig2`) that finds the possible guards * that compares a value to the size of the allocation. In the above example, that's the `(n >= size)` guard on line 3. - * `Barrier2::getABarrierNode` then defines any node that's guarded by such a guard as a barrier in the dataflow configuration. + * `Barrier2::getABarrierNode` then defines any node that is guarded by such a guard as a barrier in the dataflow configuration. */ private import cpp