Анализ статического кода в Python?

Question

Какой полезный статический анализ кода вы можете порекомендовать для Python. Я считаю, что они полезны для рефакторинга кода. Я знаю

• snakefood для зависимостей модуля
• pycallgraph для графов динамического вызова
• pylint жучков

Существует анализаторы статического вызова? Если бы я хотел запрограммировать пользовательский, что было бы самым простым способом?

Какие еще типы статических проверок кода вы можете придумать? Или, может быть, даже магия Python, как ABC?

EDIT: Я нашел, что либо с помощью http://docs.python.org/3.3/library/ast.html, либо даже http://www.astroid.org/ может использоваться для программирования некоторого пользовательского парсера. Затем можно использовать graphviz для визуализации или даже PlantUML для графиков UML.

Answer 1

Не совсем "статический анализатор кода", но даже немного больше:

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

Answer 2

чек из pychecker и pyflakes. Был известный вопрос, чтобы обсудить pylint-pychecker-or-pyflakes

Answer 3

это очень мощный тип питона inferencer https://github.com/yinwang0/pysonar2

это сильная проверка ошибки способность, но она не подвергается воздействию через интерфейс, но я предполагаю, что вы могли бы сделать много удивительных проверок основанный на нем.

Answer 4

Pysonar2 - очень хорошая реализация abstract interpretation, чтобы напечатать выводы проектов Python. Мой ответ на другой подобный вопрос: here.