Pythonでの静的コード解析？

Question

有用な静的コード解析をPythonにお勧めします。私はコードをリファクタリングするのに便利だと思います。 私は、動的コールグラフについて

pycallgraphは

は、静的コールアナライザはありますバグの

pylintモジュールの依存関係のため

• snakefoodを知っていますか？私がカスタムのプログラムを作りたいと思ったら、これは一番簡単な方法でしょうか？

  他にどのようなタイプの静的コードチェックが考えられますか？あるいはABCのようなPythonの魔法さえあれば？

  EDIT：私は、http://docs.python.org/3.3/library/ast.html、おそらくhttp://www.astroid.org/のいずれかを使用して、カスタムパーサーをプログラムすることができることを発見しました。次に、graphvizを使用してUMLグラフのためのPlantUMLを視覚化することもできます。

Answer 1

ないまさに "静的コード分析装置" それでももう少し：

http://code.google.com/p/shedskin/

Answer 2

チェックアウトpycheckerとpyflakes。 pylint-pychecker-or-pyflakes

Answer 3

を議論する有名な質問がありましたこれは、強力なバグチェック能力を持っていますが、それは、そのインタフェースを介して露出することはないですが、私はあなたが多くの素晴らしいのチェックを行うことができ想定し、非常に強力なPythonの型inferencer https://github.com/yinwang0/pysonar2

ですそれに基づいて。

Answer 4

Pysonar2は、推論Pythonプロジェクトを入力するためのabstract interpretationの非常に優れた実装です。別の同様の質問に対する私の答えはhereです。