Most of the contracts use solidity version 0.6.11
some use 0.6.12 like sYETIToken.sol and BoringBatchable.sol and more..
some even use 0.8.7 like ERC20_8.sol
This may cause a problem
Tools Used
Manual code review
Recommended Mitigation Steps
change all contract to the same solidity version, if you lower some to before 0.8.0 make sure you change to safeMath too if needed
Handle
certora
Vulnerability details
Impact
Most of the contracts use solidity version 0.6.11 some use 0.6.12 like
sYETIToken.sol
andBoringBatchable.sol
and more.. some even use 0.8.7 likeERC20_8.sol
This may cause a problemTools Used
Manual code review
Recommended Mitigation Steps
change all contract to the same solidity version, if you lower some to before 0.8.0 make sure you change to safeMath too if needed