结合模型检测和变异分析的协议实现的安全漏洞检测方法的中期报告

结合模型检测和变异分析的协议实现的安全漏洞检测方法的中期报告1、项目简介本项目旨在结合模型检测和变异分析的方法，设计一种协议实现的安全漏洞检测工具。该工具将通过生成模型、应用变异分析、基于模型检测和漏