Статический анализ кода в Python?

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

• змеиная пища для зависимостей модулей
• pycallgraph для динамических графиков вызовов
• pylint для ошибок

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

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

РЕДАКТИРОВАТЬ :Я обнаружил, что либо использование http://docs.python.org/3.3/library/ast.html, либо дажеhttp://www.astroid.org/может быть использовано для программирования некоторого пользовательского синтаксического анализатора. Затем можно использовать graphviz для визуализации или даже PlantUML для графиков UML.