contract explorer

Contract Explorer (Extension Visual Studio Code)

การรวมรหัส Visual Studio สำหรับ SLETHER ซึ่งเป็นกรอบการวิเคราะห์แบบคงที่ความแข็งแกร่ง

ส่วนขยายนี้นำเสนอการรวมรหัสสตูดิโอ Visual Studio สำหรับ SLETHER กรอบการวิเคราะห์แบบคงที่ความแข็งแกร่งที่เขียนขึ้นใน Python 3 ด้วยรหัสสตูดิโอ Visual ผู้ใช้สามารถเรียกใช้ชุดเครื่องตรวจจับช่องโหว่บนสัญญาอัจฉริยะที่แข็งแกร่ง

คุณสมบัติ

• วิเคราะห์พื้นที่ทำงานแบบเปิด
• สำรวจผลลัพธ์ในต้นไม้ที่กำหนดเองจัดเรียงตามประเภทปัญหาหรือความรุนแรง
• ดูผลลัพธ์เป็นข้อมูลรหัสสตูดิโอภาพพื้นเมือง/คำเตือน/ข้อผิดพลาด
• ดูคำอธิบายประกอบสำหรับซอร์สโค้ดที่เกี่ยวข้องสำหรับแต่ละปัญหา
• พิมพ์คำอธิบายปัญหาและคำแนะนำโดยละเอียด
• ปัญหาตัวกรองตามประเภท (ตามการกำหนดค่าพื้นที่ทำงาน)
• ระบุเส้นทาง SOLC ที่กำหนดเอง (ตามการกำหนดค่าพื้นที่ทำงาน)
• การเน้นไวยากรณ์ความแข็งแกร่ง

ความต้องการ

• slither-lsp
• รหัสสตูดิโอภาพ
• ตัวเลือก: เฟรมเวิร์กการสร้าง/ทดสอบที่ต้องการใด ๆ ที่สนับสนุนโดย Slither เช่นทรัฟเฟิล

บันทึก

SLETHER-LSP จะต้องสามารถเข้าถึงได้ผ่านคำสั่ง slither-lsp เพื่อให้ส่วนขยายนี้เรียกใช้ ใช้ pip install slither-lsp เพื่อติดตั้ง

การติดตั้ง

จากตลาด Visual Studio

ติดตั้ง Contract Explorer จาก Visual Studio Marketplace ภายในแท็บส่วนขยายของ Visual Studio Code

จากแหล่งกำเนิด

git clone https://github.com/crytic/contract-explorer
cd contract-explorer
npm i
npm install -g vsce
vsce package

จะสร้าง contract-explorer-XXXvsix

ติดตั้งไฟล์ VSIX ใน Visual Studio ผ่าน Extensions ใต้เมนู ...

เริ่มต้น

หลังจากติดตั้งส่วนขยายเพียงเปิดพื้นที่ทำงานที่มีไฟล์ Solidity (*.sol) ส่วนขยายจะเปิดใช้งานเปิดเผยโลโก้ Slither บนแถบแอ็คชั่น คลิกเพื่อเปิดเผยบานหน้าต่างการตั้งค่าซึ่งคุณจะสามารถเลือกผลลัพธ์ของเครื่องตรวจจับที่จะแสดงหลังจากโฟลเดอร์เวิร์กสเปซได้ทำการวิเคราะห์เสร็จแล้ว

เมื่อการวิเคราะห์โฟลเดอร์เสร็จสิ้นคุณจะสามารถสำรวจ codebase โดยใช้เครื่องมือ VSCODE ที่คุ้นเคย "ไปที่การใช้งาน", "ไปที่คำจำกัดความ", "ค้นหาการอ้างอิงทั้งหมด" และแสดงลำดับชั้นการโทรและพิมพ์

ใบอนุญาต

AGPL-3.0