[STABLE-7559]: Migrate from Slither to Mythril for static analysis (#51) #60
tongshici.yml
on: push
lint-and-test
2m 31s
analyze-message-transmitter
45m 32s
analyze-token-messenger-minter
13m 56s
release-sbom
/
release_attach_assets
8s
scan
/
scan
Annotations
10 warnings and 1 notice
|
lint-and-test:
anvil/Counter.sol#L6
Explicitly mark visibility in function (Set ignoreConstructors to true if using solidity >=0.7.0)
|
|
lint-and-test:
anvil/scripts/Counter.s.sol#L7
Code contains empty blocks
|
|
lint-and-test:
scripts/deploy.s.sol#L9
Contract has 20 states declarations but allowed no more than 15
|
|
lint-and-test:
src/interfaces/IMessageTransmitter.sol#L25
Code contains empty blocks
|
|
lint-and-test:
src/MessageTransmitter.sol#L88
Explicitly mark visibility in function (Set ignoreConstructors to true if using solidity >=0.7.0)
|
|
lint-and-test:
src/MessageTransmitter.sol#L157
Error message for require is too long
|
|
lint-and-test:
src/MessageTransmitter.sol#L164
Error message for require is too long
|
|
lint-and-test:
src/MessageTransmitter.sol#L202
Error message for require is too long
|
|
lint-and-test:
src/roles/Attestable.sol#L64
Constant name must be in capitalized SNAKE_CASE
|
|
lint-and-test:
src/roles/Attestable.sol#L87
Explicitly mark visibility in function (Set ignoreConstructors to true if using solidity >=0.7.0)
|
|
|