Naga

Naga

Ein Tool, das den übermächtigen Eigentümer in intelligenten Verträgen erfasst.

Installieren

Naga benötigt Python 3.8.10, Solc-Select und Slither.

Python installieren

Version: 3.8.10

Solc-Select installieren

Wir verwenden Solc-Select, um Solc-Compiler zu verwalten und zu wechseln.

pip3 install solc-select

Installieren Sie alle Versionen Solc

solc-select install all

Wenn Sie den Befehl solc-select nicht verwenden können, siehe Set-Pfad.

Slither installieren

Slither ist ein in Python3 geschriebenes solides statisches Analyse -Framework. Naga führt eine Vertragsanalyse basierend auf Slither.

pip3 install slither-analyzer

Verwendungen

Naga lädt ein Slither -Objekt, um den überforderten Eigentümer in Verträgen zu erkennen.

 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/ definiert die Detektoren. Sie können Ihre eigenen Detektoren registrieren, indem Sie sie zu 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" )

Anhang

Datensatz

Hier ist ein Datensatz mit mehr als 100.000 Verträgen.

Pfad setzen

Bitte stellen Sie sicher, dass /home/your_username/.local/bin in $ path ist

Sie können $ path über die folgenden Befehle überprüfen und aktualisieren

echo $PATH

sudo vim /etc/profile

export PATH="/home/your_username/.local/bin:$PATH"

source /etc/profile