相关推荐

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

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

C程序的静态分析

  • 作者:许中兴
  • 出版社:中国科学院
  • 出版年:2009

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

  • 作者:马旭桐
  • 出版社:中国科学院软件研究所
  • 出版年:2024