Required software:
    Jakarta Commons CLI (1.0)
        (commons-cli.jar) [http://jakarta.apache.org/commons/cli/]
    Jakarta Commons Lang (2.2)
        (commons-lang.jar) [http://jakarta.apache.org/commons/lang/]
    Jakarta Commons Pool (1.2)
        (commons-pool.jar) [http://jakarta.apache.org/commons/pool/]
    Soot: a Java Optimization Framework (2.1.0)
        (sootclasses.jar) [http://www.sable.mcgill.ca/soot/]
                (jasminclasses.jar) [http://www.sable.mcgill.ca/soot/]
        - Polyglot 1.1.0
                (polyglot.jar) [http://www.cs.cornell.edu/Projects/polyglot/]
    xmlenc (0.52)
        (xmlenc.jar) [http://xmlenc.sourceforge.net/]
    XMLUnit (1.0)
        (xmlunit.jar) [http://xmlunit.sourceforge.net/]
    JUnit (3.8.1)
        (junit.jar) [http://junit.org]
    GNU Trove (1.1b4)
        (trove.jar) [http://trove4j.sourceforge.net/]
    Simple Logging Facade For Java (1.0.1)
        [http://http://www.slf4j.org/]
    Bandera [OPTIONAL]
        (banderaCommons.jar, banderaToolFramework.jar) [http://bandera.projects.cis.ksu.edu]

Version 0.8.3.14 [md5sum - e54ab916b0c42f1e0c2cc1ddb5c3cd52]
----------------
  - AliasBasedUseDefInfo was only sound upto the available OFA information, i.e. when the intersection of alias sets for the primaries of array/field refs (considered for use-def relation) is empty, the analysis concludes no use-def relation.  While this can be correct upto the information from OFA, it can lead to unsound result in general.  To be sound, use-def relation is induced in such cases.  (Thanks to Zhou Yuming for reporting this issue.)

Version 0.8.3.12 [md5sum - e6efe9b4788c01c46978fb0a8ad850c4]
  - A corner case was ignored in the fix introduced in the previous version.  This was addressed.

Version 0.8.3.11 [md5sum - 51276a474b2f1053fb0a861698c3ceb0]
  - No method was being included at a call site when the object binding information was empty for the receiver.  In such cases, (conservatively) the statically visible and concrete method at the call is considered as being invoked.   (Thanks to Zhou Yuming for reporting an issue that triggered this fix.)

Version 0.8.3.9 [md5sum - d5b70779b6969f94e9201a0afb7528ac]
  - support to detect sharing between object graphs across procedural boundaries.

Version 0.8.3.9 [md5sum - 35c84eb6e986c5c43089526e3bb41835]
  - fixed a corner case handling in DataAliasingBasedCallingContextRetriever.

Version 0.8.3.8 [md5sum - 20c756db05a3357acafd766258e63405]
  - fix for SystemDependenceGraphBuilder issue reported by Salvador on thread http://projects.cis.ksu.edu/forum/message.php?msg_id=1985

Version 0.8.3.7 [md5sum - 1080a814c08f3383918cd003699ede72]
  - fix for SystemDependenceGraphBuilder issue reported by Salvador on thread 
http://projects.cis.ksu.edu/forum/forum.php?thread_id=613&forum_id=35
  - fix for NPE in IdentifierBasedDataDA.

Version 0.8.3.6 [md5sum - e815e65b927e2d66f04d91d35047d471]
  - changes in version of required libraries

Version 0.8.3.4 [md5sum - 333496eec058ce21589ffebd5af8c6d7]
  - A subtle logic (and/or) error that was causing inaccuracies in answering the object-sensitive object flow query was fixed.  Thanks to John Hatcliff for discovering the bug.

Version 0.8.3.3 [md5sum - 3873ee7298d5625a0b897fce3c11ae45]
  - Minor bug fix to monitor analysis.

Version 0.8.3.1 [md5sum - 30a09449b1323d62b59273390c562bb4]
  - No major changes (mere recompilation).

Version 0.8.3 [md5sum - 4c89a699c7bad1d7d3c7fd1c93cf0012]
  - A minor bug fix in property-aware slicing.
  - Depends on JiBX version 1.1

Version 0.8.2 [md5sum - 77bf82f7b1cb5e550f780f9e27948f56]
  - Thanks to Suzette Person, dependence xmlization was broken due to generics.  This has been fixed.

Version 0.8.1 [md5sum - ab24803d97b6b698043fb4844fccbcc6]
-------------
  - NPE in DivergenceDA was fixed.  Thanks to Suzette Person.

Version 0.8
--------------
  - New optimizations to flow analysis cuts down the execution time by close to 80% in some cases.  This enables the  framework to scale on system that rely on Java AWT and Swing libraries.
  - A new flow analysis mode (along the lines of Rapid Type Analysis) enables memory optimal object flow information calculation for purposes such as call graph construction.
  - Feature request:
    - 747 - Enhance OFA info display on the command line interface
    - 717 - used scoping framework to perform scoped analyses
    - 676 - Java 5 adoption
    - 701 - refactorings.
  - Bug report:
    - 768 - Context-sensitive slicing seems to be overly perssimistic
  - Removed dependence on commons-collections and commons-pool.