符号执行

堆缓冲区溢出论文-李超,胡建伟,崔艳鹏
导读:本文包含了堆缓冲区溢出论文开题报告文献综述及选题提纲参考文献，主要关键词:缓冲区溢出,符号执行,程序切片,自动化利用堆缓冲区溢出论文文献综述李超,胡建伟,崔艳鹏[1]（2...
源代码挖掘论文-孟庆坤
导读:本文包含了源代码挖掘论文开题报告文献综述及选题提纲参考文献，主要关键词:漏洞挖掘,软件安全,符号执行,导向模糊测试源代码挖掘论文文献综述孟庆坤[1]（2017）在《源代码...
硬件资源优化论文-卡纳阿尼尔（Anil,Kumar,Karna）
导读:本文包含了硬件资源优化论文开题报告文献综述及选题提纲参考文献，主要关键词:系统崩溃,程序分析,符号执行,模型检查硬件资源优化论文文献综述卡纳阿尼尔（Anil,Kumar,...
符号约束论文-邹权臣,吴润浦,马金鑫,王欣,辛伟
导读:本文包含了符号约束论文开题报告文献综述及选题提纲参考文献，主要关键词:符号执行,约束求解,性能优化,漏洞挖掘符号约束论文文献综述邹权臣,吴润浦,马金鑫,王欣,辛伟[1]（...
符号建模论文-何香凝,郭荣佐,黄君
导读:本文包含了符号建模论文开题报告文献综述及选题提纲参考文献，主要关键词:符号执行,家居网关,协议级,指令级符号建模论文文献综述何香凝,郭荣佐,黄君[1]（2019）在《基于...