Fork of the T.J. Watson Libraries for Analysis used by DASCA.
You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
 
 
 
 
 
Achim D. Brucker b3ac9e29ba Marked development version 2 years ago
.idea Tweaks and instructions for WALA as an IntelliJ IDEA project 2 years ago
buildSrc Rework Kawa download and build tasks to be more Gradle'y 2 years ago
com.ibm.wala-repository Start new development version 2 years ago
com.ibm.wala.cast Moved resource declaration into try-statement. 2 years ago
com.ibm.wala.cast.java Impl of IMethod.is(Wala)Synthetic and IClass.isSynthetic (#359) 2 years ago
com.ibm.wala.cast.java.ecj 1) a bit more source mappimg information 2 years ago
com.ibm.wala.cast.java.test 1) a bit more source mappimg information 2 years ago
com.ibm.wala.cast.java.test.data Start new development version 2 years ago
com.ibm.wala.cast.js support for method argument default values 2 years ago
com.ibm.wala.cast.js.html.nu_validator 1) a bit more source mappimg information 2 years ago
com.ibm.wala.cast.js.nodejs 1) a bit more source mappimg information 2 years ago
com.ibm.wala.cast.js.nodejs.test 1) a bit more source mappimg information 2 years ago
com.ibm.wala.cast.js.rhino 1) a bit more source mappimg information 2 years ago
com.ibm.wala.cast.js.rhino.test 1) a bit more source mappimg information 2 years ago
com.ibm.wala.cast.js.test 1) a bit more source mappimg information 2 years ago
com.ibm.wala.cast.js.test.data 1) a bit more source mappimg information 2 years ago
com.ibm.wala.cast.test 1) a bit more source mappimg information 2 years ago
com.ibm.wala.core fix for forName selector: use the CHA in getRelevantParameters to resolve 2 years ago
com.ibm.wala.core.testdata 1) a bit more source mappimg information 2 years ago
com.ibm.wala.core.tests more talking 2 years ago
com.ibm.wala.dalvik Manual merge. 2 years ago
com.ibm.wala.dalvik.test 1) a bit more source mappimg information 2 years ago
com.ibm.wala.ide 1) a bit more source mappimg information 2 years ago
com.ibm.wala.ide.jdt Start new development version 2 years ago
com.ibm.wala.ide.jdt.test Start new development version 2 years ago
com.ibm.wala.ide.jsdt Start new development version 2 years ago
com.ibm.wala.ide.jsdt.tests Start new development version 2 years ago
com.ibm.wala.ide.tests 1) a bit more source mappimg information 2 years ago
com.ibm.wala.ide_feature Start new development version 2 years ago
com.ibm.wala.scandroid 1) a bit more source mappimg information 2 years ago
com.ibm.wala.shrike Impl of IMethod.is(Wala)Synthetic and IClass.isSynthetic (#359) 2 years ago
com.ibm.wala.tests.ide_feature Start new development version 2 years ago
com.ibm.wala.tests_feature Start new development version 2 years ago
com.ibm.wala.util 1) a bit more source mappimg information 2 years ago
com.ibm.wala_feature Start new development version 2 years ago
gradle/wrapper Update Gradle wrapper to release 4.9 2 years ago
targets Start new development version 2 years ago
travis Have Travis CI periodically try to build each subproject separately 2 years ago
.dir-locals.el Many improvements to Gradle build support, including within Eclipse 2 years ago
.gitignore Anchor many ignore patterns that only apply at the topmost level 2 years ago
.travis.yml fix more osx builds 2 years ago
After Importing WALA Into Eclipse.launch Generalize post-import Eclipse run configuration for more fixups 2 years ago
LICENSE Create LICENSE 2 years ago
README-Gradle.md Tweaks and instructions for WALA as an IntelliJ IDEA project 2 years ago
README.md Updated versioning schema. 2 years ago
appveyor.yml.disabled disable appveyor for now 3 years ago
build-maven-jars.py fix script for python 3 2 years ago
build.gradle Marked development version 2 years ago
change-version.py Update change-version.py to handle build.gradle, and clean it up 2 years ago
dependent-projects-trigger.sh build ML projects 2 years ago
gradle.properties Enable both parallel builds and build output caching by default 2 years ago
gradlew Support the gradlew build 2 years ago
gradlew.bat Support the gradlew build 2 years ago
pom.xml Start new development version 2 years ago
revert-launchers.sh Generalize post-import Eclipse run configuration for more fixups 2 years ago
settings.gradle Turn off a Gradle warning about Gradle 5.0 incompatibility 2 years ago
upload-javascript.sh quiet 3 years 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