Это команда cccheck, которую можно запустить в бесплатном хостинг-провайдере OnWorks, используя одну из наших многочисленных бесплатных онлайн-рабочих станций, таких как Ubuntu Online, Fedora Online, онлайн-эмулятор Windows или онлайн-эмулятор MAC OS.
ПРОГРАММА:
ИМЯ
cccheck - выполняет проверку контрактов статического кода для сборок CLR.
СИНТАКСИС
cccheck --assembly = [опции]
ОПИСАНИЕ
Выполните проверку контрактов статического кода, чтобы найти ошибки и несоответствия между кодом.
и спецификация. Это включает ненулевой целочисленный анализ.
Сборка должна быть построена с определенным символом CONTRACTS_FULL, в противном случае
вызовы методов контракта будут удалены компилятором.
В настоящее время поддерживаются только методы Contract.Assume () и Contract.Assert (). Только не
Поддерживается нулевой анализ, последовательные анализы находятся в разработке. Сообщение об ошибке
будет отображаться, если cccheck не может обработать все или некоторые из указанных методов
сборка.
КОНФИГУРАЦИЯ ДОПОЛНИТЕЛЬНЫЕ ОПЦИИ
--сборка
Сборка для статической проверки.
--отлаживать
Показывает отладочную информацию о процессе доказательства утверждений. Он показывает четыре
слои абстракции, необработанный слой, слой стека, слой кучи и замещенный
уровень экспрессии.
--method =
Строка для поиска метода. Он фильтрует все методы в сборке, в которых имя метода имеет
этот параметр как подстрока.
--Помогите Показать справку по cccheck, перечислив параметры конфигурации.
ПРИМЕРЫ
Предположим, у вас есть метод:
void Method () {
объект x = null;
интервал у = 1;
если (y% 2 == 1)
х = новый объект ();
еще
х = новая строка ();
Contract.Assert (x! = Ноль); }
После проверки инструмент выдаст результаты в следующем формате: «Утверждение
в: [Подпрограмма: Блокировать ПК ]:
is (true | false | unproven | unreachable) ". (ПК - это счетчик программ)
Используйте cccheck онлайн с помощью сервисов onworks.net
