文件名称：EBF：一种用于在IoT加密协议中查找软件漏洞的混合验证工具
文件大小：2.1MB
文件格式：ZIP
更新时间：2024-03-23 06:46:11
SWIG
脑电图 用于查找IoT加密协议中的软件漏洞的混合验证工具 EBF是一种结合了ESBMC“边界模型检查（BMC）”和AFL“模糊处理”技术的工具，可以验证和检测并发应用程序和IoT加密协议中的安全漏洞。 EBF使用自定义LLVM传递来测试被测程序，该传递跟踪活动线程并在指令后插入延迟功能。 系统要求： python v3 llvm铛10 要为ubuntu-18.04安装clang-10软件包： sudo apt-get install clang-tools-10 安装： 克隆EBF软件包，并确保正确满足系统要求。 支持工具： afl-2.52b（模糊算法） ESBMC v 6.4.0（用于初始种子生成） 怎么跑 首次运行该工具之前，请以root用户身份登录并临时修改为： sudo echo core >/proc/sys/kernel/core_pattern 要运行该工