We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:

Download:

Current browse context:

cs.PL

Change to browse by:

References & Citations

DBLP - CS Bibliography

Bookmark

(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Computer Science > Programming Languages

Title: Data Flow Analysis of Asynchronous Systems using Infinite Abstract Domains

Abstract: Asynchronous message-passing systems are employed frequently to implement distributed mechanisms, protocols, and processes. This paper addresses the problem of precise data flow analysis for such systems. To obtain good precision, data flow analysis needs to somehow skip execution paths that read more messages than the number of messages sent so far in the path, as such paths are infeasible at run time. Existing data flow analysis techniques do elide a subset of such infeasible paths, but have the restriction that they admit only finite abstract analysis domains. In this paper we propose a generalization of these approaches to admit infinite abstract analysis domains, as such domains are commonly used in practice to obtain high precision. We have implemented our approach, and have analyzed its performance on a set of 14 benchmarks. On these benchmarks our tool obtains significantly higher precision compared to a baseline approach that does not elide any infeasible paths and to another baseline that elides infeasible paths but admits only finite abstract domains.
Comments: 61 pages, 4 figures, 3 Tables, European Symposium on Programming 2021
Subjects: Programming Languages (cs.PL); Software Engineering (cs.SE)
ACM classes: D.2.4
Cite as: arXiv:2101.10233 [cs.PL]
  (or arXiv:2101.10233v1 [cs.PL] for this version)

Submission history

From: Raghavan Komondoor [view email]
[v1] Mon, 25 Jan 2021 16:49:17 GMT (3242kb,D)

Link back to: arXiv, form interface, contact.