Artículo:
Conditional Control Dependence to Represent Catch Statements in the System Dependence Graph

Fecha

2021-09-22

Editor

Sistedes

Publicado en

Actas de las XX Jornadas de Programación y Lenguajes (PROLE 2021)

Licencia

All rights reserved to their respective owners

Resumen

Program slicing is a technique for program analysis and transformation with many different applications such as program debugging, program specialization, and parallelization. The system dependence graph (SDG) is the most commonly used data structure for program slicing. In this paper, we show that the presence of exception-handling constructs can make the SDG produce incorrect and sometimes even incomplete slices. We showcase the instances of incorrectness and incompleteness and we propose a new kind of control dependence: conditional control dependence; which produces more precise slices in the presence of catch statements.

Descripción

Acerca de Galindo, Carlos

Palabras clave

Conditional Control Dependence, Control Dependence, Exception Handling, Program Slicing, System Dependence Graph

Colecciones

Página completa del ítem
Notificar un error en este artículo
Mostrar cita
Mostrar cita en BibTeX
Descargar cita en BibTeX