Milestone with issues list
Maven (sdk) - Maven (analyses) - Maven (program) - Maven (imp)
Javadoc (sdk) - Javadoc (analyses) - Javadoc (program) - Javadoc (imp)
Changes
🚀 Features
- Explainability: events, flamegraph, history abstraction @lucaneg (#334)
- Parametric scoping logic @lucaneg (#301)
- Error tokens, exceptions, and halting statements @lucaneg (#126, #125, #141)
- Custom entries in json report @lucaneg (#320)
- Separation of lattices and domains @lucaneg (#340)
- Substitutions on variable removal @lucaneg (#337)
- Assume implementation on type domains @lucaneg (#336)
PushAnywith constraints @lucaneg (#328)- Components of
SimpleAbstractDomainare optional @lucaneg (#338) - Html visualizer rework @lucaneg (#319)
- Location-based working set for fixpoints @lucaneg (#317)
- Whole value analysis @lucaneg (#327)
- Configurable fixpoints @lucaneg (#351)
- Extendable outputs @lucaneg (#350)
CallGraphis now dumpable @lucaneg (#339)- Notices @lucaneg (#349)
- Inlining interprocedural analysis @lucaneg (#348)
- Subclassing of
ReferenceType@lucaneg (#342) - Custom state on analysis init + custom call return logic @lucaneg (#346)
- Improved
BaseCallGraphresolution @lucaneg (#345) NumericTypewith flexible number of bits @lucaneg (#345)CharacterType@lucaneg (#345)- Reachability analysis @lucaneg (#345)
- ConstantValuePropagation with cross-value operations @lucaneg (#345)
- Refactoring of non relational hierarchy and utilities @lucaneg (#325)
🐛 Bug Fixes
- Stop hierarchy traversal when call target is found @lucaneg (#341)
- Global variables rewriting @lucaneg (#322)
lessOrEqualforAllocationSites@lucaneg (#324)