Are there any tools to check wether exceptions produced by this approach are safely handled? I can imagine this implemented in linters.