File tree Expand file tree Collapse file tree
cpp/ql/lib/semmle/code/cpp/security/InvalidPointerDereference Expand file tree Collapse file tree Original file line number Diff line number Diff line change 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
5354private import cpp
You can’t perform that action at this time.
0 commit comments