In contract SDLPoolPrimary.sol, the function handleIncomingRESDL() doesn't update lastLockId. In the case of the param _lockId is bigger than lastLockId, there should be update of lastLockId.
lastLockId is used in many places through the codebase. Without correct update, the whole functionality of code is going to be affected. Similarly The same update should be done if _lockId is equal to lastLockId in function handleOutgoingRESDL().
All parts use lastLockId will be affected due to unupdated lastLockId
Manual Analysis
Put a check that controls whether the param _lockİd is equal to lastLockId
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.