AbstractIn this paper we present how sweeping line techniques, which are very popular in computational geometry, can be adapted for static analysis of computer software by abstract interpretation. We expose how concept of the sweeping line can be used to represent elements of a numerical abstract domain of boxes, which is a disjunctive refinement of a well known domain of intervals that allows finite number of disjunctions. We provide a detailed description of the representation along with standard domain operations algorithms. Furthermore we introduce very precise widening operator for the domain.Additionally we show that the presented idea of the representation based on sweeping line technique is a generalisation of the representation tha...
AbstractIn the context of static analysis via abstract interpretation, convex polyhedra constitute t...
Evaluating the volume swept out by a three-dimensional (3D) object as it moves along an arbitrary pa...
International audienceThis paper presents a new numerical abstract domain for static analysis by abs...
Abstract. Numeric abstract domains are widely used in program anal-yses. The simplest numeric domain...
AbstractIn the context of standard abstract interpretation theory, we define the inverse operation t...
Abstract Interpretation, one of the most applied techniques for semantics based static analysis of s...
An interesting area in static analysis is the study of numeric properties. Complex properties can be...
Abstract Interpretation, one of the most applied techniques for semantics based static analysis of s...
AbstractSweeping a collection of figures in the Euclidean plane with a straight line is one of the n...
In the context of static analysis via abstract interpretation, convex polyhedra constitute the most ...
AbstractAn interesting area in static analysis is the study of numerical properties. Complex propert...
AbstractIn static analysis by abstract interpretation, one often uses widening operators in order to...
In the context of the Abstract Interpretation framework, initiated by Cousot and Cousot to model pro...
AbstractRelational numerical abstract domains do not scale up. To ensure a linear cost of abstract d...
International audienceTwo classical sources of imprecision in static analysis by abstract interpreta...
AbstractIn the context of static analysis via abstract interpretation, convex polyhedra constitute t...
Evaluating the volume swept out by a three-dimensional (3D) object as it moves along an arbitrary pa...
International audienceThis paper presents a new numerical abstract domain for static analysis by abs...
Abstract. Numeric abstract domains are widely used in program anal-yses. The simplest numeric domain...
AbstractIn the context of standard abstract interpretation theory, we define the inverse operation t...
Abstract Interpretation, one of the most applied techniques for semantics based static analysis of s...
An interesting area in static analysis is the study of numeric properties. Complex properties can be...
Abstract Interpretation, one of the most applied techniques for semantics based static analysis of s...
AbstractSweeping a collection of figures in the Euclidean plane with a straight line is one of the n...
In the context of static analysis via abstract interpretation, convex polyhedra constitute the most ...
AbstractAn interesting area in static analysis is the study of numerical properties. Complex propert...
AbstractIn static analysis by abstract interpretation, one often uses widening operators in order to...
In the context of the Abstract Interpretation framework, initiated by Cousot and Cousot to model pro...
AbstractRelational numerical abstract domains do not scale up. To ensure a linear cost of abstract d...
International audienceTwo classical sources of imprecision in static analysis by abstract interpreta...
AbstractIn the context of static analysis via abstract interpretation, convex polyhedra constitute t...
Evaluating the volume swept out by a three-dimensional (3D) object as it moves along an arbitrary pa...
International audienceThis paper presents a new numerical abstract domain for static analysis by abs...