HelenOS sources
malloc_assert 263 uspace/lib/c/generic/malloc.c malloc_assert(head->magic == HEAP_BLOCK_HEAD_MAGIC);
malloc_assert 267 uspace/lib/c/generic/malloc.c malloc_assert(foot->magic == HEAP_BLOCK_FOOT_MAGIC);
malloc_assert 268 uspace/lib/c/generic/malloc.c malloc_assert(head->size == foot->size);
malloc_assert 282 uspace/lib/c/generic/malloc.c malloc_assert(area->magic == HEAP_AREA_MAGIC);
malloc_assert 283 uspace/lib/c/generic/malloc.c malloc_assert(addr == area->start);
malloc_assert 284 uspace/lib/c/generic/malloc.c malloc_assert(area->start < area->end);
malloc_assert 285 uspace/lib/c/generic/malloc.c malloc_assert(((uintptr_t) area->start % PAGE_SIZE) == 0);
malloc_assert 286 uspace/lib/c/generic/malloc.c malloc_assert(((uintptr_t) area->end % PAGE_SIZE) == 0);
malloc_assert 367 uspace/lib/c/generic/malloc.c malloc_assert(net_size > 0);
malloc_assert 399 uspace/lib/c/generic/malloc.c malloc_assert(last_head->area == area);
malloc_assert 412 uspace/lib/c/generic/malloc.c malloc_assert(first_head->area == area);
malloc_assert 519 uspace/lib/c/generic/malloc.c malloc_assert(cur->size >= size);
malloc_assert 555 uspace/lib/c/generic/malloc.c malloc_assert((void *) first_block >= (void *) AREA_FIRST_BLOCK_HEAD(area));
malloc_assert 556 uspace/lib/c/generic/malloc.c malloc_assert((void *) first_block < area->end);
malloc_assert 698 uspace/lib/c/generic/malloc.c malloc_assert(addr != NULL);
malloc_assert 710 uspace/lib/c/generic/malloc.c malloc_assert(addr != NULL);
malloc_assert 729 uspace/lib/c/generic/malloc.c malloc_assert(first_heap_area != NULL);
malloc_assert 840 uspace/lib/c/generic/malloc.c malloc_assert(!head->free);
malloc_assert 845 uspace/lib/c/generic/malloc.c malloc_assert((void *) head >= (void *) AREA_FIRST_BLOCK_HEAD(area));
malloc_assert 846 uspace/lib/c/generic/malloc.c malloc_assert((void *) head < area->end);
malloc_assert 949 uspace/lib/c/generic/malloc.c malloc_assert(!head->free);
malloc_assert 954 uspace/lib/c/generic/malloc.c malloc_assert((void *) head >= (void *) AREA_FIRST_BLOCK_HEAD(area));
malloc_assert 955 uspace/lib/c/generic/malloc.c malloc_assert((void *) head < area->end);
HelenOS homepage, sources at GitHub