ETH Price: $3,560.16 (-0.48%)
Gas: 22 Gwei

Solidity Bug Info

Bug Name Description Severity
OptimizerStateKnowledgeNotResetForJumpdest
The optimizer did not properly reset its internal state at jump destinations, which could lead to data corruption.
The optimizer performs symbolic execution at certain stages. At jump destinations, multiple code paths join and thus it has to compute a common state from the incoming edges. Computing this common state was simplified to just use the empty state, but this implementation was not done properly. This bug can cause data corruption.

- First Introduced: 0.4.5
- Fixed in Version: 0.4.6
- Published:
- Severity<: medium
- Optimizer Used: true

medium