โปรแกรมตาม ifa.sf.net

IFA, การวิเคราะห์การไหลเชิงความร้อนเป็นการวิเคราะห์การไหลของข้อมูลและการควบคุมรวม มีความสามารถในการแก้ไขประเภทคอนกรีต (ตรงข้ามกับที่ระบุหรือชนิดที่ประกาศ) และกราฟการเรียกแบบ interprocedural สําหรับโปรแกรมที่พิมพ์แบบคงที่หร