/WALA-start

a basic Gradle configuration to get started with WALA

Primary LanguageJavaEclipse Public License 1.0EPL-1.0

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

License

All code is available under the Eclipse Public License.