您的位置： 专家智库 > >

翁子盛

作品数：3 被引量：2H指数：1
供职机构：国防科学技术大学更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 2篇学位论文
  • 1篇期刊文章

领域

  • 3篇自动化与计算...

主题

  • 1篇PHOENI...
  • 1篇C程序
  • 1篇C语言

机构

  • 3篇国防科学技术...

作者

  • 3篇翁子盛
  • 1篇林锦滨
  • 1篇王宝生

传媒

  • 1篇长江大学学报...

年份

  • 3篇2010
共 3 条 记 录，以下是 1-3
全选 清除 导出
排序方式：
基于符号执行的C语言单元测试研究与实现
翁子盛
文献传递网络资源链接
基于符号执行的C程序单元测试研究与实现
软件的安全性越来越受到业界的重视,本文从源代码的单元测试出发,研究如何通过单元测试来检测出代码中的潜在漏洞,提高代码的安全性。采用的是静态符号执行和约束求解的方法。在Phoenix的编译架构上,以Phoenix的IR为直...
翁子盛
关键词：PHOENIX
文献传递
程序符号执行中的数组分析被引量：1
2010年
符号执行中复杂结构语义的建模决定了其分析结果的精度。通过对符号执行中数组的几种特性分析,提出了基于Phoenix的IR的数组对象建模方法,采用该方法实现了一个单元测试工具CUTG。试验表明,该方法可以准确地解释复杂的数组对象,并自动产生测试例输入。
翁子盛王宝生林锦滨
全选 清除 导出
共1页<1>
聚类工具0