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

XSM的静态分析和验证技术研究
出版社：中国科学院
出版年：2012
作者：邓程
资源类型：图书
细分类型：中文文献,学位论文
1浏览量
 馆际互借
访问借阅管理系统
相关推荐
...

软件属性保障中的源代码静态分析技术研究
  • 作者：孟策
  • 出版社：中国科学院
  • 出版年：2009
...

基于静态分析的Java Web应用越权漏洞检测技术研究
  • 作者：刘清越
  • 出版社：中国科学院信息工程斫究所,中国科学院信息工程研究所
  • 出版年：2023
...

基于静态污点分析的空间内存错误检测技术研究
  • 作者：赵晓柯
  • 出版年：2014
...

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

Android应用程序静态流敏感分析技术研究
  • 作者：李子锋
  • 出版年：2013
...

基于静态污点分析的固件脆弱性分析技术研究与实现
  • 作者：陈千
  • 出版年：2018