Как запустить KLEE на моих собственных примерах, используя Docker? - PullRequest
Новая
       117

Как запустить KLEE на моих собственных примерах, используя Docker?

0 голосов
/ 16 июня 2020

У меня установлен KLEE как образ docker на Ubuntu 16.04. Я успешно запустил образцы примеров, используя обучающие программы, найденные здесь . Здесь вы можете увидеть подробности: 

klee@6108be3cb023:~/klee_src/examples/get_sign$ ls
get_sign.c  klee-last  klee-out-0  klee-out-1

klee@6108be3cb023:~/klee_src/examples/get_sign$ clang -I ../../include -emit-llvm -c -g -O0 -Xclang -disable-O0-optnone get_sign.c
klee@6108be3cb023:~/klee_src/examples/get_sign$ ls
get_sign.bc  get_sign.c  klee-last  klee-out-0  klee-out-1

klee@6108be3cb023:~/klee_src/examples/get_sign$ klee get_sign.bc
KLEE: output directory is "/home/klee/klee_src/examples/get_sign/klee-out-2"
KLEE: Using STP solver backend

KLEE: done: total instructions = 33
KLEE: done: completed paths = 3
KLEE: done: generated tests = 3

Сейчас я пытаюсь запустить свои собственные примеры. Я получаю следующую ошибку на первом этапе, который заключается в компиляции моей программы (файл. c) с помощью LLVM, чтобы сгенерировать байт-код (.b c) для запуска KLEE. 

klee@6108be3cb023:~/klee_src/examples/danesh$ clang -I ../../include -emit-llvm -c -g -O0 -Xclang -disable-O0-optnone prog1.c    
error: unable to open output file 'prog1.bc': 'Permission denied'
1 error generated.

Вот также скриншот операции, которую я делал: Снимок экрана

Кто-нибудь знает, как решить эту проблему? Пожалуйста, не стесняйтесь задавать мне любые вопросы, если это необходимо.

...