Это командный гробовщик, который можно запустить в бесплатном хостинг-провайдере OnWorks, используя одну из наших многочисленных бесплатных онлайн-рабочих станций, таких как Ubuntu Online, Fedora Online, онлайн-эмулятор Windows или онлайн-эмулятор MAC OS.
ПРОГРАММА:
ИМЯ
D: - найти дефекты в условном коде C
СИНТАКСИС
гробовщик [ДОПОЛНИТЕЛЬНЫЕ ОПЦИИ] <файл..>
ОПИСАНИЕ
I: гробовщик v1.1+179-2bb9f3f-dirty `гробовщик' анализирует условный код C с помощью
#ifdefs.
ДОПОЛНИТЕЛЬНЫЕ ОПЦИИ
-V информация о версии для печати
-v увеличить уровень журнала (более подробный)
-q уменьшить уровень журнала (менее подробный)
-m укажите модель(и) (каталог или файл)
-M укажите основную модель
-w указать белый список
-b указать рабочий список (пакетный режим)
-t указать количество параллельных процессов
-I добавьте путь включения для директив #include
-j указать работы, которые необходимо выполнить
мертвый
анализ мертвых/неживых файлов (по умолчанию)
охват
анализ файла покрытия
cpppc
Предварительные условия CPP для всего файла
блокпк: Заблокировать предварительное условие (формат: :
)
символПК
Предварительное условие символа (формат )
чекэкспр
Найдите конфигурацию, удовлетворяющую выражению
интересный
Найдите связанные элементы (инвертированные элементы отсутствуют в модели)
Покрытие Опции:
-O: указать режим вывода сгенерированных конфигураций
Кконфиг
сгенерированная частичная конфигурация kconfig (по умолчанию)
стандартный вывод
вывести на стандартный вывод найденные конфигурации
CPP
печать на стандартном выводе cpp -D аргументы командной строки
исполнитель: cmd
файл канала для каждой конфигурации в cmd
модель
распечатать все параметры, которые находятся в пространстве конфигурации
ВСЕ
выгрузить каждый назначенный символ (как элементы, так и блоки кода)
-C: указать алгоритм покрытия
декриминализовано
- относительно простой и быстрый алгоритм (по умолчанию)
min — медленно, но генерирует меньше наборов конфигурации
Указание файлы:
Вы можете указать один или несколько файлов (формат зависит от задания (-j) который
должно быть сделано. Если вы укажете - как файл, гробовщик загрузит модели и белый список.
и читать файлы со стандартного ввода (интерактивно).
укажите файл для сканирования или рабочий список
`гробовщик' анализирует условный код C с помощью #ifdefs.
Использование: гробовщик [ВАРИАНТЫ]
-V информация о версии для печати
-v увеличить уровень журнала (более подробный)
-q уменьшить уровень журнала (менее подробный)
-m укажите модель(и) (каталог или файл)
-M укажите основную модель
-w указать белый список
-b указать рабочий список (пакетный режим)
-t указать количество параллельных процессов
-I добавьте путь включения для директив #include
-j указать работы, которые необходимо выполнить
мертвый
анализ мертвых/неживых файлов (по умолчанию)
охват
анализ файла покрытия
cpppc
Предварительные условия CPP для всего файла
блокпк: Заблокировать предварительное условие (формат: :
)
символПК
Предварительное условие символа (формат )
чекэкспр
Найдите конфигурацию, удовлетворяющую выражению
интересный
Найдите связанные элементы (инвертированные элементы отсутствуют в модели)
Покрытие Опции:
-O: указать режим вывода сгенерированных конфигураций
Кконфиг
сгенерированная частичная конфигурация kconfig (по умолчанию)
стандартный вывод
вывести на стандартный вывод найденные конфигурации
CPP
печать на стандартном выводе cpp -D аргументы командной строки
исполнитель: cmd
файл канала для каждой конфигурации в cmd
модель
распечатать все параметры, которые находятся в пространстве конфигурации
ВСЕ
выгрузить каждый назначенный символ (как элементы, так и блоки кода)
-C: указать алгоритм покрытия
декриминализовано
- относительно простой и быстрый алгоритм (по умолчанию)
min — медленно, но генерирует меньше наборов конфигурации
Указание файлы:
Вы можете указать один или несколько файлов (формат зависит от задания (-j) который
должно быть сделано. Если вы укажете - как файл, гробовщик загрузит модели и белый список.
и читать файлы со стандартного ввода (интерактивно).
Используйте гробовщика онлайн с помощью сервисов onworks.net
