SofCheck Thanh tra là một công cụ phân tích tĩnh mà phát hiện ra sai sót trong bytecode Java. Nó sử dụng tĩnh kiểm soát dòng chảy, lưu lượng dữ liệu, và có thể tạo ra giá trị thiết lập tuyên truyền (PVP) kỹ thuật để xác định những nơi lỗi thời gian chạy...