issues
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
fix: deadstore FP where use happens after first return statement
#72
Closed
coolhill
closed
1 year ago
coolhill
commented
1 year ago
Pull request description
Fixes FP in dead-store where a defined variable is used after the first return statement.
Fixes issues
closes #71
Pull request description
Fixes issues