julieeen/kleefl

Seeding fuzzers with symbolic execution

kleefl's Issues

run_afl.sh file empty

The run_afl.sh file is empty. Is this bash file no longer needed?

~/tests/libjpeg@master✗✗✗✗✗✗ #! cat /vagrant/tools/run_afl.sh

#!/bin/bash

Thank you!

broken sym links (vagrant box)

Hello,

I am trying to set up kleefl based on the readme, however I am stuck once I hit the build step. I was able to run the kleefl_init script just fine to create the needed directories but kleefl_build seems to run into issues with a broken symbolic link. See output below:

~/tests #! ls -la /home/vagrant/tools 
total 8
drwxrwxr-x  2 vagrant vagrant 4096 Mar  4  2016 .
drwxr-xr-x 18 vagrant vagrant 4096 Sep  5 15:44 ..
lrwxrwxrwx  1 root    root      23 Mar  3  2016 KTest.py -> /vagrant/tools/KTest.py
lrwxrwxrwx  1 root    root      24 Mar  3  2016 KTest.pyc -> /vagrant/tools/KTest.pyc
lrwxrwxrwx  1 root    root      27 Mar  3  2016 kleefl_build -> /vagrant/tools/kleefl_build
lrwxrwxrwx  1 root    root      26 Mar  3  2016 kleefl_init -> /vagrant/tools/kleefl_init
lrwxrwxrwx  1 root    root      26 Mar  3  2016 kleefl_pick -> /vagrant/tools/kleefl_pick
lrwxrwxrwx  1 root    root      33 Mar  3  2016 kleefl_prepare_afl -> /vagrant/tools/kleefl_prepare_afl
lrwxrwxrwx  1 root    root      25 Mar  3  2016 run_afl.sh -> /vagrant/tools/run_afl.sh
lrwxrwxrwx  1 root    root      26 Mar  3  2016 run_klee.sh -> /vagrant/tools/run_klee.sh

~/tests #! ls -la /vagrant/tools 
total 84
drwxr-xr-x 1 vagrant vagrant  4096 Aug 30 18:11 .
drwxr-xr-x 1 vagrant vagrant  4096 Sep  5 15:26 ..
-rw-r--r-- 1 vagrant vagrant  1739 Aug 30 18:11 KTest.py
-rwxr-xr-x 1 vagrant vagrant  1794 Aug 30 18:11 kleefl_build_cmake
-rwxr-xr-x 1 vagrant vagrant  1933 Aug 30 18:11 kleefl_build_make
-rwxr-xr-x 1 vagrant vagrant  3508 Aug 30 18:11 kleefl_cov_inspector
-rwxr-xr-x 1 vagrant vagrant 15007 Aug 30 18:11 kleefl_crash_inspector
-rwxr-xr-x 1 vagrant vagrant  1268 Sep  5 15:23 kleefl_init
-rwxr-xr-x 1 vagrant vagrant    91 Aug 30 18:11 kleefl_inspect_afl
-rwxr-xr-x 1 vagrant vagrant   634 Aug 30 18:11 kleefl_pick
-rwxr-xr-x 1 vagrant vagrant 11640 Aug 30 18:11 kleefl_prepare_afl
drwxr-xr-x 1 vagrant vagrant  4096 Aug 30 18:11 other
-rwxr-xr-x 1 vagrant vagrant    12 Aug 30 18:11 run_afl.sh
-rwxr-xr-x 1 vagrant vagrant   539 Aug 30 18:11 run_klee.sh
-rwxr-xr-x 1 vagrant vagrant  5950 Aug 30 18:11 show_klee_results

run_alf.sh is empty

https://github.com/julieeen/kleefl/blob/master/tools/run_afl.sh should contain the logic to run AFL right?

Error on Build source using wllvm & afl-clang

Hi ! I am so interest with your amazing work.
I wanna try to install your tool on my PC. I have followed all the instructions. Unfortunately, I got stuck on build source using wllvm & afl-clang. I got the error like this :

++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Usage: kleefl_build_make [OPTION]

Option Meaning
make will make afl and klee options
make asan will make afl-asan and klee options
make afl will make afl instrumented binary
make cov will make gcov of binary
make afl-asan will make optional afl Asan instrumented binary
clean will clean all builds
clean afl will clean afl build
clean cov will clean gcov build of binary
clean afl-asan will clean afl Asan binary
++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Step 2: Creating executable with AFL compiler afl-clang and afl-clang++
afl_build
../../kleefl/tools/kleefl_build_make: line 31: ../configure: No such file or directory
make: *** No targets specified and no makefile found. Stop.
/home/vagrant/project_xyz/source
++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Step 3: Building wllvm
../../kleefl/tools/kleefl_build_make: line 67: ../configure: No such file or directory
make: *** No targets specified and no makefile found. Stop.
trying to create bitcode from '.' (when executable)
ERROR:File "." of type UNKNOWN cannot be used

I don't understand why did it happen ? I will be so happy if you want to explain it to me ?
Thank you very much