We selected analysis configuration options that are well-known in the
static analysis literature and that are key choices in designing a
Java static analysis. For the numeric domain, we considered both
intervals [1]} and convex
polyhedra [2]}, as these are popular
and bookend the precision/performance spectrum. (See
Section .)
