search

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

Improve arithmetic rules #55

Closed fcasal closed 1 year ago

fcasal commented 1 year ago

Pull request description Improved arithmetic rules to detect when overflows do not occur (e.g., when two small constants are multiplied). Added tests for the arithmetic rule.

closes #53