In State.sol The code doesn't explicitly check the validity of the parameters l2Address and l2Selector in the setStarklaneL2Address and setStarklaneL2Selector functions.
Potential Risks:
Invalid addresses or selectors could be set.
Could lead to incorrect or failed messaging to Starknet L2.
Manual
Validate l2Address and l2Selector before setting.
Add require statements to ensure valid inputs.
Example:
require(l2Address > 0, "Invalid L2 address");
require(l2Selector > 0, "Invalid L2 selector");
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.