Abstract: Exception handling is a technology that tests and handles exception. Exception propagation induces a control flow other than the main control flow, so it changes the data flows, control flows of programs and the dependence rela- tionshi Pbetween the struc

Key words: Exception handling, Program analysis, Exception propagation, Design and implementation