search

microsoft / verisol

A formal verifier and analysis tool for Solidity Smart Contracts
Other
245 stars 46 forks source link

Aliasing between storage and memory arrays #134

Open shuvendu-lahiri opened 5 years ago

shuvendu-lahiri commented 5 years ago

array variables should not alias with array params or local variables

https://github.com/microsoft/verisol/blob/master/Test/regressions/ArrayParamAlias.sol