Functions are marked payable buy msg.value
isn't handled, funds can get stuck.
The Starklane::withdrawTokens
function is marked payable.
The StarklaneMessaging :: addMessageHashForAutoWithdraw
function is marked payable
But there is no handling of msg.value
in the function. If funds are sent to this function, it can get stuck.
Funds can get stuck
Manual review
Remove the payable
keyword or handle msg.value
.
Please, do not suppose impacts, think about the real impact of the bug and check the CodeHawks documentation to confirm: https://docs.codehawks.com/hawks-auditors/how-to-determine-a-finding-validity A PoC always helps to understand the real impact possible.
The contest is live. Earn rewards by submitting a finding.
This is your time to appeal against judgements on your submissions.
Appeals are being carefully reviewed by our judges.