Ошибка примера запуска klee LLVM 3.4

Я новичок в KLEE, и попытался установить и протестировать его. Я работал с пошаговыми инструкциями вручную, и, похоже, ошибок не было, но как возникла эта проблема?

вот команда, которую я ввожу:

dazenhom@dazenhom-ThinkPad-S3-S440:~/Desktop/stp/klee/examples$ llvm-gcc --emit-llvm -c -g get_sign.c
gcc-4.7: error: unrecognised command line option ‘--emit-llvm’
gcc-4.7: error: get_sign.c: No such file or directory
gcc-4.7: fatal error: no input files
compilation terminated.

Я искал ответ в Интернете, но не понимаю этого объяснения:

"Добавьте llvm-gcc в вашу переменную PATH. Важно сделать это в первую очередь, чтобы найти llvm-gcc на последующих этапах настройки. Llvm-gcc будет использоваться позже для компиляции программ, которые может выполнять KLEE. Забыв добавить команду llvm-gcc в ваш PATH на данный момент является наиболее распространенным источником ошибок сборки, сообщаемым новыми пользователями."

кто-нибудь сталкивается с такой ситуацией, как я?

Источник

2 ответа

Пояснение, которое вы нашли в Интернете, говорит вам, чтобы добавить библиотеку к вашему PATH переменная. Это переменная среды (системы) для операционных систем Windows, поэтому, если вы используете что-то отличное от Windows, это решение вам не поможет.

Предполагая, что вы работаете в Windows, вы можете добавить его в свой PATH следующим образом:

Если вы используете Windows 10:

  1. Щелкните правой кнопкой мыши по старту.
  2. Нажмите "Система".
  3. Нажмите "Дополнительные параметры системы" (на левой боковой панели).
  4. Нажмите "Переменные среды" на вкладке "Дополнительно".
  5. Там вы увидите переменную с именем Path в разделе "Системные переменные"; выберите его.
  6. Нажмите "Изменить".
  7. Нажмите "Новый".
  8. Добавьте путь к вашей библиотеке.

Если вы используете более старую версию Windows, шаги будут одинаковыми до шага 7. Там вместо нажатия "Создать" вы добавляете путь к концу строки, разделенный ;, Так это будет выглядеть примерно так previous\path;your\new\path,

Если вам нужна дополнительная информация, попробуйте взглянуть на этот вопрос или вопрос о настройке переменной среды.

Источник

Вы можете использовать команду clang -emit-llvm -c -g get_sign.c -I../../include чтобы получить файл битового кода get_sign.bc, затем запустите команду с командой klee get_sign.bc,

Источник
Другие вопросы по тегам