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

Refactor`result_multiple_positions` to allow more than 2 positions #24

Closed fcasal closed 2 years ago

fcasal commented 2 years ago

Currently, result_multiple_positions is only implemented for two positions. As rules evolve, we need to consider results with more than 2 related locations.

_Originally posted by @montyly in https://github.com/crytic/amarna/pull/16#discussion_r895445210_