Search
 
loader loading subjects...
cover
Precise Program Analysis through Strategy Iteration and Optimization
Thomas Martin Gawlitza, Helmut Seidl
348 - 384
10.3233/978-1-61499-028-4-348
NATO Science for Peace and Security Series - D: Information and Communication Security
Volume 33: Software Safety and Security
Abstract

We present a practical algorithm for computing least solutions of systems of (fixpoint-)equations over the integers with, besides other monotone operators, addition, multiplication by positive constants, maximum, and minimum. The algorithm is based on max-strategy iteration. Its worst-case running-time (w.r.t. a uniform cost measure) is independent of the sizes of occurring numbers. We apply this algorithm to the problem of computing the abstract semantics of programs over integer intervals as well as over integer zones.

$35.00 / €27.50 / £22.00
Add PDF to cart