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

Solve for recursive imports #33

Open coolhill opened 2 years ago

coolhill commented 2 years ago

Multiple detectors built with ImportGatherer does not solve correctly for recursive imports, as pointed out https://github.com/crytic/amarna/pull/16#issuecomment-1160767665