Open code423n4 opened 2 years ago
certora
https://github.com/code-423n4/2021-12-amun/blob/main/contracts/basket/contracts/singleJoinExit/EthSingleTokenJoin.sol#L15 msg.value might be different than _joinTokenStruct.inputAmount
msg.value
_joinTokenStruct.inputAmount
add:
require(msg.value == _joinTokenStruct.inputAmount);
I think this is valid, the function will likely revert unknowingly to the user who calls this function.
Handle
certora
Vulnerability details
https://github.com/code-423n4/2021-12-amun/blob/main/contracts/basket/contracts/singleJoinExit/EthSingleTokenJoin.sol#L15
msg.value
might be different than_joinTokenStruct.inputAmount
Recommended Mitigation Steps
add: