State Key Laboratory for Novel Software Technology, Nanjing University, Department of Computer Science and Technology, Nanjing University, Nanjing 210093;
rnState Key Laboratory for Novel Software Technology, Nanjing University, Department of Computer Science and Technology, Nanjing University, Nanjing 210093;
rnState Key Laboratory for Novel Software Technology, Nanjing University, Department of Computer Science and Technology, Nanjing University, Nanjing 210093;
rnCollege of Information Engineering, Yangzhou University, Yangzhou Jiangsu 225009, China;
rnCollege of Information Engineering, Yangzhou University, Yangzhou Jiangsu 225009, China;
rnState Key Laboratory for Novel Software Technology, Nanjing University, Department of Computer Science and Technology, Nanjing University, Nanjing 21009;
机译:Dytaint:针对x86二进制程序的新型轻量级三态动态污点分析框架的实现
机译:DYBS:一种轻量级动态切片框架,用于诊断对x86二进制程序的攻击
机译:DYBS:一种轻量级动态切片框架,用于诊断对x86二进制程序的攻击
机译:INTFINDER:在x86二进制程序中自动检测整数错误
机译:通过离散最优控制近似大规模二进制整数程序
机译:通过混合整数线性规划二进制单删除代码对二元删除码的巨大上限
机译:accmon:通过基于程序计数器的不变量自动检测与内存有关的错误