Phân tích tĩnh là kỹ thuật quan trọng trong đảm bảo chất lượng phần mềm, giúp phát hiện lỗi tiềm ẩn mà không cần chạy chương trình.

• Các công cụ phân tích tĩnh dựa trên quy tắc thường kiểm tra toàn bộ mã nguồn với tất cả quy tắc, gây tốn thời gian xử lý.
• - Tác giả đề xuất biểu thức CObject để mô tả đặc trưng đối tượng của quy tắc, từ đó lọc ra các quy tắc không liên quan đến tệp nguồn đang kiểm tra.
• - Biểu thức CObject sử dụng cú pháp tiền tố với các toán tử logic như exist, and, or, neg để xác định sự tồn tại của đối tượng đặc trưng.
• - Kỹ thuật được triển khai trên công cụ PMD mã nguồn mở, tạo phiên bản mở rộng EPMD có khả năng lọc quy tắc tự động.
• - Thử nghiệm trên 6 dự án phần mềm lớn cho thấy hiệu năng cải thiện trung bình 28.7% mà không ảnh hưởng đến độ chính xác phát hiện lỗi.