Внедрение frama-clang

Question

До сих пор я нашел проект STANCE (Stance project website) читателя (found on the website) и презентацию (also found on the website). Кроме того, по-видимому, 20 июня состоится день фрейм-ка, где будет внедрен фрахма-кланг.

Однако, мне интересно, есть ли реализация, чтобы поиграть с frama-clang.

Answer 1

С нескольких минут есть: http://frama-c.com/frama-clang.html (не забудьте прочесть Caveat часть). Он выпущен как новый плагин под LGPL2.1. Frama-Clang совместим с Frama-C Aluminium (т. Е. Последняя версия Frama-C до сих пор) и clang/llvm 3.8 (обязательно используйте либо пакеты разработчика вашего дистрибутива, либо компилируйте clang вручную).