Tools for automatic differentiation of Fortran code.
Primarily static analysis -- detect nonstandard Fortran code and possible logic errors such as the use of unitialized variables or unreachable code.
Translation of Fortran code to another language, or vice versa.