Statická analýza kódu v Pythone? - python, ladenie, refactoring, analýza statického kódu

Ktorú užitočnú analýzu statického kódu môžete odporučiť pre Python. Som presvedčený, že sú užitočné pri refaktoringovom kóde. viem

• hady pre závislosti na moduloch
• pycallgraph pre dynamické volacie grafy
• pylint pre chyby

Existujú statické analyzátory hovorov? Keby som chcel naprogramovať vlastný, čo by bol najjednoduchší spôsob?

Na aký iný typ statických kódov si môžete myslieť? Alebo možno aj nejaké kúzla Pythonu ako ABC?

EDIT: Zistil som, že buď pomocou http://docs.python.org/3.3/library/ast.html alebo dokonca dokonca http://www.astroid.org/ možno použiť na programovanie niektorých vlastných syntaktických analyzátorov. Potom je možné použiť graphviz na vizualizáciu alebo dokonca PlantUML pre UML grafy.

odpovede:

odhlásiť sa PyChecker a pyflakes, Diskutovalo sa o slávnej otázke pylint-PyChecker-or-pyflakes

Jedná sa o veľmi výkonný iniciátor pythonového typu https://github.com/yinwang0/pysonar2

má silnú schopnosť kontroly chýb, ale nie je vystavená prostredníctvom svojho rozhrania, ale predpokladám, že by ste na základe toho mohli urobiť veľa úžasných kontrol.

Nie presne „analyzátor statického kódu“, ale ešte trochu viac:

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

Pysonar2 je veľmi pekná implementácia abstract interpretation písať inferenčné projekty Pythonu. Moja odpoveď na inú podobnú otázku je tu.