Solidity Bug Info

Bug Name Description Severity
SignedArrayStorageCopy
Assigning an array of signed integers to a storage array of different type can lead to data corruption in that array.
In two's complement, negative integers have their higher order bits set. In order to fit into a shared storage slot, these have to be set to zero. When a conversion is done at the same time, the bits to set to zero were incorrectly determined from the source and not the target type. This means that such copy operations can lead to incorrect values being stored.

- Link: https://blog.soliditylang.org/2019/06/25/solidity-storage-array-bugs/
- First Introduced: 0.4.7
- Fixed in Version: 0.5.10
- Published:
- Severity<: low/medium

low/medium