Issues
Ouverte
Filter is_constructor_variables on printers
enhancementhelp wanted
Aucune personne assignéeAucun commentaire pour l'instantLabel adapté aux débutantsGuide de contribution disponible
0 commentaire0 réaction0 personne assignée
Ouverte
slither-doc: generate doc from natspec
enhancementgood first issuehelp wanted
Pourquoi recommandéeAucune personne assignée · Label adapté aux débutants
Aucune personne assignéeLabel adapté aux débutantsGuide de contribution disponible
1 commentaire0 réaction0 personne assignée
Ouverte
slither-optimize: Tool to hint code size optimizations
enhancementhelp wanted
Pourquoi recommandéeAucune personne assignée · Aucun commentaire pour l'instant
Aucune personne assignéeAucun commentaire pour l'instantLabel adapté aux débutantsGuide de contribution disponible
0 commentaire0 réaction0 personne assignée
Ouverte
Slither-log
enhancementgood first issuehelp wanted
Pourquoi recommandéeAucune personne assignée · Label adapté aux débutants
Aucune personne assignéeLabel adapté aux débutantsGuide de contribution disponible
1 commentaire0 réaction0 personne assignée
Ouverte
Add --exclude-test flag
High Priorityenhancementhelp wanted
Pourquoi recommandéeAucune personne assignée · Label adapté aux débutants
Aucune personne assignéeLabel adapté aux débutantsGuide de contribution disponible
1 commentaire0 réaction0 personne assignée
Ouverte
Improve test_ast_parsing.py
good first issuehelp wanted
Pourquoi recommandéeAucune personne assignée · Aucun commentaire pour l'instant
Aucune personne assignéeAucun commentaire pour l'instantLabel adapté aux débutantsGuide de contribution disponible
0 commentaire0 réaction0 personne assignée
Ouverte
Feature request - Slither plugin for intellij
enhancementhelp wanted
Pourquoi recommandéeAucune personne assignée · Label adapté aux débutants
Aucune personne assignéeLabel adapté aux débutantsGuide de contribution disponible
2 commentaires0 réaction0 personne assignée
Ouverte
New printer: structure visualization
enhancementgood first issuehelp wantednew printer
Pourquoi recommandéeAucune personne assignée · Aucun commentaire pour l'instant
Aucune personne assignéeAucun commentaire pour l'instantLabel adapté aux débutantsGuide de contribution disponible
0 commentaire0 réaction0 personne assignée
Ouverte
Add mypy to the CI
good first issuehelp wanted
Pourquoi recommandéeAucune personne assignée · Aucun commentaire pour l'instant
Aucune personne assignéeAucun commentaire pour l'instantLabel adapté aux débutantsGuide de contribution disponible
0 commentaire0 réaction0 personne assignée
Ouverte
Printer: echidna/manticore-verifier properties printer
enhancementgood first issuehelp wantednew printer
Pourquoi recommandéeAucune personne assignée · Aucun commentaire pour l'instant
Aucune personne assignéeAucun commentaire pour l'instantLabel adapté aux débutantsGuide de contribution disponible
0 commentaire0 réaction0 personne assignée
Ouverte
slither-prop: Update documentation and reference to include manticore-verifier
good first issuehelp wanted
Pourquoi recommandéeAucune personne assignée · Aucun commentaire pour l'instant
Aucune personne assignéeAucun commentaire pour l'instantLabel adapté aux débutantsGuide de contribution disponible
0 commentaire0 réaction0 personne assignée
Ouverte
Threewidth computation
enhancementhelp wanted
Pourquoi recommandéeAucune personne assignée · Aucun commentaire pour l'instant
Aucune personne assignéeAucun commentaire pour l'instantLabel adapté aux débutantsGuide de contribution disponible
0 commentaire0 réaction0 personne assignée