Open ucchiee opened 2 years ago
I inserted one line of code below to SpecTaint/decaf/hw/9pfs/virtio-9p.c
(ref: link):
#include <sys/sysmacros.h>
And then configure/build like this:
./configure --enable-force-execution --enable-tcg-taint --target-list=i386-softmmu
make
Now it seems that the build is done correctly.
I tried to configure/build SpecTaint (after some preparations in the DECAF wiki):
But the build process failed:
Can you somehow explain how to configure/build SpecTaint (and hopefully how to reproduce the result of benchmark...)??