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

False positive for dead-store rule #71

Closed milancermak closed 1 year ago

milancermak commented 1 year ago

Hey,

just got a false positive on the dead-store rule.

Here's a link to the report in my PR but it'll probably get stale since I'm working on it.

In which case, here's a screenshot of the issue:

Screenshot 2022-08-18 at 21 39 52

Already in there you can see that both strength and spawn_ts are used.

Here's a permalink to the code that triggered the report.