This page was supporting the VSTTE 2014 paper of Alexis Fouilhé and Sylvain Boulmé by providing a source archive containing the code of the abstract domain here. This works was part of ANR Verasco.
This work is now improved by the new VPL implementation.