Dự án này bao gồm một tập hợp các thư viện và các ứng dụng cho lĩnh vực phân tích chương trình. Điểm khởi đầu là một phân tích kiểu cho các chương trình Java sử dụng Thuật toán sản phẩm Cartesian của Agesen.
lịch sử phiên bản
- Phiên bản 0.3 đăng trên 2002-10-28
Một số bản sửa lỗi và cập nhật - Phiên bản 0.3 đăng trên 2002-10-28
Chi tiết chương trình
- Mục: Giáo dục > Khác
- Publisher: programanalysis.sf.net
- Giấy phép: Miễn phí
- Giá: N/A
- Phiên bản: 0.3
- Nền tảng: windows