static_analysis

   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.