抽象执行相关硕士博士期刊学术论文 - 信丰网

抽象执行相关论文

静态检测多态溢出攻击代码的方法

设计并实现了一套静态检测多态溢出攻击代码的方法,首先应用抽象执行思想构造控制流图,使用符号执行方法并结合Taint分析来检测攻......

期刊

溢出攻击代码多态抽象执行符号执行无操作指令序列 exploit codepolymorphicabstract executionsymbolic ex

基于抽象解释理论的程序循环边界分析

随着计算机科学的快速发展和计算机技术广泛应用,计算机软件能否正确运行,成为人们关注的焦点。特别是在一些重要的应用领域,对程......

学位

程序依赖程序切片抽象域抽象执行循环边界分析

看过本文同时还关注