π§ Concept
Detect upgrade configuration that can be changed without sufficient protection.
β οΈ Problem
Attackers may manipulate upgrade configuration if administrative state is insufficiently protected.
π Implementation Scope
packages/rules/soroban/upgrades/
packages/analyzers/soroban/storage/
β
Requirements
- Identify upgrade configuration
- Track configuration writes
- Analyze authorization
- Report unsafe mutation paths
π― Acceptance Criteria
π§ Concept
Detect upgrade configuration that can be changed without sufficient protection.
Attackers may manipulate upgrade configuration if administrative state is insufficiently protected.
π Implementation Scope
packages/rules/soroban/upgrades/packages/analyzers/soroban/storage/β Requirements
π― Acceptance Criteria