0.1 beta 9

Milestone with issues list
Maven (sdk) - Maven (analyses) - Maven (program) - Maven (imp)
Javadoc (sdk) - Javadoc (analyses) - Javadoc (program) - Javadoc (imp)

Changes

🚀 Features

• Backward analyses (beta) @lucaneg (#120)
• Default values and unknown values for types @lucaneg (#280)
• Cross-domain communication through oracles @lucaneg (#291)
• Arbitrary fixpoint information @lucaneg (#287)
• Environments has customizable fallbacks for unknown keys @lucaneg (#279)
• New string operations for Tarsis and FA @VincenzoArceri (#285)

🐛 Bug Fixes

• Annotations propagation for point based heap analyses @VincenzoArceri (#286)
• Assignment rules @lucaneg (#284)
• Switch to DefaultConfiguration instead of LiSAFactory @lucaneg (#268)
• String operations for Tarsis and FA @VincenzoArceri (#285)