Page MenuHomeFreeBSD

kmem: Add KASAN state transitions
ClosedPublic

Authored by markj on Mar 27 2021, 11:29 PM.
Tags
None
Referenced Files
Unknown Object (File)
Mar 4 2024, 12:48 PM
Unknown Object (File)
Feb 23 2024, 11:14 PM
Unknown Object (File)
Jan 12 2024, 2:43 AM
Unknown Object (File)
Dec 23 2023, 1:23 AM
Unknown Object (File)
Nov 2 2023, 9:05 PM
Unknown Object (File)
Sep 25 2023, 7:48 AM
Unknown Object (File)
Sep 2 2023, 3:00 AM
Unknown Object (File)
Sep 2 2023, 2:58 AM
Subscribers

Details

Summary

Memory allocated with kmem_* is unmapped upon free, so KASAN doesn't
provide a ton of benefit, but since allocations are always a multiple of
the page size we can create a redzone.

Diff Detail

Repository
rG FreeBSD src repository
Lint
Lint Not Applicable
Unit
Tests Not Applicable

Event Timeline

andrew added inline comments.
sys/vm/vm_kern.c
422–423

Does this mean we don't get buffer overflow checks when size is a multiple of PAGE_SIZE?

sys/vm/vm_kern.c
422–423

That's correct. I thought about padding it by one page but was a bit wary about doing so for contig allocs, since that could conceivably result in an impossible allocation request. For instance, suppose that high - low == size, we wouldn't be able to add padding. And we have to either pad all allocations or none.

One thing we could do is add a guard page instead, so that overflows result in a page fault. That's not KASAN-specific, of course, but it'd make sense to enable that when KASAN is enabled. Any thoughts?

This revision was not accepted when it landed; it landed in state Needs Review.Apr 13 2021, 9:42 PM
This revision was automatically updated to reflect the committed changes.