lif.h

一个很不错的程序切片工具,希望大家来讨论以下,对测试人员很有帮助

#ifndef _lif_h
#define _lif_h
/*
*****************************************************************
*                                                               *
*  Unravel Project: Develop a program slicer for ANSI C         *
*                                                               *
*  Developed at N.I.S.T. Computer Systems Lab by:               *
*                                                               *
*      D. Wallace     Project Leader                            *
*                                                               *
*      J. Lyle, J. Graham, K. Gallagher, D. Binkley & J. Poole  *
*                                                               *
*****************************************************************
*/
# define LIF_H_SCCS_ID "	@(#)lif.h	1.9  9/29/94 "
/*
****************************************************************
*                                                              *
*             L I F    F O R M A T                             *
*                                                              *
*  id   - variable id                                          *
*  node - source program statement (or fragment)               *
*  pid  - procedure id                                         *
*  name - variable or procedure name                           *
*  level- indirection level                                    *
*  addr - address number                                       *
*  chain- chain number of pointer chain on a node              *
*  field- sequence number of field in chain                    *
*  fid  - field offset in struct                               *
*  offset number of fields in a declared structure variable    *
*  A    - is an array                                          *
*  P    - is a pointer                                         *
*  S    - static object                                        *
*  X    - is declared extern                                   *
*  G    - is a goto statement                                  *
*  B    - is a break statement                                 *
*  C    - is a continue statement                              *
*  R    - returns an expression value                          *
*                                                              *
****************************************************************
*/

# define LIF_PROC_START	 1	/*  1(node,pid,name)					*/
# define LIF_PROC_END	 2	/*  2(node[,S][,R])						*/
# define LIF_FORMAL_ID	 3	/*  3(id,name[,A][,P])					*/
# define LIF_LOCAL_ID	 4	/*  4(id,name[,S][,P][,X][,A])			*/
# define LIF_GLOBAL_ID	 5	/*  5(id,name[,S][,P][,X][,A])			*/
# define LIF_FILE   	 6	/*  6(file_id,file_name)				*/
# define LIF_REF		 7	/*  7(node,id[,level])					*/
# define LIF_DEF		 8	/*  8(node,id[,level])					*/
# define LIF_GREF		 9	/*  9(node,id[,level])					*/
# define LIF_GDEF		10	/* 10(node,id[,level])					*/
# define LIF_CALL_START	11	/* 11(node,pid)							*/
# define LIF_ACTUAL_SEP	12	/* 12    *** void ***                   */
# define LIF_CALL_END	13	/* 13    *** void ***                   */
# define LIF_RETURN		14	/* 14(node,1|0)							*/
# define LIF_GOTO		15	/* 15(node,G|B|C)						*/
# define LIF_SUCC		16	/* 16(from_node,to_node)				*/
# define LIF_REQUIRES	17	/* 17(required_node,node[,to node])     */
# define LIF_SOURCE_MAP	18	/* 18(node,from_line,from_col,to_l,to_c)*/
# define LIF_CHAIN		19	/* 19(chain,id)     					*/
# define LIF_GCHAIN		20	/* 20(chain,id)     					*/
# define LIF_FIELD		21	/* 21(chain,field,fid,name)             */
# define LIF_CREF		22	/* 22(node,chain)						*/
# define LIF_CDEF		23	/* 23(node,chain)						*/
# define LIF_AREF		24  /* 24(node,addr)						*/
# define LIF_ADDRESS	25	/* 25(addr,pid,id)						*/
# define LIF_STRUCT 	26	/* 26(pid,id,offset)					*/

#endif /* _lif_h */