近期，国防科技大学计算机学院在网络协议软件漏洞分析领域取得新进展。课题组针对现有程序分析技术难以发现网络协议软件中带有状态的关键变量，且自动化程度偏低的问题，提出了一种基于...