Fork of WALA's repository, the original is at:
Java JavaScript HTML C++ C Makefile
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Failed to load latest commit information.
com.ibm.wala-feature
com.ibm.wala-repository
com.ibm.wala.cast.java.jdt.test
com.ibm.wala.cast.java.polyglot.test
com.ibm.wala.cast.java.polyglot
com.ibm.wala.cast.java.test.data fixes to regression tests: Mar 24, 2015
com.ibm.wala.cast.java.test
com.ibm.wala.cast.java changes for hybrid analysis Apr 5, 2015
com.ibm.wala.cast.js.html.nu_validator
com.ibm.wala.cast.js.rhino.test
com.ibm.wala.cast.js.rhino
com.ibm.wala.cast.js.test.data
com.ibm.wala.cast.js.test newer junit Apr 6, 2015
com.ibm.wala.cast.js
com.ibm.wala.cast.test
com.ibm.wala.cast
com.ibm.wala.core.testdata
com.ibm.wala.core.tests
com.ibm.wala.core
com.ibm.wala.dalvik.test
com.ibm.wala.dalvik
com.ibm.wala.ide-feature
com.ibm.wala.ide.jdt.test
com.ibm.wala.ide.jdt
com.ibm.wala.ide.jsdt.tests
com.ibm.wala.ide.jsdt
com.ibm.wala.ide.tests
com.ibm.wala.ide
com.ibm.wala.scandroid
com.ibm.wala.shrike
com.ibm.wala.tests-feature
com.ibm.wala.tests.ide-feature
com.ibm.wala.util
targets
.gitignore
.travis.yml
README.md
pom.xml

README.md

Please note:

This fork of WALA is only present due to legacy reasons! Most of the features mentioned below have already been integrated into the main WALA repository or will be integrated soon. JOANA uses a new fork now (which is really a fork)!

About WALA

This is a fork of the program analysis framework WALA. The original framework can be found at wala.sourceforge.net and github.com/wala/WALA.

This version is tailored for the information flow control framework JOANA. See joana.ipd.kit.edu and github.com/jgf/joana for details.

This fork includes some additional features:

  • null-pointer detection that removes spurious CFG edges.
  • it includes the code for a dalivk bytecode frontend copied and integrated from github.com/SCanDroid/SCanDroid.
  • configuration/property files are loaded from current directory, with an automatic fallback to load from .jar.
  • SDG implementation that has different edge types for control and data dependencies.
  • every SSAInstrution knows its index.
  • many other minor changes.