DASCA
/
WALA
2
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

its about time for a readme, we are not the original wala repo

This commit is contained in:
Juergen Graf 2013-03-12 01:51:32 +01:00
parent 5a06c07ca7
commit 4f400a9fb5
1 changed files with 11 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

13
README.md
View File

@ -1,2 +1,11 @@
This is the main source repository for WALA. For more details on WALA, see <a
href="http://wala.sourceforge.net">the WALA home page</a>.
This is a fork of the program analysis framework WALA. The original framework can be found at <a href="http://wala.sourceforge.net">wala.sourceforge.net</a> and <a href="https://github.com/msridhar/WALA">github.com/msridhar/WALA</a>.
This version is tailored for the information flow control framework JOANA. See <a href="http://joana.ipd.kit.edu">joana.ipd.kit.edu</a> and <a href="https://github.com/jgf/joana">github.com/jgf/joana</a> 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 <a href="https://github.com/SCanDroid/SCanDroid">github.com/SCanDroid/SCanDroid</a>.
- configuration/property files are loaded from current directory, with an automatic fallback to load from .jar.
- SDG implemlementation that has different edge types for control and data dependencies.
- every SSAInstrution knows its index.
- many other minor changes.