Release 1.1

From WalaWiki

Jump to: navigation, search

We will periodically tag the subversion repository with release numbers. To check out a particular release, see the tags branch of the subversion repository.

ChangeLog

Changes since Release 1.0.04:

  • New features
    • More support for LongSets
  • Code cleanup
    • More precondition checking for IllegalArgumentExceptions
    • Declare many unchecked exceptions
    • Add final attribute to many fields
    • Generalization and refactoring in logic package
    • More generics
    • Some generalization in tabulation solver
  • API Changes
    • Bump up source level to Java 6.0
    • Changes to clarify OrdinalSetMapping.getSize() and OrdinalSetMapping.getMaximumIndex()
    • Revamp JavaLauncher
    • Introduce factories in several places
    • Delete IVariable.copyState()
    • More generics in fixed point framework, control flow graphs
    • Enforce factory usage for Pair, IteratorPlusOne, ReverseIterator, SlowSparseNumberedGraph, MutableMapping, empty MutableSparseIntSet, some tabulation APIs
    • Introduce invariant that SSAInstruction.getExceptionTypes() returns non-null.
    • Introduce invariant that ControlFlowGraph.getExceptionalSuccessors returns a list representing the catch blocks in order of increasing scope, so that exceptional control flow can be resolved more precisely depending on the exception type.
    • Delete BVControlDependenceGraph. (Rationale: it's failing tests, and I've always been unhappy about having two implementations of CDG.)
    • Delete CGNode.getCFG()
    • Delete TwoExitCFG
    • Make CGNode implement IClassHierarchyDweller
    • Enforce factory for TypeInference and automatically solve() in constructor.
    • Enforce exclusions file for some example drivers.
    • Delete obsolete EclipseAnalysisScope and EclipseEntrypoints
    • Generalize tabulation APIs to use IntSets instead of SparseIntSets
  • Bug Fixes
    • fix bug in SlowNumberedNodeManager to correctly track deleted nodes
    • Bug [ 1775433 ] Off by one error in BasicHeapGraph
    • bug fix for corner case in com.ibm.wala.cfg.Util.getTakenSuccessor()
    • bug fix for ConcurrentModificationException in PointerAnalysisImpl.toString()
    • Bug [ 1780094 ] HeapGraph: points-to and successor nodes don't match
    • bug fixes for ArithmeticExceptions from irem and idiv instructions (implies API change to SSABinaryOpInstruction ctor).
    • truncate labels in dot graphs to attempt to stop recent versions of dot from crashing.
    • misc. bug fixes for tabulation solver with binary return flow functions or backward analysis
    • bug fix in PrimitiveType.meet; correct behavior for int meet boolean.
    • misc. bug fixes for TypeBasedPointerAnalysis
    • bug fix in BackwardSupergraph for tail recursion
    • bug fix for SWTTreeViewer; run in UI thread when running inside Eclipse
Retrieved from "http://wala.sourceforge.net/wiki/index.php/Release_1.1"
Personal tools
project information