Release 1.2

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.1.3:

  • New features
    • more efficient handling of Struts entrypoints
  • Code cleanup
    • generalize implementation of Shrike-based entities to allow mixing of Shrike and other classes
    • generalize ClassHierarchy to handle requests for subclasses of arrays
  • API Changes
    • deprecate PartiallyCollapsedSupergraph
    • deprecate CFGCache
    • deprecate DeterministicHashCode; minor tweaks to a few internal APIs managing deterministic hash codes (should not affect most clients)
    • new interface BoundedPartiallyBalancedSolver to support improved partially balanced tabulation; older PartiallyBalancedTabulation.tabulate is removed
    • thread Loggers through Launcher APIs
  • Bug Fixes
    • bug 1958786: PropagationCallGraphBuilder fails on restrictive exclusions
    • fix bug for corner case in ExplodedControlFlowGraph
    • bug fixes for supergraph and interprocedural CFG for backwards problems with virtual dispatch
    • bug fixes for path resolution in EclipseProjectPath
    • bug 1992941: Assertion contains side-effect -> crash
    • bug fix in ExplodedControlFlowGraph when IR has no instructions
    • bug fix for infinite recursive contexts in some object-sensitivity policies
    • bug fix in JdtUtil.findMethods for constructors
    • bug fix for partially balanced tabulation when seed method is called recursively
Personal tools
project information