research-article

A lightweight approach for program analysis and debugging

Author:

M. G. RakeshAuthors Info & Claims

ISEC '10: Proceedings of the 3rd India software engineering conference

Pages 13 - 22

https://doi.org/10.1145/1730874.1730880

Published: 25 February 2010 Publication History

Abstract

Program slicing techniques like static, dynamic and hybrid slicing are considered to be an effective aid in the areas of program analysis and debugging. The performance parameters of these techniques such as precision and execution overhead determine their efficiency and applicability. In the context of debugging a few bugs, the existing dynamic and hybrid approaches tend to be expensive in terms of high runtime overhead while static slicing approaches fail to be precise.

In this paper, we present a tool called JDAS to simplify the tedious task of debugging. The tool provides an intuitive way for the user to specify a bug and helps in efficient debugging by providing only the relevant information related to the bug being analyzed. We propose a lightweight approach for program analysis and debugging which is effective when the bugs to be analyzed are few. We make use of static slicing, which reduces the runtime cost and also helps in computing all the essential information including those which are not present in a dynamic slice as illustrated by the concept of relevant slicing. We harness the power of dynamic aspect oriented programming for effective tracing and thereby overcome the problem of imprecision in the slice result generated by static slicing. We introduce line number based pointcuts for efficient tracing.

References

[1]

Agrawal, H., Horgan, J., Krauser, E., and London, S.: "Incremental regression testing", International Conference on Software Maintenance (ICSM), pp. 348--357, 1993.

Digital Library

[2]

AspectWerkz website: http://aspectwerkz.codehaus.org

[3]

B. Korel and J. Laski: "Dynamic program slicing", Information Processing Letters. 29(3): 155--163, October 1988.

Digital Library

[4]

BCEL website: http://jakarta.apache.org/bcel/

[5]

Dynamic Aspects website: http://dynamicaspects.sourceforge.net/

[6]

Frank Tip: "A survey of program slicing techniques", Journal of Programming Languages, vol. 3, no. 3, pp. 121--189, 1995.

[7]

