脑电图 用于查找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软