相关文章

• 最坏执行时间分析中的时序异常问题
  2025, 62(4): 1033-1049. DOI: 10.7544/issn1000-1239.202331014
• 基于控制流和数据流分析的内存拷贝类函数识别技术
  2023, 60(2): 326-340. DOI: 10.7544/issn1000-1239.202110990
• Java指针分析综述
  2023, 60(2): 274-293. DOI: 10.7544/issn1000-1239.202220901
• 基于稀疏框架的静态污点分析优化技术
  2019, 56(3): 480-495. DOI: 10.7544/issn1000-1239.2019.20180071
• 基于域敏感指向分析的区间运算在软件测试中的应用
  2012, 49(9): 1852-1862.
• 一种基于代码静态分析的缓冲区溢出检测算法
  2012, 49(4): 839-845.
• 基于约束分析与模型检测的代码安全漏洞检测方法研究
  2011, 48(9): 1659-1666.
• 类Unix文件系统中TOCTTOU缺陷的静态分析方法
  2011, 48(8): 1430-1437.
• 通过静态分析逆向恢复面向对象程序中的用况
  2010, 47(12)
• 用于WCET静态分析的MIPS处理器建模方法研究
  2006, 43(10): 1828-1834.