0.1 beta 1

Milestone with issues list - Maven - Javadoc

*new* revamped dataflow analyses
*new* widening threshold is configurable
*new* non-relational domains: glb and reasoning about type conversions
*new* semantic checks to exploit analyses results
*new* control-flow structures extraction from CFG heuristics
*new* domains now present their information in a structured way instead of relying on strings
*new* non-interference
*new* annotations support
*new* hybrid call resolutions, definition of entrypoints, interprocedural analyses
*bugfix* FunctionalLattice operations leave the underlying lattice untouched
*bugfix* Interval analysis now works properly
*bugfix* Environment#liftIdentifiers
*bugfix* equalitiy comparisons between analysis components work properly
*bugfix* assignments to bottom states do not modify them
*bugfix* sanity tests for Lattice#isTop()/isBottom()
+ lots of new tests

0.1 alpha 4

Milestone with issues list - Maven - Javadoc

*new* heap analyses: type-based and point-based
*new* code location interface instead of source file coordinates
*new* type-conversion symbolic expression
*new* abstract domains can express what they track
*bugfix* string representation is deterministic for collection-based domains
*bugfix* improvements and testing of type inference
*bugfix* improvements of call target resolution

0.1 alpha 3

Milestone with issues list - Maven - Javadoc

*new* inference systems
*new* dataflow interface
*new* factory for instantiating analysis components
*new* generic graph structure
*new* weak and strong assignments
*new* modular abstract state
*new* local variable table
*new* call resolution strategy
*new* program structure

0.1 alpha 2

Milestone with issues list - Maven - Javadoc

*new* type hierarchy
*new* analysis infrastructure
*new* built-in type inference
*new* analysis report and .dot graphs

0.1 alpha 1

Prototype of LiSA, CFG structure, and Syntactic Checks