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

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

帮助

条数/页：排序方式：
	面向Android应用隐私泄露检测的多源污点分析技术期刊论文 OAI收割软件学报, 2019, 卷号: 30.0, 期号: 002, 页码: 211 作者: 王蕾; 周卿; 何冬杰; 李炼; 冯晓兵 \| 收藏 \| 浏览/下载：38/0 \| 提交时间：2023/12/04 程序分析污点分析软件安全静态分析 Android
	缺陷修复回归测试中失效测试的预测研究学位论文 OAI收割硕士, 北京: 中国科学院研究生院, 2016 唐新烨 \| 收藏 \| 浏览/下载：10/0 \| 提交时间：2016/06/04 回归测试源代码变更影响分析软件库挖掘静态程序分析
	基于样本程序和规则库的代码自动化检查工具学位论文 OAI收割硕士, 北京: 中国科学院研究生院, 2011 王致富 \| 收藏 \| 浏览/下载：14/0 \| 提交时间：2011/07/04 代码自动化检查+样本程序+衍生程序+行业应用软件+程序静态分析
	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收割计算机学报, 2008, 卷号: 31, 期号: 9, 页码: 1549-1553 张健 \| 收藏 \| 浏览/下载：21/0 \| 提交时间：2010/08/11 静态分析程序路径符号执行数据覆盖
	基于抽象解释的代码迷惑有效性比较框架期刊论文 OAI收割计算机学报, 2007, 卷号: 30, 期号: 5, 页码: 806-814 高鹰; 陈意云收藏 \| 浏览/下载：79/6 \| 提交时间：2011/07/01 抽象解释程序变换程序分析代码迷惑压平算法抽象解释代码迷惑有效性证明比较框架非语义算法实例描述静态分析变换技术保护软件应用剖析逆向环境程序Algorithms Computer software Mobile agents Program diagnostics Security of data Semantics Static analysis
	一种基于中间格式表示的可复用程序分析系统学位论文 OAI收割博士, 软件研究所: 中国科学院软件研究所, 2006 郑瑶海收藏 \| 浏览/下载：21/0 \| 提交时间：2011/03/17 中间表示控制流分析程序分析系统静态程序分析动态程序分析
	程序静态分析技术与工具期刊论文 OAI收割计算机科学, 2004, 卷号: 31, 期号: 2, 页码: 171-174 杨宇; 张健 \| 收藏 \| 浏览/下载：11/0 \| 提交时间：2010/08/11 程序正确性静态分析
	POPE:一个面向FORTRAN的程序设计环境期刊论文 OAI收割计算机研究与发展, 1995, 卷号: 32, 期号: 11, 页码: 44 作者: 杜子德 \| 收藏 \| 浏览/下载：2/0 \| 提交时间：2023/12/04 静态分析动态分析可视化程序设计环境调用图控制流图用户界面