Is there a tool like FRAMA_C for Fortran?

This will certainly be of help, but like @everythingfunctional said, we are exploring a number of techniques. Having a platform to try things out is definitely worthwhile.

@vsnyder, if you would like to participate, please do.