Program Slicing Using the PIFG: with emphasis on Jump Statement
Park Jae Heung, Kang Won Im, Park Joong Yang · The Transactions of the Korea Information Processing Society · 1998
Program slicing is a technique to extract the statements which influence the value of a variable at a particular point of the program. It has been proposed that this technique is useful in debugging, iptimization, program maintenance, testing, extraction reusable components and other applications including the understanding of the program behavior. This paper aims to address the problem of slicing programs with Jump goto, break, continue in C statements, It was found that previous slicing algorithms do not always generate semantically correct slices when applied to such programs. We, therefore, point out why the previous methods do not work in this more general setting, and describe our eficient solutions that compate more correctly executable slices for such programs.