bqcuong/WALA-start

a basic Gradle configuration to get started with WALA

WALA Starter Kit

Introduction

This is a small example project to help in getting started with the WALA program analysis framework. You can clone and build this project to get WALA installed, and then modify it to suit your own needs.

Requirements

Requirements are:

• Java 11

Installation

Clone the repository, and then run:

./gradlew compileJava

This will pull in the WALA jars and build the sample code.

Perform dataflow analysis for the code in example directory

./gradlew -PmainClass=com.ibm.wala.examples.drivers.CSReachingDefsDriver run --args="-scopeFile ./example/scope.txt -mainClass LFoo"

Example analyses

• Variants of a simple dataflow analysis, including an example driver
• Simple driver for building a call graph from a scope file
• SourceDirCallGraph Driver for constructing a call graph from a directory of source code.
• See the drivers folder for other examples.

License

All code is available under the Eclipse Public License.