Program slicing with exception handling

[EN] 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 framework for correctly handling exception-related instructions, which includes representation of all possible exception throwing and catching mechanisms, and a new kind of control dependence: conditional control dependence; which produces more precise slices in the presence of catch statements.This work is partially supported by the EU (FEDER) and the Spanish MCI/AEI under Grant No.: TIN2016-76843-C4-1-R and PID2019-104735RB-C41, and by the Generalitat Valenciana under grant Prometeo/2019/098 (DeepTrust). Sergio Pérez was partially supported by Universitat Politècnica de València under FPI grant PAID-01-18.Galindo-Jiménez, CS.; Pérez-Rubio, S.; Silva, J. (2020). Program slicing with exception handling. ACM. 1-7. http://hdl.handle.net/10251/1798131