exception control

例外制御

Pythonファイルで、猛攻撃の例外のために限られた静的分析を実行します。

これはですショ和wipショ和。テストされた動作、未検証の動作、制限をチェックしてください。

使用法

Pythonファイルで猛攻撃の例外を確認するには：

 python3 main.py [filename]

複数のファイルサポートは限られていますが、これを試すことができます。

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

テストされた動作

含まれるテストファイルのテスト/test.pyおよびtests/test2.pyについて、以下の動作が検証されています：

• 関数によって手動で提起された例外を検出します（ raise Exception ）。
• 例外を提起するユーザー定義の関数や、 open()のようないくつかの組み込みのPython関数を含む、Try-Exectectブロックの外側で関数を呼び出すことによって提起された例外を検出します。
• arr[index]インデックス付けやa / bまたはa // bを分割するなどの演算子を使用して発生した例外を検出します。
• except Exception:キャッチされた例外を除外し、例外階層を理解します。
• レポートから関数ドキュストリングに文書化された例外を除外します。

テストされていない動作

• ブロックを除いて、ネストされたtry/で失敗する可能性があります。
• 追加の制限を検出するには、より広範なテストを行う必要があります。

制限

• 多くの例外を逃します：
  • PythonはDuck Typingを使用して動的な言語であるため、静的に検出できない多くの例外があります。
  • 最も人気のある機能によって提起された例外は文書化されていないため、外部からは見えません。
  • 例外は名前で保存されます。関数に複数のTypeErrorがある場合、最後のもののみが報告されます。
• 実行中に提起されない場合でも、例外を報告します。
  • 静的分析ツールであるため、コードに沿って変数に従ったり、可能な値を決定したりしません。
  • そのため、「安全」であるかどうかに関係なく、インデックスまたは部門の操作について例外が報告されます。
• クラスやカスタムの例外ではうまく機能しません。
  • 単一のドキュメントには、同じ名前を共有するさまざまなクラスのメソッドを備えた多くのクラスがあります。
  • クラスをインスタンス化してその方法を呼び出す方法はたくさんあります。
  • 場合によっては、変数のクラスと静的解析を使用して呼び出される関数を決定することは不可能です。
• 外部ライブラリをサポートしていません：
  • 外部ライブラリはサポートされていませんが、コードは将来それらを含めることができるように十分に拡張可能です。
• 複数のファイルのサポートは制限されています：
  • 複数のファイルのサポートは、BASHプロセス代替を通じて行われます。 python3 main.py <(cat [file1] [file2]...)
  • 行番号は、ファイルごとではなく、マージされたファイルに関連しています。
  • 関数は名前で検索されるため、 from <module> import <function> as <new_name>名前を変更してはなりません。