Atur cara mengikut ifa.sf.net

IFA, Analisis Aliran Iterative adalah analisis aliran data dan kawalan gabungan. Ia mampu menyelesaikan jenis konkrit (berbanding dengan nominalatau jenis yang diisytiharkan) dan graf panggilan interprocedural untuk atur c