Slicing java programs that throw and catch exceptions

Authors:
Matthew Allen;Susan Horwitz
Affiliations:
University of Wisconsin-Madison, Madison, WI;University of Wisconsin-Madison, Madison, WI
Venue:
Proceedings of the 2003 ACM SIGPLAN workshop on Partial evaluation and semantics-based program manipulation
Year:
2003

Citing 15
Cited 15

The program dependence graph and its use in optimization

ACM Transactions on Programming Languages and Systems (TOPLAS)
Interprocedural slicing using dependence graphs

ACM Transactions on Programming Languages and Systems (TOPLAS)
A Formal Model of Program Dependences and its Implications for Software Testing, Debugging, and Maintenance

IEEE Transactions on Software Engineering
Static slicing in the presence of goto statements

ACM Transactions on Programming Languages and Systems (TOPLAS)
Speeding up slicing

SIGSOFT '94 Proceedings of the 2nd ACM SIGSOFT symposium on Foundations of software engineering
A framework for generalized control dependence

PLDI '96 Proceedings of the ACM SIGPLAN 1996 conference on Programming language design and implementation
Static slicing of threaded programs

Proceedings of the 1998 ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering
System-dependence-graph-based slicing of programs with arbitrary interprocedural control flow

Proceedings of the 21st international conference on Software engineering
Slicing concurrent programs

Proceedings of the 2000 ACM SIGSOFT international symposium on Software testing and analysis
Analysis and Testing of Programs with Exception Handling Constructs

IEEE Transactions on Software Engineering
A precise inter-procedural data flow algorithm

POPL '81 Proceedings of the 8th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Slicing Programs with Arbitrary Control-flow

AADEBUG '93 Proceedings of the First International Workshop on Automated and Algorithmic Debugging
The program dependence graph in a software development environment

SDE 1 Proceedings of the first ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environments
Analysis of Programs with Exception-Handling Constructs

ICSM '98 Proceedings of the International Conference on Software Maintenance
Slicing Objects Using System Dependence Graphs

ICSM '98 Proceedings of the International Conference on Software Maintenance

A brief survey of program slicing

ACM SIGSOFT Software Engineering Notes
Combining the robustness of checked exceptions with the flexibility of unchecked exceptions using anchored exception declarations

OOPSLA '05 Proceedings of the 20th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
On bytecode slicing and aspectJ interferences

Proceedings of the 6th workshop on Foundations of aspect-oriented languages
Thin slicing

Proceedings of the 2007 ACM SIGPLAN conference on Programming language design and implementation
Efficient online detection of dynamic control dependence

Proceedings of the 2007 international symposium on Software testing and analysis
A new foundation for control dependence and slicing for modern program structures

ACM Transactions on Programming Languages and Systems (TOPLAS) - Special Issue ESOP'05
An analysis approach for testing exception handling programs

ACM SIGPLAN Notices
Removing useless variables in cost analysis of Java bytecode

Proceedings of the 2008 ACM symposium on Applied computing
A model-based regression test selection approach for embedded applications

ACM SIGSOFT Software Engineering Notes
Program dependence graph based slicing for Java

SEA '07 Proceedings of the 11th IASTED International Conference on Software Engineering and Applications
Identification of extract method refactoring opportunities for the decomposition of methods

Journal of Systems and Software
Information flow analysis for javascript

Proceedings of the 1st ACM SIGPLAN international workshop on Programming language and systems technologies for internet clients
A new foundation for control-dependence and slicing for modern program structures

ESOP'05 Proceedings of the 14th European conference on Programming Languages and Systems
A regression test selection technique for embedded software

ACM Transactions on Embedded Computing Systems (TECS)
Security Signature Inference for JavaScript-based Browser Addons

Proceedings of Annual IEEE/ACM International Symposium on Code Generation and Optimization

Quantified Score

Hi-index	0.00

Visualization

Abstract

Exceptions are the preferred method for error handling in object-oriented languages like Java. Current program-slicing algorithms do not correctly deal with exception-handling constructs, because they do not account for the additional control and data dependences introduced by exceptions. This paper extends previous work on program slicing using the system dependence graph (SDG) to support slicing programs with exceptions.