-
题名语法分析方法研究评述及其应用
被引量：5
- 1
-
-
作者
王一宾
陈文莉
陈义仁
-
机构
安庆师范学院计算机与信息学院
-
出处
《计算机工程与设计》
CSCD
北大核心
2007年第13期3063-3065,共3页
-
基金
安徽省教育厅自然科学基金项目(2005KJ364zc)
安庆师范学院科研基金项目(K20300000019)
安庆师范学院教研基金项目(J04039)
-
文摘
语法分析作为编译过程中一个不可缺少的步骤,对其进行研究有着非常重要的意义。阐述了语法分析方法研究的现状,并对之进行了具体的分析和探讨,介绍了语法分析方法的各种应用,对语法分析方法进行了总结和展望。
-
关键词
自上而下分析
自下而上分析
LL分析
算符优先分析
LR分析
-
Keywords
top-down parsing
bottom-up parsing
LL parsing
operator-precedence parsing
LR parsing
-
分类号
TP314
[自动化与计算机技术—计算机软件与理论]
-
-
题名C/C++程序的静态安全分析
被引量：2
- 2
-
-
作者
张立勇
刘坚
陈平
-
机构
西安电子科技大学软件工程研究所
-
出处
《系统工程与电子技术》
EI
CSCD
北大核心
2008年第6期1155-1158,共4页
-
基金
"十一五"预先研究项目资助课题(51315060103)
-
文摘
针对C/C++程序中易出现的内存泄漏、缓冲区溢出、指针非法引用等安全漏洞,重点研究了基于函数依赖关系的自下而上全局分析与基于安全漏洞模式的控制流与数据流分析,提出了一种针对源代码的静态安全漏洞分析框架并构建了相应的静态安全漏洞分析工具原型。实验结果表明,该原型能够检测出C/C++程序中常见的安全漏洞。与同类型安全分析工具比较,具有支持全项目检查、可避免函数重复分析、安全规则可定制等优点。
-
关键词
C/C++程序
安全漏洞
自下而上分析
契约
-
Keywords
C/C＋ program
safety holes
bottom-up analysis
contract
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
-
题名分支语句重构算法的研究与应用
被引量：2
- 3
-
-
作者
赵会群
孙雨
-
机构
北方工业大学计算机学院
-
出处
《计算机工程与应用》
CSCD
北大核心
2018年第6期30-36,共7页
-
基金
国家自然科学基金(No.61070030
No.61370051)
-
文摘
由于条件分支语句的多重嵌套,导致代码的逻辑结构不清晰,可读性差,降低了生成基本路径集时划分基本块的效率。据此,提出一种代码自动化重构方法,该方法运用编译原理中语法分析的自下而上分析方法和归约思想,能够对嵌套的if-else条件语句实现自动化调整,实现代码结构的清晰化,更适用于生成基本路径集的工具,该方法提高了生成基本路径集的效率。而对于基于模型代数的基本路径集生成工具,改进了生成模型代数表达式的算法,并且能够准确地生成基本路径集。最后通过实验对案例进行对比,验证了重构方法及改进算法的有效性。
-
关键词
多重嵌套
自动化重构
自下而上分析
归约
模型代数表达式
-
Keywords
multiple nested
automated refactoring
bottom-up analysis
reduction
model algebraic expression
-
分类号
TP312
[自动化与计算机技术—计算机软件与理论]
-
