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一个非常好的实现。 我对另一个类似问题的答案就在这里 。