Análisis de código estático en Python?

Question

Qué útil análisis de código estático puede recomendar para Python. Creo que son útiles para refactorizar el código. Sé

• snakefood para dependencias del módulo
• pycallgraph de gráficos llamada dinámica
• pylint para los insectos

¿Hay analizadores de llamadas estáticas? Si quisiera programar uno personalizado, ¿cuál sería la forma más fácil?

¿Qué otro tipo de control de código estático puede pensar? ¿O tal vez incluso algo de magia de Python como el ABC?

EDITAR: He encontrado que, ya sea usando http://docs.python.org/3.3/library/ast.html o quizás incluso http://www.astroid.org/ se puede utilizar para programar algunos analizadores personalizados. Entonces uno puede usar graphviz para visualizar o incluso PlantUML para gráficos UML.

Answer 1

No exactamente "analizador de código estático", pero incluso un poco más:

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

Answer 2

la salida pychecker y pyflakes. Hubo una pregunta famosa para discutir el pylint-pychecker-or-pyflakes

Answer 3

esta es una muy poderosa tipo pitón inferencer https://github.com/yinwang0/pysonar2

se tiene una fuerte capacidad de comprobación de error pero no es expuesta a través de su interfaz, pero supongo que podría hacer muchos controles impresionantes basado en eso

Answer 4

Pysonar2 es una muy buena implementación de abstract interpretation para escribir inferencia de proyectos Python. Mi respuesta a otra pregunta similar es here.