KLEE работает с программами без изменений.Вы можете генерировать символьные входные данные командной строки, а также символические входные файлы.Вот несколько примеров команд, которые можно использовать для этой цели:
-sym-arg - заменить символьным аргументом длиной N
-sym-args - заменить как минимумMIN аргументы и максимум MAX аргументы, каждый из которых имеет максимальную длину N
-sym-файлов - Создает stdin и до NUM символических файлов, каждый из которых имеет максимальный размер N.
-sym-stdout -Сделайте стандартный вывод символическим.
Примеры можно найти в руководствах на веб-сайте KLEE.