Bug 203505

Summary:	KASAN (tags): guaranteed detection of linear buffer overflow
Product:	Memory Management	Reporter:	Andrey Konovalov (andreyknvl)
Component:	Sanitizers	Assignee:	MM/Sanitizers virtual assignee (mm_sanitizers)
Status:	NEW ---
Severity:	normal	CC:	kasan-dev
Priority:	P1
Hardware:	All
OS:	Linux
Kernel Version:	upstream	Subsystem:
Regression:	No	Bisected commit-id:

Description Andrey Konovalov 2019-05-03 16:10:36 UTC

It should be possible to guarantee 100% detection of linear buffer overflows by giving adjacent objects distinct tags.

Comment 1 Andrey Konovalov 2021-03-09 14:00:12 UTC

Related bug: https://bugzilla.kernel.org/show_bug.cgi?id=212177

Comment 2 Andrey Konovalov 2023-10-22 13:29:21 UTC

For reference, this is how SCUDO does this:

https://github.com/llvm/llvm-project/commit/b83417aa7e26ca76c433ec5befdecd5c571408a6