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

Warn on uninitialized variables #48

Closed coolhill closed 2 years ago

coolhill commented 2 years ago

Creating a new rule

Pull request description