[STABLE-7559]: Migrate from Slither to Mythril for static analysis #59
Triggered via pull request
November 21, 2024 17:44
tongshi
Status
Success
Total duration
45m 25s
Artifacts
–
ci.yml
on: pull_request
lint-and-test
3m 0s
analyze-message-transmitter
45m 15s
analyze-token-messenger-minter
14m 13s
scan
/
scan
7s
release-sbom
/
release_attach_assets
Annotations
11 warnings
|
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)
|
|
scan / scan
Unable to write summary to pull-request. Make sure you are giving this workflow the permission 'pull-requests: write'.
|