Problems with testing lava-m #8
Description
I want to test lava-m using cofuzz. The server I am using is ubuntu 16.04, so I made a docker image of ubuntu 20.04 and tested it in docker.
I compiled the lava-m program following the instructions in the demo:
CC=wllvm LLVM_COMPILER=clang ./configure --prefix=`pwd`/lava-install LIBS="-lacl"
LLVM_COMPILER=clang make -j$(nproc)
extract-bc base64
Trace_CC=clang-10 Trace_CXX=clang++-10 trace/build/clang-trace base64.bc -o base64_trace
AFL_CC=clang AFL_CXX=clang++ fuzzer/afl-clang-fast base64.bc -o base64_afl
third_party/concolic/qsym/symcc base64.bc -o base64_cohuzz
Cofuzz worked fine when testing other programs. But while testing lava-m with cofuzz, it fails to generate any test cases.
Do you have any idea why this is happening? Looking forward to your reply.