Out-of-bounds Write

Property
Language	solidity
Severity
CWE	CWE-787: Out-of-bounds Write
Confidence Level	High
Impact Level	High
Likelihood Level	Medium

Description#

Declaring new state variables in a proxy contract can accidentally overwrite storage slots used by the implementation contract. This storage collision can corrupt contract data and break functionality.

Impact#

An attacker could exploit this to manipulate or destroy critical contract state, potentially gaining unauthorized control, causing loss of funds, or rendering the contract unusable. This can lead to severe security breaches and undermine trust in the smart contract system.