|
已选(0)清除
条数/页： 排序方式：
|
| 程序分析研究进展 期刊论文
软件学报, 2019, 卷号: 30
作者: 张健; 张超; 玄跻峰; 熊英飞; 王千祥
  收藏 | 浏览/下载：7/0 | 提交时间：2019/12/05
|
| 程序分析研究进展 期刊论文
软件学报, 2019, 期号: 01
作者: 张健; 张超; 玄跻峰; 熊英飞; 王千祥
收藏 | 浏览/下载：5/0 | 提交时间：2019/12/05
|
| 面向Android的恶意软件检测系统的设计与实现 学位论文
2016
作者: 彭帅
收藏 | 浏览/下载：1/0 | 提交时间：2019/11/26
|
| 基于程序不变量的软件错误定位方法研究 学位论文
2015
作者: 高伟
收藏 | 浏览/下载：1/0 | 提交时间：2019/12/02
|
| 基于依赖分析的C/C++源程序粗粒度半自动并行化技术研究 学位论文
2015
作者: 赵博
收藏 | 浏览/下载：1/0 | 提交时间：2019/12/02
|
| 存储过程相似性匹配及自动评估方法研究 学位论文
: 江苏大学, 2014
作者: 张亚芹[1]
收藏 | 浏览/下载：1/0 | 提交时间：2019/12/24
|
| 基于整数溢出漏洞定位的软件安全测评方法研究 学位论文
硕士, 北京: 中国科学院研究生院, 2013
黄克振
收藏 | 浏览/下载：13/0 | 提交时间：2013/05/31
|
| 基于路径覆盖插桩的可执行代码测试工具实现 期刊论文
计算机工程, 2012, 卷号: 38, 期号: 5, 页码: 35-37,40
作者: 王轶; 蒋同海 ; 董军; 周喜
收藏 | 浏览/下载：17/0 | 提交时间：2012/11/29
|
| 基于roBDD的细颗粒度动态污点分析 期刊论文
北京大学学报 自然科学版, 2011
王铁磊; 韦韬; 邹维
收藏 | 浏览/下载：2/0 | 提交时间：2015/11/11
|
| 基于延后策略的动态多路径分析方法 期刊论文
计算机学报, 2010, 卷号: 33, 期号: 3, 页码: 493-503
陈恺; 冯登国; 苏璞睿
收藏 | 浏览/下载：13/0 | 提交时间：2011/05/23
|
