В Frama-C Neon отсутствуют файлы библиотеки C?

Я успешно скомпилировал Frama-C Neon (Ubuntu) вместе с Why2, Why3 и Coq.

В предыдущих версиях (азот) можно было выбрать конкретную модель кучи, определив некоторые символы, такие как:

#define FRAMA_C_MALLOC_HEAP

и так далее.

Руководство пользователя Frama-C Neon предлагает включить файл share/malloc.c, но я не могу найти это.

  • Фрама-С Азот содержит как share/malloc.c а такжеshare/libc/stdlib.c (в том числе последний работал нормально);
  • Фрама-С Фтор 3 содержит share/stdlib.c только;
  • Frama-C Фтор 2 не содержит ни того, ни другого;
  • Frama-C Neon не содержит ни того, ни другого;

Кроме того, в списке изменений Fluorine 3 "Добавить недостающие файлы библиотеки C".

Являются FRAMA_C_MALLOC_* символы устарели или неоновое распределение источников несколько неполное?

Источник

1 ответ

Решение

Да, некоторые файлы, относящиеся к моделированию динамического распределения памяти, были удалены из выпуска Neon Frama-C.

Источник
Другие вопросы по тегам