История изменений
Исправление
hateyoufeel,
(текущая версия)
:
Frama-C очень годен, но он только для C. Был фронтэнд для C++, но вроде как на него забили болт за ненадобностью.
Исходная версия
hateyoufeel,
:
Frama-C очень годен, но он только для C.