葛瑶
- 作品数：3 被引量：33H指数：3
- 供职机构：中国科学院合肥物质科学研究院更多>>
- 发文基金：国家高技术研究发展计划更多>>
- 相关领域：自动化与计算机技术更多>>
- 基于红黑树的堆内存泄漏动态检测技术被引量：3
- 2008年
- 设计与实现一个轻量级的堆内存泄漏检测工具,针对使用C++编码的开源代码,通过重载new,delete运算符,动态跟踪程序在执行过程中堆内存块的分配释放情况,在程序运行结束时给出内存泄露的检测结果。实现时采用红黑树管理所分配的堆内存,理论推导和实验表明其具有较高的效率。
- 葛瑶李晓风孔德光
- 关键词：动态检测红黑树
- 基于．NET分布式系统的模式研究被引量：17
- 2008年
- 在分布式系统设计中,针对B/S和C/S架构在实际应用中的不足,提出了基于.NET框架N层架构模式。根据N层体系架构的特性,利用设计模式,针对数据访问层提出了服务提供者模式。该模式是一种能提高软件扩展性的设计模式,它的特性在于可以不必更改核心代码而改变核心功能。最后利用.NET反射技术结合工厂方法,通过实现模式得以实现,使其在数据访问方面具备了更好的扩展性。
- 葛瑶李晓风王辉
- 关键词：设计模式
- 基于污点分析的源代码脆弱性检测技术被引量：13
- 2009年
- 基于源代码的静态分析技术是检测软件脆弱性的一种重要手段.针对不可信数据输入导致软件脆弱性的问题,提出一种基于污点分析的脆弱性检测方法.通过跟踪程序参数、环境变量等各种外部输入,标记输入的类型,在构造控制流图基础上,利用数据流分析中的相关信息,污点传播至各类脆弱性函数,从而解决缓冲区溢出、格式化字符串等问题.利用控制流、数据流分析的相关信息,提高了准确率,降低了漏报率.实验表明,该技术是一种有效的脆弱性分析方法.
- 孔德光郑烇帅建梅陈超葛瑶
- 关键词：污点分析控制流数据流脆弱性
