diff --git a/README.md b/README.md index 4ce9f72b2..27747ed99 100644 --- a/README.md +++ b/README.md @@ -1,13 +1,2 @@ -# 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. +This is the main source repository for WALA. For more details on WALA, see the WALA home page.