Fork of the T.J. Watson Libraries for Analysis used by DASCA.
Achim D. Brucker b3ac9e29ba Marked development version 3 weeks ago
.idea Tweaks and instructions for WALA as an IntelliJ IDEA project 4 months ago
buildSrc Rework Kawa download and build tasks to be more Gradle'y 3 months ago
com.ibm.wala-repository Start new development version 3 months ago
com.ibm.wala.cast Moved resource declaration into try-statement. 1 month ago
com.ibm.wala.cast.java Impl of IMethod.is(Wala)Synthetic and IClass.isSynthetic (#359) 1 month ago
com.ibm.wala.cast.java.ecj 1) a bit more source mappimg information 2) fixes to how Contexts are combined 1 month ago
com.ibm.wala.cast.java.test 1) a bit more source mappimg information 2) fixes to how Contexts are combined 1 month ago
com.ibm.wala.cast.java.test.data Start new development version 3 months ago
com.ibm.wala.cast.js support for method argument default values 1 month ago
com.ibm.wala.cast.js.html.nu_validator 1) a bit more source mappimg information 2) fixes to how Contexts are combined 1 month ago
com.ibm.wala.cast.js.nodejs 1) a bit more source mappimg information 2) fixes to how Contexts are combined 1 month ago
com.ibm.wala.cast.js.nodejs.test 1) a bit more source mappimg information 2) fixes to how Contexts are combined 1 month ago
com.ibm.wala.cast.js.rhino 1) a bit more source mappimg information 2) fixes to how Contexts are combined 1 month ago
com.ibm.wala.cast.js.rhino.test 1) a bit more source mappimg information 2) fixes to how Contexts are combined 1 month ago
com.ibm.wala.cast.js.test 1) a bit more source mappimg information 2) fixes to how Contexts are combined 1 month ago
com.ibm.wala.cast.js.test.data 1) a bit more source mappimg information 2) fixes to how Contexts are combined 1 month ago
com.ibm.wala.cast.test 1) a bit more source mappimg information 2) fixes to how Contexts are combined 1 month ago
com.ibm.wala.core fix for forName selector: use the CHA in getRelevantParameters to resolve the declared target of the call site. This is needed to make sure forName targets loaded with the Application loader get resolved to point to the real metod reference for forName. 1 month ago
com.ibm.wala.core.testdata 1) a bit more source mappimg information 2) fixes to how Contexts are combined 1 month ago
com.ibm.wala.core.tests more talking 1 month ago
com.ibm.wala.dalvik Manual merge. 1 month ago
com.ibm.wala.dalvik.test 1) a bit more source mappimg information 2) fixes to how Contexts are combined 1 month ago
com.ibm.wala.ide 1) a bit more source mappimg information 2) fixes to how Contexts are combined 1 month ago
com.ibm.wala.ide.jdt Start new development version 3 months ago
com.ibm.wala.ide.jdt.test Start new development version 3 months ago
com.ibm.wala.ide.jsdt Start new development version 3 months ago
com.ibm.wala.ide.jsdt.tests Start new development version 3 months ago
com.ibm.wala.ide.tests 1) a bit more source mappimg information 2) fixes to how Contexts are combined 1 month ago
com.ibm.wala.ide_feature Start new development version 3 months ago
com.ibm.wala.scandroid 1) a bit more source mappimg information 2) fixes to how Contexts are combined 1 month ago
com.ibm.wala.shrike Impl of IMethod.is(Wala)Synthetic and IClass.isSynthetic (#359) 1 month ago
com.ibm.wala.tests.ide_feature Start new development version 3 months ago
com.ibm.wala.tests_feature Start new development version 3 months ago
com.ibm.wala.util 1) a bit more source mappimg information 2) fixes to how Contexts are combined 1 month ago
com.ibm.wala_feature Start new development version 3 months ago
gradle/wrapper Update Gradle wrapper to release 4.9 4 months ago
targets Start new development version 3 months ago
travis Have Travis CI periodically try to build each subproject separately 4 months ago
.dir-locals.el Many improvements to Gradle build support, including within Eclipse 7 months ago
.gitignore Anchor many ignore patterns that only apply at the topmost level 5 months ago
.travis.yml fix more osx builds 3 months ago
After Importing WALA Into Eclipse.launch Generalize post-import Eclipse run configuration for more fixups 7 months ago
LICENSE Create LICENSE 8 months ago
README-Gradle.md Tweaks and instructions for WALA as an IntelliJ IDEA project 4 months ago
README.md Updated versioning schema. 3 weeks ago
appveyor.yml.disabled disable appveyor for now 1 year ago
build-maven-jars.py fix script for python 3 4 months ago
build.gradle Marked development version 3 weeks ago
change-version.py Update change-version.py to handle build.gradle, and clean it up 3 months ago
dependent-projects-trigger.sh build ML projects 7 months ago
gradle.properties Enable both parallel builds and build output caching by default 7 months ago
gradlew Support the gradlew build 7 months ago
gradlew.bat Support the gradlew build 7 months ago
pom.xml Start new development version 3 months ago
revert-launchers.sh Generalize post-import Eclipse run configuration for more fixups 7 months ago
settings.gradle Turn off a Gradle warning about Gradle 5.0 incompatibility 4 months ago
upload-javascript.sh quiet 1 year ago

README.md

WALA for DASCA

This is a fork of WALA, tracking minor bug-fixes and enhancements required for DASCA.

Integrating Updates from Upstream

After cloning the repostistory, you need to manually configure the upstream URL of the remote fork:

git remote add upstream https://github.com/wala/WALA.git

The default steps for merging with upstream are:

  git fetch upstream
  git checkout master
  git merge upstream/master

Building Artifacts

This fork uses the gradle setup of the WALA build system. Thus, for details, please consult the instructions in the file README-Gradle. In general, for rebuilding all WALA artifacts, use:

./gradlew clean assemble

Publishing Artifacts

Configuration

For publishing artifacts, you need to configure the username and password required for uploading to the remote artifacts repository, i.e., you need to add the following properties to your GRADLE_USER_HOME/gradle.properties (default: $HOME/.gradle/gradle.properties) file:

comLogicalhackingArtifactsUser=<USER>
comLogicalhackingArtifactsPassword=<PASSWORD>

Preparation

Before publishing new artifacts to the artifacts repository, please update the version identifier in the file build.gradle by removing the SNAPSHOT postfix and updating the <WALAVERSION> identifier.

version '<WALAVERSION>.[R|S].DASCA.<DASCAVERSION>'

with the version that should be published. Next, commit your changes and tag the new version:

git commit -m "Preparing release of version <VERSION>." build.gradle
git tag -s "<VERSION>" -m "Tagging version <VERSION>."

Finally, mark the development version by appending -SNAPSHOT

version '<WALAVERSION>.[R|S].DASCA.<DASCAVERSION>-SNAPSHOT'

and commit your changes:

git commit -m "Marked development version" build.gradle

Uploading Artifacts

Publishing artifacts is as easy as calling

./gradlew publish