Issue
Aperta
Filter is_constructor_variables on printers
enhancementhelp wanted
Nessun assegnatarioNessun commentoHa una label adatta ai principiantiGuida alla contribuzione disponibile
0 commenti0 reazioni0 assegnatari
Aperta
slither-doc: generate doc from natspec
enhancementgood first issuehelp wanted
Perché consigliataNessun assegnatario · Ha una label adatta ai principianti
Nessun assegnatarioHa una label adatta ai principiantiGuida alla contribuzione disponibile
1 commento0 reazioni0 assegnatari
Aperta
slither-optimize: Tool to hint code size optimizations
enhancementhelp wanted
Perché consigliataNessun assegnatario · Nessun commento
Nessun assegnatarioNessun commentoHa una label adatta ai principiantiGuida alla contribuzione disponibile
0 commenti0 reazioni0 assegnatari
Aperta
Slither-log
enhancementgood first issuehelp wanted
Perché consigliataNessun assegnatario · Ha una label adatta ai principianti
Nessun assegnatarioHa una label adatta ai principiantiGuida alla contribuzione disponibile
1 commento0 reazioni0 assegnatari
Aperta
Add --exclude-test flag
High Priorityenhancementhelp wanted
Perché consigliataNessun assegnatario · Ha una label adatta ai principianti
Nessun assegnatarioHa una label adatta ai principiantiGuida alla contribuzione disponibile
1 commento0 reazioni0 assegnatari
Aperta
Improve test_ast_parsing.py
good first issuehelp wanted
Perché consigliataNessun assegnatario · Nessun commento
Nessun assegnatarioNessun commentoHa una label adatta ai principiantiGuida alla contribuzione disponibile
0 commenti0 reazioni0 assegnatari
Aperta
Feature request - Slither plugin for intellij
enhancementhelp wanted
Perché consigliataNessun assegnatario · Ha una label adatta ai principianti
Nessun assegnatarioHa una label adatta ai principiantiGuida alla contribuzione disponibile
2 commenti0 reazioni0 assegnatari
Aperta
New printer: structure visualization
enhancementgood first issuehelp wantednew printer
Perché consigliataNessun assegnatario · Nessun commento
Nessun assegnatarioNessun commentoHa una label adatta ai principiantiGuida alla contribuzione disponibile
0 commenti0 reazioni0 assegnatari
Aperta
Add mypy to the CI
good first issuehelp wanted
Perché consigliataNessun assegnatario · Nessun commento
Nessun assegnatarioNessun commentoHa una label adatta ai principiantiGuida alla contribuzione disponibile
0 commenti0 reazioni0 assegnatari
Aperta
Printer: echidna/manticore-verifier properties printer
enhancementgood first issuehelp wantednew printer
Perché consigliataNessun assegnatario · Nessun commento
Nessun assegnatarioNessun commentoHa una label adatta ai principiantiGuida alla contribuzione disponibile
0 commenti0 reazioni0 assegnatari
Aperta
slither-prop: Update documentation and reference to include manticore-verifier
good first issuehelp wanted
Perché consigliataNessun assegnatario · Nessun commento
Nessun assegnatarioNessun commentoHa una label adatta ai principiantiGuida alla contribuzione disponibile
0 commenti0 reazioni0 assegnatari
Aperta
Threewidth computation
enhancementhelp wanted
Perché consigliataNessun assegnatario · Nessun commento
Nessun assegnatarioNessun commentoHa una label adatta ai principiantiGuida alla contribuzione disponibile
0 commenti0 reazioni0 assegnatari