文档介绍：An Efficient Slicing Method for Library Functions and Its Implementation
LibSlicer
Takao Shimomura Xinjun Zhang
Dept. of Info Sci. & Intel. Syst. Graduate School of Engineering
University of Tokushima University of Tokushima
2-1 Minamijosanjima, Tokushima, Japan 2-1 Minamijosanjima, Tokushima, Japan
******@- ******@-
Muneo Takahashi
Faculty of Engineering
Toin University of Yokohama
1614 Kurogane-cho, Aoba, Yokohama, Japan
******@
Abstract for programs including database operations [12] analyzes
dependences between database operations using records
Program slicing is a technique for statically analyz- that are referred to by the database operations and explic-
ing a program and extracting an executable sub-program, itly written in a source program. The method this paper
which is called a program slice, from the original pro- presents analyzes dependences between library functions
gram. This technique has been widely applied to program using global data that are referred to by the library func-
testing, debugging and maintenance. This paper presents tions but not explicitly declared in a program. In this
a slicing method for extracting program slices from a pro- method, before slicing a program with respect to a slic-
gram that calls library functions, which are provided as ing criterion,