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, and some uses
    of the FIND command, to generate call graphs and type graphs.