Chương trình theo javastaticcheck.sf.net

Đây là một nguyên mẫu của Java Static Checker (JSC), một công cụ phân tích tĩnh trọng lượng nhẹ kiểm tra mã nguồn Java cho các lớp lỗi thông qua danh mục lỗi. Công cụ này hướng đến độ âm thanh và khả năng mở rộng trong khi x