Phân tích cây cú pháp trừu tượng AST phát hiện Anti-Patterns mã nguồn

Mục tiêu kiến thức

• Sử dụng mô-đun chuẩn ast của Python để phân tích mã nguồn thành cây cú pháp trừu tượng (Abstract Syntax Tree).
• Triển khai mẫu thiết kế Visitor bằng lớp kế thừa ast.NodeVisitor.
• Xây dựng công cụ kiểm tra tĩnh (Linter) phát hiện các lỗi mã nguồn (Anti-patterns) kinh điển trong Python.

Mô tả bài toán

Viết hàm lint_python_code(source_code: str) -> list[dict]:

• Phân tích chuỗi mã nguồn source_code bằng ast.parse(source_code). Nếu có lỗi cú pháp SyntaxError, trả về danh sách chứa duy nhất một dict:

[{"type": "SYNTAX_ERROR", "line": e.lineno, "message": str(e)}].

• Duyệt cây cú pháp để phát hiện 2 loại lỗi sau:
• MUTABLE_DEFAULT_ARG: Khi định nghĩa hàm (FunctionDef hoặc AsyncFunctionDef) có tham số mặc định là kiểu dữ liệu có thể biến đổi (mutable), gồm:
• ast.List ([]), ast.Dict ({}), ast.Set (set()).
• Ghi nhận: {"type": "MUTABLE_DEFAULT_ARG", "line": default_node.lineno, "func_name": node.name, "message": f"Ham '{node.name}' chua mutable default argument"}.
• BARE_EXCEPT: Khi khối ExceptHandler không chỉ định loại ngoại lệ (handler.type is None).
• Ghi nhận: {"type": "BARE_EXCEPT", "line": handler.lineno, "message": "Khoi except khong chi dinh ngoai le cu the"}.
• Trả về danh sách tất cả các cảnh báo tìm được, sắp xếp tăng dần theo số dòng line.

Ràng buộc

• Thời gian chạy tối đa: 1000ms.
• Giới hạn bộ nhớ: 256MB.
• Dữ liệu đầu vào tuân thủ đúng kiểu dữ liệu và miền giá trị được mô tả.