Fixed array creation instrumentation to a the actually created array to
the newObjects set.
Adding new abstractions for new objects stack and permission stack.
Added exception class for ACP violations.
- Field resolution fixed.
- Inner classes working.
Refactoring and improved test coverage.
Gained 30% performance in step method.
New automaton implementation. Invariant that epsilon transitions always
have epsilon weight is now fulfilled.
Simplified and extended unit tests. Minor performance improvements.
Made TransClass, Global and TraversalImpl match the new automaton
implemntation.
New NFA implementation.
NFA coaccessibility cache.
Enabled NFA construction for path expressions.
Made constructor test case more restrictive to make sure fields of this
need no permission in constructor.
Missing file and some more changes.
Change in state class.
Improved maintainability of TransClass.
Reorganization of package structure to ease avoidance of recursive
instrumentation of runtime classes.
Moved unit test packages to allow better class filtering in trafo.
Support for statics
Fixed array support. Now dynamic arrays referred to by references of
static type Object are considered during head traversal. Tried to
minimize runtime type checks. Avoided unnecessary automaton copies.
Tested multidimensional arrays, primitive arrays, reference arrays, and
Object[] refenrences holding actual Object[][] values etc.
Removed unnecessary cast.