机构

• 计算技术研究所 [3]
• 软件研究所 [3]
• 新疆理化技术研究所 [1]

采集方式

• OAI收割 [7]

内容类型

• 期刊论文 [6]
• 学位论文 [1]

发表日期

• 2015 [1]
• 2014 [1]
• 2013 [1]
• 2012 [1]
• 2010 [1]
• 2008 [1]
• 更多

学科主题

• Computer S... [1]

筛选

浏览/检索结果: 共7条，第1-7条 帮助 条数/页： 5101520253035404550556065707580859095100 排序方式： 请选择题名升序题名降序提交时间升序提交时间降序作者升序作者降序发表日期升序发表日期降序 一种多线程程序内存系统模拟器Trace驱动仿真方法 期刊论文  OAI收割 计算机研究与发展, 2015, 卷号: 52.0, 期号: 006, 页码: 1266 作者:  朱鹏飞;  卢天越;  陈明宇   |  收藏  |  浏览/下载：8/0  |  提交时间：2023/12/04 路径驱动仿真  精确度  内存系统  多线程程序  trace采集回放   一种场景敏感的高效错误检测方法 期刊论文  OAI收割 软件学报, 2014, 卷号: 25.0, 期号: 003, 页码: 472 作者:  衷璐洁;  霍玮;  李龙;  李丰;  冯晓兵   |  收藏  |  浏览/下载：3/0  |  提交时间：2023/12/04 定值-引用错误  路径敏感错误检测  错误目标触发场景  场景敏感  程序分析   基于整数溢出漏洞定位的软件安全测评方法研究 学位论文  OAI收割 硕士, 北京: 中国科学院研究生院, 2013 黄克振   |  收藏  |  浏览/下载：16/0  |  提交时间：2013/05/31 安全测评  整数溢出漏洞  动态污点分析  程序执行路径重构   基于路径覆盖插桩的可执行代码测试工具实现 期刊论文  OAI收割 计算机工程, 2012, 卷号: 38, 期号: 5, 页码: 35-37,40 作者:  王轶;  蒋同海;  董军;  周喜 收藏  |  浏览/下载：23/0  |  提交时间：2012/11/29 动态分析  单元测试  程序插桩  可执行代码  覆盖率分析  路径跟踪   基于延后策略的动态多路径分析方法 期刊论文  OAI收割 计算机学报, 2010, 卷号: 33, 期号: 3, 页码: 493-503 陈恺; 冯登国; 苏璞睿   |  收藏  |  浏览/下载：20/0  |  提交时间：2011/05/23 多路径分析  可执行程序  漏洞检测  动态分析  延后策略Dynamic analysis   精确的程序静态分析 期刊论文  OAI收割 计算机学报, 2008, 卷号: 31, 期号: 9, 页码: 1549-1553 张健   |  收藏  |  浏览/下载：19/0  |  提交时间：2010/08/11 静态分析  程序路径  符号执行  数据覆盖   动态内存错误的静态检测 期刊论文  OAI收割 计算机辅助设计与图形学学报, 2005, 卷号: 17, 期号: 3 作者:  张广梅;  李晓维   |  收藏  |  浏览/下载：9/0  |  提交时间：2010/11/23 动态内存错误  路径别名分析  稀疏控制流图  程序调用图