踩坑日记
1.SVF处理不了debug版本的kernel
2.使用syzkaller fuzz内核时,kernel必须加上一些选项
# Coverage collection.
CONFIG_KCOV=y //kcov是用于随机测试中合适表达代码覆盖率的一种工具。
# Debug info for symbolization.
CONFIG_DEBUG_INFO=y
# Memory bug detector
CONFIG_KASAN=y //KASAN 是 Kernel Address Sanitizer 的缩写,它是一个动态检测内存错误的工具,主要功能是检查内存越界访问和使用已释放的内存等问题。
CONFIG_KASAN_INLINE=y
# Required for Debian Stretch
CONFIG_CONFIGFS_FS=y //为用户空间提供访问配置内核驱动的configfs文件系统
CONFIG_SECURITYFS=y //SecurityFS是用于安全内核模块的内存中的虚拟文件系统。内核安全模块将它们的策略和其他数据放置在这里。
3.在kernel的.config文件中直接修改添加上述选项时,必须去掉#XXX is not set那一行信息