55 Downloads (Pure)


Existing static analyses for actor programs ex- plicitely model all possible execution interleavings. Because the number of interleavings increases exponentially with the number of actors and messages exchanged, such analyses scale poorly. We describe the first modular analysis for actor programs, that analyzes each actor in separation of each other. This analysis over-approximate over the diferent interleavings without explicitly modeling them, rendering it scalable. We demonstrate its enhanced scalability by comparing the analysis of the Savina benchmark suite with a non-modular analysis and our new modular analysis. Our technique succeeds in analyzing all of the Savina benchmarks in a matter of seconds, while the non-modular analysis times out on more than half of these benchmarks. Moreover, we show that the precision of our modular remains on par with the precision of the non-modular analysis.
Originele taal-2English
Aantal pagina's5
StatusPublished - 5 dec 2017
EvenementBElgian-NEtherlands eVOLution seminar 2017 - Antwerpen, Belgium, Antwerpen, Belgium
Duur: 4 dec 20175 dec 2017
Congresnummer: 16


ConferenceBElgian-NEtherlands eVOLution seminar 2017
Verkorte titelBENEVOL
Internet adres


Duik in de onderzoeksthema's van 'Modular Static Analysis of Actor Programs'. Samen vormen ze een unieke vingerafdruk.

Citeer dit