Primarily static analysis -- detect nonstandard Fortran code and possible logic errors such as the use of unitialized variables or unreachable code.