프로그램별 ifa.sf.net

IFA, 반복 흐름 분석은 결합된 데이터 흐름 및 제어 흐름 분석입니다. 그것은 콘크리트 유형을 해결할 수있다 (명목과 는 반대로또는 선언된 형식) 및 정적 또는 동적으로 입력된 프로그램에 대한 상호 간 호출 그래프입니다.