Вот список полезных быстрых команд для получения справки или для улучшения подробной / отладочной информации при запуске frama-c:
frama-c -kernel-help: «фактическая» справочная страница ядра Frama-C с множеством полезных опций; man frama-c: результаты очень похожи на frama-c -kernel-help; frama-c -kernel-msg-key help: отображает все категории сообщений , известные ядру, используемые для создания подробных и отладочных сообщений. У них нет связанного описания, но некоторые говорят сами за себя. Например, -kernel-msg-key pp показывает фактическую команду предварительной обработки, используемую Frama-C при разборе файлов; frama-c -kernel-warn-key help: перечисляет все категории предупреждений , а также их статус (активен, неактивен, обрабатывается как ошибка, немедленно отменяется, один раз предупреждается и т. Д.); frama-c -machdep help: перечисляет все доступные архитектуры, известные Frama-C.
Каждый плагин имеет свои <plugin>-help, <plugin>-msg-key и <plugin>-warn-key. Он также может иметь дополнительные параметры «листинга». Например, плагин Eva (анализ значений) имеет опцию -val-builtins-list, в которой перечислены все доступные встроенные модули Eva и имена соответствующих функций.