OpenERROR:root:11 Slither-Prop on Hardhatenhancementgood first issuehelp wantedcrytic/slither #1,021 opened Jan 23, 2022 · Python · 4,769 starsWhy recommendedNo assignee yet · Has a beginner-friendly labelNo assignee yetHas a beginner-friendly labelContributing guide available1 comment0 reactions0 assignees
OpenSlither prop test keeps failing because of trufflegood first issuehelp wantedcrytic/slither #993 opened Dec 8, 2021 · Python · 4,769 starsWhy recommendedNo assignee yet · No comments yetNo assignee yetNo comments yetHas a beginner-friendly labelContributing guide available0 comments0 reactions0 assignees
OpenConstants implementing interface getters are marked as `UPPER_CASE_WITH_UNDERSCORES`enhancementgood first issuehelp wantedcrytic/slither #930 opened Aug 27, 2021 · Python · 4,769 starsWhy recommendedNo assignee yet · Has a beginner-friendly labelNo assignee yetHas a beginner-friendly labelContributing guide available1 comment0 reactions0 assignees
OpenFilter is_constructor_variables on printersenhancementhelp wantedcrytic/slither #865 opened Jun 14, 2021 · Python · 4,769 starsWhy recommendedNo assignee yet · No comments yetNo assignee yetNo comments yetHas a beginner-friendly labelContributing guide available0 comments0 reactions0 assignees
Openslither-doc: generate doc from natspecenhancementgood first issuehelp wantedcrytic/slither #857 opened May 28, 2021 · Python · 4,769 starsWhy recommendedNo assignee yet · No comments yetNo assignee yetNo comments yetHas a beginner-friendly labelContributing guide available0 comments0 reactions0 assignees
Openslither-optimize: Tool to hint code size optimizationsenhancementhelp wantedcrytic/slither #809 opened Mar 25, 2021 · Python · 4,769 starsWhy recommendedNo assignee yet · No comments yetNo assignee yetNo comments yetHas a beginner-friendly labelContributing guide available0 comments0 reactions0 assignees
OpenSlither-logenhancementgood first issuehelp wantedcrytic/slither #797 opened Mar 4, 2021 · Python · 4,769 starsWhy recommendedNo assignee yet · Has a beginner-friendly labelNo assignee yetHas a beginner-friendly labelContributing guide available1 comment0 reactions0 assignees
OpenAdd --exclude-test flagHigh Priorityenhancementhelp wantedcrytic/slither #691 opened Nov 17, 2020 · Python · 4,769 starsWhy recommendedNo assignee yet · Has a beginner-friendly labelNo assignee yetHas a beginner-friendly labelContributing guide available1 comment0 reactions0 assignees
OpenImprove test_ast_parsing.pygood first issuehelp wantedcrytic/slither #681 opened Nov 10, 2020 · Python · 4,769 starsWhy recommendedNo assignee yet · No comments yetNo assignee yetNo comments yetHas a beginner-friendly labelContributing guide available0 comments0 reactions0 assignees
OpenFeature request - Slither plugin for intellij enhancementhelp wantedcrytic/slither #672 opened Oct 26, 2020 · Python · 4,769 starsWhy recommendedNo assignee yet · Has a beginner-friendly labelNo assignee yetHas a beginner-friendly labelContributing guide available2 comments0 reactions0 assignees
OpenNew printer: structure visualization enhancementgood first issuehelp wantednew printercrytic/slither #662 opened Oct 9, 2020 · Python · 4,769 starsWhy recommendedNo assignee yet · No comments yetNo assignee yetNo comments yetHas a beginner-friendly labelContributing guide available0 comments0 reactions0 assignees
OpenAdd mypy to the CIgood first issuehelp wantedcrytic/slither #622 opened Sep 3, 2020 · Python · 4,769 starsWhy recommendedNo assignee yet · No comments yetNo assignee yetNo comments yetHas a beginner-friendly labelContributing guide available0 comments0 reactions0 assignees
OpenPrinter: echidna/manticore-verifier properties printerenhancementgood first issuehelp wantednew printercrytic/slither #606 opened Aug 27, 2020 · Python · 4,769 starsWhy recommendedNo assignee yet · No comments yetNo assignee yetNo comments yetHas a beginner-friendly labelContributing guide available0 comments0 reactions0 assignees
OpenSupport slither.conf.json and slither.config.jsonenhancementgood first issuehelp wantedcrytic/slither #595 opened Aug 20, 2020 · Python · 4,769 starsWhy recommendedNo assignee yet · No comments yetNo assignee yetNo comments yetHas a beginner-friendly labelContributing guide available0 comments0 reactions0 assignees
Openslither-prop: Update documentation and reference to include manticore-verifiergood first issuehelp wantedcrytic/slither #578 opened Aug 18, 2020 · Python · 4,769 starsWhy recommendedNo assignee yet · No comments yetNo assignee yetNo comments yetHas a beginner-friendly labelContributing guide available0 comments0 reactions0 assignees
OpenThreewidth computationenhancementhelp wantedcrytic/slither #389 opened Dec 17, 2019 · Python · 4,769 starsWhy recommendedNo assignee yet · No comments yetNo assignee yetNo comments yetHas a beginner-friendly labelContributing guide available0 comments0 reactions0 assignees
OpenERROR:root:11 Slither-Prop on Hardhatenhancementgood first issuehelp wantedcrytic/slither #1,021 opened Jan 23, 2022 · Python · 4,769 starsWhy recommendedNo assignee yet · Has a beginner-friendly labelNo assignee yetHas a beginner-friendly labelContributing guide available1 comment0 reactions0 assignees
OpenSlither prop test keeps failing because of trufflegood first issuehelp wantedcrytic/slither #993 opened Dec 8, 2021 · Python · 4,769 starsWhy recommendedNo assignee yet · No comments yetNo assignee yetNo comments yetHas a beginner-friendly labelContributing guide available0 comments0 reactions0 assignees
OpenConstants implementing interface getters are marked as `UPPER_CASE_WITH_UNDERSCORES`enhancementgood first issuehelp wantedcrytic/slither #930 opened Aug 27, 2021 · Python · 4,769 starsWhy recommendedNo assignee yet · Has a beginner-friendly labelNo assignee yetHas a beginner-friendly labelContributing guide available1 comment0 reactions0 assignees
OpenFilter is_constructor_variables on printersenhancementhelp wantedcrytic/slither #865 opened Jun 14, 2021 · Python · 4,769 starsWhy recommendedNo assignee yet · No comments yetNo assignee yetNo comments yetHas a beginner-friendly labelContributing guide available0 comments0 reactions0 assignees
Openslither-doc: generate doc from natspecenhancementgood first issuehelp wantedcrytic/slither #857 opened May 28, 2021 · Python · 4,769 starsWhy recommendedNo assignee yet · No comments yetNo assignee yetNo comments yetHas a beginner-friendly labelContributing guide available0 comments0 reactions0 assignees
Openslither-optimize: Tool to hint code size optimizationsenhancementhelp wantedcrytic/slither #809 opened Mar 25, 2021 · Python · 4,769 starsWhy recommendedNo assignee yet · No comments yetNo assignee yetNo comments yetHas a beginner-friendly labelContributing guide available0 comments0 reactions0 assignees
OpenSlither-logenhancementgood first issuehelp wantedcrytic/slither #797 opened Mar 4, 2021 · Python · 4,769 starsWhy recommendedNo assignee yet · Has a beginner-friendly labelNo assignee yetHas a beginner-friendly labelContributing guide available1 comment0 reactions0 assignees
OpenAdd --exclude-test flagHigh Priorityenhancementhelp wantedcrytic/slither #691 opened Nov 17, 2020 · Python · 4,769 starsWhy recommendedNo assignee yet · Has a beginner-friendly labelNo assignee yetHas a beginner-friendly labelContributing guide available1 comment0 reactions0 assignees
OpenImprove test_ast_parsing.pygood first issuehelp wantedcrytic/slither #681 opened Nov 10, 2020 · Python · 4,769 starsWhy recommendedNo assignee yet · No comments yetNo assignee yetNo comments yetHas a beginner-friendly labelContributing guide available0 comments0 reactions0 assignees
OpenFeature request - Slither plugin for intellij enhancementhelp wantedcrytic/slither #672 opened Oct 26, 2020 · Python · 4,769 starsWhy recommendedNo assignee yet · Has a beginner-friendly labelNo assignee yetHas a beginner-friendly labelContributing guide available2 comments0 reactions0 assignees
OpenNew printer: structure visualization enhancementgood first issuehelp wantednew printercrytic/slither #662 opened Oct 9, 2020 · Python · 4,769 starsWhy recommendedNo assignee yet · No comments yetNo assignee yetNo comments yetHas a beginner-friendly labelContributing guide available0 comments0 reactions0 assignees
OpenAdd mypy to the CIgood first issuehelp wantedcrytic/slither #622 opened Sep 3, 2020 · Python · 4,769 starsWhy recommendedNo assignee yet · No comments yetNo assignee yetNo comments yetHas a beginner-friendly labelContributing guide available0 comments0 reactions0 assignees
OpenPrinter: echidna/manticore-verifier properties printerenhancementgood first issuehelp wantednew printercrytic/slither #606 opened Aug 27, 2020 · Python · 4,769 starsWhy recommendedNo assignee yet · No comments yetNo assignee yetNo comments yetHas a beginner-friendly labelContributing guide available0 comments0 reactions0 assignees
OpenSupport slither.conf.json and slither.config.jsonenhancementgood first issuehelp wantedcrytic/slither #595 opened Aug 20, 2020 · Python · 4,769 starsWhy recommendedNo assignee yet · No comments yetNo assignee yetNo comments yetHas a beginner-friendly labelContributing guide available0 comments0 reactions0 assignees
Openslither-prop: Update documentation and reference to include manticore-verifiergood first issuehelp wantedcrytic/slither #578 opened Aug 18, 2020 · Python · 4,769 starsWhy recommendedNo assignee yet · No comments yetNo assignee yetNo comments yetHas a beginner-friendly labelContributing guide available0 comments0 reactions0 assignees
OpenThreewidth computationenhancementhelp wantedcrytic/slither #389 opened Dec 17, 2019 · Python · 4,769 starsWhy recommendedNo assignee yet · No comments yetNo assignee yetNo comments yetHas a beginner-friendly labelContributing guide available0 comments0 reactions0 assignees