Module semantic 

Yul Semantic Analysis Module

Performs semantic analysis on Yul AST, including type checking, scope validation, and code quality metrics.

Analysis Results

• SemanticResult - Complete analysis output
• ComplexityMetrics - Code complexity measurements
• SecurityIssue - Potential security concerns
• PerformanceMetrics - Gas and performance estimates

Checks Performed

• Variable scope and shadowing detection
• Function signature validation
• Unreachable code detection
• Security pattern analysis

Structs

ComplexityMetrics

Code complexity metrics

PerformanceMetrics

Performance metrics from analysis

SecurityIssue

Security issue found during analysis

SemanticAnalyzer

SemanticResult

Result of semantic analysis

Enums

Severity

Severity level for security issues