An approach to analyzing exception propagation