Keylatch
Przepływy pracy

przepływ pracy audytu kontraktu smart

03
Przegląd tokena

Przejrzyj kontrakt tokena lokalnie

Otwórz folder, przeczytaj kod, uruchom testy i sprawdź diff przed zaakceptowaniem zmian we własnych plikach.

01

Otwórz folder

Wybierz folder projektu w czacie.

02

Wylistuj pliki

Wylistuj pliki kontraktów w katalogu.

03

Przeczytaj kod

Przeczytaj źródłowy kod głównego kontraktu.

04

Uruchom testy

Uruchom polecenie testu i

Przykład dziennika wniosków

findings-log.txt
# Token Contract Review
Scope: ERC-20 token implementation
Test: local unit tests passed
Finding: Missing reentrancy guard
Severity: High
Location: transfer function
Fix: Add nonReentrant modifier
Status: Pending review

Zwykły dziennik wniosków w formacie tekstowym pokazujący zakres, wyniki testów oraz konkretne ustalenie z poziomem ryzyka i lokalizacją dla kontraktu tokena.

Poznaj kroki audytu kontraktów smart

Czytaj i szukaj w kodzie

Agent używa list_dir i glob do znalezienia wszystkich plików kontraktów w Twoim folderze roboczym, a read_file otwiera główny kod źródłowy do inspekcji. To jest początek. Audytorzy znajdują luki w kontraktach smart, czytając kod ręcznie. Uruchamia grep, aby wyszukać każde zewnętrzne wywołanie, sprawdzanie dostępu i zmianę stanu w całym projekcie. Widzisz wyniki wyszukiwania natychmiast w czacie, aby zweryfikować każdą istotną linię kodu. Niepowodzenie bezpieczeństwa po tym, jak coś poszło na żywo, jest poważną obawą każdego wdrożonego protokołu. Ten krok ręcznego przeglądu wspiera strukturalny audyt bezpieczeństwa kontraktu smart przed wdrożeniem. Poznaj audyt kontraktów smart, aby zrozumieć logikę, zanim agent zasugeruje jakiekolwiek zmiany w bazie kodu.

Uruchom testy i przeglądaj

Agent używa Shell do uruchomienia Twojego polecenia testowego i polecenia statycznej analizy na Twoim komputerze, dzięki czemu zapisuje wynik do pliku tekstowego do odniesienia i tworzy wstępne wnioski. Możesz przejrzeć te diffy. Przeglądanie tych diffów pomaga Ci jasno zrozumieć cały proces audytu. Rozpoczęcie audytu solidity obejmuje ręczne czytanie kodu. Narzędzie używa write_file do tworzenia notatek z wnioskami i proponowanymi poprawkami. Pokazuje Ci diff, zanim zaakceptujesz jakiekolwiek zmiany w swoich plikach. Możesz przełączyć się w tryb Ask first, aby zatrzymać się przed każdą akcją, która coś zmienia. Przejście testów potwierdza, że poprawka rozwiązuje problem, ale osoba nadal przegląda diff.

Keylatch dla systemu Windows

Rozpocznij przegląd już dziś

Pobierz Keylatch ↗