HelenOS sources
malloc_assert 277 uspace/lib/c/generic/malloc.c malloc_assert(head->magic == HEAP_BLOCK_HEAD_MAGIC);
malloc_assert 281 uspace/lib/c/generic/malloc.c malloc_assert(foot->magic == HEAP_BLOCK_FOOT_MAGIC);
malloc_assert 282 uspace/lib/c/generic/malloc.c malloc_assert(head->size == foot->size);
malloc_assert 296 uspace/lib/c/generic/malloc.c malloc_assert(area->magic == HEAP_AREA_MAGIC);
malloc_assert 297 uspace/lib/c/generic/malloc.c malloc_assert(addr == area->start);
malloc_assert 298 uspace/lib/c/generic/malloc.c malloc_assert(area->start < area->end);
malloc_assert 299 uspace/lib/c/generic/malloc.c malloc_assert(((uintptr_t) area->start % PAGE_SIZE) == 0);
malloc_assert 300 uspace/lib/c/generic/malloc.c malloc_assert(((uintptr_t) area->end % PAGE_SIZE) == 0);
malloc_assert 381 uspace/lib/c/generic/malloc.c malloc_assert(net_size > 0);
malloc_assert 413 uspace/lib/c/generic/malloc.c malloc_assert(last_head->area == area);
malloc_assert 426 uspace/lib/c/generic/malloc.c malloc_assert(first_head->area == area);
malloc_assert 533 uspace/lib/c/generic/malloc.c malloc_assert(cur->size >= size);
malloc_assert 569 uspace/lib/c/generic/malloc.c malloc_assert((void *) first_block >= (void *) AREA_FIRST_BLOCK_HEAD(area));
malloc_assert 570 uspace/lib/c/generic/malloc.c malloc_assert((void *) first_block < area->end);
malloc_assert 712 uspace/lib/c/generic/malloc.c malloc_assert(addr != NULL);
malloc_assert 724 uspace/lib/c/generic/malloc.c malloc_assert(addr != NULL);
malloc_assert 743 uspace/lib/c/generic/malloc.c malloc_assert(first_heap_area != NULL);
malloc_assert 857 uspace/lib/c/generic/malloc.c malloc_assert(!head->free);
malloc_assert 862 uspace/lib/c/generic/malloc.c malloc_assert((void *) head >= (void *) AREA_FIRST_BLOCK_HEAD(area));
malloc_assert 863 uspace/lib/c/generic/malloc.c malloc_assert((void *) head < area->end);
malloc_assert 985 uspace/lib/c/generic/malloc.c malloc_assert(!head->free);
malloc_assert 990 uspace/lib/c/generic/malloc.c malloc_assert((void *) head >= (void *) AREA_FIRST_BLOCK_HEAD(area));
malloc_assert 991 uspace/lib/c/generic/malloc.c malloc_assert((void *) head < area->end);
HelenOS homepage, sources at GitHub