Changeset 177 for trunk

Timestamp:

Jul 11, 2017, 12:45:00 PM (7 years ago)

Author:

max@…

Message:

detect use-after-frees

File:

• trunk/kernel/mm/ppm.c (modified) (1 diff)

trunk/kernel/mm/ppm.c

@@ -102 +102 @@
         page_t   * pages_tbl   = ppm->pages_tbl;
 
+        assert( !page_is_flag( page , PG_FREE ) , __FUNCTION__ , "page already freed" );
+        assert( !page_is_flag( page , PG_RESERVED ) , __FUNCTION__ , "freeing reserved page" );
+
         // update released page descriptor flags
         page_set_flag( page , PG_FREE );