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.