Phân tích mã tĩnh bằng Python?

Question

Bạn có thể giới thiệu phân tích mã tĩnh hữu ích nào cho Python. Tôi tin rằng chúng rất hữu ích cho việc tái cấu trúc mã. Tôi biết

• snakefood cho module phụ thuộc
• pycallgraph cho đồ thị cuộc gọi động
• pylint cho lỗi

Có phân tích cuộc gọi tĩnh? Nếu tôi muốn lập trình một tùy chỉnh, đó sẽ là cách dễ nhất?

Bạn có thể nghĩ đến loại kiểm tra mã tĩnh nào khác? Hoặc thậm chí một số phép thuật Python như ABC?

CHỈNH SỬA: Tôi thấy rằng việc sử dụng http://docs.python.org/3.3/library/ast.html hoặc thậm chí http://www.astroid.org/ có thể được sử dụng để lập trình một số trình phân tích cú pháp tùy chỉnh. Sau đó, người ta có thể sử dụng graphviz để hình dung hoặc thậm chí PlantUML cho các đồ thị UML.

Answer 1

Không chính xác "mã phân tích tĩnh" nhưng ngay cả một chút:

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

Answer 2

séc ra pychecker và pyflakes. Có một câu hỏi nổi tiếng để thảo luận về pylint-pychecker-or-pyflakes

Answer 3

đây là một loại trăn rất mạnh mẽ inferencer https://github.com/yinwang0/pysonar2

nó đã mạnh mẽ khả năng kiểm tra lỗi nhưng nó không tiếp xúc thông qua giao diện của nó, nhưng tôi giả sử bạn có thể làm nhiều kiểm tra tuyệt vời dựa trên nó.

Answer 4

Pysonar2 là một triển khai rất tốt đẹp của abstract interpretation để nhập dự án Python suy luận. Câu trả lời của tôi cho một câu hỏi tương tự khác là here.