VMS Help SCA, SCA Topics, Glossary, static_analysis  *Conan The Librarian (sorry for the slow response - running on an old VAX)

    The analysis of a software system performed by looking at the
    source code. This is in contrast to dynamic analysis, which is
    analysis of the software while it is running.

    SCA has some commands which do static analysis. These commands are
    the INSPECT command, which does consistency checking, the REPORT
    command, that can generate reports about modules, imported and
    exported objects, and so forth, and some uses of the FIND command,
    to generate call graphs and type graphs.