Chương trình theo cite-effect.sf.net

trích dẫn hiệu ứng giúp hiểu, xác nhận và tái cấu trúc các chương trình thông qua phân tích tĩnh. Sau khi xây dựng cơ sở dữ liệu, nó báo cáo các quyền truy cập của biến trong (các) cây cuộc gọi, ở định dạng văn bản phù hợp để