पायथन में स्टेटिक कोड विश्लेषण?

Question

पाइथन के लिए आप कौन सी उपयोगी स्थिर कोड विश्लेषण की सिफारिश कर सकते हैं। मेरा मानना ​​है कि वे कोड को दोबारा करने के लिए उपयोगी हैं। मैं जानता हूँ कि

• मॉड्यूल निर्भरता के लिए snakefood गतिशील कॉल रेखांकन के लिए
• pycallgraph
• कीड़े के लिए pylint

वहाँ स्थिर कॉल विश्लेषक हैं? अगर मैं एक कस्टम प्रोग्राम करना चाहता था, जो सबसे आसान तरीका होगा?

आप किस प्रकार के स्थिर कोड चेक के बारे में सोच सकते हैं? या शायद कुछ पाइथन जादू भी एबीसी की तरह?

संपादित करें: मैंने पाया है कि या तो http://docs.python.org/3.3/library/ast.html या शायद http://www.astroid.org/ का उपयोग करके कुछ कस्टम पार्सर प्रोग्राम करने के लिए उपयोग किया जा सकता है। फिर कोई यूएमएल ग्राफ के लिए कल्पना या यहां तक ​​कि PlantUML को देखने के लिए ग्राफविज़ का उपयोग कर सकता है।

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 का अनुमान लगाने के लिए पाइथन परियोजनाओं का एक बहुत अच्छा कार्यान्वयन है। एक और समान प्रश्न का मेरा जवाब here है।