Flag state modifications within view functions

crytic / amarna

Amarna is a static-analyzer and linter for the Cairo programming language.

https://blog.trailofbits.com/2022/04/20/amarna-static-analysis-for-cairo-programs/

GNU Affero General Public License v3.0

149 stars 7 forks source link

Flag state modifications within view functions #32

Closed coolhill closed 2 years ago

coolhill commented 2 years ago

Since the compiler does not enforce that @view functions does not contain any code that modifies state, we could implement a detector for it. Reference: not-so-smart-cairo