This post discusses a static analyzer tool for legacy Fortran code, designed to identify constructs that may lead to incorrect results. It details the tool's capabilities, the validation process it underwent with real codebases, and the findings that were both surprising and humbling. The author invites feedback on the tool's performance with users' code.