Skip to content

Issues: crytic/slither

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Assignee
Filter by who’s assigned
Sort

Issues list

Printer to list cheatcode usage good first issue Good for newcomers help wanted Extra attention is needed new printer
#2141 opened Sep 21, 2023 by montyly
print shell completions enhancement New feature or request help wanted Extra attention is needed ux
#2055 opened Jul 18, 2023 by llllvvuu
Identify missed reentrancy exploits by Slither enhancement New feature or request help wanted Extra attention is needed
#1840 opened Apr 14, 2023 by pcaversaccio
Inheritance printer adds unnecessary carriage return good first issue Good for newcomers help wanted Extra attention is needed
#1835 opened Apr 12, 2023 by montyly
warn when slither-disable comment is no longer necessary enhancement New feature or request help wanted Extra attention is needed
#1680 opened Feb 22, 2023 by 0xalpharush
Update trophies.md good first issue Good for newcomers help wanted Extra attention is needed
#1635 opened Jan 31, 2023 by montyly
similar variables detector is extremely slow bug Something isn't working help wanted Extra attention is needed
#1630 opened Jan 27, 2023 by 0xalpharush 0.9.4
slither-read-storage: add support for constant|immutable variables enhancement New feature or request good first issue Good for newcomers help wanted Extra attention is needed
#1614 opened Jan 20, 2023 by backulinivan
Improve 1346 to make it more efficient enhancement New feature or request help wanted Extra attention is needed
#1570 opened Jan 9, 2023 by montyly
Show detector check names in report itself enhancement New feature or request good first issue Good for newcomers help wanted Extra attention is needed
#1316 opened Jul 31, 2022 by QEDK
Fix typos in detectors documentation good first issue Good for newcomers help wanted Extra attention is needed
#1206 opened May 11, 2022 by montyly
[Bug-Candidate]: Consider non-ASCII when source mapping enhancement New feature or request help wanted Extra attention is needed
#1164 opened Apr 11, 2022 by ghost
Rename IR classes so names do not clash with others. enhancement New feature or request good first issue Good for newcomers help wanted Extra attention is needed
#1059 opened Feb 15, 2022 by Jaime-Iglesias
ERROR:root:11 Slither-Prop on Hardhat enhancement New feature or request good first issue Good for newcomers help wanted Extra attention is needed
#1021 opened Jan 23, 2022 by stefanandy
Slither prop test keeps failing because of truffle good first issue Good for newcomers help wanted Extra attention is needed
#993 opened Dec 8, 2021 by montyly
Constants implementing interface getters are marked as UPPER_CASE_WITH_UNDERSCORES enhancement New feature or request good first issue Good for newcomers help wanted Extra attention is needed
#930 opened Aug 27, 2021 by axic
Filter is_constructor_variables on printers enhancement New feature or request help wanted Extra attention is needed
#865 opened Jun 14, 2021 by montyly
slither-doc: generate doc from natspec enhancement New feature or request good first issue Good for newcomers help wanted Extra attention is needed
#857 opened May 28, 2021 by montyly
slither-optimize: Tool to hint code size optimizations enhancement New feature or request help wanted Extra attention is needed
#809 opened Mar 25, 2021 by montyly
Slither-log enhancement New feature or request good first issue Good for newcomers help wanted Extra attention is needed
#797 opened Mar 4, 2021 by montyly
why does slither output to stderr instead of stdout? enhancement New feature or request good first issue Good for newcomers help wanted Extra attention is needed question Further information is requested
#753 opened Jan 3, 2021 by snd
Add --exclude-test flag enhancement New feature or request help wanted Extra attention is needed High Priority
#691 opened Nov 17, 2020 by montyly
Improve test_ast_parsing.py good first issue Good for newcomers help wanted Extra attention is needed
#681 opened Nov 10, 2020 by montyly
ProTip! no:milestone will show everything without a milestone.