Abstract | ||
---|---|---|
Computer Games Software deeply relies on physics simulations, which are particularly demanding to analyze because they manipulate a large amount of interleaving floating point variables. Therefore, this application domain is an interesting workbench to stress the trade-off between accuracy and efficiency of abstract domains for static analysis. In this paper, we introduce Parametric Hypercubes, a novel disjunctive non-relational abstract domain. Its main features are: (i) it combines the low computational cost of operations on (selected) multidimensional intervals with the accuracy provided by lifting to a power-set disjunctive domain, (ii) the compact representation of its elements allows to limit the space complexity of the analysis, and (iii) the parametric nature of the domain provides a way to tune the accuracy/efficiency of the analysis by just setting the widths of the hypercubes sides. The first experimental results on a representative Computer Games case study outline both the efficiency and the precision of the proposal. |
Year | DOI | Venue |
---|---|---|
2013 | 10.1007/978-3-642-41202-8_29 | Lecture Notes in Computer Science |
Field | DocType | Volume |
Workbench,Computer science,Floating point,Static analysis,Real-time computing,Theoretical computer science,Parametric statistics,Software,Application domain,Interleaving,Distributed computing,Hybrid automaton | Conference | 8144 |
ISSN | Citations | PageRank |
0302-9743 | 1 | 0.35 |
References | Authors | |
16 | 4 |
Name | Order | Citations | PageRank |
---|---|---|---|
Giulia Costantini | 1 | 51 | 5.21 |
Pietro Ferrara | 2 | 158 | 20.79 |
Giuseppe Maggiore | 3 | 9 | 2.56 |
Agostino Cortesi | 4 | 791 | 66.19 |