Re: git: e1e847374bcc - main - Add DEBUG_POISON_POINTER
- In reply to: Gleb Smirnoff : "Re: git: e1e847374bcc - main - Add DEBUG_POISON_POINTER"
- Go to: [ bottom of page ] [ top of archives ] [ this month ]
Date: Tue, 28 Nov 2023 17:23:35 UTC
On 11/28/23, Gleb Smirnoff <glebius@freebsd.org> wrote:
> Mateusz,
>
> On Tue, Nov 28, 2023 at 04:35:40PM +0000, Mateusz Guzik wrote:
> M> Add DEBUG_POISON_POINTER
> M>
> M> If you have a pointer which you know points to stale data, you can
> M> fill it with junk so that dereference later will trap
> M>
> M> Reviewed by: kib
> M> Sponsored by: Rubicon Communications, LLC ("Netgate")
> M> Differential Revision: https://reviews.freebsd.org/D40946
> M> ---
> M> sys/kern/vfs_bio.c | 6 ++++++
> M> sys/sys/kassert.h | 31 +++++++++++++++++++++++++++++++
> M> 2 files changed, 37 insertions(+)
> M>
> M> diff --git a/sys/kern/vfs_bio.c b/sys/kern/vfs_bio.c
> M> index 31059f1c0a94..4e0832475c3e 100644
> M> --- a/sys/kern/vfs_bio.c
> M> +++ b/sys/kern/vfs_bio.c
> M> @@ -159,6 +159,9 @@ nbufp(unsigned i)
> M> }
> M>
> M> caddr_t __read_mostly unmapped_buf;
> M> +#ifdef INVARIANTS
> M> +caddr_t poisoned_buf = (void *)-1;
> M> +#endif
>
> Is there any good reason to use caddr_t here instead of void *?
>
> Later it is casted back to normal void* in #define DEBUG_POISON_POINTER(x).
>
unmapped_buf is caddr. if you want to roll with void * feel free to change.
--
Mateusz Guzik <mjguzik gmail.com>