软件工程
立月尽黄昏
这个作者很懒,什么都没留下…
展开
-
WALA---Java程序静态切片技术(二)
上一篇博客中已经把基础的WALA切片方法讲述,本篇博客将基于上一篇做进一步的讲解。上一篇中提到,使用util类构建call graph,util类下不同函数构建call graph的精确度不同,导致构建call graph时间不同,按精确度来说是N构建SDG图时(这里控制流和数据流值的选择会影响之后切片结果的精细度),可用的数据流项: FULL:跟踪所有的数据依赖 NO_BASE_原创 2018-01-18 14:54:37 · 2962 阅读 · 0 评论 -
WALA安装和简单使用
WALA是IBM公司于2006年开源,目前可以从github上获取源码,编译,使用,但是在国内,编译WALA可能会被qiang,所以,直接使用maven仓库中已经编译好的WALA二进制包是最为方便的。WALA核心功能:Java的系统类型和类的层次结构分析源语言框架支持java和javascript过程间数据流分析(RHS的求解器)基于上下文敏感的切片指针分析与调用图构造基于SSA的寄存器转换语言I原创 2017-12-12 11:02:29 · 10151 阅读 · 5 评论