We propose a new technique for developing ad-hoc numerical
abstract domains by means of statistical analysis. We apply Principal
Component Analysis to partial execution traces of programs, to find out
a “best basis” in the vector space of program variables. This basis may
be used to specialize numerical abstract domains, in order to enhance
the precision of the analysis. As an example, we apply our technique to
interval analysis of simple imperative programs.