Программы ifa.sf.net

IFA, Итеративный анализ потока является комбинированным анализом потока данных и потока управления. Он способен решать конкретные типы (в отличие от номинальныхили объявленные типы) и межпроектальный график вызова для стат