Data Flow Analysis of Asynchronous Systems using Infinite Abstract Domains

Snigdha Athaiya, Raghavan Komondoor, K Narayan Kumar

Asynchronous message-passing systems are employed frequently to implement distributed mechanisms, protocols, and processes. This paper addresses the problem of precise data flow an…