История изменений

Исправление SZT, 18.01.20 19:22 (текущая версия) :

Софт, юзающий malloc свободно, невозможно верифицировать вообще.

Можно верифицировать, если malloc() заменить на xmalloc()

void * xmalloc (size_t size)
{
  void *new_mem = (void *) malloc (size);
  if (new_mem == NULL)    
  {
    exit (-1);
  }
  return new_mem;
}

т.е программа или упадет от нехватки памяти, или всё будет норм.

Такой гарантии тоже может быть достаточно для каких-то применений

Я кстати не слышал, чтоб в каких-нибудь идрисах доказывалось что у меня оперативки точно хватит на что-то.

Исходная версия SZT, 18.01.20 19:20:

Софт, юзающий malloc свободно, невозможно верифицировать вообще.

Можно верифицировать, если malloc() заменить на xmalloc()

void * xmalloc (size_t size)
{
  void *new_mem = (void *) malloc (size);
  if (new_mem == NULL)    
  {
    exit (-1);
  }
  return new_mem;
}

т.е программа или упадет от нехватки памяти, или всё будет норм.

Такой гарантии тоже может быть достаточно для каких-то применений