cbfca1df4e
Before the Intent would only have been set by calling .attach (if doBootSequence is enabled). Attach is only called when the modell is filled with instructions. This new variant calls setIntent when creating the wrapper for the model (getMethodAs). This is much better! |
||
|---|---|---|
| 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.