Extensible intraprocedural flow analysis at the abstract syntax tree level |
| |
Authors: | Emma Söderberg Torbjörn Ekman Görel Hedin Eva Magnusson |
| |
Affiliation: | 1. Department of Computer Science, Lund University, Lund, Sweden;2. Semmle Limited, Oxford, United Kingdom |
| |
Abstract: | We have developed a new approach for implementing precise intraprocedural control-flow and dataflow analyses at the abstract syntax tree level. Our approach is declarative, making use of reference attribute grammars augmented with circular attributes and collection attributes. This results in concise executable specifications of the analyses, allowing extensions both to the language and with further source code analyses. |
| |
Keywords: | Declarative Dataflow Analysis Control-flow Java Compiler Attribute grammars |
本文献已被 ScienceDirect 等数据库收录! |