SRI-CSL / solidity

This is solc-verify, a modular verifier for Solidity.
https://github.com/SRI-CSL/solidity/blob/boogie/SOLC-VERIFY-README.md
GNU General Public License v3.0
50 stars 14 forks source link

Further referencing storage pointers #136

Closed hajduakos closed 4 years ago

hajduakos commented 4 years ago

Previously the base expression to be packed had to start with a state variable. This PR introduces support for expressions that start with a storage pointer. This way, storage pointers can be further referenced to other storage pointers. The implementation is done by unpacking/repacking.

Fixes #133 and #134