Static analyzer for Fortran programs
