4 Commits (3befc968bcda024b9952aeff8b3a17fd427426de)

Author	SHA1	Message	Date
Qiuhao Li	e4657f5f6c	tool: add detector for multiple new reinitializers (#2536) ... * tool: support reinitializer in slither-check-upgradeability * MissingCalls: don't account reinitializers * tool: add detector for multiple new reinitializers * fix: comments and pylint	3 months ago
webthethird	e91fc2f91e	Update CI test for upgradeability ... with new test cases using structures	2 years ago
Josselin Feist	0381589cfd	Fix CI	2 years ago
alpharush	cd9a13727f	read from stdout	2 years ago
Josselin	13e6939a93	Improvements	4 years ago
Josselin	351de6bd31	Refactor regression tests: ... - Rename travis_ to ci_ - Move shared code to scripts/ci_tests.sh - Rename _4 /_5 to detectors_4 / detectors_5 - Rename generation scripts - Create solidity 6 / 7 scripts (but there is no test for now) - Use solc-select - Update CONTRIBUTING.md guidelines	4 years ago
Emilio López	3f2527f227	linting: Solve shell linting errors	4 years ago
Josselin	cb2c6073ec	Upgradeability checks: ... - add missing file - Test constant conformance - Test variable initilization - Minor change in output	5 years ago
Josselin	ae31524d07	Refactor slither-upgradeability-check: ... - Only the logic contract is needed, proxy becomes optional - Change flag name - Clean main to ease the add of new checks - Clean variable ordering logic; merge the two function into one generic (fix #274) - Refactor json output and add source mapping (fix #347). The json output needs to be tested - Add check for constant conformance (fix #188) - Overall output improvements	5 years ago
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
Josselin	f3d5f0d0e8	Rename slither-check-upgradability -> slither-check-upgradeability ... Improve slither-check-upgradeability output	6 years ago
Josselin	bffa59f6c5	Rename slither-check-upgradability -> slither-check-upgradeability ... Improve slither-check-upgradeability output	6 years ago
Josselin	ea24e614be	Improve slither-check-upgradability + add travis unit tests	6 years ago
Josselin	9baf839da5	slither-check-upgradability: ... - Add unit test - Improve output - Add --solc cli option	6 years ago