Soot-based implementation of a demand-driven reaching definitions analysis

Longwen Lu, Cheng Zhang, Jianjun Zhao

研究成果: 著書/レポートタイプへの貢献会議での発言

1 引用 (Scopus)

抄録

As a classical data-flow analysis, reaching definitions analysis is the corner stone of various techniques, such as code optimization and program slicing. The built-in data-flow analysis framework in Soot has been implemented in the traditional iterative style. While being able to meet general requirements for implementation of data flow analyses, the framework may be less efficient for a certain type of analyses in which the complete data-flow solution is unnecessary. In this paper, we introduce our Soot-based implementation of an inter-procedural demand-driven reaching definitions analysis. For a demand for reaching definitions facts, the analysis only explores relevant program points and variables, saving a considerable amount of computation. Preliminary results show that the implementation can be much more efficient than its traditional counterpart in several scenarios. The Soot framework has greatly facilitated the implementation by providing abundant basic analysis results via well designed APIs.

元の言語英語
ホスト出版物のタイトルProceedings of the ACM SIGPLAN International Workshop on State of the Art in Java Program Analysis, SOAP 2012
ページ21-26
ページ数6
DOI
出版物ステータス出版済み - 7 9 2012
外部発表Yes
イベントACM SIGPLAN International Workshop on State of the Art in Java Program Analysis, SOAP 2012 - Beijing, 中国
継続期間: 6 14 20126 14 2012

その他

その他ACM SIGPLAN International Workshop on State of the Art in Java Program Analysis, SOAP 2012
中国
Beijing
期間6/14/126/14/12

Fingerprint

Soot
Data flow analysis
Application programming interfaces (API)

All Science Journal Classification (ASJC) codes

  • Software

これを引用

Lu, L., Zhang, C., & Zhao, J. (2012). Soot-based implementation of a demand-driven reaching definitions analysis. : Proceedings of the ACM SIGPLAN International Workshop on State of the Art in Java Program Analysis, SOAP 2012 (pp. 21-26) https://doi.org/10.1145/2259051.2259055

Soot-based implementation of a demand-driven reaching definitions analysis. / Lu, Longwen; Zhang, Cheng; Zhao, Jianjun.

Proceedings of the ACM SIGPLAN International Workshop on State of the Art in Java Program Analysis, SOAP 2012. 2012. p. 21-26.

研究成果: 著書/レポートタイプへの貢献会議での発言

Lu, L, Zhang, C & Zhao, J 2012, Soot-based implementation of a demand-driven reaching definitions analysis. : Proceedings of the ACM SIGPLAN International Workshop on State of the Art in Java Program Analysis, SOAP 2012. pp. 21-26, ACM SIGPLAN International Workshop on State of the Art in Java Program Analysis, SOAP 2012, Beijing, 中国, 6/14/12. https://doi.org/10.1145/2259051.2259055
Lu L, Zhang C, Zhao J. Soot-based implementation of a demand-driven reaching definitions analysis. : Proceedings of the ACM SIGPLAN International Workshop on State of the Art in Java Program Analysis, SOAP 2012. 2012. p. 21-26 https://doi.org/10.1145/2259051.2259055
Lu, Longwen ; Zhang, Cheng ; Zhao, Jianjun. / Soot-based implementation of a demand-driven reaching definitions analysis. Proceedings of the ACM SIGPLAN International Workshop on State of the Art in Java Program Analysis, SOAP 2012. 2012. pp. 21-26
@inproceedings{f5c71719ea0e421c9001ab48049f46e4,
title = "Soot-based implementation of a demand-driven reaching definitions analysis",
abstract = "As a classical data-flow analysis, reaching definitions analysis is the corner stone of various techniques, such as code optimization and program slicing. The built-in data-flow analysis framework in Soot has been implemented in the traditional iterative style. While being able to meet general requirements for implementation of data flow analyses, the framework may be less efficient for a certain type of analyses in which the complete data-flow solution is unnecessary. In this paper, we introduce our Soot-based implementation of an inter-procedural demand-driven reaching definitions analysis. For a demand for reaching definitions facts, the analysis only explores relevant program points and variables, saving a considerable amount of computation. Preliminary results show that the implementation can be much more efficient than its traditional counterpart in several scenarios. The Soot framework has greatly facilitated the implementation by providing abundant basic analysis results via well designed APIs.",
author = "Longwen Lu and Cheng Zhang and Jianjun Zhao",
year = "2012",
month = "7",
day = "9",
doi = "10.1145/2259051.2259055",
language = "English",
isbn = "9781450314909",
pages = "21--26",
booktitle = "Proceedings of the ACM SIGPLAN International Workshop on State of the Art in Java Program Analysis, SOAP 2012",

}

TY - GEN

T1 - Soot-based implementation of a demand-driven reaching definitions analysis

AU - Lu, Longwen

AU - Zhang, Cheng

AU - Zhao, Jianjun

PY - 2012/7/9

Y1 - 2012/7/9

N2 - As a classical data-flow analysis, reaching definitions analysis is the corner stone of various techniques, such as code optimization and program slicing. The built-in data-flow analysis framework in Soot has been implemented in the traditional iterative style. While being able to meet general requirements for implementation of data flow analyses, the framework may be less efficient for a certain type of analyses in which the complete data-flow solution is unnecessary. In this paper, we introduce our Soot-based implementation of an inter-procedural demand-driven reaching definitions analysis. For a demand for reaching definitions facts, the analysis only explores relevant program points and variables, saving a considerable amount of computation. Preliminary results show that the implementation can be much more efficient than its traditional counterpart in several scenarios. The Soot framework has greatly facilitated the implementation by providing abundant basic analysis results via well designed APIs.

AB - As a classical data-flow analysis, reaching definitions analysis is the corner stone of various techniques, such as code optimization and program slicing. The built-in data-flow analysis framework in Soot has been implemented in the traditional iterative style. While being able to meet general requirements for implementation of data flow analyses, the framework may be less efficient for a certain type of analyses in which the complete data-flow solution is unnecessary. In this paper, we introduce our Soot-based implementation of an inter-procedural demand-driven reaching definitions analysis. For a demand for reaching definitions facts, the analysis only explores relevant program points and variables, saving a considerable amount of computation. Preliminary results show that the implementation can be much more efficient than its traditional counterpart in several scenarios. The Soot framework has greatly facilitated the implementation by providing abundant basic analysis results via well designed APIs.

UR - http://www.scopus.com/inward/record.url?scp=84863462358&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=84863462358&partnerID=8YFLogxK

U2 - 10.1145/2259051.2259055

DO - 10.1145/2259051.2259055

M3 - Conference contribution

AN - SCOPUS:84863462358

SN - 9781450314909

SP - 21

EP - 26

BT - Proceedings of the ACM SIGPLAN International Workshop on State of the Art in Java Program Analysis, SOAP 2012

ER -