The condition does not revert when block.timestamp is equal to the compared > or < variable. For example, if there is a check for block.timestamp > proposerSignature.expirationTimestamp then there should be a check for cases where block.timestamp is == to proposerSignature.expirationTimestamp
Lines of code
https://github.com/code-423n4/2023-06-lukso/tree/main/contracts/LSP6KeyManager/LSP6KeyManagerCore.sol#L391-L394
Vulnerability details
Impact
The condition does not revert when
block.timestamp
is equal to the compared>
or<
variable. For example, if there is a check forblock.timestamp > proposerSignature.expirationTimestamp
then there should be a check for cases whereblock.timestamp
is==
toproposerSignature.expirationTimestamp
Findings
Total: 2
contracts/LSP6KeyManager/LSP6KeyManagerCore.sol#L391-L394
Assessed type
Other