document kernel hardware memory tagging

GrapheneOS · Jan 18, 2025 · 5e4c313 · 5e4c313
1 parent 9a1aefe
commit 5e4c313
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/static/features.html b/static/features.html
@@ -365,6 +365,11 @@ <h4><a href="#exploit-mitigations">Exploit mitigations</a></h4>
                                     larger address space (48-bit instead of 39-bit) with
                                     significantly higher entropy Address Space Layout
                                     Randomization (33-bit instead of 24-bit).</li>
+                                    <li>Basic hardware memory tagging is used in the main kernel
+                                    memory allocators (slab, page_alloc, non-executable vmalloc) to
+                                    provide probabilistic detection of all use-after-free and
+                                    inter-object overflows (providing deterministic guarantees
+                                    similar to our hardened_malloc implementation is planned)</li>
                                     <li>Random canaries with a leading zero are added to the
                                     kernel heap (slub) to block C string overflows, absorb small
                                     overflows and detect linear overflows or other heap corruption