fuzztest

After cloning the repository update the submodules by running

git submodule update --init --recursive

Then follow these steps below to run an experiment.

1. Build Verilator

   cd $PROJECT_ROOT/verilator
   export VERILATOR_ROOT=$PWD
   autoconf && ./configure && make -j4

2. Building and test examples

• Build libprop first

  cd $PROJECT_ROOT/fuzztest/libprop
  mkdir build && cd build && cmake .. && make -j4

  • Building example aes_test

  cd $PROJECT_ROOT/fuzztest
  make aes_test

• Kernel config to run afl

  • Run sudo ./$PROJECT_ROOT/fuzztest/kernel-config.sh to setup system to run afl.

• Run test using run.sh script

  • ./run.sh ./aes_test [test-timeout]