Relational Abstract Domains for the Detection of Floating-Point Run-Time Errors

Details Relational Abstract Domains for the Detection of Floating-Point Run-Time Errors Relational Abstract Domains for the Detection of Floating-Point Run-Time Errors

2007-03-15

arxiv.org/abs/cs/0703077v2

European Symposium on Programming (ESOP) (03/2004) 3-17

Computer Science

Programming Languages

(update: reversed author first and last names)

Scientific paper

We present a new idea to adapt relational abstract domains to the analysis of IEEE 754-compliant floating-point numbers in order to statically detect, through abstract Interpretation-based static analyses, potential floating-point run-time exceptions such as overflows or invalid operations. In order to take the non-linearity of rounding into account, expressions are modeled as linear forms with interval coefficients. We show how to extend already existing numerical abstract domains, such as the octagon abstract domain, to efficiently abstract transfer functions based on interval linear forms. We discuss specific fixpoint stabilization techniques and give some experimental results.

Affiliated with

Also associated with

No associations

Rating

Relational Abstract Domains for the Detection of Floating-Point Run-Time Errors does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Relational Abstract Domains for the Detection of Floating-Point Run-Time Errors, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Relational Abstract Domains for the Detection of Floating-Point Run-Time Errors will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-363602