algorand-vulnerability-scanner
Skanuj kontrakty Algorand na 11 typów luk bezpieczeństwa — od ataków rekeying po błędy kontroli dostępu.
Instalacja
Wybierz klienta i sklonuj repozytorium do odpowiedniego katalogu skilli.
Instalacja
O skillu
Narzędzie do audytu kontraktów inteligentnych na blockchainie Algorand. Automatycznie skanuje kod TEAL i PyTeal w poszukiwaniu 11 krytycznych podatności dokumentowanych w bazie Trail of Bits, w tym ataków rekeying, niezweryfikowanych opłat transakcyjnych, brakujących walidacji pól oraz problemów z kontrolą dostępu. Idealne do przeglądu bezpieczeństwa projektów Algorand przed wdrożeniem lub podczas audytu.
Jak używać
Upewnij się, że masz zainstalowany Python 3 i dostęp do repozytorium Trail of Bits. Skill wymaga narzędzia Tealer do automatycznego wykrywania podatności — zainstaluj je poleceniem
pip3 install tealer.Przygotuj projekt Algorand zawierający pliki TEAL (rozszerzenie
.teal) lub PyTeal (pliki.pyz importamifrom pyteal import *lubfrom algosdk import *). Typowe struktury toapproval_program.py,clear_program.py,contract.teallubsignature.teal.Uruchom skill, podając ścieżkę do katalogu projektu. Narzędzie automatycznie wyszuka wszystkie pliki TEAL i PyTeal w kodzie.
Skill przeskanuje każdy plik pod kątem 11 podatności Algorand-specific: ataków rekeying, niezweryfikowanych opłat, brakujących walidacji pól, problemów z kontrolą dostępu i innych. Jeśli Tealer jest zainstalowany, zostanie uruchomiony do dodatkowej analizy statycznej.
Przejrzyj raport z wynikami — każda znaleziona podatność będzie zawierać referencję do pliku, poziom ważności i sugerowaną poprawkę.
Zastosuj proponowane rozwiązania w kodzie, a następnie ponownie uruchom skill, aby zweryfikować, że podatności zostały wyeliminowane.