Abstract: The PPL (Parma Polyhedra Library) is acknowledged to be a useful and rather efficient software tool for the representation of convex polyhedra and similar numerical abstractions upon which research work on static analysis and abstract interpretation can be reliably based. In this talk, after a brief introduction to the PPL, I will summarise the current and future development plans including: the provision of additional operators required by static analyzers; support for special classes of polyhedra such as intervals that are less precise but have more efficient implementations; generic domain constructions such as the powerset construction; as well as describing some new fundamental research concerning new domains for denoting discrete values. To motivate these domains, we distinguish between limit and distribution information about the possible values of numerical variables. We note that, while domains for limit information have been studied extensively, distribution information is much less popular and research work investigating their proper integration is needed.

[Note that a version of this talk was presented at the CoVer3 Workshop in Parma, Italy on the 17th June by co-author, Professor Bagnara.]