Release 1.0.03
From WalaWiki
We will periodically tag the subversion repository with release numbers. To check out a particular release, see the tags branch of the subversion repository.
- Previous Release: Release 1.0.02
- Next Release: Release 1.0.04
- Subversion path: https://svn.sourceforge.net/svnroot/wala/tags/R_1.0.03
- Date: July 5 2007
[edit]
ChangeLog
Changes since Release 1.0.02:
- New features
- Support boolean constants, nullary functions, getConstants, simple tautologies and contradictions, and some built-in binary relations in logic formulae
- Logic formulae support pretty printing via a decorator
- GVCallGraph accepts exclusions filename on command line
- Add StringBuilder to set of classes to smush during pointer analysis with SMUSH_STRINGS; a significant performance boost when using 5.0+ libraries
- prototype context-insensitive ThinSlicer
- Code cleanup:
- make some fields final and associated refactoring
- some @NonNull annotations
- use Java 5.0 Iterable pattern in more places
- API Changes
- deprecate CallGraph.getInterpreter() and CFGProvider. Use methods from CGNode instead.
- ControlDependenceGraph.getUnderlyingCFG() renamed to be getControlFlowGraph()
- StringTable.readFromTextFile() interface changed
- Push generics signature support down from ShrikeBTMethod into ShrikeCTMethod
- Remove unnecessary IClassHierarchy parameter from some methods
- Nuke NullaryRelation, NullConstant
- GSViewLauncherImpl and IFDSExplorerImpl renamed to GSViewLauncher and IFDSExplorer, respectively
- remove public constructor to Iterator2Collection; use toCollection factory method instead.
- New method SymbolTable.getIntValue()
- Bug Fixes
- fix AstMethod.isInit()
- fix SourceFileModule constructor
- fix SSAReturnInstruction.getExceptionTypes() to return empty collection
- fix SSAFieldAccessInstruction so static field access instructions do not throw NPEs.
- fix ClassHierarchy in case of null ProgressMonitor
