电力信息与通信技术2019，Vol.17Issue(1)：127-132,6.
基于动态符号执行技术的代码安全检测模型研究
Research on Code Security Detection Model Based on Dynamic Symbol Execution Technology
CHEN Lijuan 1YU Jinlong1
作者信息
摘要
关键词
动态符号执行/代码安全缺陷分类/路径搜索/路径约束求解/代码安全检测分类
信息技术与安全科学引用本文复制引用
CHEN Lijuan,YU Jinlong..基于动态符号执行技术的代码安全检测模型研究[J].电力信息与通信技术,2019,17(1):127-132,6.
