|
|
|
|
@ -20376,13 +20376,13 @@ which cover other unsafe operations that allow bounds violations.
|
|
|
|
|
|
|
|
|
|
Bounds safety profile summary:
|
|
|
|
|
|
|
|
|
|
* <a href="Pro-bounds-arithmetic"></a>Bounds.1: Don't use pointer arithmetic. Use `span` instead:
|
|
|
|
|
* <a name="Pro-bounds-arithmetic"></a>Bounds.1: Don't use pointer arithmetic. Use `span` instead:
|
|
|
|
|
[Pass pointers to single objects (only)](#Ri-array) and [Keep pointer arithmetic simple](#Res-ptr).
|
|
|
|
|
* <a href="Pro-bounds-arrayindex"></a>Bounds.2: Only index into arrays using constant expressions:
|
|
|
|
|
* <a name="Pro-bounds-arrayindex"></a>Bounds.2: Only index into arrays using constant expressions:
|
|
|
|
|
[Pass pointers to single objects (only)](#Ri-array) and [Keep pointer arithmetic simple](#Res-ptr).
|
|
|
|
|
* <a href="Pro-bounds-decay"></a>Bounds.3: No array-to-pointer decay:
|
|
|
|
|
* <a name="Pro-bounds-decay"></a>Bounds.3: No array-to-pointer decay:
|
|
|
|
|
[Pass pointers to single objects (only)](#Ri-array) and [Keep pointer arithmetic simple](#Res-ptr).
|
|
|
|
|
* <a href="Pro-bounds-stdlib"></a>Bounds.4: Don't use standard-library functions and types that are not bounds-checked:
|
|
|
|
|
* <a name="Pro-bounds-stdlib"></a>Bounds.4: Don't use standard-library functions and types that are not bounds-checked:
|
|
|
|
|
[Use the standard library in a type-safe manner](#Rsl-bounds).
|
|
|
|
|
|
|
|
|
|
##### Impact
|
|
|
|
|
@ -20404,7 +20404,7 @@ For example, a pointer may be uninitialized, the `nullptr`, point beyond the ran
|
|
|
|
|
|
|
|
|
|
Lifetime safety profile summary:
|
|
|
|
|
|
|
|
|
|
* <a href="Pro-lifetime-invalid-deref"></a>Lifetime.1: Don't dereference a possibly invalid pointer:
|
|
|
|
|
* <a name="Pro-lifetime-invalid-deref"></a>Lifetime.1: Don't dereference a possibly invalid pointer:
|
|
|
|
|
[detect or avoid](#Res-deref).
|
|
|
|
|
|
|
|
|
|
##### Impact
|
|
|
|
|
|