信息安全研究2023，Vol.9Issue(4)：364-374,11.DOI:10.12379/j.issn.2096-1057.2023.04.08
关于二进制程序循环安全问题的研究
Research on Loop Security Problem in Binary Programs
摘要
关键词
循环安全/静态分析/符号执行/路径搜索/归纳函数分类
信息技术与安全科学引用本文复制引用
马金鑫..关于二进制程序循环安全问题的研究[J].信息安全研究,2023,9(4):364-374,11.基金项目
国家自然科学基金项目(61872386) （61872386）
