选择性符号执行相关硕士博士期刊学术论文 - 信丰网

选择性符号执行相关论文

基于动态分析的反沙箱对抗技术

如今,每天都有大量新的恶意软件涌现,利用自动化分析系统进行恶意软件动态分析比以往更为需要。自动化分析通常在沙箱环境中运行样......

学位

沙箱逃逸路径探索选择性符号执行

符号执行的路径爆炸及约束求解问题研究

软件测试是确保软件质量的重要方法,基本的技术手段是利用不同的测试案例去执行被测程序,测试案例的选取密切地关系着软件测试的质......

学位

测试案例选择性符号执行路径搜索策略控制流图约束求解器

看过本文同时还关注