武器装备预研基金(51406070101DZ0151)
- 作品数：7 被引量：31H指数：4
- 相关作者：刘坚廉婷丽石峰李建平李健更多>>
- 相关机构：西安电子科技大学更多>>
- 发文基金：武器装备预研基金国防科技技术预先研究基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 与继承相关的C++程序错误模式被引量：2
- 2004年
- 分析了C++程序中与继承相关的错误模式,这些错误会引起程序的数据流异常和行为异常。给出了几种常见错误模式的表现形式,结合实例详细分析了这些错误模式的产生原因及特点,重点讨论了容易产生数据流异常的基类与派生类之间的状态一致性问题,得到错误模式的分类。最终达到使用错误模式指导程序分析,检测面向对象程序中的潜在异常,维护系统的安全的目的。
- 廉婷丽刘坚
- 关键词：C++程序数据流异常面向对象程序设计语言
- C/C++程序类型和计算顺序的安全分析与检查
- 2006年
- C/C++语言开发者追求的是语言的高效性、灵活性,为此在不同程度上忽略了语言的安全性。而且由于程序员能力上的不够或粗心大意,严重地威胁着软件的安全性。目前很多机构如NASA等对不同语言中存在的安全问题提供了相关信息,在此基础上对C/C++程序中存在的类型相关和计算顺序安全漏洞进行分析并提出检查方案,为开发安全性要求高的软件提供帮助。
- 赵文杰
- 关键词：安全性安全漏洞漏洞检测
- 流敏感的跨过程指针别名分析被引量：5
- 2004年
- 对指针别名及其表示方式进行了阐述。描述了跨过程指针别名分析的框架,通过在分析时创建PCG(程序调用图)来处理函数指针。研究了基于此框架的一个流敏感的跨过程指针别名分析算法,算法是跨过程阶段和过程内阶段交叉进行的。最后对算法进行了实例分析和验证。
- 李健刘坚
- 一种解析GCC抽象语法树的方法被引量：13
- 2004年
- 介绍了GCC抽象语法树的结构及在编译过程中的作用。给出解析抽象语法树所使用的词法规则和语法规则,提出了解析GCC抽象语法树的方法。
- 石峰刘坚
- 关键词：抽象语法树语法规则
- 与继承相关的C++程序错误模式被引量：1
- 2004年
- 文中分析了C++程序中与继承相关的错误模式,这些错误会引起程序的数据流异常和行为异常。给出了几种常见错误模式的表现形式,结合实例详细分析了这些错误模式的产生原因及特点,重点讨论了容易产生数据流异常的基类与派生类之间的状态一致性问题,得到错误模式的分类。最终达到使用错误模式指导程序分析,检测面向对象程序中的潜在异常,维护系统的安全的目的。
- 廉婷丽刘坚
- 关键词：面向对象程序数据流异常
- 静态检测缓冲区溢出漏洞被引量：6
- 2004年
- 缓冲区溢出漏洞是目前惟一最重要最常见的安全威胁。文中分析了防止缓冲区溢出攻击的运行时方法的不足。介绍了一种静态检测缓冲区溢出漏洞的方法及工具。给源代码添加注解,用注解辅助静态分析,用这种方法能够在软件交付使用前,检测出程序中潜在的安全漏洞。
- 李建平刘坚
- 关键词：缓冲区溢出安全漏洞注解SPLINT
- C++编译器前端对函数重载的设计研究被引量：4
- 2009年
- 针对标准C++语言中的函数重载机制,提出一种设计方法,解决编译器前端构建中重载函数的解析。文中首先阐述了重载的概念和解析的基本过程,其次讨论了语法分析器、文法产生式、符号表、抽象语法树四者在处理函数重载时的相互关系。最后详细介绍了重载函数的存储、名字解析、重载解析的方法。
- 贺康陈超刘坚
- 关键词：编译器符号表抽象语法树
