Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Require statements without messages in Basket #17

Open
code423n4 opened this issue Oct 9, 2021 · 1 comment
Open

Require statements without messages in Basket #17

code423n4 opened this issue Oct 9, 2021 · 1 comment
Labels
0 (Non-critical) Code style, clarity, syntax, versioning, off-chain monitoring (events etc), exclude gas optimisation bug Warden finding sponsor acknowledged Technically the issue is correct, but we're not going to resolve it for XYZ reasons

Comments

@code423n4
Copy link
Contributor

Handle

pants

Vulnerability details

The functions and modifiers Basket.initialize(), Basket.validateWeights(), Basket.mintTo(), Basket.burn(), Basket.changePublisher(), Basket.changeLicenseFee(), Basket.publishNewIndex(), Basket.deleteNewIndex(), Basket.pullUnderlying(), Basket.onlyAuction() and Basket.onlyPublisher() contain a bunch of require statement without messages:

require(address(factory) == address(0));
require(!initialized);

require(_tokens.length > 0);
require(_tokens.length == _weights.length);
require(_tokens[i] != address(0));
require(_weights[i] > 0);
require(_tokens[i] != tokenList[x]);

require(auction.auctionOngoing() == false);
require(amount > 0);

require(auction.auctionOngoing() == false);
require(amount > 0);

require(newPublisher != address(0));
require(block.number >= pendingPublisher.block + TIMELOCK_DURATION);

require(newLicenseFee >= factory.minLicenseFee() && newLicenseFee != licenseFee);
require(block.number >= pendingLicenseFee.block + TIMELOCK_DURATION);

require(block.number >= pendingWeights.block + TIMELOCK_DURATION);

require(msg.sender == publisher || msg.sender == address(auction));
require(auction.auctionOngoing() == false);

require(tokenAmount > 0);

require(msg.sender == address(auction));

require(msg.sender == address(publisher));

Impact

When transactions revert, the users won't receive error messages indicating the cause of the failure.

Tool Used

Manual code review.

Recommended Mitigation Steps

Add informative error messages to these require statements.

@code423n4 code423n4 added 1 (Low Risk) Assets are not at risk. State handling, function incorrect as to spec, issues with comments bug Warden finding labels Oct 9, 2021
code423n4 added a commit that referenced this issue Oct 9, 2021
@frank-beard frank-beard added the sponsor acknowledged Technically the issue is correct, but we're not going to resolve it for XYZ reasons label Nov 6, 2021
@GalloDaSballo GalloDaSballo added 0 (Non-critical) Code style, clarity, syntax, versioning, off-chain monitoring (events etc), exclude gas optimisation and removed 1 (Low Risk) Assets are not at risk. State handling, function incorrect as to spec, issues with comments labels Dec 19, 2021
@GalloDaSballo
Copy link
Collaborator

Personally I disagree that this would be a finding at all, that said I can rationalize these being informational findings, hence non-critical

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
0 (Non-critical) Code style, clarity, syntax, versioning, off-chain monitoring (events etc), exclude gas optimisation bug Warden finding sponsor acknowledged Technically the issue is correct, but we're not going to resolve it for XYZ reasons
Projects
None yet
Development

No branches or pull requests

3 participants