Static Analyzer for Solidity

ethereumsoliditystatic-analysis

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.

Josselin 654c2c98b7 - add contract.get_function_from_canonical_name (same for modifier ... - slithir convert: fix incorrect internal call conversion (use canonical name) - slithir internalcall: use tuple(func_nale, contract_name) to init unknown internal call - Update upgradability-check with new API		6 years ago
..
__init__.py	Rename slither-check-upgradability -> slither-check-upgradeability	6 years ago
__main__.py	Rename slither-check-upgradability -> slither-check-upgradeability	6 years ago
check_initialization.py	- add contract.get_function_from_canonical_name (same for modifier	6 years ago
compare_function_ids.py	Rename slither-check-upgradability -> slither-check-upgradeability	6 years ago
compare_variables_order.py	Rename slither-check-upgradability -> slither-check-upgradeability	6 years ago