|
|
|
|
@ -121,7 +121,7 @@ See the [Printer documentation](https://github.com/crytic/slither/wiki/Printer-d |
|
|
|
|
## Tools |
|
|
|
|
|
|
|
|
|
- `slither-check-upgradeability`: [Review `delegatecall`-based upgradeability](https://github.com/crytic/slither/wiki/Upgradeability-Checks) |
|
|
|
|
- `slither-prop`: [Automatic unit tests and properties generation](https://github.com/crytic/slither/wiki/Property-generation) |
|
|
|
|
- `slither-prop`: [Automatic unit test and property generation](https://github.com/crytic/slither/wiki/Property-generation) |
|
|
|
|
- `slither-flat`: [Flatten a codebase](https://github.com/crytic/slither/wiki/Contract-Flattening) |
|
|
|
|
- `slither-check-erc`: [Check the ERC's conformance](https://github.com/crytic/slither/wiki/ERC-Conformance) |
|
|
|
|
- `slither-format`: [Automatic patches generation](https://github.com/crytic/slither/wiki/Slither-format) |
|
|
|
|
|
Feist Josselin
4 years ago
committed by
GitHub