This is an automated email from the ASF dual-hosted git repository.

acassis pushed a commit to branch master
in repository https://gitbox.apache.org/repos/asf/nuttx.git

commit 4de718f98fe9a30c104dcc75cbc9f2622e982947
Author: cuiziwei <cuizi...@xiaomi.com>
AuthorDate: Fri Jun 20 22:25:48 2025 +0800

    kasan: Fix assert judgment condition to correctly detect out-of-bounds 
causing trampling.
    
    Signed-off-by: cuiziwei <cuizi...@xiaomi.com>
---
 mm/kasan/generic.c | 2 +-
 mm/kasan/sw_tags.c | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/mm/kasan/generic.c b/mm/kasan/generic.c
index dfd62a61f5..6f4732c0f7 100644
--- a/mm/kasan/generic.c
+++ b/mm/kasan/generic.c
@@ -248,7 +248,7 @@ void kasan_register(FAR void *addr, FAR size_t *size)
 
   flags = spin_lock_irqsave(&g_lock);
 
-  DEBUGASSERT(g_region_count <= CONFIG_MM_KASAN_REGIONS);
+  DEBUGASSERT(g_region_count < CONFIG_MM_KASAN_REGIONS);
   g_region[g_region_count++] = region;
 
   spin_unlock_irqrestore(&g_lock, flags);
diff --git a/mm/kasan/sw_tags.c b/mm/kasan/sw_tags.c
index 2df66485c1..111b867887 100644
--- a/mm/kasan/sw_tags.c
+++ b/mm/kasan/sw_tags.c
@@ -197,7 +197,7 @@ void kasan_register(FAR void *addr, FAR size_t *size)
 
   flags = spin_lock_irqsave(&g_lock);
 
-  DEBUGASSERT(g_region_count <= CONFIG_MM_KASAN_REGIONS);
+  DEBUGASSERT(g_region_count < CONFIG_MM_KASAN_REGIONS);
   g_region[g_region_count++] = region;
 
   spin_unlock_irqrestore(&g_lock, flags);

Reply via email to