frama-c

0зной

1ответ

Ошибки Frama-C (Ubuntu 16.04 LTS): Ошибка: Unbound module Dgraph

Этот Frama-C Magnesium-20151002, среда компиляции Ubuntu 16.04 (Xenial). Ocamlc src/plugins/gui/debug_manager.cmi Ocamlc src/plugins/gui/help_manager.cmi Ocamlc src/plugins/gui/property_navigator

1зной

1ответ

Разработка Frama-C с затмением: автозаполнение не работает в некоторых случаях

Я разрабатываю плагин Frama-C. Я использую Eclipse для разработки. Если я пишу «обычные» OCaml-функции-вызовы (собственных функций и системных функций), всплывающая подсказка показывает мне доступные

2зной

1ответ

Значение анализа для высокой петли ограничивающая

я анализирую программу управления со следующей структурой: unsigned int cnt=0; unsigned int inc=3; ... void main(){ int i; int lim; for(i=0;i<100000;i++) { f1(); .... lim = f2();

1зной

1ответ

Разработка плагинов Frama-C: получение результата анализа стоимости

Я работаю над плагином для Frama-C, используя Value-analysis. Я просто хочу напечатать состояние переменных (значений) после каждого утверждения (я думаю, что решение тихое, но я не мог понять это). Я

0зной

1ответ

Разработка плагинов Frama-C: получение значений анализа значений разных вызовов

Я разрабатываю Frama-C-Plugin, это должно печатать значения переменных после каждого утверждения. В Frama-C-Gui, в закладке Values, я могу видеть значения анализа по всей программе и после различных в