exception control

异常控制

对Python文件中未接收的例外进行有限的静态分析。

这是一个配x WIP配x 。检查经过测试的行为，未经测试的行为和局限性。

用法

要检查python文件中的未被发现的例外：

 python3 main.py [filename]

多个文件支持是有限的，但是您可以尝试以下操作：

 python3 main.py <(cat [file1] [file2]...)

测试的行为

已为包括的测试文件测试/test.py和tests/test2.py验证了以下行为：

• 检测通过功能手动提出的异常（ raise Exception ）。
• 检测通过在try-except块之外调用函数提出的异常，包括引起异常的用户定义功能以及一些内置的python函数（例如open() 。
• 检测通过使用索引arr[index]和除a / b或a // b之类的操作员提出的异常。
• 排除except Exception:报告中的从句，并了解例外层次结构。
• 排除报告中功能DOCSTRINGS中记录的异常。

未经测试的行为

• 除了嵌套/块外，可能会失败。
• 需要进行更广泛的测试以检测其他限制。

限制

• 会错过很多例外：
  • 由于Python是一种具有鸭子打字的动态语言，因此有许多例外无法静态检测到。
  • 大多数流行功能提出的例外是无证的，因此从外部看不到。
  • 例外用名称存储。如果一个函数中有多个TypeError ，则只会报告最后一个。
• 即使执行中永远不会报告例外：
  • 由于它是静态分析工具，因此它不会遵循代码或确定其可能值的变量。
  • 这就是为什么，无论是否“安全”，将报告任何索引或部门操作的例外。
• 与课程或自定义例外不能很好地工作：
  • 单个文档中可能有很多类，其中包含不同类中共享同名的方法的方法。
  • 有很多方法可以实例化和调用其方法。
  • 在某些情况下，无法确定变量的类别和使用静态分析的函数的类别。
• 不支持外部库：
  • 外部库是不支持的，但是该代码足够扩展，可以使它们在将来包括在内。
• 对多个文件的支持有限：
  • 支持多个文件的支持是通过bash流程替换来完成的。 python3 main.py <(cat [file1] [file2]...)
  • 行号将相对于合并文件而不是每个文件。
  • 用名称搜索函数，因此将无法检测到from <module> import <function> as <new_name>重命名的函数。