中国科学院机构知识库网格系统: 检索

浏览/检索结果: 共8条，第1-8条

帮助

条数/页：排序方式：
	基于整数溢出漏洞定位的软件安全测评方法研究学位论文 OAI收割硕士, 北京: 中国科学院研究生院, 2013 黄克振 \| 收藏 \| 浏览/下载：21/0 \| 提交时间：2013/05/31 安全测评整数溢出漏洞动态污点分析程序执行路径重构
	基于路径覆盖插桩的可执行代码测试工具实现期刊论文 OAI收割计算机工程, 2012, 卷号: 38, 期号: 5, 页码: 35-37,40 作者: 王轶; 蒋同海; 董军; 周喜收藏 \| 浏览/下载：28/0 \| 提交时间：2012/11/29 动态分析单元测试程序插桩可执行代码覆盖率分析路径跟踪
	基于延后策略的动态多路径分析方法期刊论文 OAI收割计算机学报, 2010, 卷号: 33, 期号: 3, 页码: 493-503 陈恺; 冯登国; 苏璞睿 \| 收藏 \| 浏览/下载：25/0 \| 提交时间：2011/05/23 多路径分析可执行程序漏洞检测动态分析延后策略Dynamic analysis
	JUTA:一个Java自动化单元测试工具期刊论文 OAI收割计算机研究与发展, 2010, 卷号: 47, 期号: 10, 页码: 1840-1848 严俊; 郭涛; 阮辉; 玄跻峰 \| 收藏 \| 浏览/下载：45/0 \| 提交时间：2011/05/23 Java单元测试动态测试静态测试程序分析符号执行Automatic testing Data flow analysis Errors Java programming language Regression analysis Steel bridges
	一种基于中间格式表示的可复用程序分析系统学位论文 OAI收割博士, 软件研究所: 中国科学院软件研究所, 2006 郑瑶海收藏 \| 浏览/下载：21/0 \| 提交时间：2011/03/17 中间表示控制流分析程序分析系统静态程序分析动态程序分析
	基于Windows的多道脉冲幅度分析器的软件开发期刊论文 OAI收割核技术, 2005, 期号: 01 刘平,阮裕泉,浦世节收藏 \| 浏览/下载：21/0 \| 提交时间：2012/07/04 多道脉冲幅度分析器虚拟设备驱动程序程序设计动态连接库
	动态内存错误的静态检测期刊论文 OAI收割计算机辅助设计与图形学学报, 2005, 卷号: 17, 期号: 3 作者: 张广梅; 李晓维 \| 收藏 \| 浏览/下载：14/0 \| 提交时间：2010/11/23 动态内存错误路径别名分析稀疏控制流图程序调用图
	POPE:一个面向FORTRAN的程序设计环境期刊论文 OAI收割计算机研究与发展, 1995, 卷号: 32, 期号: 11, 页码: 44 作者: 杜子德 \| 收藏 \| 浏览/下载：2/0 \| 提交时间：2023/12/04 静态分析动态分析可视化程序设计环境调用图控制流图用户界面