-
题名基于SOFL规范的语义分析
被引量：1
- 1
-
-
作者
高正华
陈昊鹏
-
机构
上海交通大学软件学院
-
出处
《计算机应用与软件》
CSCD
北大核心
2007年第11期86-88,共3页
-
文摘
传统的形式化方法局限于严格的证明、对程序员要求较高的教育背景,使其举步维艰。于是作为形式化方法与面向对象的联姻的SOFL(Structured Object-Oriented Formal Language)便应运而生。在给出语义分析的整体算法后,逐步分析各个阶段遇到的关键问题并给出解决方法,同时在参考其他语言的基础上,定义了SOFL中一些语义规则。
-
关键词
抽象生成树(AST)
访问者模式
符号表
作用域
SOFL
类型检查
-
Keywords
Abstract syntax tree（AST）
Visitor pattern
Symbol table
Scope
SOFL
Type checking
-
分类号
TP311.52
[自动化与计算机技术—计算机软件与理论]
-
-
题名Android应用安全缺陷的静态分析技术研究
被引量：4
- 2
-
-
作者
陈璐
马媛媛
石聪聪
李尼格
李伟伟
-
机构
全球能源互联网研究院信息通信研究所
-
出处
《计算机工程与应用》
CSCD
北大核心
2018年第4期117-121,共5页
-
基金
国家电网公司科技项目(No.SGRIXTKJ[2015]349号)
-
文摘
随着移动互联网的快速发展,智能手机特别是Android智能手机的用户日益增多,Android应用的安全缺陷层出不穷。将Android应用安全缺陷分为漏洞缺陷、组件缺陷和配置缺陷等三方面,针对这些安全缺陷,对字节码文件进行静态分析,将解析的Android字节码作为检查载体,采用访问者模式为每一种脆弱性检测设计检测器。最后给出了部分代码实现,实践证明能够满足Android应用安全缺陷的静态检测需求。
-
关键词
ANDROID应用
静态分析
安全缺陷
安全漏洞
访问者模式
-
Keywords
Android application
static analysis
security flaws
security vulnerabilities
visitor pattern
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
