ignore interfaces for `inheritance-graph` printer enhancement New feature or request good first issue Good for newcomers

#2150 opened Sep 29, 2023 by 0xPhaze

2

Printer to list cheatcode usage help wanted Extra attention is needed good first issue Good for newcomers new printer

#2141 opened Sep 21, 2023 by montyly

slither-read-storage: add support for nested structs enhancement New feature or request good first issue Good for newcomers

#2077 opened Aug 3, 2023 by 0xalpharush

1

[Bug]: all statements with `.` are reported as external calls bug Something isn't working good first issue Good for newcomers

#2073 opened Aug 1, 2023 by mds1

1

Parse natspec comments for functions, events, errors, state variables enhancement New feature or request good first issue Good for newcomers

#1916 opened May 15, 2023 by 0x73696d616f

Inheritance printer adds unnecessary carriage return help wanted Extra attention is needed good first issue Good for newcomers

#1835 opened Apr 12, 2023 by montyly

3

update register printer to consider multiple compilation units bug Something isn't working good first issue Good for newcomers

#1780 opened Mar 20, 2023 by 0xalpharush

Update trophies.md help wanted Extra attention is needed good first issue Good for newcomers

#1635 opened Jan 31, 2023 by montyly

4

slither-check-upgradeability add `sither.config.json` enhancement New feature or request good first issue Good for newcomers

#1260 opened Jun 24, 2022 by wiasliaw

1

Fix typos in detectors documentation help wanted Extra attention is needed good first issue Good for newcomers

#1206 opened May 11, 2022 by montyly

2

Identify Functions that use delegatecall and msg.data for Echidna Printer enhancement New feature or request good first issue Good for newcomers echidna

#1202 opened May 9, 2022 by man715

3

[Bug-Candidate]: Wiki "Configuration File" section missing supported flags enhancement New feature or request help wanted Extra attention is needed good first issue Good for newcomers documentation

#1155 opened Apr 3, 2022 by engn33r

1

Slither claims an upgradeTo function is exposed when it (likely?) is not enhancement New feature or request good first issue Good for newcomers

#1136 opened Mar 19, 2022 by FlacoJones

9

Rename IR classes so names do not clash with others. enhancement New feature or request help wanted Extra attention is needed good first issue Good for newcomers

#1059 opened Feb 15, 2022 by Jaime-Iglesias

1

ERROR:root:11 Slither-Prop on Hardhat enhancement New feature or request help wanted Extra attention is needed good first issue Good for newcomers

#1021 opened Jan 23, 2022 by stefanandy

1

Slither prop test keeps failing because of truffle help wanted Extra attention is needed good first issue Good for newcomers

#993 opened Dec 8, 2021 by montyly

Constants implementing interface getters are marked as `UPPER_CASE_WITH_UNDERSCORES` enhancement New feature or request help wanted Extra attention is needed good first issue Good for newcomers

#930 opened Aug 27, 2021 by axic

slither-doc: generate doc from natspec enhancement New feature or request help wanted Extra attention is needed good first issue Good for newcomers

#857 opened May 28, 2021 by montyly

Slither-log enhancement New feature or request help wanted Extra attention is needed good first issue Good for newcomers

#797 opened Mar 4, 2021 by montyly

1

Improve test_ast_parsing.py help wanted Extra attention is needed good first issue Good for newcomers

#681 opened Nov 10, 2020 by montyly

New printer: structure visualization enhancement New feature or request help wanted Extra attention is needed good first issue Good for newcomers new printer

#662 opened Oct 9, 2020 by montyly

Add mypy to the CI help wanted Extra attention is needed good first issue Good for newcomers

#622 opened Sep 3, 2020 by montyly

Printer: echidna/manticore-verifier properties printer enhancement New feature or request help wanted Extra attention is needed good first issue Good for newcomers new printer

#606 opened Aug 27, 2020 by montyly

Support slither.conf.json and slither.config.json enhancement New feature or request help wanted Extra attention is needed good first issue Good for newcomers

#595 opened Aug 20, 2020 by montyly

slither-prop: Update documentation and reference to include manticore-verifier help wanted Extra attention is needed good first issue Good for newcomers

#578 opened Aug 18, 2020 by montyly