Control Flow Graph for FAST Fortran

A Control Flow Graph analysis for FAST Fortran Control Flow Graphs (CFG) are a common tool for static analyzis of a computation unit (eg. a method) and find some errors (unreachable code, infinite loops) It is based on the concept of Basic Block : a sequence of consecutive statements in which flow of control can only enter at the beginning and leave at the end. Only the last statement of a basic…