相关推荐

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

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

C程序的静态分析

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

基于静态分析的Java Web应用越权漏洞检测技术研究

  • 作者:刘清越
  • 出版社:中国科学院信息工程斫究所,中国科学院信息工程研究所
  • 出版年:2023