Категории аналитических опций сопоставляют с различными панелями панели Configuration. Можно задать аналитические опции от панели Configuration в пользовательском интерфейсе или использовании polyspace-code-prover
в командной строке. Параметры командной строки включены в аналитическое описание опции.