slitherin

Slithein par pessimistic.io

Accueillir! Nous sommes l'équipe pessimiste.io, et ces derniers mois, nous avons développé activement nos propres détecteurs Slither pour aider à la révision du code et au processus d'audit. Ce référentiel contient tout ce dont vous pourriez avoir besoin pour travailler avec eux!

Nous avons augmenté la sensibilité de nos détecteurs car ils sont assez simples et non écrits dans le «style original». En conséquence, ils produisent des FP (faux positifs) plus fréquemment que ceux d'origine. De sorte que, nos détecteurs sont une sorte d'automatisation des chèques implémentés dans la liste de contrôle, leur objectif principal est de rechercher des problèmes et d'aider l'auditeur de code.

Veuillez nous faire savoir si vous avez découvert un problème / bug / vulnérabilité via nos détecteurs Slither personnalisés. Vous pouvez nous contacter en ouvrant un PR / problème ou directement, le plus pratique pour vous. Si vous avez d'autres questions ou suggestions, veuillez rejoindre notre serveur Discord ou notre chat télégramme! Nous espérons vous y voir et nous avons l'intention de soutenir la communauté et ses initiatives!

Navigation du référentiel

Table des matières:

Section	Lien
Docs	Docs pour chaque détecteur
Goûter	Code des détecteurs
Tests	Contrats de test pour les détecteurs
Utils	Dossiers auxiliaires
Problèmes	Suggérer une idée
Processus d'installation	Guide étape par étape
Détecteurs	Table des détecteurs
Améliorations et nouveaux détecteurs	Améliorations du projet

Processus d'installation

Utilisation de Git

Pour installer des détecteurs pessimistes:

1. Installez le sléther d'origine;
2. Cloner notre référentiel;
3. Exécutez la commande suivante dans notre dossier de référentiel pour ajouter de nouveaux détecteurs à Slither:

python3 setup.py develop

Gardez à l'esprit que vous n'avez pas à réinstaller le plugin après les modifications du référentiel!

4. Les dépendances doivent être installées afin de tester les détecteurs sur nos contrats de test:

npm install

Utilisation de pip

1. Installez le sléther d'origine;
2. Installez le package PIP:

pip install slitherin

En utilisant Pipx

1. Installez le package PIP:

pipx install slitherin

2. Ajouter le bac de Slithein au chemin:

 echo -e " # Slitherin with pipxnexport PATH= "$ PATH:/home/ $USER /.local/pipx/venvs/slitherin/bin " n " >> ~ /.bashrc 
&& source ~ /.bashrc

Usage

Slitherin-Cli (recommandé)

Utilisez Slitherin-Cli pour exécuter des détecteurs sur une application HardHat / Foundry / Dapp / Brownie. Vous avez les options suivantes:

• Exécutez uniquement des détecteurs Slithein:

slitherin . --pess

• Exécutez uniquement des détecteurs Slither:

slitherin . --slither

• Exécutez des détecteurs Slither, puis des détecteurs Slitherin:

slitherin . --separated

• Exécutez des détecteurs Slitherin spécifiques à l'arbitrum:

slitherin . --arbitrum

Gardez à l'esprit que Slitherin-Cli prend en charge toutes les options d'exécution Slither.

Glisser

Les détecteurs de Slitherin sont inclus dans Slither d'origine après l'installation. Vous pouvez utiliser Slither comme d'habitude.

Table des détecteurs

Lien de détecteur	Docs et configuration	Contrat d'essai	Problèmes valides *
Setter non protégé	Explorer	Test	1
Initialise non protégée	Explorer	Test	0
Tx Gasprice Avertissement	Explorer	Test	0
Intégration uniswapv2	Explorer	Test	0
Se repliage de jetons	Explorer	Test	0
Contrôleur TimeLock	Explorer	Test	1
Strange Setter	Explorer	Test	0
Réentrance en lecture seule	Explorer	Test	0
NFT approuve l'avertissement	Explorer	Test	0
Lire de stockage multiple	Explorer	Test	9
Nombre magique	Explorer	Test	3
Incohérent non réentrant	Explorer	Test	0
FALSY SEULEMENT le modificateur EOA	Explorer	Test	0
Définition d'événements manquants	Explorer	Test	1
Typique douteuse	Explorer	Test	0
Possibilité de jeton à double entrée	Explorer	Test	0
Appeler à protéger	Explorer	Test	0
Avant le transfert de jeton	Explorer	Test	2
Pour continuer l'incrément	Explorer	Test	0
Rappel Aave Flasloan	Explorer	Test	0
Appel arbitraire	Explorer	Test	0
Courbe elliptique récupérer	Explorer	Test	0
Public vs externe	Explorer	Test	0
Balancer en lecture seule	Explorer	Test	0

Veuillez noter:

• * VALIDE - Problèmes inclus dans les rapports et fixés par les développeurs (janvier 2023 - juin 2023).

• Il y a deux détecteurs qui ont plusieurs chèques à l'intérieur: PESS-UNI-V2 et Arbitrary Call.

Améliorations et nouveaux détecteurs

Ici, nous indiquons nos mises à jour, nos flux de travail et nos tâches et améliorations terminées!

Vous pouvez ajouter votre propre détecteur / idée / amélioration en ouvrant le problème au lien suivant.

Avant d'ajouter un détecteur personnalisé, assurez-vous que:

1. Dans un fichier de documentation, votre détecteur est décrit de manière complète;
2. Le contrat de test du détecteur est présenté et compile correctement;
3. Le code du détecteur est présenté et fonctionne correctement.

Avant d'ajouter une idée , assurez-vous que:

1. Votre concept ou votre idée est bien articulé;
2. Un exemple de vulnérabilité (ou POC) est fourni;

Avant d'ajouter une amélioration , assurez-vous que:

1. Votre amélioration n'aggrave pas le code de base;
2. Votre amélioration est commentée.

Détecteurs Backlog:

Remerciements

Notre équipe souhaite exprimer notre plus profonde gratitude aux créateurs d'outils Slither: Josselin Feist, Gustavo Grieco et Alex Groce, ainsi que Crytic, Trail of Bits 'Blockchain Security Division, et tous les gens qui croient en l'outil d'origine et son évolution!

Slitherin dans les médias de masse

• Semaine dans Ethereum News
• Bloquer
• Article de publication par Officiea.eth
• Appels arbitraires et nouvelle version du détecteur Slithein
• Quoi de neuf Slithein?
• Defillama
• Outils essentiels pour auditer les contrats intelligents par Hexens
• ETH Belgrade Talk
• Intégré dans AuditWizard

Merci!

Ce serait fantastique si vous pouviez mettre en signet, partager, étoiler ou fourrer ce référentiel. Toute attention nous aidera à atteindre notre objectif commun de rendre Web3 un peu plus sûr qu'auparavant: par conséquent, nous avons besoin de votre soutien!

Pour notre part, nous ferons tout ce qui est en notre pouvoir pour nous assurer que ce projet continue de croître avec succès en termes de code et de technologie ainsi que d'interaction communautaire et professionnelle! Nous espérons sincèrement que vous trouverez notre travail utile et appréciez les commentaires, alors n'hésitez pas à nous contacter!

---

Pessimiste fournit des audits de sécurité de confiance depuis 2017.
Nécessitent une surveillance experte de votre sécurité?
Explorez nos services sur pessimistic.io.