Mở thư mục
Chọn thư mục dự án trong cửa sổ chat.
Quy trình
quy trình kiểm toán hợp đồng thông minh
03
Rà soát hợp đồng token tại chỗ
Mở thư mục, đọc mã, chạy thử nghiệm và kiểm tra diff trước khi chấp nhận các thay đổi cho tệp của chính bạn.
Liệt kê tệp
Liệt kê các tệp hợp đồng trong thư mục.
Đọc mã
Đọc mã nguồn của hợp đồng chính.
Chạy thử nghiệm
Chạy lệnh thử nghiệm và
Ví dụ nhật ký phát hiện
Rà soát hợp đồng token để tìm rủi ro reentrancy và các vấn đề về kiểm soát truy cập.
- list_dir
.5 tệp - read_file
Token.solđã đọc - grep
external call3 kết quả khớp - write_file
findings-log.txtđã lưu
đang chờ bạn xác nhận trước khi thực hiện bước tiếp theoTừ chốiChấp nhận
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 reviewNhật ký phát hiện dạng văn bản thuần túy, hiển thị phạm vi, kết quả thử nghiệm và một phát hiện cụ thể với mức độ nghiêm trọng và vị trí cho hợp đồng token.
Tìm hiểu các bước kiểm toán hợp đồng thông minh
Đọc và tìm kiếm mã nguồn
Agent sử dụng list_dir và glob để tìm tất cả các tệp hợp đồng trong thư mục làm việc của bạn, và read_file mở mã nguồn chính để kiểm tra. Đây là bước bắt đầu. Các chuyên gia kiểm toán tìm ra lỗ hổng trong hợp đồng thông minh bằng cách đọc mã nguồn thủ công. Agent chạy grep để tìm kiếm mọi lệnh gọi bên ngoài, kiểm tra quyền truy cập và thay đổi trạng thái trên toàn bộ dự án. Bạn thấy kết quả tìm kiếm ngay lập tức trong cửa sổ chat để xác minh mọi dòng mã liên quan. Bảo mật thất bại sau khi hợp đồng đã đi vào hoạt động là mối quan tâm lớn đối với bất kỳ giao thức nào đã triển khai. Bước kiểm tra thủ công này hỗ trợ một quy trình kiểm toán bảo mật hợp đồng thông minh có cấu trúc trước khi triển khai. Tìm hiểu kiểm toán hợp đồng thông minh để hiểu logic trước khi agent đề xuất bất kỳ thay đổi nào cho cơ sở mã.
Chạy thử nghiệm và xem xét
Agent sử dụng Shell để chạy lệnh thử nghiệm và lệnh kiểm tra tĩnh của bạn trên PC, sau đó lưu đầu ra vào một tệp văn bản để tham khảo và soạn các phát hiện. Bạn có thể xem xét các diff này. Việc xem xét các diff này giúp bạn hiểu rõ toàn bộ quy trình kiểm toán. Bắt đầu với kiểm toán solidity liên quan đến việc đọc mã nguồn thủ công. Công cụ sử dụng write_file để soạn các ghi chú phát hiện và các bản sửa đổi đề xuất. Nó hiển thị cho bạn diff trước khi bạn chấp nhận bất kỳ thay đổi nào cho các tệp của mình. Bạn có thể chuyển sang chế độ Ask first để tạm dừng trước mọi hành động làm thay đổi dữ liệu. Việc vượt qua các thử nghiệm xác nhận rằng bản sửa lỗi đã giải quyết vấn đề, nhưng một người vẫn sẽ xem xét diff.
