HelenOS sources
malloc_assert 264 uspace/lib/c/generic/malloc.c malloc_assert(head->magic == HEAP_BLOCK_HEAD_MAGIC);
malloc_assert 268 uspace/lib/c/generic/malloc.c malloc_assert(foot->magic == HEAP_BLOCK_FOOT_MAGIC);
malloc_assert 269 uspace/lib/c/generic/malloc.c malloc_assert(head->size == foot->size);
malloc_assert 283 uspace/lib/c/generic/malloc.c malloc_assert(area->magic == HEAP_AREA_MAGIC);
malloc_assert 284 uspace/lib/c/generic/malloc.c malloc_assert(addr == area->start);
malloc_assert 285 uspace/lib/c/generic/malloc.c malloc_assert(area->start < area->end);
malloc_assert 286 uspace/lib/c/generic/malloc.c malloc_assert(((uintptr_t) area->start % PAGE_SIZE) == 0);
malloc_assert 287 uspace/lib/c/generic/malloc.c malloc_assert(((uintptr_t) area->end % PAGE_SIZE) == 0);
malloc_assert 368 uspace/lib/c/generic/malloc.c malloc_assert(net_size > 0);
malloc_assert 400 uspace/lib/c/generic/malloc.c malloc_assert(last_head->area == area);
malloc_assert 413 uspace/lib/c/generic/malloc.c malloc_assert(first_head->area == area);
malloc_assert 520 uspace/lib/c/generic/malloc.c malloc_assert(cur->size >= size);
malloc_assert 556 uspace/lib/c/generic/malloc.c malloc_assert((void *) first_block >= (void *) AREA_FIRST_BLOCK_HEAD(area));
malloc_assert 557 uspace/lib/c/generic/malloc.c malloc_assert((void *) first_block < area->end);
malloc_assert 699 uspace/lib/c/generic/malloc.c malloc_assert(addr != NULL);
malloc_assert 711 uspace/lib/c/generic/malloc.c malloc_assert(addr != NULL);
malloc_assert 730 uspace/lib/c/generic/malloc.c malloc_assert(first_heap_area != NULL);
malloc_assert 844 uspace/lib/c/generic/malloc.c malloc_assert(!head->free);
malloc_assert 849 uspace/lib/c/generic/malloc.c malloc_assert((void *) head >= (void *) AREA_FIRST_BLOCK_HEAD(area));
malloc_assert 850 uspace/lib/c/generic/malloc.c malloc_assert((void *) head < area->end);
malloc_assert 972 uspace/lib/c/generic/malloc.c malloc_assert(!head->free);
malloc_assert 977 uspace/lib/c/generic/malloc.c malloc_assert((void *) head >= (void *) AREA_FIRST_BLOCK_HEAD(area));
malloc_assert 978 uspace/lib/c/generic/malloc.c malloc_assert((void *) head < area->end);
HelenOS homepage, sources at GitHub