State Variable Shadowing

State variable shadowing occurs when a derived contract declares a variable with the same name as one in its parent contract, causing the parent's variable to be hidden or ignored. This can lead to unexpected behavior where the contract logic interacts with the wrong variable, potentially causing critical errors in financial calculations.

In the context of derivatives, where precision and correctness are paramount, shadowing can result in incorrect collateralization ratios or faulty liquidation triggers. Developers must use explicit naming conventions and avoid inheritance structures that create these conflicts.

Detecting and preventing shadowing is a key part of the static analysis process during contract development.