作者:陈莉娟; 喻金龙动态符号执行代码安全缺陷分类路径搜索路径约束求解代码安全检测
摘要:为了更高效地进行代码安全检测,文章基于动态符号执行技术,针对其存在的执行路径空间爆炸、高效约束求解开销以及程序设计语言兼容性这3个不足进行优化,并在此基础上提出了一种基于优化搜索策略动态符号执行的代码安全检测模型。该模型结合了当前主流的代码安全检测技术,提出了一种新型的安全缺陷分类方法,并优化了路径搜索策略,从而可以更加准确、高效地检测出代码中存在的安全问题。
注:因版权方要求,不能公开全文,如需全文,请咨询杂志社