Documents

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.
Original languageEnglish
Number of pages5
StatePublished - 5 Dec 2017
EventBElgian-NEtherlands eVOLution seminar 2017 - Antwerpen, Belgium, Antwerpen, Belgium
Duration: 4 Dec 20175 Dec 2017
Conference number: 16
http://ansymore.uantwerpen.be/events/benevol2017

Conference

ConferenceBElgian-NEtherlands eVOLution seminar 2017
Abbreviated titleBENEVOL
CountryBelgium
CityAntwerpen
Period4/12/175/12/17
Internet address

    Research areas

  • abstract interpretation, actors, static analysis, modular analysis

ID: 35714891