编译WALA

最新推荐文章于 2022-03-17 21:00:24 发布
最新推荐文章于 2022-03-17 21:00:24 发布
阅读量1.6k 收藏
点赞数
分类专栏： Android Security
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
本文链接：https://blog.csdn.net/majestyhao/article/details/50535948
版权

刚编译WALA时差点被恶心到。由于贡献者鱼龙混杂，特别是android支持那块，有些dep写的很屎。怎么能犯这么低级的错误。。。

提两点，

1. 在wala\com.ibm.wala.cast\lib下补commons-io-2.4.jar；

2. 在com.ibm.wala.dalvik\lib下补commons-io-2.4.jar和dexlib-1.3.4.jar。


目前就这样。

参考: http://www.jianshu.com/p/bcc5893e53a2

翾昱
关注
  • 0
    点赞
  • 踩
  • 0
    收藏
    觉得还不错? 一键收藏
  • 3
    评论
专栏目录
java8rt.jar源码-WALA-improve:学习WALA和静态代码分析。本项目介绍所需知识和学习路线图
06-04
java8 rt.jar源码 WALA-improve 学习wala和静态代码分析,以及涉及到的一些概念。 Study WALA and static code analysis . This project introduces the required knowledge and study roadmap. 数据流分析技术 (Data Flow Analysis) 数据流分析是一种程序静态分析技术,它能从程序代码中收集程序的语义信息,并通过代数的方法确定变量的定义和使用。通过数据流分析,可以不必实际运行程序就能 够发现程序运行行为方面的特性,这样可以帮助人们理解程序。数据流分析被广泛用于解决编译优化、程序验证、理解、分片、调试、测试以及并行化等问题。 程序静 态数据流分析是程序测试所采用的一种重要手段。借助于程序静态分析工具,能更直接地暴露和定位程序中的错误。数据流分析作为一种非常重要的程序静态分析技术, 能够在保证软件质量与可靠性方面起到重要的作用. 静态代码分析 (Static code Analysis) 静态代码分析是指在不运行代码的方式下，通过词法分析、语法分析、控制流
WALA使用指南1
08-03
资料来源github仓库：https://github.com/wala/WALA旧版Wiki：http://wala.sourceforge.net/wiki
WALA框架安装——静态程序切片工具(小白也能上手)
斜照却相迎的博客
12-08 3342
文章目录WALA安装与基础使用ReferenceWALA简介WALA导入方法一 通过pom.xml文件导入方法二 从maven库中下载jar包WALA使用配置文件配件文件示例`exclusions.txt``scope.txt``wala.properties`WALA基础使用生成分析域生成类层次确定进入点构建调用图WALA使用实例 WALA安装与基础使用 前段时间由于课程需要，用到了WALA框架。但苦于网上资料较少，学习过程比较曲折。故打算写一篇文章，希望能帮助大家入门~ Reference WALA的g
WALA 使用与原理学习笔记
weixin_47195879的博客
03-09 1414
GitHub - wala/WALA: T.J. Watson Libraries for Analysis, with frontends for Java, Android, and JavaScript, and may common static program analysesT.J. Watson Libraries for Analysis, with frontends for Java, Android, and JavaScript, and may common static prog
WALA使用笔记（7）- 调用图
weixin_47195879的博客
03-17 1278
调用图是表示潜在的上下文敏感的调用图，通过方法的逻辑克隆构建。每个调用图节点CGNode都表示在上下文中的方法IMethod. 可以使用CallGraph.getNodes(MethodReference m)来获取方法对应的节点。 WALA支持一系列的高速算法，与流不敏感的指针分析集成。WALA还可以通过快速类型分析来构建调用图，但是使用并不好。 接下来将探究调用图的构建方法：CallGraphTestUtil (com.ibm.wala 1.5.8-SNAPSHOT API)https://wal
WALA使用笔记（1）
weixin_47195879的博客
03-15 1738
WALA作为切片工具，具有例如构建函数调用图、切片等多种功能，但是对于新手来说，轻易上手较为困难。最近，我也刚刚接触WALA，希望能在这里写一系列的笔记，能够帮助像我一样的新手入门WALA。 第一部分：介绍WALA 根据wala中的介绍，wala是用于静态和动态程序分析的Java库。具有鲁棒性、高效和可扩展等优点。 在静态分析中的特点有：结合指向分析和函数调用图构造；过程间数据流分析；上下文敏感切片等。 这些介绍在其他博客或者官网中都比较多，这里不再赘述。本系列文章着重于WALA的使用。 第二部分
wala-code-4607-trunk.zip
10-20
4. **构建脚本**：如Ant或Gradle脚本，用于编译和打包WALA项目。这些脚本通常会指导我们如何设置环境变量，以及如何从源码构建可执行的分析工具。 5. **库和依赖**：WALA可能会依赖于其他开源库，这些库通常会被...
PLDI_WALA_Tutorial.zip_java
09-21
WALA的设计使得分析可以在不完全编译的情况下进行，这对于大型项目或者无法获取源码的二进制代码分析尤其有用。 教程中的"PLDI_WALA_Tutorial.pdf"可能涵盖以下内容： 1. **基础概念**：首先，教程会介绍WALA的...
使用ASTER（DEM）和GIS进行约旦南部Wadi Wala流域的形态计量学评估
06-05
使用ASTER DEM数据编译坡度，高程和长宽图。 Arc GIS软件用于测量和计算基本，派生和形状形态参数。 W. Wala被发现为六阶流域，流域的格局在集水区的中部和下部为网格至亚网格，而在南部和北部则为树突至亚树突。 ...
WalaSmsDetective:安卓短信恶意软件检测工具
07-04
2. **APK反编译**：工具将APK文件解包并反编译成Dalvik字节码（DEX文件），以便进行进一步的静态分析。 3. **WALA分析**：使用WALA工具集生成调用图和数据依赖图，对应用的行为进行建模。 4. **恶意行为检测**：基于...
soot的一些例子
11-14
soot 官方文档中提到的一些例子，有callgrap,control flow grap等。
论文研究-Android平台应用隐私泄露检测与评估技术 .pdf
08-17
Android平台应用隐私泄露检测与评估技术，王斌，李晖，Android手机近年来快速发展,用户可方便地使用各类型应用。然而,应用在使用过程中会产生大量隐私数据,同时隐私泄露已成为Android平台严�
WALA之源代码生成调用关系图
xiexie1357的专栏
03-21 2812
步骤1 取下wala项目1.5.0源码，按照说明导入eclipse项目中（用gradle wrapper），执行后处理后，按照另一边博文说明修改build.gradle进行处理。然后可以编译通过。 步骤2 支持横向剪切调用关系图，就是保留自有方法调用自有方法，自有方法调用核心方法（jdk方法），去掉核心方法调用核心方法去掉。wala已经实现的剪切是按照lib库裁剪，比如将java/lang/*都...
WALA安装和简单使用
立月尽黄昏的博客
12-12 1万+
WALA是IBM公司于2006年开源，目前可以从github上获取源码，编译，使用，但是在国内，编译WALA可能会被qiang，所以，直接使用maven仓库中已经编译好的WALA二进制包是最为方便的。WALA核心功能：Java的系统类型和类的层次结构分析源语言框架支持java和javascript过程间数据流分析（RHS的求解器）基于上下文敏感的切片指针分析与调用图构造基于SSA的寄存器转换语言I
WALA使用笔记（3）- 命名Java
weixin_47195879的博客
03-17 717
WALA 命名实体
WALA使用笔记（2）- 生成函数调用图
weixin_47195879的博客
03-15 821
承接上一篇，这里生成函数调用图： import com.ibm.wala.classLoader.IClass; import com.ibm.wala.classLoader.Language; import com.ibm.wala.core.tests.callGraph.CallGraphTestUtil; import com.ibm.wala.core.util.config.AnalysisScopeReader; import com.ibm.wala.core.util.io.File
WALA之遍历源码所有入口
xiexie1357的专栏
03-22 651
步骤1：参考jar包生成所有入口的方法，创建一个独立的类用于处理源码的入口 /com.ibm.wala.cast.java/src/com/ibm/wala/cast/java/ipa/callgraph/AllSourceEntryPoints.java /** * Includes all source methods in an analysis scope as entrypoin...
java程序静态切片,WALA---Java程序静态切片技术
weixin_32391045的博客
03-16 697
上一次，我们讲述了如何使用wala对类进行最简单的分析，这次将使用wala工具，进行静态切片分析。如果对切片不是很熟悉，可以直接搜索 程序切片，有很多关于切片技术的讲解，这里不在讲述。步入主题：首先，在上一次ClassHierarchy cha的基础上，需要构建入口点，分析选项，反射机制，如下所示：Iterableentrypoints =Util.makeMainEntrypoints(scop...
Soot I: 基本了解
热门推荐
翾昱
02-13 1万+
Static analysis指在不对program进行运行的情况下，对其行为进行分析。搞compiler的人用之于优化，搞安全的用于做taint analysis。对于Java有两大开源的static analysis 框架，Soot和WALA，前者由McGill大学维护，后者是IBM。最新的Soot开始支持对Andoird 代码分析，包括static taint analysis。 从这篇开
wala工具如何使用
最新发布
01-14
wala工具是一种用于帮助分析网络和应用程序性能的工具，它可以帮助用户分析各种网络问题，包括延迟、丢包和其他网络瓶颈。要使用wala工具，首先需要安装它在你的计算机上。安装完成后，打开wala工具并输入你想要分析...
评论 3
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

当前余额3.43元 前往充值 >
需支付：10.00元
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付元
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明：

1.余额是钱包充值的虚拟货币，按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载，可以购买VIP、付费专栏及课程。

余额充值