A parametric segmentation functor for fully automatic and scalable array content analysis

We introduce FunArray, a parametric segmentation abstract domain functor for the fully automatic and scalable analysis of array content properties. The functor enables a natural, painless and effic...