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 a minimum JDK 11 JVM.

Note: If you want to run the SourceDirCallGraph driver, you must run on Java 17 minimum, as of WALA 1.6.4.

Installation

Clone the repository, and then run:

./gradlew compileJava

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

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.