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