C/C++程序新型内存操作缺陷的高效静态检测

出版社:中国科学院软件研究所
出版年:2024
作者:马旭桐
资源类型:图书
细分类型:学位论文
相关推荐

浮点数程序静态分析与缺陷检测

  • 作者:吴兴明
  • 出版年:2018

C程序静态分析与错误检测

  • 作者:许振波
  • 出版年:2015

静态缺陷检测优化方法

  • 作者:李广威
  • 出版社:中国科学院计算技术研究所
  • 出版年:2022

C/C++程序缺陷与优化

  • 作者:于秀山
  • ISBN:9787121226328
  • 出版社:电子工业出版社
  • 出版年:2014

基于内存操作摘要表征的内存破坏缺陷检测研究

  • 作者:吕云龙
  • 出版社:中国科学技术大学
  • 出版年:2022