C++: Remove paragraph.

MathiasVP · MathiasVP · commit d02a1c28404f · 2023-07-24T12:20:38.000+02:00
diff --git a/cpp/ql/lib/semmle/code/cpp/security/InvalidPointerDereference/AllocationToInvalidPointer.qll b/cpp/ql/lib/semmle/code/cpp/security/InvalidPointerDereference/AllocationToInvalidPointer.qll
@@ -33,11 +33,6 @@
  *  7. }
  *  ```
  *
- * Reducing the size of `pointerAddInstructionHasBounds`:
- * The `pointerAddInstructionHasBounds` can be very large since the `sink2` column is defined as anything that non-strictly
- * upper bounds the right-hand side of a pointer-arithmetic instruction. In order to reduce the size of this predicate we prune
- * the set of pointer-arithmetic instructions to only those instructions where the left-hand side flows from an allocation.
- *
  * Handling false positives:
  *
  * Consider a snippet such as:

Original file line number	Diff line number	Diff line change
`@@ -33,11 +33,6 @@`
`33`	`33`	`* 7. }`
`34`	`34`	* ```
`35`	`35`	`*`
`36`		- * Reducing the size of `pointerAddInstructionHasBounds`:
`37`		- * The `pointerAddInstructionHasBounds` can be very large since the `sink2` column is defined as anything that non-strictly
`38`		`- * upper bounds the right-hand side of a pointer-arithmetic instruction. In order to reduce the size of this predicate we prune`
`39`		`- * the set of pointer-arithmetic instructions to only those instructions where the left-hand side flows from an allocation.`
`40`		`- *`
`41`	`36`	`* Handling false positives:`
`42`	`37`	`*`
`43`	`38`	`* Consider a snippet such as:`