我猜一个解决方案可能只是不精确，因为缺少静态的输入规则。
我不知道有什么工具可以检查异常，但是您可以根据自己的需求提出自己的工具（这是一个很好的机会，可以使用静态分析）。
第一次尝试，您可以编写一个构建AST的函数，查找所有
Raise节点，然后尝试找出引发异常的常见模式（例如，直接调用构造函数）
让
x下面的程序为例：
x = '''if f(x): raise IOError(errno.ENOENT, 'not found')else: e = g(x) raise e'''
使用
compiler包构建AST ：
tree = compiler.parse(x)
然后定义一个
Raise访问者类：
class RaiseVisitor(object): def __init__(self): self.nodes = [] def visitRaise(self, n): self.nodes.append(n)
并遍历AST收集
Raise节点：
v = RaiseVisitor()compiler.walk(tree, v)>>> print v.nodes[ Raise( CallFunc( Name('IOError'), [Getattr(Name('errno'), 'ENOENT'), Const('not found')], None, None), None, None), Raise(Name('e'), None, None),]您可以继续使用编译器符号表解析符号，分析数据依赖关系等。或者您可以推断出
CallFunc(Name('IOError'),...)“绝对应该意味着加注IOError”，对于快速实用的结果来说，这是完全可以的：)
