From 4f400a9fb5e7efe331aff913e4fa772149bc4e22 Mon Sep 17 00:00:00 2001 From: Juergen Graf Date: Tue, 12 Mar 2013 01:51:32 +0100 Subject: [PATCH] its about time for a readme, we are not the original wala repo --- README.md | 13 +++++++++++-- 1 file changed, 11 insertions(+), 2 deletions(-) diff --git a/README.md b/README.md index 27747ed99..5ffa74f15 100644 --- a/README.md +++ b/README.md @@ -1,2 +1,11 @@ -This is the main source repository for WALA. For more details on WALA, see the WALA home page. +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 implemlementation that has different edge types for control and data dependencies. +- every SSAInstrution knows its index. +- many other minor changes. \ No newline at end of file