Static Analysis

Kind: technique

Record: reasoning:technique-static-analysis

Canonical: Reasoning

Reads structure and types for defects before execution

Listed in Reasoning records, after Category Theory and before Unit Testing.

Mode

• observation

Principle ref

• Static Analysis

Surfaces

• numerical-correctness
• security-correctness
• configuration-correctness

Linked from

• Contracts / Interfaces / Compatibility
• Core Modular Design
• The modes
• The test surfaces