mirror of https://github.com/crytic/slither
You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
33 lines
910 B
33 lines
910 B
6 years ago
|
import sys
|
||
|
|
from slither import Slither
|
||
|
|
|
||
|
|
if len(sys.argv) != 2:
|
||
|
|
print('python.py slithIR.py contract.sol')
|
||
|
|
exit(-1)
|
||
|
|
|
||
|
|
# Init slither
|
||
|
|
slither = Slither(sys.argv[1])
|
||
|
|
|
||
|
|
# Iterate over all the contracts
|
||
|
|
for contract in slither.contracts:
|
||
|
|
|
||
|
|
# Iterate over all the functions
|
||
|
|
for function in contract.functions:
|
||
|
|
|
||
|
|
# Dont explore inherited functions
|
||
|
|
if function.contract == contract:
|
||
|
|
|
||
|
|
print('Function: {}'.format(function.name))
|
||
|
|
|
||
|
|
# Iterate over the nodes of the function
|
||
|
|
for node in function.nodes:
|
||
|
|
|
||
|
|
# Print the Solidity expression of the nodes
|
||
|
|
# And the SlithIR operations
|
||
|
|
if node.expression:
|
||
|
|
|
||
|
|
print('\tSolidity expression: {}'.format(node.expression))
|
||
|
|
print('\tSlithIR:')
|
||
|
|
for ir in node.irs:
|
||
|
|
print('\t\t\t{}'.format(ir))
|