π§ Concept
Detect upgrade functions without appropriate access control.
β οΈ Problem
Unauthorized upgrades can replace contract behavior with malicious or unintended implementations.
π Implementation Scope
packages/rules/soroban/upgrades/
packages/analyzers/soroban/security/
β
Requirements
- Identify upgrade functions
- Analyze authorization
- Detect missing access controls
- Assign security severity
π― Acceptance Criteria
π§ Concept
Detect upgrade functions without appropriate access control.
Unauthorized upgrades can replace contract behavior with malicious or unintended implementations.
π Implementation Scope
packages/rules/soroban/upgrades/packages/analyzers/soroban/security/β Requirements
π― Acceptance Criteria