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.
28 lines
805 B
28 lines
805 B
import sys
|
|
from slither.slither import Slither
|
|
|
|
if len(sys.argv) != 2:
|
|
print("python variable_in_condition.py variable_in_condition.sol")
|
|
sys.exit(-1)
|
|
|
|
# Init slither
|
|
slither = Slither(sys.argv[1])
|
|
|
|
# Get the contract
|
|
contracts = slither.get_contract_from_name("Contract")
|
|
assert len(contracts) == 1
|
|
contract = contracts[0]
|
|
# Get the variable
|
|
var_a = contract.get_state_variable_from_name("a")
|
|
|
|
# Get the functions reading the variable
|
|
functions_reading_a = contract.get_functions_reading_from_variable(var_a)
|
|
|
|
function_using_a_as_condition = [
|
|
f
|
|
for f in functions_reading_a
|
|
if f.is_reading_in_conditional_node(var_a) or f.is_reading_in_require_or_assert(var_a)
|
|
]
|
|
|
|
# Print the result
|
|
print(f'The function using "a" in condition are {[f.name for f in function_using_a_as_condition]}')
|
|
|