0.1 beta 6

Milestone with issues list
Maven (sdk) - Maven (core) - Maven (imp)
Javadoc (sdk) - Javadoc (core) - Javadoc (imp)

Changes

🚀 Features

• TypeSystem replaced the type cache @lucaneg (#222)
• LanguageFeatures groups all language-specific algorithms @lucaneg (#214)
• Globals are tied to their container @lucaneg (#196)
• Abstract units and interfaces @VincenzoArceri @lucaneg (#109 #110)
• SemanticDomain.forgetIdentifiersIf(Predicate<Identifier>) @lucaneg (#208)
• HTML, GraphML, and DOT visual formats for graphs @lucaneg (#128 #197)
• Graph serialization to JSON files @lucaneg (#121)
• Base implementation for FunctionalLattice's isTop() and isBottom() @lucaneg (#184)

🐛 Bug Fixes

• SimpleAbstractState properly lubs evaluations over several expressions @lucaneg (#224)
• Edge.traverse() implementations now use SemanticDomain.satisfies() @lucaneg (#223)
• Inheritance scan during call resolution @lucaneg (#212)
• Simplification of isolated graph nodes @lucaneg (#210)
• Open calls delete all aliases @lucaneg (#194)
• Different handling of "no entry points" @lucaneg (#190)

🧰 Maintenance

• Lattice.widening() implementations default to Lattice.lub() @lucaneg (#222)
• Field information in AllocationSites @lucaneg (#217)
• Increased general accessibility and extensibility of classes and methods @lucaneg (#203)
• Testing no longer compare dot files @lucaneg (#122)