登录
 机构网站
  1. 首页
  2. 馆藏纸本
  3. 图书详情
...

软件属性保障中的源代码静态分析技术研究
出版社：中国科学院
出版年：2009
作者：孟策
资源类型：图书
细分类型：中文文献,学位论文
1浏览量
 馆际互借
访问借阅管理系统
相关推荐
...

基于静态分析的Android软件漏洞挖掘与利用技术研究
  • 作者：方喆君
  • 出版年：2015
...

基于源代码静态分析的内存安全漏洞检测
  • 作者：高语晗
  • 出版社：中国科学院信息工程研究所
  • 出版年：2019
...

XSM的静态分析和验证技术研究
  • 作者：邓程
  • 出版社：中国科学院
  • 出版年：2012
...

安全编程 :代码静态分析
  • 作者：Chess
  • ISBN：9787111233213
  • 出版社：机械工业出版社
  • 出版年：2008
...

汇编代码到LLVM中间表示的静态转换技术研究
  • 作者：于丁
  • 出版社：中国科学院计算技术研究所
  • 出版年：2022
...

面向软件安全缺陷的静态代码分析及防御
  • 作者：罗宇翔
  • 出版社：中国科学院
  • 出版年：2007