Static analysis



theory, programming
A family of techniques of program analysis where the program is not actually executed (as opposed to dynamic analysis), but is analyzed by tools to produce useful information.
Static analysis techniques range from the most mundane (statistics on the density of comments, for instance) to the more complex, semantics-based techniques.
Qualities sought in static analysis techniques are soundness and completeness.
(2003-04-12)

Tagged:

Read Also:

  • Static-character

    noun 1. a literary or dramatic character who undergoes little or no inner change; a character who does not grow or develop. noun a literary character who remains basically unchanged throughout a work

  • Static-cling

    noun 1. the adhering of clothing to other clothing or a person’s body, caused by an accumulation of static electricity in the materials, especially those containing synthetic fibers. noun the property or state of a material charged with static electricity sticking to another material



  • Static convulsion

    static convulsion stat·ic convulsion (stāt’ĭk) n. See saltatory spasm.

  • Static database management system

    database (static DBMS) A database consisting of “information-based relationships”, one that is rigorously structured to facilitate retrieval and update in terms of inherent relationships. This creates a static environment wherein the locations of the related records are already known. Typical static DBMS are either hierarchical (IMS, System 2000) or a CODACYL (network or plex) DBMS […]



Disclaimer: Static analysis definition / meaning should not be considered complete, up to date, and is not intended to be used in place of a visit, consultation, or advice of a legal, medical, or any other professional. All content on this website is for informational purposes only.