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 callback gatherer #35

Closed fcasal closed 2 years ago

fcasal commented 2 years ago

Pull request description

Construct the CallbackFunctionType in all branches. Sort the Unused function results.