Thanks to visit codestin.com
Credit goes to github.com

Skip to content

Commit 4345369

Browse files
committed
C++: Replace 'Barrier2' with 'SizeBarrier' in QLDoc.
1 parent d02a1c2 commit 4345369

1 file changed

Lines changed: 4 additions & 3 deletions

File tree

cpp/ql/lib/semmle/code/cpp/security/InvalidPointerDereference/AllocationToInvalidPointer.qll

Lines changed: 4 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -45,9 +45,10 @@
4545
* 6. *p = 0; // This is fine since `end < base + size`
4646
* 7. }
4747
* ```
48-
* In order to remove this false positive we define a barrier (see `Barrier2::BarrierConfig2`) that finds the possible guards
49-
* that compares a value to the size of the allocation. In the above example, this is the `(n >= size)` guard on line 3.
50-
* `Barrier2::getABarrierNode` then defines any node that is guarded by such a guard as a barrier in the dataflow configuration.
48+
* In order to remove this false positive we define a barrier (see `SizeBarrier::SizeBarrierConfig`) that finds the
49+
* possible guards that compares a value to the size of the allocation. In the above example, this is the `(n >= size)`
50+
* guard on line 3. `SizeBarrier::getABarrierNode` then defines any node that is guarded by such a guard as a barrier
51+
* in the dataflow configuration.
5152
*/
5253

5354
private import cpp

0 commit comments

Comments
 (0)