Using backward dynamic program slicing to isolate influencing statements in GDB

Árpád Beszédes, Tibor Gyimóthy, Gábor Lóki, Gergely Diós, Ferenc Kovács

Research output: Contribution to conferencePaper

1 Citation (Scopus)

Abstract

Program slicing is a program analysis technique initially introduced to assist debugging, based on the observation that programmers mentally form program slices when they debug and understand programs. Namely, only those statements need to be investigated that actually influenced the erroneous value, and eventually, these statements constitute the backward dynamic program slice. An efficient algorithm to compute such slices has been implemented in the GCC/GDB environment, which adds a new slice command to retrieve the slice for a given program entity. In this paper, a background on program slicing is given, followed by the details of implementation. The dependences are computed after 'gimplification' in GCC, while STABS format is used to transfer them to GDB. The initial experimental results are presented as well.

Original languageEnglish
Pages21-30
Number of pages10
Publication statusPublished - Dec 1 2007
EventGCC and GNU Toolchain Developers' Summit 2007 - Ottawa, ON, Canada
Duration: Jul 18 2007Jul 20 2007

Other

OtherGCC and GNU Toolchain Developers' Summit 2007
CountryCanada
CityOttawa, ON
Period7/18/077/20/07

ASJC Scopus subject areas

  • Software

Cite this

Beszédes, Á., Gyimóthy, T., Lóki, G., Diós, G., & Kovács, F. (2007). Using backward dynamic program slicing to isolate influencing statements in GDB. 21-30. Paper presented at GCC and GNU Toolchain Developers' Summit 2007, Ottawa, ON, Canada.