Proceedings of the 10th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis

2021 ◽  
Keyword(s):  
Program Analysis ◽  
State Of The Art ◽  
International Workshop ◽  
The State

A Fresh Look at Zones and Octagons

2021 ◽  
Vol 43 (3) ◽  
pp. 1-51
Author(s):  
Graeme Gange ◽  
Zequn Ma ◽  
Jorge A. Navas ◽  
Peter Schachte ◽  
Harald Søndergaard ◽  
...  
Keyword(s):  
Data Structures ◽  
Program Analysis ◽  
Software Verification ◽  
State Of The Art ◽  
The State ◽  
Bound Constraints ◽  
Data Structures And Algorithms ◽  
Alternative Approaches ◽  
Abstract Domains ◽  
Automated Discovery

Zones and Octagons are popular abstract domains for static program analysis. They enable the automated discovery of simple numerical relations that hold between pairs of program variables. Both domains are well understood mathematically but the detailed implementation of static analyses based on these domains poses many interesting algorithmic challenges. In this article, we study the two abstract domains, their implementation and use. Utilizing improved data structures and algorithms for the manipulation of graphs that represent difference-bound constraints, we present fast implementations of both abstract domains, built around a common infrastructure. We compare the performance of these implementations against alternative approaches offering the same precision. We quantify the differences in performance by measuring their speed and precision on standard benchmarks. We also assess, in the context of software verification, the extent to which the improved precision translates to better verification outcomes. Experiments demonstrate that our new implementations improve the state of the art for both Zones and Octagons significantly.

The HART II international workshop: an assessment of the state-of-the-art in comprehensive code prediction

2013 ◽  
Vol 4 (3) ◽  
pp. 223-252 ◽  
Author(s):  
Berend G. van der Wall ◽  
Joon W. Lim ◽  
Marilyn J. Smith ◽  
Sung N. Jung ◽  
Joëlle Bailly ◽  
...  
Keyword(s):  
State Of The Art ◽  
International Workshop ◽  
The State ◽  
Hart Ii
Sign in / Sign up

Export Citation Format

Share Document