Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456
SAS04: Abstract for Paper 37
An interesting area in static analysis is the study of numeric
properties. Complex properties can be analyzed using
abstract interpretation, provided that an adequate abstract domain is
defined. Each domain can represent and manipulate a family of
properties, providing a different trade-off between the precision and
complexity of the analysis. The contribution of this paper is a new
numeric abstract domain called octahedron that represents constraints
on the sum or difference of an arbitrary number of numerical variables
$x_i$, where $x_i \ge 0$. The implementation of octahedra is based on a
new kind of decision diagrams called Octahedron Decision Diagrams
(OhDD).