【IBM-WALA】Step by Step : use WALA to generate System Dependency Graph PDF and Dot File (Mac)

本文档详细介绍了如何通过WALA(一个静态分析框架)从GitHub上克隆项目并配置必要的环境,包括Eclipse IDE、Maven和Git等工具。接着通过具体步骤指导读者收集项目的依赖项并运行示例来生成系统依赖图。

摘要生成于 C知道 ,由 DeepSeek-R1 满血版支持, 前往体验 >

Preparations:

1. IDE : eclipse (my version is luna)

2. maven (my version is 3.5.0)

3. git

4. JAVA 1.7

 

Main Steps:

a. git clone WALA from GitHub : 

b. collect dependency (.class)

c. run the example

 

Follows are the steps to generate System Dependency Graph by WALA : 

a. git clone WALA from GitHub : 

1. create a folder named “WALA_Test”, for me, its path is /Users/xubowen/Downloads/WALA_Test

2. open terminal, cd to the direction and execute git clone https://github.com/wala/WALA.git

NewImage

NewImage

3.import project to eclipse, you will see some errors. It’s ok, just skip it. We will fix it later.

NewImage

Then, based on the https://github.com/wala/WALA/wiki/Getting-Started, we need to do some configurations for WALA:

NewImage

From http://wala.sourceforge.net/wiki/index.php/UserGuide:Getting_Started, we can know how to configure the path of Wala.properties:

NewImage

NewImage

And configure the proper path of pdfview_exe and dot_ext, since sometimes the default settings are not correct.

 NewImage

b. collect dependency

You will notice that the project without bin folder, such as com.ibm.wala.core

NewImage

1.check the stable version of WALA : 

NewImage

final, you will see :

NewImage

After it, you will see a bin folder in the project : 

NewImage

NewImage

 

c. run the example 

1.check launcher : PDFSDG.launch

 NewImage

NewImage

 NewImage

check out the output sdg.pdf:

NewImage

check it out : http://files.cnblogs.com/files/XBWer/sdg.pdf

check out the output dot file:

NewImage

NewImage

 

That’s all.

You can also run some other launchers to generate what you want.

 

评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

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

抵扣说明:

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

余额充值