[STABLE-7559]: Migrate from Slither to Mythril for static analysis #59
Annotations
10 warnings
|
Run Linter:
anvil/Counter.sol#L6
Explicitly mark visibility in function (Set ignoreConstructors to true if using solidity >=0.7.0)
|
|
Run Linter:
anvil/scripts/Counter.s.sol#L7
Code contains empty blocks
|
|
Run Linter:
scripts/deploy.s.sol#L9
Contract has 20 states declarations but allowed no more than 15
|
|
Run Linter:
src/interfaces/IMessageTransmitter.sol#L25
Code contains empty blocks
|
|
Run Linter:
src/MessageTransmitter.sol#L88
Explicitly mark visibility in function (Set ignoreConstructors to true if using solidity >=0.7.0)
|
|
Run Linter:
src/MessageTransmitter.sol#L157
Error message for require is too long
|
|
Run Linter:
src/MessageTransmitter.sol#L164
Error message for require is too long
|
|
Run Linter:
src/MessageTransmitter.sol#L202
Error message for require is too long
|
|
Run Linter:
src/roles/Attestable.sol#L64
Constant name must be in capitalized SNAKE_CASE
|
|
Run Linter:
src/roles/Attestable.sol#L87
Explicitly mark visibility in function (Set ignoreConstructors to true if using solidity >=0.7.0)
|
Loading