Static Analysis

Domain: Code Generation

🎯 Motivation

Analyzing code without running it to find bugs, style issues, and security vulnerabilities. The model can perform this.

πŸ“‹ Concrete Example

Model scans code: β€˜Line 10: unused variable. Line 25: possible null reference. Line 40: SQL injection vulnerability.’ Finds issues without executing the code.

πŸ”— Analogy

A building inspector checking blueprints - they find structural issues by reading the plans, not by building the house. Static analysis inspects code without running it.