[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: *alloc: Take advantage of CHERI bounds-checking
|
From: |
Bruno Haible |
|
Subject: |
Re: *alloc: Take advantage of CHERI bounds-checking |
|
Date: |
Sun, 12 Nov 2023 01:12:18 +0100 |
I wrote:
> Now I'd like to try CHERI on packages like gettext, and see whether
> it finds bugs that neither valgrind nor the gcc bounds-checking options
> can detect.
Did that. Indeed, CHERI found a memory overrun bug that valgrind had not found
[1]. Just by running "make check" after configuring the package with
CC=cc CFLAGS=-ggdb
Bruno
[1]
https://git.savannah.gnu.org/gitweb/?p=gettext.git;a=commitdiff;h=c567dde0c0af8bb95b122cd989077b00e23f57e1