A side-effect analysis computes for each program phrase a set of memory locations that may be read or written to when executing this phrase. Our analysis expresses abstract objects, points-to and aliasing information, escape information, and side effects all in terms of a single novel abstract domain, generalized access graphs. This abstract domain represents sets of access paths precisely and compactly. It is suitable for intraprocedural analysis as well as for constructing method summaries for interprocedural analysis. We implement the side-effect analysis for Java on top of the SOOT framework and report on its application to selected examples.
CITATION STYLE
Geffken, M., Saffrich, H., & Thiemann, P. (2014). Precise interprocedural side-effect analysis. Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 8687, 188–205. https://doi.org/10.1007/978-3-319-10882-7_12
Mendeley helps you to discover research relevant for your work.