REX Token

Unable to find manual contract audit (e.g. Certik, PeckShield, Solidity...)

StakingToken._calcBonusDays(uint32) (#1603-1614) uses a dangerous strict equality:
- _stakingDays.div(365) == 0 (#1610-1613)
Helper._daysLeft(Declaration.Stake) (#901-905) uses a dangerous strict equality:
- _stake.isActive == false (#902-904)
StakingToken._endStake(address,bytes16) (#1233-1278) uses a dangerous strict equality:
- _stake.stakingDays == 5555 && _stake.stakedAmount >= CLUB_STAKE_TRESHOLD && _isMatureStake(_stake) == false (#1259)
Helper._startingDay(Declaration.Stake) (#911-913) uses a dangerous strict equality:
- _stake.scrapeDay == 0 (#912)
ClaimableToken.claimableRex() (#1772-1778) uses a dangerous strict equality:
- _currentRexDay() == 0 (#1774)
StakingToken.compareStrings(string,string) (#1727-1734) uses a dangerous strict equality:
- (keccak256(bytes)(abi.encodePacked((a))) == keccak256(bytes)(abi.encodePacked((b)))) (#1733)
StakingToken.moveStake(bytes16,address) (#1287-1331) uses a dangerous strict equality:
- require(bool,string)(stakes[msg.sender][_stakeID].scrapeDay == 0,REX: No. Already scraped interest.) (#1296)
StakingToken.splitStake(bytes16) (#1355-1389) uses a dangerous strict equality:
- require(bool,string)(stakes[msg.sender][_stakeID].isSplit == false,REX: Already split.) (#1363)
StakingToken.splitStake(bytes16) (#1355-1389) uses a dangerous strict equality:
- require(bool,string)(stakes[msg.sender][_stakeID].scrapeDay == 0,REX: No. Already scraped interest.) (#1364)
Don't use strict equality to determine if an account has enough Ether or tokens.

Additional information: link

Contract locking ether found:
Contract RexToken (#1781-1874) has payable functions:
- RexToken.receive() (#1797)
- RexToken.fallback() (#1798)
But does not have a function to withdraw the ether
Remove the payable attribute or add a withdraw function.

Additional information: link

StakingToken.getHigherDays(uint32) (#1616-1628) performs a multiplication on the result of a division:
-_days += _stakingDays - (_stakingDays.div(365) * 365) (#1626)
StakingToken._loopRewardAmount(uint256,uint32,uint32) (#1696-1725) performs a multiplication on the result of a division:
-_rewardAmount = _rewardAmount.mul(uint256(100).sub(_reductionPercent)).div(100) (#1714-1716)
-_rewardAmount = _rewardAmount * REWARD_PRECISION * (uint256(_currentRexDay()) - uint256(_startDay)) / (uint256(_finalDay) - uint256(_startDay)) / REWARD_PRECISION (#1722)
Consider ordering multiplication before division.

Additional information: link

StakingToken.moveStake(bytes16,address)._newStake (#1301) is a local variable never initialized
StakingToken.splitStake(bytes16)._newStake (#1368) is a local variable never initialized
Helper.stakesPagination(address,uint256,uint256).i (#853) is a local variable never initialized
StakingToken._createAutoStake(address,uint256,uint32)._newStake (#1166) is a local variable never initialized
Initialize all the variables. If a variable is meant to be initialized to zero, explicitly set it to zero to improve code readability.

Additional information: link

Snapshot._inflationAmount(uint256,uint256,uint256)._totalSupply (#1066) shadows:
- BEP20Token._totalSupply (#363) (state variable)
Rename the local variables that shadow another component.

Additional information: link

RexToken.__initRexContracts(address,address,address)._RDA (#1807) lacks a zero-check on :
- RDA_CONTRACT = _RDA (#1808)
Check that the address is not zero.

Additional information: link

Timing.currentRexDay() (#780-782) uses timestamp for comparisons
Dangerous comparisons:
- _getNow() >= LAUNCH_TIME (#781)
Helper._isMatureStake(Declaration.Stake) (#881-885) uses timestamp for comparisons
Dangerous comparisons:
- _stake.finalDay <= _currentRexDay() (#882-884)
Helper._stakeNotStarted(Declaration.Stake) (#887-891) uses timestamp for comparisons
Dangerous comparisons:
- _stake.startDay > _currentRexDay() (#888-890)
Helper._stakeEnded(Declaration.Stake) (#893-895) uses timestamp for comparisons
Dangerous comparisons:
- _stake.isActive == false || _isMatureStake(_stake) (#894)
Helper._daysDiff(uint32,uint32) (#897-899) uses timestamp for comparisons
Dangerous comparisons:
- _startDate > _endDate (#898)
Helper._notPast(uint32) (#915-917) uses timestamp for comparisons
Dangerous comparisons:
- _day >= _currentRexDay() (#916)
Helper._notFuture(uint32) (#919-921) uses timestamp for comparisons
Dangerous comparisons:
- _day <= _currentRexDay() (#920)
Snapshot.manualDailySnapshotPoint(uint32) (#987-1004) uses timestamp for comparisons
Dangerous comparisons:
- require(bool,string)(_updateDay > 0 && _updateDay < _currentRexDay(),REX: Day does not exist yet.) (#992-996)
Snapshot._dailySnapshotPoint(uint32) (#1010-1045) uses timestamp for comparisons
Dangerous comparisons:
- _day < _updateDay (#1018)
StakingToken._endStake(address,bytes16) (#1233-1278) uses timestamp for comparisons
Dangerous comparisons:
- require(bool,string)(stakes[_staker][_stakeID].isActive,REX: not an active stake) (#1243)
- require(bool,string)(stakes[_staker][_stakeID].finalDay <= _currentRexDay(),REX: Auto-stake not mature.) (#1248)
- _stake.stakingDays == 5555 && _stake.stakedAmount >= CLUB_STAKE_TRESHOLD && _isMatureStake(_stake) == false (#1259)
- totalREXinActiveStakes[_staker] >= (_stake.stakedAmount) (#1262-1264)
- _stake.stakedAmount > _penalty (#1267-1271)
StakingToken.moveStake(bytes16,address) (#1287-1331) uses timestamp for comparisons
Dangerous comparisons:
- require(bool,string)(stakes[msg.sender][_stakeID].isActive,REX: Not an active stake.) (#1295)
- require(bool,string)(stakes[msg.sender][_stakeID].scrapeDay == 0,REX: No. Already scraped interest.) (#1296)
StakingToken.renameStake(bytes16,string) (#1339-1353) uses timestamp for comparisons
Dangerous comparisons:
- require(bool,string)(stakes[msg.sender][_stakeID].isActive,REX: Not an active stake) (#1346)
- require(bool,string)(! _autostake,REX: Cannot rename auto-stake.) (#1351)
StakingToken.splitStake(bytes16) (#1355-1389) uses timestamp for comparisons
Dangerous comparisons:
- require(bool,string)(stakes[msg.sender][_stakeID].isActive,REX: Not an active stake.) (#1362)
- require(bool,string)(stakes[msg.sender][_stakeID].isSplit == false,REX: Already split.) (#1363)
- require(bool,string)(stakes[msg.sender][_stakeID].scrapeDay == 0,REX: No. Already scraped interest.) (#1364)
- require(bool,string)(stakes[msg.sender][_stakeID].stakedAmount >= 2 * MIN_STAKE_AMOUNT,REX: Too small to split.) (#1365)
StakingToken.scrapeInterest(bytes16,uint32) (#1396-1478) uses timestamp for comparisons
Dangerous comparisons:
- require(bool,string)(stakes[msg.sender][_stakeID].isActive,REX: Not an active stake) (#1409)
- require(bool,string)(stakes[msg.sender][_stakeID].finalDay > _currentRexDay(),REX: Stake mature. Close it!) (#1410)
- require(bool,string)(stakes[msg.sender][_stakeID].stakingDays > 2,REX: Stake too short to scrape interest.) (#1411)
- scrapeDay > _currentRexDay() (#1420-1422)
- stake.stakesShares > stakersPenalty (#1442-1444)
- _sharesTemp > stakersPenalty (#1447-1450)
- _sharesTemp > stakersPenalty (#1453)
StakingToken._removeScheduledShares(uint32,uint256) (#1490-1509) uses timestamp for comparisons
Dangerous comparisons:
- scheduledToEnd[_finalDay] > _shares (#1498-1500)
- snapshots[_day].scheduledToEnd > _shares (#1505-1507)
StakingToken._sharePriceUpdate(uint256,uint256,uint32,uint256) (#1511-1545) uses timestamp for comparisons
Dangerous comparisons:
- _stakeShares > 0 && _currentRexDay() > 1 (#1519)
- newSharePrice > globals.sharePrice (#1528)
- newSharePrice < globals.sharePrice.mul(110).div(100) (#1530-1532)
StakingToken._calcBonusDays(uint32) (#1603-1614) uses timestamp for comparisons
Dangerous comparisons:
- _stakingDays.div(365) == 0 (#1610-1613)
StakingToken.getHigherDays(uint32) (#1616-1628) uses timestamp for comparisons
Dangerous comparisons:
- i < _stakingDays.div(365) (#1623)
StakingToken._calculatePenaltyAmount(Declaration.Stake) (#1659-1667) uses timestamp for comparisons
Dangerous comparisons:
- _stakeNotStarted(_stake) || _isMatureStake(_stake) (#1666)
StakingToken._getPenalty(Declaration.Stake) (#1672-1680) uses timestamp for comparisons
Dangerous comparisons:
- ((_stake.stakingDays - _daysLeft(_stake)) >= (_stake.stakingDays / 2)) (#1677-1679)
StakingToken._loopRewardAmount(uint256,uint32,uint32) (#1696-1725) uses timestamp for comparisons
Dangerous comparisons:
- _day < _finalDay (#1706)
- _currentRexDay() > (_finalDay + uint32(14)) && _rewardAmount > 0 (#1711)
- _reductionPercent > 100 (#1713)
- _currentRexDay() < _finalDay && _rewardAmount > 0 (#1720)
- _finalDay != _startDay (#1721)
StakingToken.compareStrings(string,string) (#1727-1734) uses timestamp for comparisons
Dangerous comparisons:
- (keccak256(bytes)(abi.encodePacked((a))) == keccak256(bytes)(abi.encodePacked((b)))) (#1733)
ClaimableToken.claimRexAndStake() (#1746-1770) uses timestamp for comparisons
Dangerous comparisons:
- require(bool,string)(_currentRexDay() != 0,REX: Too early. Wait till day 1.) (#1753)
- require(bool,string)(_currentRexDay() <= CLAIM_PHASE_END_DAY,REX: Claiming has ended already.) (#1754)
ClaimableToken.claimableRex() (#1772-1778) uses timestamp for comparisons
Dangerous comparisons:
- _currentRexDay() == 0 (#1774)
- _currentRexDay() > CLAIM_PHASE_END_DAY (#1775)
Avoid relying on block.timestamp.

Additional information: link

Helper._notContract(address) (#810-816) uses assembly
- INLINE ASM (#812-814)
Do not use evm assembly.

Additional information: link

Helper._stakeEnded(Declaration.Stake) (#893-895) compares to a boolean constant:
-_stake.isActive == false || _isMatureStake(_stake) (#894)
Helper._daysLeft(Declaration.Stake) (#901-905) compares to a boolean constant:
-_stake.isActive == false (#902-904)
StakingToken._endStake(address,bytes16) (#1233-1278) compares to a boolean constant:
-_stake.stakingDays == 5555 && _stake.stakedAmount >= CLUB_STAKE_TRESHOLD && _isMatureStake(_stake) == false (#1259)
StakingToken.splitStake(bytes16) (#1355-1389) compares to a boolean constant:
-require(bool,string)(stakes[msg.sender][_stakeID].isSplit == false,REX: Already split.) (#1363)
Remove the equality to the boolean constant.

Additional information: link

BEP20Token._burnFrom(address,uint256) (#592-595) is never used and should be removed
Context._msgData() (#165-168) is never used and should be removed
Helper._getStakingDays(Declaration.Stake) (#927-931) is never used and should be removed
Helper._nonZeroAddress(address) (#923-925) is never used and should be removed
Helper._notFuture(uint32) (#919-921) is never used and should be removed
Helper._stakeEnded(Declaration.Stake) (#893-895) is never used and should be removed
Helper.safeTransfer(address,address,uint256) (#933-952) is never used and should be removed
SafeMath.mod(uint256,uint256) (#299-301) is never used and should be removed
SafeMath.mod(uint256,uint256,string) (#314-317) is never used and should be removed
SafeMath32.mod(uint32,uint32) (#351-354) is never used and should be removed
SafeMath32.mul(uint32,uint32) (#334-343) is never used and should be removed
Remove unused functions.

Additional information: link

Pragma version^0.7.4 (#3) allows old versions
solc-0.7.4 is not recommended for deployment
Deploy with any of the following Solidity versions: 0.5.16 - 0.5.17, 0.6.11 - 0.6.12, 0.7.5 - 0.7.6 Use a simple pragma version that allows any of these versions. Consider using the latest version of Solidity for testing.

Additional information: link

Low level call in Helper.safeTransfer(address,address,uint256) (#933-952):
- (success,data) = token.call(abi.encodeWithSelector(0xa9059cbb,to,value)) (#940-946)
Avoid low-level calls. Check the call success. If the call is meant for a contract, check for code existence

Additional information: link

Variable Declaration.LAUNCH_TIME (#715) is not in mixedCase
Variable Declaration.DAILY_TRANSFER_CAP (#731) is not in mixedCase
Variable Declaration.RDA_CONTRACT (#743) is not in mixedCase
Variable Declaration.TREX_CONTRACT (#744) is not in mixedCase
Variable Declaration.MREX_CONTRACT (#745) is not in mixedCase
Parameter Helper.stakesPagination(address,uint256,uint256)._staker (#837) is not in mixedCase
Parameter Helper.stakesPagination(address,uint256,uint256)._offset (#838) is not in mixedCase
Parameter Helper.stakesPagination(address,uint256,uint256)._length (#839) is not in mixedCase
Parameter Helper.latestStakeID(address)._staker (#873) is not in mixedCase
Parameter Snapshot.manualDailySnapshotPoint(uint32)._updateDay (#988) is not in mixedCase
Parameter StakingToken.createStake(uint256,uint32,string)._stakedAmount (#1082) is not in mixedCase
Parameter StakingToken.createStake(uint256,uint32,string)._stakingDays (#1083) is not in mixedCase
Parameter StakingToken.createStake(uint256,uint32,string)._description (#1084) is not in mixedCase
Parameter StakingToken.endStake(bytes16)._stakeID (#1200) is not in mixedCase
Parameter StakingToken.moveStake(bytes16,address)._stakeID (#1288) is not in mixedCase
Parameter StakingToken.moveStake(bytes16,address)._toAddress (#1289) is not in mixedCase
Parameter StakingToken.renameStake(bytes16,string)._stakeID (#1340) is not in mixedCase
Parameter StakingToken.renameStake(bytes16,string)._description (#1341) is not in mixedCase
Parameter StakingToken.splitStake(bytes16)._stakeID (#1356) is not in mixedCase
Parameter StakingToken.scrapeInterest(bytes16,uint32)._stakeID (#1397) is not in mixedCase
Parameter StakingToken.scrapeInterest(bytes16,uint32)._scrapeDays (#1398) is not in mixedCase
Parameter StakingToken.getHigherDays(uint32)._stakingDays (#1617) is not in mixedCase
Function StakingToken._checkRewardAmountbyID(address,bytes16) (#1645-1648) is not in mixedCase
Parameter StakingToken._checkRewardAmountbyID(address,bytes16)._staker (#1645) is not in mixedCase
Parameter StakingToken._checkRewardAmountbyID(address,bytes16)._stakeID (#1645) is not in mixedCase
Function StakingToken._checkPenaltyAmountbyID(address,bytes16) (#1650-1653) is not in mixedCase
Parameter StakingToken._checkPenaltyAmountbyID(address,bytes16)._staker (#1650) is not in mixedCase
Parameter StakingToken._checkPenaltyAmountbyID(address,bytes16)._stakeID (#1650) is not in mixedCase
Function RexToken.__initRexContracts(address,address,address) (#1807-1811) is not in mixedCase
Parameter RexToken.__initRexContracts(address,address,address)._RDA (#1807) is not in mixedCase
Parameter RexToken.__initRexContracts(address,address,address)._TREX (#1807) is not in mixedCase
Parameter RexToken.__initRexContracts(address,address,address)._MREX (#1807) is not in mixedCase
Function RexToken.__revokeAccess() (#1813-1816) is not in mixedCase
Parameter RexToken.mintSupply(address,uint256)._donatorAddress (#1825) is not in mixedCase
Parameter RexToken.mintSupply(address,uint256)._amount (#1826) is not in mixedCase
Parameter RexToken.getTokensStaked(address)._staker (#1850) is not in mixedCase
Parameter RexToken.setUltraRexican(address)._referrer (#1865) is not in mixedCase
Variable RexToken.TOKEN_DEFINER (#1783) is not in mixedCase
Follow the Solidity naming convention.

Additional information: link

Redundant expression "this (#166)" inContext (#160-169)
Remove redundant statements if they congest code but offer no value.

Additional information: link

Variable Declaration.MREX_CONTRACT (#745) is too similar to Declaration.TREX_CONTRACT (#744)
Prevent variables from having similar names.

Additional information: link

RexToken.slitherConstructorVariables() (#1781-1874) uses literals with too many digits:
- DAILY_TRANSFER_CAP = 100000 * PRINCES_PER_REX (#731)
RexToken.slitherConstructorConstantVariables() (#1781-1874) uses literals with too many digits:
- MIN_STAKE_AMOUNT = 1000000 (#735)
Use: Ether suffix, Time suffix, or The scientific notation

Additional information: link

Declaration.CLAIM_PHASE_START_DAY (#737) is never used in RexToken (#1781-1874)
Remove unused state variables.

Additional information: link

BEP20Token._decimals (#364) should be constant
Declaration.DAILY_TRANSFER_CAP (#731) should be constant
Add the constant attributes to state variables that never change.

Additional information: link

increaseAllowance(address,uint256) should be declared external:
- BEP20Token.increaseAllowance(address,uint256) (#482-485)
decreaseAllowance(address,uint256) should be declared external:
- BEP20Token.decreaseAllowance(address,uint256) (#501-504)
currentRexDay() should be declared external:
- Timing.currentRexDay() (#780-782)
unclaimedAddresses() should be declared external:
- Helper.unclaimedAddresses() (#865-867)
isUltraRexican(address) should be declared external:
- Helper.isUltraRexican(address) (#869-871)
createStake(uint256,uint32,string) should be declared external:
- StakingToken.createStake(uint256,uint32,string) (#1081-1117)
_checkRewardAmountbyID(address,bytes16) should be declared external:
- StakingToken._checkRewardAmountbyID(address,bytes16) (#1645-1648)
_checkPenaltyAmountbyID(address,bytes16) should be declared external:
- StakingToken._checkPenaltyAmountbyID(address,bytes16) (#1650-1653)
Use the external attribute for functions never called from the contract.

Additional information: link

Average 30d PancakeSwap liquidity is less than $100. Token is either dead or inactive.

Average 30d PancakeSwap volume is less than $100. Token is either dead or inactive.

Average 30d number of PancakeSwap swaps is less than 1. Token is either dead or inactive.

Average PancakeSwap trading volume, liqudity, number of swaps are extremely low. Token seems to be dead.

Token is deployed only at one blockchain

Unable to find token on CoinGecko

Additional information: link

Unable to find token on CoinMarketCap

Additional information: link

Unable to find token contract audit

Unable to find audit link on the website

Unable to find whitepaper link on the website

Unable to find token on CoinHunt

Additional information: link

Unable to find code repository for the project

Token has no active CoinGecko listing / rank

Token has no active CoinMarketCap listing / rank

Token has a considerable age, but social accounts / website are missing or have few users

Token has a considerable age, but average PancakeSwap 30d trading volume is low

Young tokens have high risks of price dump / death