Static Analysis of Bounded Polyhedra
Stefan Bygde, Björn Lisper, Niklas Holsti · Nordic Workshop Programming Theory · 2011
We present a method for polyhedral abstract interpretation which derives fully bounded polyhedra for every step in the analysis. Contrary to classical polyhedral analysis, this method is sound for ...