Keylatch
Pracovní postupy

pracovní postup bezpečnostního auditu smart kontraktů

03
Revize tokenu

Zkontrolujte tokenový kontrakt lokálně

Otevřete složku, přečtěte kód, spusťte testy a zkontrolujte diff před přijetím změn ve vašich souborech.

01

Otevřít složku

Vyberte složku projektu v chatu.

02

Vypsat soubory

Vypište soubory kontraktů v adresáři.

03

Přečíst kód

Přečtěte si zdrojový kód hlavního kontraktu.

04

Spustit testy

Spusťte příkaz pro testování a

Příklad záznamu nálezů

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

Textový záznam nálezů, který ukazuje rozsah, výsledky testů a konkrétní nález s uvedením závažnosti a umístění pro tokenový kontrakt.

Kroky auditu smart kontraktů

Čtení a vyhledávání v kódu

Agent používá list_dir a glob k nalezení všech souborů kontraktů ve vaší pracovní složce a read_file otevírá hlavní zdrojový kód k revizi. Toto je začátek. Auditori nacházejí zranitelnosti v smart kontraktech ručním čtením kódu. Spouští grep k vyhledání každého externího volání, kontroly přístupu a změny stavu napříč projektem. Výsledky hledání vidíte okamžitě v chatu, abyste ověřili každou relevantní řádku kódu. Selhání bezpečnosti po nasazení do produkce je pro jakýkoli nasazený protokol velkým rizikem. Tento ruční krok revize podporuje strukturovaný bezpečnostní audit smart kontraktu před nasazením. Naučte se audit smart kontraktů, abyste pochopili logiku, než agent navrhne jakékoli změny v kódu.

Spustit testy a zkontrolovat

Agent pomocí Shell spustí váš příkaz pro testování a příkaz pro statickou kontrolu na vašem PC, takže výstup uloží do textového souboru pro referenci a navrhne nálezy. Můžete si tyto diffy zkontrolovat. Revize těchto diffů vám pomůže jasně pochopit celý proces auditu. Začínání s audity solidity zahrnuje ruční čtení kódu. Nástroj používá write_file k napsání poznámek o nálezech a navrhovaných opravách. Před přijetím jakýchkoli změn ve vašich souborech vám ukáže diff. Můžete přepnout do režimu Ask first, abyste se před každou akcí, která něco změní, pozastavili. Procházení testy potvrzuje, že oprava řeší problém, ale diff stále kontroluje člověk.

Keylatch pro Windows

Začněte svou revizi ještě dnes

Stáhnout Keylatch ↗