ดาวน์โหลด Naga - ดาวน์โหลดซอร์สโค้ด Naga

Naga

หมวดหมู่อื่นๆ

v1.0.0-beta.1

ดาวน์โหลด

นาค

เครื่องมือที่ตรวจพบเจ้าของที่เอาชนะในสัญญาอัจฉริยะ

ติดตั้ง

Naga ต้องการ Python 3.8.10, solc-select และ slither

ติดตั้ง Python

เวอร์ชัน: 3.8.10

ติดตั้ง solc-select

เราใช้ SOLC-select เพื่อจัดการและสลับคอมไพเลอร์ SOLC

pip3 install solc-select

ติดตั้ง SOLC ทุกรุ่น

solc-select install all

หากคุณไม่สามารถใช้คำสั่ง solc-select ให้ดูที่ SET PATH

ติดตั้ง sleth

SLETHER เป็นกรอบการวิเคราะห์แบบคงที่ที่เขียนขึ้นใน Python3 นาคทำการวิเคราะห์สัญญาตาม SLETHER

pip3 install slither-analyzer

การใช้งาน

Naga โหลดวัตถุ Slither เพื่อตรวจจับเจ้าของที่มีอำนาจเหนือกว่าในสัญญา

 sol_file = "your_contract.sol"
contract_name = None # You can specify the entry contract name, if None, Naga will automatically try to find the entry contract.
erc_force = None # erc20, erc721, erc777, None.

slither = Slither ( sol_file )
naga = Naga ( slither )
naga . detect_entry_contract ( er_force = erc_force ) # Detect the entry contract
entry_c = naga . entry_contract # Get the entry contract object
entry_c . output ( output_file = "output.json" ) # Output the result to output.json
summary = entry_c . output () # Or just get the summary

# You may want know the details of the result. you can print the state variables pool.
for sk , sv in naga . entry_contract . svarn_pool . items (): 
    print ( sv . canonical_name , sv )

naga/detectors/ กำหนดเครื่องตรวจจับ คุณสามารถลงทะเบียนเครื่องตรวจจับของคุณเองโดยเพิ่มลงใน naga/detectors/

 slither = Slither ( sol_file )
naga = Naga ( slither )
entry_c = naga . entry_contract
naga . detect ( entry_c , erc_force = None , detectors = []) # Specify the detectors you want to use
entry_c . output ( output_file = "output.json" )