0.1 beta 8

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

Changes

• Bug fix on CharInclusion LessOrEqualAux @BlueRyse (#265)

🚀 Features

• Memory optimization @lucaneg (#275)
• Additional methods for string domains, minor fixes to point-based heap analyses, Trace partitioning @VincenzoArceri (#270)
• Implementation of the Bricks domain for the analysis of strings @BlueRyse (#271)
• Non redundant set @matteboro (#269)
• Taint and Tarsis @lucaneg (#263)
• Constant Globals @lucaneg (#262)
• Support for static allocation in LiSA point-based heap analyses @VincenzoArceri (#250)
• Base interfaces @lucaneg (#259)
• Project structure @lucaneg (#247)
• LiSA descending phase @VincenzoArceri (#238)
• Implementation of prefix, suffix, and char inclusion string abstract domains @VincenzoArceri (#242)
• FSA abstract domain @VincenzoArceri (#213)

🐛 Bug Fixes

• Interprocedural fixes: recursions, call caches, determinism @lucaneg (#260)
• Cron scheduler fix @lucaneg (#278)
• Additional methods for string domains, minor fixes to point-based heap analyses @VincenzoArceri (#270)
• #276 [CFG LITERAL] Fix Float32Literal @giacomozanatta (#277)
• Fixes on point-based heap analyses @VincenzoArceri (#266)
• Point-based heap analysis with stack allocation fixes @VincenzoArceri (#264)
• Optimize CharInclusion formatRepresentation method @BlueRyse (#243)

🧰 Maintenance and others

• Memory optimization @lucaneg (#275)
• Cron scheduler fix @lucaneg (#278)
• Add auxiliar interval methods @VincenzoArceri (#267)
• Updating build badge @lucaneg (#261)
• Base interfaces @lucaneg (#259)
• Replace Collection With Set in Char Inclusion Domain @BlueRyse (#251)
• Project structure @lucaneg (#247)
• LiSA descending phase @VincenzoArceri (#238)
• Updating vulnerable dependencies @lucaneg (#240)