下载链接:
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即可成功。