Index: kernel/generic/src/mm/backend_elf.c
===================================================================
--- kernel/generic/src/mm/backend_elf.c	(revision 563b5385ab991fa17ac41d61832cf43e1c5c58ea)
+++ kernel/generic/src/mm/backend_elf.c	(revision 73aec008f71d2837377d9654ab5e73c252ba6806)
@@ -91,7 +91,11 @@
 	if (!as_area_check_access(area, access))
 		return AS_PF_FAULT;
-
-	ASSERT(addr >= ALIGN_DOWN(entry->p_vaddr, PAGE_SIZE));
-	ASSERT(addr < entry->p_vaddr + entry->p_memsz);
+	
+	if (addr < ALIGN_DOWN(entry->p_vaddr, PAGE_SIZE))
+		return AS_PF_FAULT;
+	
+	if (addr >= entry->p_vaddr + entry->p_memsz)
+		return AS_PF_FAULT;
+	
 	i = (addr - ALIGN_DOWN(entry->p_vaddr, PAGE_SIZE)) >> PAGE_WIDTH;
 	base = (uintptr_t)