c4eb253721
Before the model went by the wrong Name, it failed if no app-internal implementations of the targetType existed. Also tidied up the code. |
||
|---|---|---|
| com.ibm.wala-feature | ||
| com.ibm.wala-repository | ||
| com.ibm.wala.cast | ||
| com.ibm.wala.cast.java | ||
| com.ibm.wala.cast.java.jdt.test | ||
| com.ibm.wala.cast.java.polyglot | ||
| com.ibm.wala.cast.java.polyglot.test | ||
| com.ibm.wala.cast.java.test | ||
| com.ibm.wala.cast.java.test.data | ||
| com.ibm.wala.cast.js | ||
| com.ibm.wala.cast.js.html.nu_validator | ||
| com.ibm.wala.cast.js.rhino | ||
| com.ibm.wala.cast.js.rhino.test | ||
| com.ibm.wala.cast.js.test | ||
| com.ibm.wala.cast.js.test.data | ||
| com.ibm.wala.cast.test | ||
| com.ibm.wala.core | ||
| com.ibm.wala.core.testdata | ||
| com.ibm.wala.core.tests | ||
| com.ibm.wala.dalvik | ||
| com.ibm.wala.ide | ||
| com.ibm.wala.ide-feature | ||
| com.ibm.wala.ide.jdt | ||
| com.ibm.wala.ide.jdt.test | ||
| com.ibm.wala.ide.jsdt | ||
| com.ibm.wala.ide.jsdt.tests | ||
| com.ibm.wala.ide.tests | ||
| 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
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/msridhar/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.