Exception Handling In Software Analysis