CSI: crash scene investigation
Pages 123 - 124
Abstract
Prior work proposes inexpensive, tunable tracing of acyclic paths and callsite coverage to enhance post-failure memory dumps. To better understand this data, current work investigates the benefit of each piece of traced data independently, their interplay, future low-cost data to collect, and further analysis uses of the post-mortem data.
References
[1]
H. Agrawal and J. R. Horgan. Dynamic program slicing. In Proceedings of the ACM SIGPLAN 1990 conference on Programming language design and implementation, PLDI '90, pages 246--256, New York, NY, USA, 1990. ACM.
[2]
T. Ball and J. R. Larus. Efficient path profiling. In Proceedings of the 29th annual ACM/IEEE international symposium on Microarchitecture, MICRO 29, pages 46--57, Washington, DC, USA, 1996. IEEE Computer Society.
[3]
S. Horwitz, T. Reps, and D. Binkley. Interprocedural slicing using dependence graphs. ACM Trans. Program. Lang. Syst., 12 (1): 26--60, Jan. 1990.
[4]
P. Ohmann and B. Liblit. Lightweight control-flow instrumentation and postmortem analysis in support of debugging. In 28th International Conference on Automated Software Engineering (ASE 2013), Palo Alto, California, Nov. 2013. IEEE and ACM.
[5]
K. J. Ottenstein and L. M. Ottenstein. The program dependence graph in a software development environment. In Proceedings of the first ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environments, SDE 1, pages 177--184, New York, NY, USA, 1984. ACM.
[6]
J. Rößler, A. Zeller, G. Fraser, C. Zamfir, and G. Candea. Reconstructing core dumps. In ICST '13: Proceedings of the Sixth IEEE International Conference on Software Testing, Verification and Validation, Mar. 2013.
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 ...
Equivalence analysis and its application in improving the efficiency of program slicing
Existing methods for handling pointer variables during dataflow analyses can make such analyses inefficient in both time and space because the data-flow analyses must store and propagate large sets of data facts that are introduced by dereferences of ...
Making your crashes work for you (doctoral symposium)
ISSTA 2015: Proceedings of the 2015 International Symposium on Software Testing and AnalysisDebugging is difficult and costly. Developers greatly value full traces and complete, reproducible crash recordings, but these are impractical for deployed software. Fortunately, failing applications can leave behind a snapshot of their crashing state ...
Comments
Information & Contributors
Information
Published In
October 2013
192 pages
Copyright © 2013 Owner/Author.
Permission to make digital or hard copies of part or all 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 third-party components of this work must be honored. For all other uses, contact the Owner/Author.
Sponsors
Publisher
Association for Computing Machinery
New York, NY, United States
Publication History
Published: 26 October 2013
Check for updates
Author Tags
Qualifiers
- Short-paper
Conference
SPLASH '13
Sponsor:
SPLASH '13: Conference on Systems, Programming, and Applications: Software for Humanity
October 26 - 31, 2013
Indiana, Indianapolis, USA
Upcoming Conference
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- 0Total Citations
- 93Total Downloads
- Downloads (Last 12 months)0
- Downloads (Last 6 weeks)0
Reflects downloads up to 08 Feb 2025
Other Metrics
Citations
Cited By
View allView Options
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in