摘要
使用静态分析方法检测应用程序安全漏洞的基础是精确的上下文敏感别名分析信息。论文研究了一种基于数据库概念的Java语言上下文不敏感别名分析算法,并讨论了Reduced Ordered Binary Decision Diagrams(ROBDDs)在该算法实现上的应用,最后给出了上下文的克隆处理方法和整个上下文敏感别名分析的框架。
Detection of Security Vulnerabilities in Applications with Static Analysis requires precise context-sensitive alias analysis information. This paper has investigated a new approach, which is based on the concept of databases, for solving a context-sensitive alias analysis for Java using Reduced Ordered Binary Decision Diagrams （ROBDDs）. The cloning-based way of realizing context sensitivity and the framework of the context-sensitive alias algorithm are provided.
出处
《信息安全与通信保密》
2007年第5期141-142,145,共3页
Information Security and Communications Privacy
关键词
安全漏洞
静态分析
上下文敏感
克隆
简化二元判定图
security vulnerabilities
static analysis
context-sensitive
cloning-based
ordered binary decision diagrams
