プログラム ifa.sf.net

IFA、反復流量分析は、データフローと制御フローを組み合わせた分析です。 それは(名義とは対照的に)コンクリート型を解決することができるまたは宣言された型) と静的または動的に型指定されたプログラムのプロシージャー間呼び出しグラフ。