Mukherjee, Suvam and Padon, Oded and Shoham, Sharon and D’Souza, Deepak and Rinetzky, Noam (2017) RATCOP: Relational Analysis Tool for Concurrent Programs. In: 13th International Haifa Verification Conference, HVC 2017, 13 November 2017 - 15 November 2017, Haifa, pp. 229-233.
Full text not available from this repository. (Request a copy)Abstract
In this paper, we present RATCOP, a static analysis tool for efficiently computing relational invariants in race free shared-variable multi-threaded Java programs. The tool trades the standard sound-at-all-program-points guarantee for gains in efficiency. Instead, it computes sound facts for a variable only at program points where it is “relevant”. In our experiments, RATCOP was fairly precise while being fast. As a tool, RATCOP is easy-to-use, and easily extensible.
| Item Type: | Conference Paper |
|---|---|
| Series.: | Lecture Notes in Computer Science |
| Publisher: | Springer Verlag |
| Additional Information: | The Copyright of this article belongs to the Springer Verlag |
| Keywords: | Software testing; Static analysis; Verification; Concurrent program; Multi-threaded Java programs; Program points; Relational analysis; Shared variables; Computer software |
| Department/Centre: | Division of Electrical Sciences > Computer Science & Automation |
| Date Deposited: | 26 May 2022 11:11 |
| Last Modified: | 26 May 2022 11:11 |
| URI: | https://eprints.iisc.ac.in/id/eprint/72609 |
Actions (login required)
 |
View Item |
