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

IFA, Phân tích dòng chảy lặp là phân tích lưu lượng dữ liệu và kiểm soát kết hợp. Nó có khả năng giải quyết các loại bê tông (trái ngược với danh nghĩahoặc các loại khai báo) và đồ thị cuộc gọi interprocedural cho các chươ