LAVA-M测试集安装

下载链接：

https://panda.moyix.net/~moyix/lava_corpus.tar.xz

脚本中的'pwd'改为绝对路径，用于生成目录：

home/username/lava_corpus/LAVA-M/base64/coreutils-8.24-lava-safe

直接运行脚本文件，注意，如果显示插入了0个bug，可能是因为缺少了libacl，通过命令安装即可：

sudo apt-get install libacl1-dev

试了还是不行,取消自带脚本validate.sh里的错误屏蔽，通过错误输出定位到问题，需要修改源码，在coreutils-8.24-lava-safe目录下执行shell命令：

sed -i 's/IO_ftrylockfile/IO_EOF_SEEN/' lib/*.c
echo "#define _IO_IN_BACKUP 0x100" >> lib/stdio-impl.h

打开 lib/mountlist.c文件，添加头文件：

#include <sys/sysmacros.h>

再次执行validate.sh即可成功。