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>重命名的函數。