Update trophies.md
Open
good first issue
help wanted
- Dominant language
- Python
- Stars
- 6.4k
- Forks
- 1.1k
- PR merge metrics
- No merged PRs in 30d
Description
https://github.com/crytic/slither/blob/master/trophies.md was not updated since `Jun 2021`. We should update it with known bugs found by slither
Contributor guide
Assessment
This issue has not been assessed yet.