Python中的靜態代碼分析？

Question

您可以為Python推薦哪種有用的靜態代碼分析。 我相信它們對於重構代碼很有用。 我知道

• snakefood用於模塊依賴
• 用於動態調用圖的pycallgraph
• pylint for bugs

有靜態呼叫分析儀嗎？ 如果我想編制一個自定義的，這將是最簡單的方法？

你能想到其他什么類型的靜態代碼檢查？ 或者甚至可能像ABC這樣的Python魔術？

編輯：我發現使用http://docs.python.org/3.3/library/ast.html或甚至http://www.astroid.org/可以用來編程一些自定義解析器。 然后可以使用graphviz來可視化甚至是用於UML圖的PlantUML。

Answer 1

看看pychecker和pyflakes 。 有一個着名的問題要討論pylint-pychecker-pypykes

Answer 2

這是一個非常強大的python類型推理器https://github.com/yinwang0/pysonar2

它具有強大的錯誤檢查能力，但它沒有通過其界面暴露，但我認為你可以根據它做很多很棒的檢查。

Answer 3

不完全是“靜態代碼分析器”，但甚至更多：

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

Answer 4

Pysonar2是類型推斷Python項目的abstract interpretation一個非常好的實現。 我對另一個類似問題的答案就在這里 。