Control-Flow Analysis of Programs with Exception-Handling Constructs