G. Kiczales, J. Lamping, A. Mendhekar, C. Maeda, C.V. Lopes, J.-M. Loingtier and J. Irwin: "Aspect-Oriented Programming", Proceedings of the 11th European conference on Object Oriented Programming (ECOOP'97), pages 220--242.

[8]

G. Kiczales, E. Hilsdale, J. Hugunin, M. Kersten, J. Palm, W.G. Griswold: "An overview of AspectJ", In Proceedings of ECOOP '01, p. 327--353, Budapest, Hungary, June 18-22, 2001.

Digital Library

[9]

Gyimóthy, T., Beszédes, A., and Forgács, I., "An efficient relevant slicing method for debugging" in 7th ACM SIGSOFT International Symposium on Foundations of Software Engineering, pp. 303--321, 1999.

Digital Library

[10]

Indus website: http://indus.projects.cis.ksu.edu

[11]

James Gosling, Bill Joy, Guy Steele, Gilad Bracha: "Java Language Specification", Third Edition, 2005.

Digital Library

[12]

JSlice website: http://jslice.sourceforge.net

[13]

Ko, A.J. and Myers, B.A.: "Debugging Reinvented: Asking and Answering Why and Why Not Questions about Program Behavior", International Conference on Software Engineering (ICSE), Leipzig, 2008

Digital Library

[14]

M. Kamkar: "Inter Procedural Dynamic Slicing with Applications to Debugging and Testing", PhD thesis, Linkoping University, Sweden, 1993.

[15]

M. Weiser: "Program Slicing", Proceedings of the Fifth International Conference on Software Engineering, pp. 439--449, 1981.

Digital Library

[16]

M. Weiser: "Programmers use slices when debugging", CACM, 25(7):446--452, July 1982.

Digital Library

[17]

Marc Eaddy, Alfred Aho: "Statement Annotations for Fine-Grained Advising", Reflection, AOP and Meta-Data for Software Evolution (RAM-SE 2006) of the 8th Asia Pacific Software Engineering Conference, pp.273--280(2001).

[18]

Rajiv Gupta, Mary Lou Soffa, John Howard: "Hybrid Slicing: Integrating Dynamic Information with Static Analysis", ACM Transactions on Software Engineering and Methodology, Vol. 6, No. 4, October 1997.

Digital Library

[19]

Reishi Yokomori, Takashi Ishio, Tetsuo Yamamoto Makoto Matsushita, Shinji Kusumoto, Katsuro Inoue: Aspect-Based Slicing System ADAS and Ranked-Component Search System SPARS-J, International Conference on Software Engineering(ICSE'03).

Digital Library

[20]

Sable Group: Soot, a Java Optimization Framework, website: http://www.sable.mcgill.ca/soot/

[21]

Takashi Ishio, Shinji Kusumoto, Katsuro Inoue: "Program Slicing Tool for Effective Software Evolution Using Aspect-Oriented Technique", Proceedings of the Sixth International Workshop on Principles of Software Evolution (IWPSE'03), 2003.

Digital Library

[22]

Venkatesh Prasad Ranganath and John Hatcliff: "Slicing Concurrent Java Programs using Indus and Kaveri", International Journal on Software Tools for Technology Transfer (STTT) dedicated to the best papers from FASE 2004-05 (2007).

Digital Library

[23]

Wang T.: "Post-Mortem dynamic analysis for software debugging", PhD Thesis, National University of Singapore, 2007

[24]

Wang T. & Roychoudhury A.: "Using compressed bytecode traces for slicing Java programs", International Conference on Software Engineering 2004.

Digital Library

[25]

Xiangyu Zhang, Rajiv Gupta: "Cost Effective Dynamic Program Slicing", Programming Language Design and Implementation (PLDI'04), June 9-11, 2004

Digital Library

Cited By

Achenbach MOstermann K(2010)A meta-aspect protocol for developing dynamic analysesProceedings of the First international conference on Runtime verification10.5555/1939399.1939415(153-167)Online publication date: 1-Nov-2010
https://dl.acm.org/doi/10.5555/1939399.1939415
Achenbach MOstermann K(2010)A Meta-Aspect Protocol for Developing Dynamic AnalysesRuntime Verification10.1007/978-3-642-16612-9_13(153-167)Online publication date: 2010
https://doi.org/10.1007/978-3-642-16612-9_13

Index Terms

A lightweight approach for program analysis and debugging
1. Software and its engineering
  1. Software creation and management
    1. Software verification and validation
      1. Process validation
        Traceability
      2. Software defect analysis
        Software testing and debugging

Recommendations

Lightweight control-flow instrumentation and postmortem analysis in support of debugging

Debugging is difficult and costly. As a programmer looks for a bug, it would be helpful to see a complete trace of events leading to the point of failure. Unfortunately, full tracing is simply too slow to use after deployment, and may even be ...
Lightweight control-flow instrumentation and postmortem analysis in support of debugging
ASE '13: Proceedings of the 28th IEEE/ACM International Conference on Automated Software Engineering

Debugging is difficult and costly. As a human programmer looks for a bug, it would be helpful to see a complete trace of events leading to the point of failure. Unfortunately, full tracing is simply too slow to use in deployment, and may even be ...
HardTaint: Production-Run Dynamic Taint Analysis via Selective Hardware Tracing

Dynamic taint analysis (DTA), as a fundamental analysis technique, is widely used in security, privacy, and diagnosis, etc. As DTA demands to collect and analyze massive taint data online, it suffers extremely high runtime overhead. Over the past decades,...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image ACM Other conferences

ISEC '10: Proceedings of the 3rd India software engineering conference

February 2010

194 pages

ISBN:9781605589220

DOI:10.1145/1730874

General Chair:
Srinivas Padmanabhuni
SETLabs, Infosys Bangalore, India
,
Program Chairs:
Sanjeev K. Aggarwal
Indian Institute of Technology Kanpur, India
,
Umesh Bellur
Indian Institute of Technology Bombay, India

Copyright © 2010 ACM.

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Sponsors

CSI SIGSE: ACM special interest group on software engineering of CSI

In-Cooperation

SIGSOFT: ACM Special Interest Group on Software Engineering

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 25 February 2010

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Research-article

Conference

ISEC '10

Sponsor:

CSI SIGSE

ISEC '10: India Software Engineering Conference

February 25 - 27, 2010

Mysore, India

Acceptance Rates

Overall Acceptance Rate 76 of 315 submissions, 24%

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

2
Total Citations
View Citations
154
Total Downloads

Downloads (Last 12 months)4
Downloads (Last 6 weeks)0

Reflects downloads up to 03 Mar 2025

Other Metrics

View Author Metrics

Citations

Cited By

Achenbach MOstermann K(2010)A meta-aspect protocol for developing dynamic analysesProceedings of the First international conference on Runtime verification10.5555/1939399.1939415(153-167)Online publication date: 1-Nov-2010
https://dl.acm.org/doi/10.5555/1939399.1939415
Achenbach MOstermann K(2010)A Meta-Aspect Protocol for Developing Dynamic AnalysesRuntime Verification10.1007/978-3-642-16612-9_13(153-167)Online publication date: 2010
https://doi.org/10.1007/978-3-642-16612-9_13

View Options

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Figures

Tables

Media

View Table of Conten