Bug 203505 - KASAN (tags): guaranteed detection of linear buffer overflow
Summary: KASAN (tags): guaranteed detection of linear buffer overflow
Status: NEW
Alias: None
Product: Memory Management
Classification: Unclassified
Component: Sanitizers (show other bugs)
Hardware: All Linux
: P1 normal
Assignee: MM/Sanitizers virtual assignee
URL:
Keywords:
Depends on:
Blocks:
 
Reported: 2019-05-03 16:10 UTC by Andrey Konovalov
Modified: 2023-10-22 13:29 UTC (History)
1 user (show)

See Also:
Kernel Version: upstream
Subsystem:
Regression: No
Bisected commit-id:

Attachments
Add an attachment (proposed patch, testcase, etc.)

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
Note You need to log in before you can comment on or make changes to this bug.