Declarative Intraprocedural Flow Analysis of Java']Java Source Code

被引：7
|
作者：
Nilsson-Nyman, Emma [1 ]
Hedin, Gorel [1 ]
Magnusson, Eva [1 ]
Ekman, Torbjoern [2 ]
机构：
[1] Lund Univ, Dept Comp Sci, Lund, Sweden
[2] Univ Oxford, Programming Tools Grp, Oxford, England
来源：
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE | 2009年 / 238卷 / 05期
关键词：
declarative; data-flow; analysis; control-flow; !text type='Java']Java[!/text; compiler; attribute grammars;
D O I：
10.1016/j.entcs.2009.09.046
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
We have implemented intraprocedural control-flow and data-flow analysis of Java source code in a declarative manner, using reference attribute grammars augmented with circular attributes and collection attributes. Our implementation is built on top of the JastAdd Extensible Java Compiler and we have run the analyses on medium-sized Java programs. We show how the analyses can be built using small concise composable modules, and how they provide extensible frameworks for further source code analyses. Preliminary measurements indicate that there is little difference in execution time between our declarative data-flow analysis and an imperative implementation.
引用
收藏
页码：155 / 171
页数：17
相关论文
共 50 条
  • [1] Flow Java']Java: Declarative concurrency for Java']Java
    Drejhammar, F
    Schulte, C
    Brand, P
    Haridi, S
    [J]. LOGIC PROGRAMMING, PROCEEDINGS, 2003, 2916 : 346 - 360
  • [2] A declarative approach for Java']Java code instrumentation
    Zhang, Tian
    Zheng, Xiaomei
    Zhang, Yan
    Zhao, Jianhua
    Li, Xuandong
    [J]. SOFTWARE QUALITY JOURNAL, 2015, 23 (01) : 143 - 170
  • [3] A declarative approach to detecting design patterns from Java']Java execution traces and source code
    Mohan, Aswathy
    Jayaraman, Swaminathan
    Jayaraman, Bharat
    [J]. INFORMATION AND SOFTWARE TECHNOLOGY, 2024, 171
  • [4] A declarative approach for Java code instrumentation
    Tian Zhang
    Xiaomei Zheng
    Yan Zhang
    Jianhua Zhao
    Xuandong Li
    [J]. Software Quality Journal, 2015, 23 : 143 - 170
  • [5] Java']JavaML: a markup language for Java']Java source code
    Badros, GJ
    [J]. COMPUTER NETWORKS, 2000, 33 (1-6) : 159 - 177
  • [6] Java']Java Source Code Defect Detection
    Zhu, Hong
    Jin, Dahai
    [J]. 2015 8TH INTERNATIONAL CONFERENCE ON BIOMEDICAL ENGINEERING AND INFORMATICS (BMEI), 2015, : 695 - 699
  • [7] Qualitative and Quantitative Analysis of Information Leakage in Java']Java Source Code
    Chen, Bo
    Xu, Da-wei
    Yu, Ling
    [J]. NSWCTC 2009: INTERNATIONAL CONFERENCE ON NETWORKS SECURITY, WIRELESS COMMUNICATIONS AND TRUSTED COMPUTING, VOL 2, PROCEEDINGS, 2009, : 338 - 342
  • [8] GUI Structure and Behavior from Java']Java Source Code Analysis
    Gotti, Zineb
    Mbarki, Samir
    [J]. 2016 4TH IEEE INTERNATIONAL COLLOQUIUM ON INFORMATION SCIENCE AND TECHNOLOGY (CIST), 2016, : 251 - 256
  • [9] Declarative concurrency in Java']Java
    Ramirez, R
    Santosa, AE
    [J]. PARALLEL AND DISTRIBUTED PROCESSING, PROCEEDINGS, 2000, 1800 : 332 - 339
  • [10] Indexing the Java']Java API using source code
    Ma, Homan
    Amor, Robert
    Tempero, Ewan
    [J]. ASWEC 2008: 19TH AUSTRALIAN SOFTWARE ENGINEERING CONFERENCE, PROCEEDINGS, 2008, : 451 - 460
12345