refined_analysis_truths.json

{"contract": ["../tests/refined_analysis/natural_bugs/set2/OneRing/Auction.sol", "../tests/refined_analysis/natural_bugs/set2/OneRing/IBasket.sol", "../tests/refined_analysis/natural_bugs/set2/OneRing/Basket.sol", "../tests/refined_analysis/natural_bugs/set2/OneRing/TestToken.sol", "../tests/refined_analysis/natural_bugs/set2/OneRing/Factory.sol", "../tests/refined_analysis/natural_bugs/set2/OneRing/IAuction.sol", "../tests/refined_analysis/natural_bugs/set2/OneRing/IFactory.sol", "../tests/refined_analysis/natural_bugs/set2/moneyReserve/Burn.sol", "../tests/refined_analysis/natural_bugs/set2/moneyReserve/Base64.sol", "../tests/refined_analysis/natural_bugs/set2/moneyReserve/InsurancePrincipal.sol", "../tests/refined_analysis/natural_bugs/set2/moneyReserve/SafeMetadata.sol", "../tests/refined_analysis/natural_bugs/set2/moneyReserve/SquareRoot.sol", "../tests/refined_analysis/natural_bugs/set2/moneyReserve/ERC20Permit.sol", "../tests/refined_analysis/natural_bugs/set2/moneyReserve/BondPrincipal.sol", "../tests/refined_analysis/natural_bugs/set2/moneyReserve/ETH.sol", "../tests/refined_analysis/natural_bugs/set2/moneyReserve/DeployLiquidity.sol", "../tests/refined_analysis/natural_bugs/set2/moneyReserve/DeployBonds.sol", "../tests/refined_analysis/natural_bugs/set2/moneyReserve/DeployCollateralizedDebt.sol", "../tests/refined_analysis/natural_bugs/set2/moneyReserve/Deploy.sol", "../tests/refined_analysis/natural_bugs/set2/moneyReserve/Liquidity.sol", "../tests/refined_analysis/natural_bugs/set2/moneyReserve/SafeTransfer.sol", "../tests/refined_analysis/natural_bugs/set2/moneyReserve/DeployNative.sol", "../tests/refined_analysis/natural_bugs/set2/moneyReserve/MintMath.sol", "../tests/refined_analysis/natural_bugs/set2/moneyReserve/ConstantProduct.sol", "../tests/refined_analysis/natural_bugs/set2/moneyReserve/Withdraw.sol", "../tests/refined_analysis/natural_bugs/set2/moneyReserve/BorrowMath.sol", "../tests/refined_analysis/natural_bugs/set2/moneyReserve/InsuranceInterest.sol", "../tests/refined_analysis/natural_bugs/set2/moneyReserve/DeployInsurances.sol", "../tests/refined_analysis/natural_bugs/set2/moneyReserve/CollateralizedDebt.sol", "../tests/refined_analysis/natural_bugs/set2/moneyReserve/ERC20.sol", "../tests/refined_analysis/natural_bugs/set2/moneyReserve/NFTSVG.sol", "../tests/refined_analysis/natural_bugs/set2/moneyReserve/ERC721.sol", "../tests/refined_analysis/natural_bugs/set2/moneyReserve/PayMath.sol", "../tests/refined_analysis/natural_bugs/set2/moneyReserve/BondInterest.sol", "../tests/refined_analysis/natural_bugs/set2/moneyReserve/ERC721Permit.sol", "../tests/refined_analysis/natural_bugs/set2/moneyReserve/LendMath.sol", "../tests/refined_analysis/natural_bugs/set2/moneyReserve/MsgValue.sol", "../tests/refined_analysis/natural_bugs/set2/moneyReserve/Pay.sol", "../tests/refined_analysis/natural_bugs/set2/InverseFinance/Vault.sol", "../tests/refined_analysis/natural_bugs/set2/InverseFinance/Harvester.sol", "../tests/refined_analysis/natural_bugs/set2/InverseFinance/SafeMath.sol", "../tests/refined_analysis/natural_bugs/set2/InverseFinance/GovernorAlpha.sol", "../tests/refined_analysis/natural_bugs/set2/InverseFinance/EthVault.sol", "../tests/refined_analysis/natural_bugs/set2/InverseFinance/SafeMathUint.sol", "../tests/refined_analysis/natural_bugs/set2/InverseFinance/IVault.sol", "../tests/refined_analysis/natural_bugs/set2/InverseFinance/IUniswapRouter.sol", "../tests/refined_analysis/natural_bugs/set2/InverseFinance/Timelock.sol", "../tests/refined_analysis/natural_bugs/set2/InverseFinance/MultiDelegator.sol", "../tests/refined_analysis/natural_bugs/set2/InverseFinance/DividendToken.sol", "../tests/refined_analysis/natural_bugs/set2/InverseFinance/DolaPayroll.sol", "../tests/refined_analysis/natural_bugs/set2/InverseFinance/GuestList.sol", "../tests/refined_analysis/natural_bugs/set2/InverseFinance/LpHarvester.sol", "../tests/refined_analysis/natural_bugs/set2/InverseFinance/SafeMathInt.sol", "../tests/refined_analysis/natural_bugs/set2/InverseFinance/IStrat.sol", "../tests/refined_analysis/natural_bugs/set2/uniSwap/MoneyPrinter.sol", "../tests/refined_analysis/natural_bugs/set2/uniSwap/arb.sol", "../tests/refined_analysis/natural_bugs/set2/uniSwap/IWeth.sol", "../tests/refined_analysis/natural_bugs/set2/uniSwap/IUniswapV2Router02.sol", "../tests/refined_analysis/natural_bugs/set2/uniSwap/Migrations.sol", "../tests/refined_analysis/natural_bugs/set2/uniSwap/IUniswapV2Router01.sol", "../tests/refined_analysis/natural_bugs/set2/DFX/MockAggregator.sol", "../tests/refined_analysis/natural_bugs/set2/DFX/Storage.sol", "../tests/refined_analysis/natural_bugs/set2/DFX/CadcToUsdAssimilator.sol", "../tests/refined_analysis/natural_bugs/set2/DFX/IOracle.sol", "../tests/refined_analysis/natural_bugs/set2/DFX/MerkleProver.sol", "../tests/refined_analysis/natural_bugs/set2/DFX/CurveMath.sol", "../tests/refined_analysis/natural_bugs/set2/DFX/CurveFactory.sol", "../tests/refined_analysis/natural_bugs/set2/DFX/XsgdToUsdAssimilator.sol", "../tests/refined_analysis/natural_bugs/set2/DFX/NzdsToUsdAssimilator.sol", "../tests/refined_analysis/natural_bugs/set2/DFX/Orchestrator.sol", "../tests/refined_analysis/natural_bugs/set2/DFX/MockToken.sol", "../tests/refined_analysis/natural_bugs/set2/DFX/Assimilators.sol", "../tests/refined_analysis/natural_bugs/set2/DFX/EursToUsdAssimilator.sol", "../tests/refined_analysis/natural_bugs/set2/DFX/IFreeFromUpTo.sol", "../tests/refined_analysis/natural_bugs/set2/DFX/IAssimilator.sol", "../tests/refined_analysis/natural_bugs/set2/DFX/XidrToUsdAssimilator.sol", "../tests/refined_analysis/natural_bugs/set2/DFX/UsdcToUsdAssimilator.sol", "../tests/refined_analysis/natural_bugs/set2/DFX/Router.sol", "../tests/refined_analysis/natural_bugs/set2/DFX/UnsafeMath64x64.sol", "../tests/refined_analysis/natural_bugs/set2/DFX/ViewLiquidity.sol", "../tests/refined_analysis/natural_bugs/set2/DFX/GyenToUsdAssimilator.sol", "../tests/refined_analysis/natural_bugs/set2/visor/ERC1271.sol", "../tests/refined_analysis/natural_bugs/set2/visor/PowerSwitch.sol", "../tests/refined_analysis/natural_bugs/set2/visor/README.md", "../tests/refined_analysis/natural_bugs/set2/visor/IVisorService.sol", "../tests/refined_analysis/natural_bugs/set2/visor/Mainframe.sol", "../tests/refined_analysis/natural_bugs/set2/visor/ProxyFactory.sol", "../tests/refined_analysis/natural_bugs/set2/visor/MockVisorService.sol", "../tests/refined_analysis/natural_bugs/set2/visor/EIP712.sol", "../tests/refined_analysis/natural_bugs/set2/visor/RewardPoolFactory.sol", "../tests/refined_analysis/natural_bugs/set2/visor/RewardPool.sol", "../tests/refined_analysis/natural_bugs/set2/visor/IUniversalVault.sol", "../tests/refined_analysis/natural_bugs/set2/visor/MockERC20.sol", "../tests/refined_analysis/natural_bugs/set2/visor/IERC20Detailed.sol", "../tests/refined_analysis/natural_bugs/set2/visor/RewardsToken.sol", "../tests/refined_analysis/natural_bugs/set2/visor/VisorFactory.sol", "../tests/refined_analysis/natural_bugs/set2/visor/StakingToken.sol", "../tests/refined_analysis/natural_bugs/set2/visor/Powered.sol", "../tests/refined_analysis/natural_bugs/set2/visor/OwnableERC721.sol", "../tests/refined_analysis/natural_bugs/set2/visor/PowerSwitchFactory.sol", "../tests/refined_analysis/natural_bugs/set2/visor/InstanceRegistry.sol", "../tests/refined_analysis/natural_bugs/set2/visor/MockNFT.sol", "../tests/refined_analysis/natural_bugs/set2/visor/IERC721Receiver.sol", "../tests/refined_analysis/natural_bugs/set2/visor/IFactory.sol", "../tests/refined_analysis/natural_bugs/set2/Harvest/IFeeRewardForwarderV2.sol", "../tests/refined_analysis/natural_bugs/set2/Harvest/Address.sol", "../tests/refined_analysis/natural_bugs/set2/Harvest/IVault.sol", "../tests/refined_analysis/natural_bugs/set2/Harvest/VaultMigratable_Pancake_ICE_BNB.sol", "../tests/refined_analysis/natural_bugs/set2/Harvest/BaseUpgradeabilityProxy.sol", "../tests/refined_analysis/natural_bugs/set2/Harvest/BaseUpgradeableStrategy.sol", "../tests/refined_analysis/natural_bugs/set2/Harvest/VaultMigratable_Pancake_CAKE_BNB.sol", "../tests/refined_analysis/natural_bugs/set2/Harvest/StrategyProxy.sol", "../tests/refined_analysis/natural_bugs/set2/Harvest/VaultMigratable_Pancake_BUSD_BNB.sol", "../tests/refined_analysis/natural_bugs/set2/Harvest/VaultMigratable_Pancake_XVS_BNB.sol", "../tests/refined_analysis/natural_bugs/set2/Harvest/VaultMigratable_Pancake_USDT_BNB.sol", "../tests/refined_analysis/natural_bugs/set2/Harvest/IUpgradeSource.sol", "../tests/refined_analysis/natural_bugs/set2/Harvest/VaultMigratable_Pancake_ETH_BNB.sol", "../tests/refined_analysis/natural_bugs/set2/Harvest/VenusInteractor.sol", "../tests/refined_analysis/natural_bugs/set2/Harvest/IStrategy.sol", "../tests/refined_analysis/natural_bugs/set2/Harvest/IRewardPool.sol", "../tests/refined_analysis/natural_bugs/set2/Harvest/ReentrancyGuard.sol", "../tests/refined_analysis/natural_bugs/set2/Harvest/IFeeRewardForwarder.sol", "../tests/refined_analysis/natural_bugs/set2/Harvest/IController.sol", "../tests/refined_analysis/natural_bugs/set2/Harvest/BaseUpgradeableStrategyStorage.sol", "../tests/refined_analysis/natural_bugs/set2/Harvest/VaultMigratable_Pancake_BDO_BNB.sol", "../tests/refined_analysis/natural_bugs/set2/Harvest/VaultMigratable_Pancake_BELT_BNB.sol", "../tests/refined_analysis/natural_bugs/set2/Harvest/Proxy.sol", "../tests/refined_analysis/natural_bugs/set2/Paraluni/README.md", "../tests/refined_analysis/natural_bugs/set2/Paraluni/ParaFactory.sol", "../tests/refined_analysis/natural_bugs/set2/nimBus/TokenAdapter.sol", "../tests/refined_analysis/natural_bugs/set2/nimBus/InfluencerBonusPart.sol", "../tests/refined_analysis/natural_bugs/set2/nimBus/StakingRewardsSameTokenFixedAPY.sol", "../tests/refined_analysis/natural_bugs/set2/nimBus/NBU_WBNB.sol", "../tests/refined_analysis/natural_bugs/set2/nimBus/LockStakingRewardSameTokenFixedAPY.sol", "../tests/refined_analysis/natural_bugs/set2/nimBus/Migrations.sol", "../tests/refined_analysis/natural_bugs/set2/nimBus/NimbusReferralProgramLogic.sol", "../tests/refined_analysis/natural_bugs/set2/nimBus/HeadOfLocationMotivation.sol", "../tests/refined_analysis/natural_bugs/set2/pancakeswap/IPancakeCallee.sol", "../tests/refined_analysis/natural_bugs/set2/pancakeswap/IWETH.sol", "../tests/refined_analysis/natural_bugs/set2/pancakeswap/IPancakeFactory.sol", "../tests/refined_analysis/natural_bugs/set2/pancakeswap/IPancakeRouter02.sol", "../tests/refined_analysis/natural_bugs/set2/pancakeswap/IPancakeRouter01.sol", "../tests/refined_analysis/natural_bugs/set2/pancakeswap/IPancakePair.sol", "../tests/refined_analysis/natural_bugs/set2/pancakeswap/IPancakeERC20.sol"], "bugs": ["", "inconsistent state update\natomicity violation\n", "privilege escalation\ninconsistent state update\n", "inconsistent state update\natomicity violation\ncross bridge inconsistency\n", "", "cross bridge inconsistency\n", "privilege escalation\ninconsistent state update\natomicity violation\n", "inconsistent state update\natomicity violation\ncross bridge inconsistency\n", "inconsistent state update\n", "privilege escalation\ninconsistent state update\n", "inconsistent state update\n", "privilege escalation\ninconsistent state update\n", "price manipulation\nprivilege escalation\nbusiness logic flaw\ninconsistent state update\natomicity violation\ncross bridge inconsistency\n", "inconsistent state update\natomicity violation\ncross bridge inconsistency\n", "", "", "privilege escalation\ninconsistent state update\n", "privilege escalation\ninconsistent state update\natomicity violation\ncross bridge inconsistency\n", "inconsistent state update\n", "privilege escalation\ninconsistent state update\n", "inconsistent state update\natomicity violation\n", "privilege escalation\nbusiness logic flaw\ninconsistent state update\n", "privilege escalation\ninconsistent state update\natomicity violation\n", "privilege escalation\ninconsistent state update\n", "business logic flaw\ninconsistent state update\natomicity violation\n", "privilege escalation\nbusiness logic flaw\ninconsistent state update\n", "privilege escalation\ninconsistent state update\n", "inconsistent state update\natomicity violation\n", "", "inconsistent state update\natomicity violation\n", "inconsistent state update\ncross bridge inconsistency\n", "inconsistent state update\natomicity violation\n", "privilege escalation\ninconsistent state update\natomicity violation\n", "privilege escalation\ninconsistent state update\natomicity violation\n", "privilege escalation\ninconsistent state update\natomicity violation\n", "privilege escalation\ninconsistent state update\n", "privilege escalation\ninconsistent state update\natomicity violation\ncross bridge inconsistency\n", "privilege escalation\ninconsistent state update\natomicity violation\ncross bridge inconsistency\n", "business logic flaw\ninconsistent state update\ncross bridge inconsistency\n", "privilege escalation\ninconsistent state update\natomicity violation\ncross bridge inconsistency\n", "privilege escalation\ninconsistent state update\n", "", "price manipulation\n", "privilege escalation\ninconsistent state update\n", "privilege escalation\ninconsistent state update\n", "", "price manipulation\ninconsistent state update\ncross bridge inconsistency\n", "", "cross bridge inconsistency\n", "inconsistent state update\ncross bridge inconsistency\n", "privilege escalation\ninconsistent state update\n", "inconsistent state update\natomicity violation\ncross bridge inconsistency\n", "inconsistent state update\ncross bridge inconsistency\n", "inconsistent state update\ncross bridge inconsistency\n", "", "business logic flaw\ninconsistent state update\n", "privilege escalation\ninconsistent state update\natomicity violation\n", "", "", "inconsistent state update\ncross bridge inconsistency\n", "inconsistent state update\natomicity violation\n", "privilege escalation\nbusiness logic flaw\ninconsistent state update\n", "business logic flaw\ninconsistent state update\natomicity violation\n", "cross bridge inconsistency\n", "business logic flaw\ninconsistent state update\natomicity violation\ncross bridge inconsistency\n", "privilege escalation\ninconsistent state update\natomicity violation\ncross bridge inconsistency\n", "privilege escalation\ninconsistent state update\ncross bridge inconsistency\n", "privilege escalation\ninconsistent state update\natomicity violation\ncross bridge inconsistency\n", "inconsistent state update\ncross bridge inconsistency\n", "privilege escalation\ninconsistent state update\ncross bridge inconsistency\n", "", "inconsistent state update\natomicity violation\ncross bridge inconsistency\n", "", "inconsistent state update\natomicity violation\ncross bridge inconsistency\n", "inconsistent state update\ncross bridge inconsistency\n", "", "inconsistent state update\ncross bridge inconsistency\n", "price manipulation\n", "business logic flaw\natomicity violation\ncross bridge inconsistency\n", "inconsistent state update\natomicity violation\n", "inconsistent state update\ncross bridge inconsistency\n", "inconsistent state update\natomicity violation\n", "privilege escalation\nbusiness logic flaw\ncross bridge inconsistency\n", "business logic flaw\ninconsistent state update\n", "cross bridge inconsistency\n", "inconsistent state update\natomicity violation\ncross bridge inconsistency\n", "inconsistent state update\ncross bridge inconsistency\n", "privilege escalation\natomicity violation\n", "inconsistent state update\natomicity violation\ncross bridge inconsistency\n", "inconsistent state update\natomicity violation\n", "privilege escalation\ninconsistent state update\natomicity violation\ncross bridge inconsistency\n", "inconsistent state update\n", "price manipulation\n", "inconsistent state update\ncross bridge inconsistency\n", "privilege escalation\nbusiness logic flaw\n", "privilege escalation\nbusiness logic flaw\ninconsistent state update\natomicity violation\ncross bridge inconsistency\n", "inconsistent state update\ncross bridge inconsistency\n", "privilege escalation\nbusiness logic flaw\ninconsistent state update\natomicity violation\n", "business logic flaw\natomicity violation\ncross bridge inconsistency\n", "inconsistent state update\natomicity violation\n", "", "privilege escalation\ninconsistent state update\n", "business logic flaw\ninconsistent state update\ncross bridge inconsistency\n", "business logic flaw\ninconsistent state update\natomicity violation\n", "inconsistent state update\natomicity violation\ncross bridge inconsistency\n", "", "privilege escalation\ninconsistent state update\n", "privilege escalation\ninconsistent state update\natomicity violation\ncross bridge inconsistency\n", "inconsistent state update\natomicity violation\n", "privilege escalation\ninconsistent state update\n", "business logic flaw\ninconsistent state update\n", "privilege escalation\ninconsistent state update\n", "business logic flaw\ninconsistent state update\natomicity violation\ncross bridge inconsistency\n", "business logic flaw\natomicity violation\n", "business logic flaw\ninconsistent state update\natomicity violation\ncross bridge inconsistency\n", "privilege escalation\ninconsistent state update\n", "inconsistent state update\natomicity violation\ncross bridge inconsistency\n", "business logic flaw\ninconsistent state update\ncross bridge inconsistency\n", "inconsistent state update\natomicity violation\n", "privilege escalation\ninconsistent state update\n", "inconsistent state update\natomicity violation\n", "business logic flaw\natomicity violation\n", "business logic flaw\ninconsistent state update\natomicity violation\n", "inconsistent state update\natomicity violation\n", "price manipulation\nbusiness logic flaw\n", "privilege escalation\ninconsistent state update\n", "privilege escalation\ninconsistent state update\natomicity violation\n", "", "inconsistent state update\n", "cross bridge inconsistency\n", "privilege escalation\nbusiness logic flaw\ninconsistent state update\n", "business logic flaw\ninconsistent state update\natomicity violation\n", "privilege escalation\nbusiness logic flaw\ninconsistent state update\n", "inconsistent state update\natomicity violation\n", "", "inconsistent state update\natomicity violation\n", "business logic flaw\ninconsistent state update\natomicity violation\ncross bridge inconsistency\n", "privilege escalation\ninconsistent state update\n", "privilege escalation\nbusiness logic flaw\ninconsistent state update\natomicity violation\ncross bridge inconsistency\n", "", "privilege escalation\ninconsistent state update\n", "privilege escalation\ninconsistent state update\n", "privilege escalation\nbusiness logic flaw\natomicity violation\ncross bridge inconsistency\n", "inconsistent state update\natomicity violation\ncross bridge inconsistency\n"]}{"contract": ["../tests/refined_analysis/natural_bugs/set2/Umbrella/rUMB1.sol", "../tests/refined_analysis/natural_bugs/set2/Umbrella/rUMB.sol", "../tests/refined_analysis/natural_bugs/set2/Umbrella/SelfDestructible.sol", "../tests/refined_analysis/natural_bugs/set2/Umbrella/Strings.sol", "../tests/refined_analysis/natural_bugs/set2/Umbrella/UMB.sol", "../tests/refined_analysis/natural_bugs/set2/Umbrella/IStakingRewards.sol", "../tests/refined_analysis/natural_bugs/set2/Umbrella/StakingRewards.sol", "../tests/refined_analysis/natural_bugs/set2/Umbrella/ISwapReceiver.sol", "../tests/refined_analysis/natural_bugs/set2/Umbrella/Pausable.sol", "../tests/refined_analysis/natural_bugs/set2/Umbrella/Owned.sol", "../tests/refined_analysis/natural_bugs/set2/Umbrella/SwappableToken.sol", "../tests/refined_analysis/natural_bugs/set2/Umbrella/RewardsDistributionRecipient.sol", "../tests/refined_analysis/natural_bugs/set2/Umbrella/UmbMultiSig.sol", "../tests/refined_analysis/natural_bugs/set2/Umbrella/MintableToken.sol", "../tests/refined_analysis/natural_bugs/set2/Umbrella/Airdrop.sol", "../tests/refined_analysis/natural_bugs/set2/Umbrella/IBurnableToken.sol", "../tests/refined_analysis/natural_bugs/set2/Cartel/Errors.sol", "../tests/refined_analysis/natural_bugs/set2/Cartel/OracleAdapter.sol", "../tests/refined_analysis/natural_bugs/set2/Cartel/DineroERC20.sol", "../tests/refined_analysis/natural_bugs/set2/Cartel/IPirexEth.sol", "../tests/refined_analysis/natural_bugs/set2/Cartel/IRewardRecipient.sol", "../tests/refined_analysis/natural_bugs/set2/Cartel/IDepositContract.sol", "../tests/refined_analysis/natural_bugs/set2/Cartel/ERC1155Solmate.sol", "../tests/refined_analysis/natural_bugs/set2/Cartel/UpxEth.sol", "../tests/refined_analysis/natural_bugs/set2/Cartel/PirexFees.sol", "../tests/refined_analysis/natural_bugs/set2/Cartel/IPirexFees.sol", "../tests/refined_analysis/natural_bugs/set2/Cartel/CBOR.sol", "../tests/refined_analysis/natural_bugs/set2/Cartel/DataTypes.sol", "../tests/refined_analysis/natural_bugs/set2/Cartel/RewardRecipient.sol", "../tests/refined_analysis/natural_bugs/set2/Cartel/IOracleAdapter.sol", "../tests/refined_analysis/natural_bugs/set2/Cartel/PxEth.sol", "../tests/refined_analysis/natural_bugs/set2/Cartel/ChainlinkFunctionsOracleAdapter.sol", "../tests/refined_analysis/natural_bugs/set2/walnutFi/StorageLayoutV1.sol", "../tests/refined_analysis/natural_bugs/set2/walnutFi/TreasuryAction.sol", "../tests/refined_analysis/natural_bugs/set2/walnutFi/BoringOwnable.sol", "../tests/refined_analysis/natural_bugs/set2/walnutFi/Bitmap.sol", "../tests/refined_analysis/natural_bugs/set2/walnutFi/ActionGuards.sol", "../tests/refined_analysis/natural_bugs/set2/walnutFi/nProxy.sol", "../tests/refined_analysis/natural_bugs/set2/walnutFi/EIP1271Wallet.sol", "../tests/refined_analysis/natural_bugs/set2/walnutFi/TokenHandler.sol", "../tests/refined_analysis/natural_bugs/set2/walnutFi/LibStorage.sol", "../tests/refined_analysis/natural_bugs/set2/walnutFi/StorageLayoutV2.sol", "../tests/refined_analysis/natural_bugs/set2/walnutFi/FloatingPoint56.sol", "../tests/refined_analysis/natural_bugs/set2/walnutFi/EmptyProxy.sol", "../tests/refined_analysis/natural_bugs/set2/walnutFi/TreasuryManager.sol", "../tests/refined_analysis/natural_bugs/set2/walnutFi/BalanceHandler.sol", "../tests/refined_analysis/natural_bugs/set2/walnutFi/SafeInt256.sol", "../tests/refined_analysis/natural_bugs/set2/VFT/Caviar.sol", "../tests/refined_analysis/natural_bugs/set2/VFT/LpToken.sol", "../tests/refined_analysis/natural_bugs/set2/VFT/SafeERC20Namer.sol", "../tests/refined_analysis/natural_bugs/set2/FundsTransfer/Cvx3CrvOracle.sol", "../tests/refined_analysis/natural_bugs/set2/FundsTransfer/IConvexDeposits.sol", "../tests/refined_analysis/natural_bugs/set2/FundsTransfer/IRewardStaking.sol", "../tests/refined_analysis/natural_bugs/set2/FundsTransfer/IConvexYieldWrapper.sol", "../tests/refined_analysis/natural_bugs/set2/FundsTransfer/ConvexYieldWrapper.sol", "../tests/refined_analysis/natural_bugs/set2/FundsTransfer/AggregatorV3Interface.sol", "../tests/refined_analysis/natural_bugs/set2/FundsTransfer/ConvexModule.sol", "../tests/refined_analysis/natural_bugs/set2/FundsTransfer/ICvx.sol", "../tests/refined_analysis/natural_bugs/set2/FundsTransfer/CvxMining.sol", "../tests/refined_analysis/natural_bugs/set2/FundsTransfer/ICurvePool.sol", "../tests/refined_analysis/natural_bugs/set2/Fei/GovernorQuickReaction.sol", "../tests/refined_analysis/natural_bugs/set2/Fei/FeiTribeLiquidityTimelockInterface.sol", "../tests/refined_analysis/natural_bugs/set2/Fei/IFei.sol", "../tests/refined_analysis/natural_bugs/set2/Fei/Fei.sol", "../tests/refined_analysis/natural_bugs/set2/Fei/MockAngleStakingRewards.sol", "../tests/refined_analysis/natural_bugs/set2/Fei/IPegStabilityModule.sol", "../tests/refined_analysis/natural_bugs/set2/Fei/OptimisticTimelock.sol", "../tests/refined_analysis/natural_bugs/set2/Fei/AngleDelegatorPCVDeposit.sol", "../tests/refined_analysis/natural_bugs/set2/Fei/SimpleFeiDaiPSM.sol", "../tests/refined_analysis/natural_bugs/set2/Fei/TokenTimelock.sol", "../tests/refined_analysis/natural_bugs/set2/Fei/ERC20Splitter.sol", "../tests/refined_analysis/natural_bugs/set2/Fei/TribeMinter.sol", "../tests/refined_analysis/natural_bugs/set2/Fei/MockStEthToken.sol", "../tests/refined_analysis/natural_bugs/set2/Fei/MockRariMerkleRedeemerNoSigs.sol", "../tests/refined_analysis/natural_bugs/set2/Fei/UniswapPCVDeposit.sol", "../tests/refined_analysis/natural_bugs/set2/Fei/IPCVDeposit.sol", "../tests/refined_analysis/natural_bugs/set2/Fei/LinearTokenTimelock.sol", "../tests/refined_analysis/natural_bugs/set2/Fei/FeiDAOTimelock.sol", "../tests/refined_analysis/natural_bugs/set2/Fei/TribalChiefSyncExtension.sol", "../tests/refined_analysis/natural_bugs/set2/Fei/DelegatorPCVDeposit.sol", "../tests/refined_analysis/natural_bugs/set2/Fei/OracleRef.sol", "../tests/refined_analysis/natural_bugs/set2/Fei/ITribeReserveStabilizer.sol", "../tests/refined_analysis/natural_bugs/set2/Fei/IRewarder.sol", "../tests/refined_analysis/natural_bugs/set2/Fei/MockTribe.sol", "../tests/refined_analysis/natural_bugs/set2/Fei/MockCurve3pool.sol", "../tests/refined_analysis/natural_bugs/set2/Fei/PodAdminGateway.sol", "../tests/refined_analysis/natural_bugs/set2/Fei/MockCurveMetapool.sol", "../tests/refined_analysis/natural_bugs/set2/Fei/ExchangerTimelock.sol", "../tests/refined_analysis/natural_bugs/set2/Fei/EthTokemakPCVDeposit.sol", "../tests/refined_analysis/natural_bugs/set2/Fei/StakingTokenWrapper.sol", "../tests/refined_analysis/natural_bugs/set2/Fei/EthCompoundPCVDeposit.sol", "../tests/refined_analysis/natural_bugs/set2/Fei/MockRouter.sol", "../tests/refined_analysis/natural_bugs/set2/Fei/Core.sol", "../tests/refined_analysis/natural_bugs/set2/Fei/ICollateralizationOracle.sol", "../tests/refined_analysis/natural_bugs/set2/Fei/MockLendingPool.sol", "../tests/refined_analysis/natural_bugs/set2/Fei/GovernorVoter.sol", "../tests/refined_analysis/natural_bugs/set2/Fei/MockConvexBaseRewardPool.sol", "../tests/refined_analysis/natural_bugs/set2/Fei/FuseWithdrawalGuard.sol", "../tests/refined_analysis/natural_bugs/set2/Fei/IPCVSentinel.sol", "../tests/refined_analysis/natural_bugs/set2/Fei/MockWeightedPool.sol", "../tests/refined_analysis/natural_bugs/set2/Fei/PCVGuardian.sol", "../tests/refined_analysis/natural_bugs/set2/Fei/MockWeth.sol", "../tests/refined_analysis/natural_bugs/set2/Fei/MergerGate.sol", "../tests/refined_analysis/natural_bugs/set2/Fei/PegExchanger.sol", "../tests/refined_analysis/natural_bugs/set2/Fei/MockEthPCVDeposit.sol", "../tests/refined_analysis/natural_bugs/set2/Fei/ERC20PCVDepositWrapper.sol", "../tests/refined_analysis/natural_bugs/set2/Fei/TribeReserveStabilizer.sol", "../tests/refined_analysis/natural_bugs/set2/Fei/MockMerkleOrchard.sol", "../tests/refined_analysis/natural_bugs/set2/Fei/AutoRewardsDistributor.sol", "../tests/refined_analysis/natural_bugs/set2/Fei/IReserveStabilizer.sol", "../tests/refined_analysis/natural_bugs/set2/Fei/MockPCVSwapper.sol", "../tests/refined_analysis/natural_bugs/set2/Fei/FixedPricePSM.sol", "../tests/refined_analysis/natural_bugs/set2/Fei/MockEthUniswapPCVDeposit.sol", "../tests/refined_analysis/natural_bugs/set2/Fei/LinearUnlockTimelock.sol", "../tests/refined_analysis/natural_bugs/set2/Fei/IAuraLocker.sol", "../tests/refined_analysis/natural_bugs/set2/Fei/RoleBastion.sol", "../tests/refined_analysis/natural_bugs/set2/Fei/FeiTimedMinter.sol", "../tests/refined_analysis/natural_bugs/set2/Fei/OtcEscrow.sol", "../tests/refined_analysis/natural_bugs/set2/Fei/BAMMDeposit.sol", "../tests/refined_analysis/natural_bugs/set2/Fei/IPCVDripController.sol", "../tests/refined_analysis/natural_bugs/set2/Fei/Incentivized.sol", "../tests/refined_analysis/natural_bugs/set2/Fei/ICore.sol", "../tests/refined_analysis/natural_bugs/set2/Fei/BPTLens.sol", "../tests/refined_analysis/natural_bugs/set2/Fei/BalancerPool2Lens.sol", "../tests/refined_analysis/natural_bugs/set2/Fei/MaxFeiWithdrawalGuard.sol", "../tests/refined_analysis/natural_bugs/set2/Fei/IVotiumBribe.sol", "../tests/refined_analysis/natural_bugs/set2/Fei/LiquidityGaugeManager.sol", "../tests/refined_analysis/natural_bugs/set2/Fei/FuseGuardian.sol", "../tests/refined_analysis/natural_bugs/set2/Fei/IRewardsAdmin.sol", "../tests/refined_analysis/natural_bugs/set2/Fei/IUniRef.sol", "../tests/refined_analysis/natural_bugs/set2/Fei/ITribeMinter.sol", "../tests/refined_analysis/natural_bugs/set2/Fei/ForceEth.sol", "../tests/refined_analysis/natural_bugs/set2/Fei/IdlePCVRedeemer.sol", "../tests/refined_analysis/natural_bugs/set2/Fei/IMockUniswapV2PairLiquidity.sol", "../tests/refined_analysis/natural_bugs/set2/Fei/VoteEscrowTokenManager.sol", "../tests/refined_analysis/natural_bugs/set2/Fei/IMultiRateLimited.sol", "../tests/refined_analysis/natural_bugs/set2/Fei/IGnosisSafe.sol", "../tests/refined_analysis/natural_bugs/set2/Fei/MockGovernorVoter.sol", "../tests/refined_analysis/natural_bugs/set2/Fei/IGuard.sol", "../tests/refined_analysis/natural_bugs/set2/Fei/ConstantOracle.sol", "../tests/refined_analysis/natural_bugs/set2/Fei/PSMRouter.sol", "../tests/refined_analysis/natural_bugs/set2/Fei/IMerkleOrchard.sol", "../tests/refined_analysis/natural_bugs/set2/Fei/INonCustodialPSM.sol", "../tests/refined_analysis/natural_bugs/set2/Fei/ICoreV1.old.sol", "../tests/refined_analysis/natural_bugs/set2/Fei/PodExecutor.sol", "../tests/refined_analysis/natural_bugs/set2/Fei/GovernanceMetadataRegistry.sol", "../tests/refined_analysis/natural_bugs/set2/Fei/IPCVDepositBalances.sol", "../tests/refined_analysis/natural_bugs/set2/Fei/MockBondingCurve.sol", "../tests/refined_analysis/natural_bugs/set2/Fei/BalancerGaugeStakerV2.sol", "../tests/refined_analysis/natural_bugs/set2/Fei/CurvePCVDepositPlainPool.sol", "../tests/refined_analysis/natural_bugs/set2/Fei/IConvexBooster.sol", "../tests/refined_analysis/natural_bugs/set2/Fei/TokemakPCVDepositBase.sol", "../tests/refined_analysis/natural_bugs/set2/Fei/MockCoreRefTest.sol", "../tests/refined_analysis/natural_bugs/set2/Fei/MockCoreRef.sol", "../tests/refined_analysis/natural_bugs/set2/Fei/IPermissions.sol", "../tests/refined_analysis/natural_bugs/set2/Fei/MockCToken.sol", "../tests/refined_analysis/natural_bugs/set2/Fei/ProxyOTCEscrow.sol", "../tests/refined_analysis/natural_bugs/set2/Fei/LinearTimelockedDelegator.sol", "../tests/refined_analysis/natural_bugs/set2/Fei/IVotingEscrowDelegation.sol", "../tests/refined_analysis/natural_bugs/set2/Fei/IBasePool.sol", "../tests/refined_analysis/natural_bugs/set2/Fei/MockMinter.sol", "../tests/refined_analysis/natural_bugs/set2/Fei/MockIncentive.sol", "../tests/refined_analysis/natural_bugs/set2/Fei/PCVSentinel.sol", "../tests/refined_analysis/natural_bugs/set2/Fei/QuadraticTimelockedDelegator.sol", "../tests/refined_analysis/natural_bugs/set2/Fei/MockStEthStableSwap.sol", "../tests/refined_analysis/natural_bugs/set2/Fei/IAngleStrategy.sol", "../tests/refined_analysis/natural_bugs/set2/Fei/IPodAdminGateway.sol", "../tests/refined_analysis/natural_bugs/set2/Fei/TribeRagequit.sol", "../tests/refined_analysis/natural_bugs/set2/Fei/FuseAdmin.sol", "../tests/refined_analysis/natural_bugs/set2/Fei/IPodFactory.sol", "../tests/refined_analysis/natural_bugs/set2/Fei/AutoRewardsDistributorV2.sol", "../tests/refined_analysis/natural_bugs/set2/Fei/MockAngleStableMaster.sol", "../tests/refined_analysis/natural_bugs/set2/Fei/MockTribalChief.sol", "../tests/refined_analysis/natural_bugs/set2/Fei/PriceBoundPSM.sol", "../tests/refined_analysis/natural_bugs/set2/Fei/IRewardsDistributorDelegator.sol", "../tests/refined_analysis/natural_bugs/set2/Fei/IConvexBaseRewardPool.sol", "../tests/refined_analysis/natural_bugs/set2/Fei/RatioPCVControllerV2.sol", "../tests/refined_analysis/natural_bugs/set2/Fei/MockChainlinkOracle.sol", "../tests/refined_analysis/natural_bugs/set2/Fei/MockConvexBooster.sol", "../tests/refined_analysis/natural_bugs/set2/Fei/MockVoteEscrowTokenManager.sol", "../tests/refined_analysis/natural_bugs/set2/Fei/VotiumBriber.sol", "../tests/refined_analysis/natural_bugs/set2/Fei/IOracleRef.sol", "../tests/refined_analysis/natural_bugs/set2/Fei/MockVault.sol", "../tests/refined_analysis/natural_bugs/set2/Fei/BalancerPCVDepositBase.sol", "../tests/refined_analysis/natural_bugs/set2/Fei/AavePCVDeposit.sol", "../tests/refined_analysis/natural_bugs/set2/Fei/IRewardsDistributorAdmin.sol", "../tests/refined_analysis/natural_bugs/set2/Fei/PCVEquityMinter.sol", "../tests/refined_analysis/natural_bugs/set2/Fei/UniRef.sol", "../tests/refined_analysis/natural_bugs/set2/Fei/IMasterOracle.sol", "../tests/refined_analysis/natural_bugs/set2/Fei/Deviation.sol", "../tests/refined_analysis/natural_bugs/set2/Fei/VeBalDelegatorPCVDeposit.sol", "../tests/refined_analysis/natural_bugs/set2/Fei/REPTbRedeemer.sol", "../tests/refined_analysis/natural_bugs/set2/Fei/ERC20CompoundPCVDeposit.sol", "../tests/refined_analysis/natural_bugs/set2/Fei/MockRestrictedPermissions.sol", "../tests/refined_analysis/natural_bugs/set2/Fei/SmartYieldRedeemer.sol", "../tests/refined_analysis/natural_bugs/set2/Fei/CompoundPCVDepositBase.sol", "../tests/refined_analysis/natural_bugs/set2/Fei/EthLidoPCVDeposit.sol", "../tests/refined_analysis/natural_bugs/set2/Fei/MockERC20PCVDeposit.sol", "../tests/refined_analysis/natural_bugs/set2/Fei/ERC20TokemakPCVDeposit.sol", "../tests/refined_analysis/natural_bugs/set2/Fei/IIncentive.sol", "../tests/refined_analysis/natural_bugs/set2/Fei/MockCore.sol", "../tests/refined_analysis/natural_bugs/set2/Fei/CoreRef.sol", "../tests/refined_analysis/natural_bugs/set2/Fei/UniswapLens.sol", "../tests/refined_analysis/natural_bugs/set2/Fei/MockERC20UniswapPCVDeposit.sol", "../tests/refined_analysis/natural_bugs/set2/Fei/KashiPCVRedeemer.sol", "../tests/refined_analysis/natural_bugs/set2/Fei/MockOracle.sol", "../tests/refined_analysis/natural_bugs/set2/Fei/FeiSkimmer.sol", "../tests/refined_analysis/natural_bugs/set2/Fei/ReserveStabilizer.sol", "../tests/refined_analysis/natural_bugs/set2/Fei/ERC20Dripper.sol", "../tests/refined_analysis/natural_bugs/set2/Fei/psmLiquidityGuard.sol", "../tests/refined_analysis/natural_bugs/set2/Fei/TimelockedDelegator.sol", "../tests/refined_analysis/natural_bugs/set2/Fei/MockUniswapV2PairTrade.sol", "../tests/refined_analysis/natural_bugs/set2/Fei/MockTokemakERC20Pool.sol", "../tests/refined_analysis/natural_bugs/set2/Fei/OwnableTimedMinter.sol", "../tests/refined_analysis/natural_bugs/set2/Fei/MockPCVDepositV2.sol", "../tests/refined_analysis/natural_bugs/set2/Fei/IBAMM.sol", "../tests/refined_analysis/natural_bugs/set2/Fei/ConvexPCVDeposit.sol", "../tests/refined_analysis/natural_bugs/set2/Fei/STWBulkHarvest.sol", "../tests/refined_analysis/natural_bugs/set2/Fei/GOhmEthOracle.sol", "../tests/refined_analysis/natural_bugs/set2/Fei/BalancerGaugeStaker.sol", "../tests/refined_analysis/natural_bugs/set2/Fei/QuadraticTokenTimelock.sol", "../tests/refined_analysis/natural_bugs/set2/Fei/MockLiquidityGaugeManager.sol", "../tests/refined_analysis/natural_bugs/set2/Fei/ITimelockedDelegator.sol", "../tests/refined_analysis/natural_bugs/set2/Fei/CollateralizationOracleKeeper.sol", "../tests/refined_analysis/natural_bugs/set2/Fei/PegExchangerDripper.sol", "../tests/refined_analysis/natural_bugs/set2/Fei/IFeiTimedMinter.sol", "../tests/refined_analysis/natural_bugs/set2/Fei/CurveGaugeLens.sol", "../tests/refined_analysis/natural_bugs/set2/Fei/GlobalRateLimitedMinter.sol", "../tests/refined_analysis/natural_bugs/set2/Fei/PodFactory.sol", "../tests/refined_analysis/natural_bugs/set2/Fei/ITokenTimelock.sol", "../tests/refined_analysis/natural_bugs/set2/Fei/Timed.sol", "../tests/refined_analysis/natural_bugs/set2/Fei/MockRewardsDistributor.sol", "../tests/refined_analysis/natural_bugs/set2/Fei/PCVDeposit.sol", "../tests/refined_analysis/natural_bugs/set2/Fei/PCVSplitter.sol", "../tests/refined_analysis/natural_bugs/set2/Fei/FuseFixer.sol", "../tests/refined_analysis/natural_bugs/set2/Fei/FeiDAO.sol", "../tests/refined_analysis/natural_bugs/set2/Fei/RewardsDistributorAdmin.sol", "../tests/refined_analysis/natural_bugs/set2/Fei/MockCollateralizationOracle.sol", "../tests/refined_analysis/natural_bugs/set2/Fei/CoreRefPauseableLib.sol", "../tests/refined_analysis/natural_bugs/set2/Fei/IPCVGuardian.sol", "../tests/refined_analysis/natural_bugs/set2/Fei/IPSMRouter.sol", "../tests/refined_analysis/natural_bugs/set2/Fei/MockTribeMinter.sol", "../tests/refined_analysis/natural_bugs/set2/Fei/UintArrayOps.sol", "../tests/refined_analysis/natural_bugs/set2/Fei/QuadraticTimelockedSubdelegator.sol", "../tests/refined_analysis/natural_bugs/set2/Fei/DelayedPCVMover.sol", "../tests/refined_analysis/natural_bugs/set2/Fei/MockIncentivized.sol", "../tests/refined_analysis/natural_bugs/set2/Fei/RateLimitedMinter.sol", "../tests/refined_analysis/natural_bugs/set2/Fei/MockOracleCoreRef.sol", "../tests/refined_analysis/natural_bugs/set2/Fei/MergerBase.sol", "../tests/refined_analysis/natural_bugs/set2/Fei/MockConfigurableERC20.sol", "../tests/refined_analysis/natural_bugs/set2/Fei/RestrictedPermissions.sol", "../tests/refined_analysis/natural_bugs/set2/Fei/SnapshotDelegatorPCVDeposit.sol", "../tests/refined_analysis/natural_bugs/set2/Fei/VlAuraDelegatorPCVDeposit.sol", "../tests/refined_analysis/natural_bugs/set2/Fei/IAnglePoolManager.sol", "../tests/refined_analysis/natural_bugs/set2/Fei/MockUniswapIncentive.sol", "../tests/refined_analysis/natural_bugs/set2/Fei/fuseOracleLiquididtyGuard.sol", "../tests/refined_analysis/natural_bugs/set2/Fei/AngleGaugeLens.sol", "../tests/refined_analysis/natural_bugs/set2/Fei/Permissions.sol", "../tests/refined_analysis/natural_bugs/set2/Fei/IWeightedPool.sol", "../tests/refined_analysis/natural_bugs/set2/Fei/MockAnglePoolManager.sol", "../tests/refined_analysis/natural_bugs/set2/Fei/IGlobalRateLimitedMinter.sol", "../tests/refined_analysis/natural_bugs/set2/Fei/ICollateralizationOracleWrapper.sol", "../tests/refined_analysis/natural_bugs/set2/Fei/VlAuraFishyImplementation.sol", "../tests/refined_analysis/natural_bugs/set2/Fei/TribalChiefSyncV2.sol", "../tests/refined_analysis/natural_bugs/set2/Fei/IPCVSwapper.sol", "../tests/refined_analysis/natural_bugs/set2/Fei/MockTokemakRewards.sol", "../tests/refined_analysis/natural_bugs/set2/Fei/ICoreRef.sol", "../tests/refined_analysis/natural_bugs/set2/Fei/MockStakingRewards.sol", "../tests/refined_analysis/natural_bugs/set2/Fei/VeBalHelper.sol", "../tests/refined_analysis/natural_bugs/set2/Fei/AngleUniswapPCVDeposit.sol", "../tests/refined_analysis/natural_bugs/set2/Fei/PCVDripController.sol", "../tests/refined_analysis/natural_bugs/set2/Fei/AngleEuroRedeemer.sol", "../tests/refined_analysis/natural_bugs/set2/Fei/RevertReceiver.sol", "../tests/refined_analysis/natural_bugs/set2/Fei/PCVDepositWrapper.sol", "../tests/refined_analysis/natural_bugs/set2/Fei/IAssetManager.sol", "../tests/refined_analysis/natural_bugs/set2/Fei/ERC20HoldingPCVDeposit.sol", "../tests/refined_analysis/natural_bugs/set2/Fei/RateLimited.sol", "../tests/refined_analysis/natural_bugs/set2/Fei/CollateralizationOracleGuardian.sol", "../tests/refined_analysis/natural_bugs/set2/Fei/ChainlinkOracleWrapper.sol", "../tests/refined_analysis/natural_bugs/set2/Fei/TribeRoles.sol", "../tests/refined_analysis/natural_bugs/set2/Fei/WethPCVDeposit.sol", "../tests/refined_analysis/natural_bugs/set2/Fei/IUniswapPCVDeposit.sol", "../tests/refined_analysis/natural_bugs/set2/Fei/IAngleStakingRewards.sol", "../tests/refined_analysis/natural_bugs/set2/Fei/IdleTranchePCVRedeemer.sol", "../tests/refined_analysis/natural_bugs/set2/Fei/MultiRateLimited.sol", "../tests/refined_analysis/natural_bugs/set2/Fei/IPriceBound.sol", "../tests/refined_analysis/natural_bugs/set2/Fei/ICurveStableSwap3.sol", "../tests/refined_analysis/natural_bugs/set2/Fei/IStabilityPool.sol", "../tests/refined_analysis/natural_bugs/set2/Fei/UniswapLiquidityRemover.sol", "../tests/refined_analysis/natural_bugs/set2/Fei/NamedStaticPCVDepositWrapper.sol", "../tests/refined_analysis/natural_bugs/set2/Fei/IPCVEquityMinter.sol", "../tests/refined_analysis/natural_bugs/set2/Fei/IAngleStableMaster.sol", "../tests/refined_analysis/natural_bugs/set2/Fei/NopeDAO.sol", "../tests/refined_analysis/natural_bugs/set2/Fei/MockRateLimitedMinter.sol", "../tests/refined_analysis/natural_bugs/set2/Fei/MockTokemakEthPool.sol", "../tests/refined_analysis/natural_bugs/set2/Fei/IPermissionsRead.sol", "../tests/refined_analysis/natural_bugs/set2/Fei/ITribalChief.sol", "../tests/refined_analysis/natural_bugs/set2/Fei/ZeroInterestRateModel.sol", "../tests/refined_analysis/natural_bugs/set2/Nomad/PingPongMessage.sol", "../tests/refined_analysis/natural_bugs/set2/Nomad/Encoding.sol", "../tests/refined_analysis/natural_bugs/set2/Nomad/GovernanceMessage.sol", "../tests/refined_analysis/natural_bugs/set2/Nomad/Message.sol", "../tests/refined_analysis/natural_bugs/set2/Nomad/ETHHelper.sol", "../tests/refined_analysis/natural_bugs/set2/Nomad/BridgeToken.sol", "../tests/refined_analysis/natural_bugs/set2/Nomad/Queue.sol", "../tests/refined_analysis/natural_bugs/set2/Nomad/XAppConnectionManager.sol", "../tests/refined_analysis/natural_bugs/set2/Nomad/UpdaterManager.sol", "../tests/refined_analysis/natural_bugs/set2/Nomad/Version0.sol", "../tests/refined_analysis/natural_bugs/set2/Nomad/UpgradeBeaconProxy.sol", "../tests/refined_analysis/natural_bugs/set2/Nomad/IMessageRecipient.sol", "../tests/refined_analysis/natural_bugs/set2/Nomad/UpgradeBeacon.sol", "../tests/refined_analysis/natural_bugs/set2/Nomad/UpgradeBeaconController.sol", "../tests/refined_analysis/natural_bugs/set2/Nomad/NomadBase.sol", "../tests/refined_analysis/natural_bugs/set2/Nomad/TypeCasts.sol", "../tests/refined_analysis/natural_bugs/set2/Nomad/XAppConnectionClient.sol", "../tests/refined_analysis/natural_bugs/set2/Nomad/IUpdaterManager.sol", "../tests/refined_analysis/natural_bugs/set2/Nomad/Merkle.sol", "../tests/refined_analysis/natural_bugs/set2/Nomad/PingPongRouter.sol", "../tests/refined_analysis/natural_bugs/set2/moon/ChainlinkUsdWrapper.sol", "../tests/refined_analysis/natural_bugs/set2/moon/VaultStorage.sol", "../tests/refined_analysis/natural_bugs/set2/moon/BkdToken.sol", "../tests/refined_analysis/natural_bugs/set2/moon/CvxCrvRewardsLocker.sol", "../tests/refined_analysis/natural_bugs/set2/moon/CTokenRegistry.sol", "../tests/refined_analysis/natural_bugs/set2/moon/OracleProviderExtensions.sol", "../tests/refined_analysis/natural_bugs/set2/moon/Erc20Pool.sol", "../tests/refined_analysis/natural_bugs/set2/moon/IStrategySwapper.sol", "../tests/refined_analysis/natural_bugs/set2/moon/TopUpActionFeeHandler.sol", "../tests/refined_analysis/natural_bugs/set2/moon/Swapper3Crv.sol", "../tests/refined_analysis/natural_bugs/set2/moon/BaseHandler.sol", "../tests/refined_analysis/natural_bugs/set2/moon/AaveHandler.sol", "../tests/refined_analysis/natural_bugs/set2/moon/VaultReserve.sol", "../tests/refined_analysis/natural_bugs/set2/moon/Minter.sol", "../tests/refined_analysis/natural_bugs/set2/moon/LpGauge.sol", "../tests/refined_analysis/natural_bugs/set2/moon/BkdEthCvx.sol", "../tests/refined_analysis/natural_bugs/set2/moon/AmmGauge.sol", "../tests/refined_analysis/natural_bugs/set2/moon/AmmConvexGauge.sol", "../tests/refined_analysis/natural_bugs/set2/moon/MockStrategySwapper.sol", "../tests/refined_analysis/natural_bugs/set2/moon/SwapperRegistry.sol", "../tests/refined_analysis/natural_bugs/set2/moon/EthPool.sol", "../tests/refined_analysis/natural_bugs/set2/moon/Erc20Vault.sol", "../tests/refined_analysis/natural_bugs/set2/moon/PoolFactory.sol", "../tests/refined_analysis/natural_bugs/set2/moon/CompoundHandler.sol", "../tests/refined_analysis/natural_bugs/set2/moon/VestedEscrow.sol", "../tests/refined_analysis/natural_bugs/set2/moon/ChainlinkOracleProvider.sol", "../tests/refined_analysis/natural_bugs/set2/moon/KeeperGauge.sol", "../tests/refined_analysis/natural_bugs/set2/moon/VestedEscrowRevocable.sol", "../tests/refined_analysis/natural_bugs/set2/moon/TopUpKeeperHelper.sol", "../tests/refined_analysis/natural_bugs/set2/moon/GasBank.sol", "../tests/refined_analysis/natural_bugs/set2/moon/Controller.sol", "../tests/refined_analysis/natural_bugs/set2/Fortress/FortressLendingConstants.sol", "../tests/refined_analysis/natural_bugs/set2/Fortress/FortressFraxBPOracle.sol", "../tests/refined_analysis/natural_bugs/set2/Fortress/IUniswapV3RouterArbi.sol", "../tests/refined_analysis/natural_bugs/set2/Fortress/VariableInterestRate.sol", "../tests/refined_analysis/natural_bugs/set2/Fortress/IAuraBoosterArbi.sol", "../tests/refined_analysis/natural_bugs/set2/Fortress/FortressLendingPair.sol", "../tests/refined_analysis/natural_bugs/set2/Fortress/IConvexVirtualBalanceRewardPool.sol", "../tests/refined_analysis/natural_bugs/set2/Fortress/IConvexBasicRewards.sol", "../tests/refined_analysis/natural_bugs/set2/Fortress/IChainlinkAggregator.sol", "../tests/refined_analysis/natural_bugs/set2/Fortress/IGlpMinter.sol", "../tests/refined_analysis/natural_bugs/set2/Fortress/IGlpCompounder.sol", "../tests/refined_analysis/natural_bugs/set2/Fortress/BalancerArbiCompounder.sol", "../tests/refined_analysis/natural_bugs/set2/Fortress/ICurveV2Pool.sol", "../tests/refined_analysis/natural_bugs/set2/Fortress/IUniswapV3Router.sol", "../tests/refined_analysis/natural_bugs/set2/Fortress/ICurveMetaRegistry.sol", "../tests/refined_analysis/natural_bugs/set2/Fortress/FortressGLPOracle.sol", "../tests/refined_analysis/natural_bugs/set2/Fortress/Chain.sol", "../tests/refined_analysis/natural_bugs/set2/Fortress/IGlpRewardHandler.sol", "../tests/refined_analysis/natural_bugs/set2/Fortress/Registry.sol", "../tests/refined_analysis/natural_bugs/set2/Fortress/IUniswapV2Factory.sol", "../tests/refined_analysis/natural_bugs/set2/Fortress/BaseOracle.sol", "../tests/refined_analysis/natural_bugs/set2/Fortress/IBalancerVault.sol", "../tests/refined_analysis/natural_bugs/set2/Fortress/ICurveCRVMeta.sol", "../tests/refined_analysis/natural_bugs/set2/Fortress/IGlpRewardTracker.sol", "../tests/refined_analysis/natural_bugs/set2/Fortress/GlpCompounder.sol", "../tests/refined_analysis/natural_bugs/set2/Fortress/IFraxswapPair.sol", "../tests/refined_analysis/natural_bugs/set2/Fortress/ICurveOperations.sol", "../tests/refined_analysis/natural_bugs/set2/Fortress/LinearInterestRate.sol", "../tests/refined_analysis/natural_bugs/set2/Fortress/BaseStrategy.sol", "../tests/refined_analysis/natural_bugs/set2/Fortress/IAuraBALRewards.sol", "../tests/refined_analysis/natural_bugs/set2/Fortress/ICurveBase3Pool.sol", "../tests/refined_analysis/natural_bugs/set2/Fortress/IBalancerPool.sol", "../tests/refined_analysis/natural_bugs/set2/Fortress/CurveArbiCompounder.sol", "../tests/refined_analysis/natural_bugs/set2/Fortress/IMetaVault.sol", "../tests/refined_analysis/natural_bugs/set2/Fortress/IFortressCompounder.sol", "../tests/refined_analysis/natural_bugs/set2/Fortress/ICurveSBTCPool.sol", "../tests/refined_analysis/natural_bugs/set2/Fortress/ERC4626.sol", "../tests/refined_analysis/natural_bugs/set2/Fortress/IFortressRegistry.sol", "../tests/refined_analysis/natural_bugs/set2/Fortress/ICurveFraxCryptoMeta.sol", "../tests/refined_analysis/natural_bugs/set2/Fortress/IFortressSwap.sol", "../tests/refined_analysis/natural_bugs/set2/Fortress/SafeTransferLib.sol", "../tests/refined_analysis/natural_bugs/set2/Fortress/FortressTriCryptoOracle.sol", "../tests/refined_analysis/natural_bugs/set2/Fortress/BalancerOperations.sol", "../tests/refined_analysis/natural_bugs/set2/Fortress/IConvexBasicRewardsArbi.sol", "../tests/refined_analysis/natural_bugs/set2/Fortress/IConvexBoosterArbi.sol", "../tests/refined_analysis/natural_bugs/set2/Fortress/ITriCryptoLpPriceOracle.sol", "../tests/refined_analysis/natural_bugs/set2/Fortress/IAssetVault.sol", "../tests/refined_analysis/natural_bugs/set2/Fortress/MultiClaimer.sol", "../tests/refined_analysis/natural_bugs/set2/Fortress/ICurveFraxMeta.sol", "../tests/refined_analysis/natural_bugs/set2/Fortress/ICVXMining.sol", "../tests/refined_analysis/natural_bugs/set2/Fortress/GmxStrategy.sol", "../tests/refined_analysis/natural_bugs/set2/Fortress/IFortressConcentrator.sol", "../tests/refined_analysis/natural_bugs/set2/Fortress/FixedPointMathLib.sol", "../tests/refined_analysis/natural_bugs/set2/Fortress/ICurvePlainPool.sol", "../tests/refined_analysis/natural_bugs/set2/Fortress/ICurve3Pool.sol", "../tests/refined_analysis/natural_bugs/set2/Fortress/Fortress2PoolOracle.sol", "../tests/refined_analysis/natural_bugs/set2/Fortress/IAsset.sol", "../tests/refined_analysis/natural_bugs/set2/Fortress/BaseChain.sol", "../tests/refined_analysis/natural_bugs/set2/Fortress/AssetVault.sol", "../tests/refined_analysis/natural_bugs/set2/Fortress/IGlpManager.sol", "../tests/refined_analysis/natural_bugs/set2/Fortress/ICurveCryptoETHV2Pool.sol", "../tests/refined_analysis/natural_bugs/set2/Fortress/ICurveCryptoV2Pool.sol", "../tests/refined_analysis/natural_bugs/set2/Fortress/CurveGlpConcentrator.sol", "../tests/refined_analysis/natural_bugs/set2/Fortress/BalancerArbiOperations.sol", "../tests/refined_analysis/natural_bugs/set2/Fortress/IGMXRouter.sol", "../tests/refined_analysis/natural_bugs/set2/Fortress/FortressGlpStrategy.sol", "../tests/refined_analysis/natural_bugs/set2/Fortress/IUniswapV3Pool.sol", "../tests/refined_analysis/natural_bugs/set2/Fortress/Y2KFinanceStrategy.sol", "../tests/refined_analysis/natural_bugs/set2/Fortress/IRateCalculator.sol", "../tests/refined_analysis/natural_bugs/set2/Fortress/ICurveETHPool.sol", "../tests/refined_analysis/natural_bugs/set2/Fortress/IFortressVault.sol", "../tests/refined_analysis/natural_bugs/set2/Fortress/ICurvesUSD4Pool.sol", "../tests/refined_analysis/natural_bugs/set2/Fortress/IBalancerOperations.sol", "../tests/refined_analysis/natural_bugs/set2/proxyTransfer/ICoreOracle.sol", "../tests/refined_analysis/natural_bugs/set2/proxyTransfer/WrappedIbbtcEth.sol", "../tests/refined_analysis/natural_bugs/set2/proxyTransfer/TransparentUpgradeableProxy.sol", "../tests/refined_analysis/natural_bugs/set2/proxyTransfer/BoxV2.sol", "../tests/refined_analysis/natural_bugs/set2/proxyTransfer/ProxyAdmin.sol", "../tests/refined_analysis/natural_bugs/set2/proxyTransfer/Box.sol", "../tests/refined_analysis/natural_bugs/set2/proxyTransfer/WrappedIbbtc.sol", "../tests/refined_analysis/natural_bugs/set2/Revest/SupplyLock.sol", "../tests/refined_analysis/natural_bugs/set2/Revest/IRewardsHandler.sol", "../tests/refined_analysis/natural_bugs/set2/Revest/IAddressLock.sol", "../tests/refined_analysis/natural_bugs/set2/Revest/IRevestToken.sol", "../tests/refined_analysis/natural_bugs/set2/Revest/MetadataHandler.sol", "../tests/refined_analysis/natural_bugs/set2/Revest/ITokenVaultV2.sol", "../tests/refined_analysis/natural_bugs/set2/Revest/ComboLock.sol", "../tests/refined_analysis/natural_bugs/set2/Revest/LockManager.sol", "../tests/refined_analysis/natural_bugs/set2/Revest/IAddressRegistryV2.sol", "../tests/refined_analysis/natural_bugs/set2/Revest/RevestHelper.sol", "../tests/refined_analysis/natural_bugs/set2/Revest/IOracleDispatch.sol", "../tests/refined_analysis/natural_bugs/set2/Revest/ChainlinkOracleDispatch.sol", "../tests/refined_analysis/natural_bugs/set2/Revest/ITokenVault.sol", "../tests/refined_analysis/natural_bugs/set2/Revest/RevestAddressRegistry.sol", "../tests/refined_analysis/natural_bugs/set2/Revest/TokenVault.sol", "../tests/refined_analysis/natural_bugs/set2/Revest/IAddressRegistry.sol", "../tests/refined_analysis/natural_bugs/set2/Revest/RewardsHandler.sol", "../tests/refined_analysis/natural_bugs/set2/Revest/IFNFTHandler.sol", "../tests/refined_analysis/natural_bugs/set2/Revest/TokenVaultMigrator.sol", "../tests/refined_analysis/natural_bugs/set2/Revest/SecuredAddressLock.sol", "../tests/refined_analysis/natural_bugs/set2/Revest/UniswapV3CronjeSun.sol", "../tests/refined_analysis/natural_bugs/set2/Revest/IOutputReceiverV3.sol", "../tests/refined_analysis/natural_bugs/set2/Revest/IRegistryProvider.sol", "../tests/refined_analysis/natural_bugs/set2/Revest/IRevest.sol", "../tests/refined_analysis/natural_bugs/set2/Revest/IMetadataHandler.sol", "../tests/refined_analysis/natural_bugs/set2/Revest/AdminTimeLock.sol", "../tests/refined_analysis/natural_bugs/set2/Revest/ILockManager.sol", "../tests/refined_analysis/natural_bugs/set2/Revest/RevestAccessControl.sol", "../tests/refined_analysis/natural_bugs/set2/Revest/UniswapTwapOracleDispatch.sol", "../tests/refined_analysis/natural_bugs/set2/Revest/IFeeReporter.sol", "../tests/refined_analysis/natural_bugs/set2/Revest/RevestSmartWallet.sol", "../tests/refined_analysis/natural_bugs/set2/Revest/RevestReentrancyGuard.sol", "../tests/refined_analysis/natural_bugs/set2/Revest/FNFTHandler.sol", "../tests/refined_analysis/natural_bugs/set2/Revest/RevestToken.sol", "../tests/refined_analysis/natural_bugs/set2/Revest/IOutputReceiver.sol", "../tests/refined_analysis/natural_bugs/set2/Revest/IOutputReceiverV2.sol"], "bugs": ["inconsistent state update\ncross bridge inconsistency\n", "", "privilege escalation\nbusiness logic flaw\ninconsistent state update\n", "privilege escalation\ninconsistent state update\n", "", "price manipulation\ncross bridge inconsistency\n", "privilege escalation\ninconsistent state update\n", "inconsistent state update\ncross bridge inconsistency\n", "price manipulation\ninconsistent state update\n", "", "privilege escalation\ninconsistent state update\ncross bridge inconsistency\n", "privilege escalation\ninconsistent state update\ncross bridge inconsistency\n", "privilege escalation\ninconsistent state update\n", "privilege escalation\ninconsistent state update\n", "privilege escalation\ninconsistent state update\n", "privilege escalation\ninconsistent state update\ncross bridge inconsistency\n", "privilege escalation\ninconsistent state update\n", "inconsistent state update\natomicity violation\ncross bridge inconsistency\n", "business logic flaw\ninconsistent state update\natomicity violation\ncross bridge inconsistency\n", "inconsistent state update\natomicity violation\n", "cross bridge inconsistency\n", "", "cross bridge inconsistency\n", "", "privilege escalation\ninconsistent state update\n", "inconsistent state update\natomicity violation\n", "inconsistent state update\n", "inconsistent state update\n", "privilege escalation\ninconsistent state update\natomicity violation\ncross bridge inconsistency\n", "privilege escalation\ninconsistent state update\natomicity violation\n", "price manipulation\n", "privilege escalation\ninconsistent state update\natomicity violation\n", "inconsistent state update\natomicity violation\n", "price manipulation\nbusiness logic flaw\ncross bridge inconsistency\n", "inconsistent state update\natomicity violation\ncross bridge inconsistency\n", "inconsistent state update\ncross bridge inconsistency\n", "privilege escalation\nbusiness logic flaw\ninconsistent state update\n", "inconsistent state update\ncross bridge inconsistency\n", "inconsistent state update\ncross bridge inconsistency\n", "privilege escalation\ninconsistent state update\n", "privilege escalation\ninconsistent state update\n", "inconsistent state update\ncross bridge inconsistency\n", "privilege escalation\nbusiness logic flaw\ninconsistent state update\natomicity violation\n", "price manipulation\nbusiness logic flaw\ninconsistent state update\ncross bridge inconsistency\n", "", "inconsistent state update\natomicity violation\ncross bridge inconsistency\n", "inconsistent state update\n", "inconsistent state update\n", "inconsistent state update\n", "privilege escalation\ninconsistent state update\n", "inconsistent state update\natomicity violation\n", "inconsistent state update\n", "privilege escalation\ninconsistent state update\n", "price manipulation\ncross bridge inconsistency\n", "privilege escalation\nbusiness logic flaw\ninconsistent state update\n", "privilege escalation\ninconsistent state update\n", "privilege escalation\ninconsistent state update\n", "inconsistent state update\n", "business logic flaw\ninconsistent state update\natomicity violation\n", "privilege escalation\ninconsistent state update\natomicity violation\n", "", "privilege escalation\ninconsistent state update\n", "inconsistent state update\natomicity violation\n", "inconsistent state update\natomicity violation\n", "business logic flaw\ninconsistent state update\natomicity violation\ncross bridge inconsistency\n", "", "business logic flaw\ninconsistent state update\natomicity violation\n", "", "inconsistent state update\n", "inconsistent state update\ncross bridge inconsistency\n", "inconsistent state update\natomicity violation\ncross bridge inconsistency\n", "inconsistent state update\ncross bridge inconsistency\n", "privilege escalation\ninconsistent state update\n", "price manipulation\natomicity violation\n", "business logic flaw\ninconsistent state update\n", "privilege escalation\ninconsistent state update\n", "", "business logic flaw\ninconsistent state update\natomicity violation\n", "privilege escalation\ninconsistent state update\n", "privilege escalation\ninconsistent state update\n", "", "", "inconsistent state update\n", "", "privilege escalation\ninconsistent state update\natomicity violation\n", "inconsistent state update\natomicity violation\ncross bridge inconsistency\n", "privilege escalation\ninconsistent state update\n", "privilege escalation\ninconsistent state update\n", "inconsistent state update\natomicity violation\ncross bridge inconsistency\n", "", "business logic flaw\ninconsistent state update\natomicity violation\n", "price manipulation\ninconsistent state update\n", "cross bridge inconsistency\n", "privilege escalation\ninconsistent state update\n", "inconsistent state update\ncross bridge inconsistency\n", "", "inconsistent state update\ncross bridge inconsistency\n", "", "", "", "inconsistent state update\ncross bridge inconsistency\n", "privilege escalation\ninconsistent state update\n", "inconsistent state update\n", "", "inconsistent state update\natomicity violation\ncross bridge inconsistency\n", "inconsistent state update\natomicity violation\n", "inconsistent state update\natomicity violation\ncross bridge inconsistency\n", "inconsistent state update\ncross bridge inconsistency\n", "privilege escalation\nbusiness logic flaw\ninconsistent state update\n", "privilege escalation\nbusiness logic flaw\ninconsistent state update\n", "", "inconsistent state update\n", "", "", "", "inconsistent state update\ncross bridge inconsistency\n", "business logic flaw\ninconsistent state update\n", "", "privilege escalation\nbusiness logic flaw\ninconsistent state update\natomicity violation\ncross bridge inconsistency\n", "", "inconsistent state update\ncross bridge inconsistency\n", "", "inconsistent state update\natomicity violation\ncross bridge inconsistency\n", "cross bridge inconsistency\n", "business logic flaw\ninconsistent state update\ncross bridge inconsistency\n", "privilege escalation\ninconsistent state update\natomicity violation\n", "", "privilege escalation\n", "privilege escalation\ninconsistent state update\n", "", "privilege escalation\nbusiness logic flaw\ninconsistent state update\ncross bridge inconsistency\n", "inconsistent state update\n", "", "price manipulation\n", "", "privilege escalation\nbusiness logic flaw\ninconsistent state update\natomicity violation\ncross bridge inconsistency\n", "", "inconsistent state update\n", "inconsistent state update\ncross bridge inconsistency\n", "", "privilege escalation\ninconsistent state update\n", "", "", "business logic flaw\ninconsistent state update\n", "inconsistent state update\n", "inconsistent state update\ncross bridge inconsistency\n", "price manipulation\nbusiness logic flaw\n", "inconsistent state update\natomicity violation\n", "inconsistent state update\natomicity violation\n", "inconsistent state update\natomicity violation\ncross bridge inconsistency\n", "", "inconsistent state update\natomicity violation\n", "cross bridge inconsistency\n", "privilege escalation\ninconsistent state update\ncross bridge inconsistency\n", "privilege escalation\ninconsistent state update\natomicity violation\n", "business logic flaw\ncross bridge inconsistency\n", "cross bridge inconsistency\n", "price manipulation\ncross bridge inconsistency\n", "cross bridge inconsistency\n", "", "price manipulation\ncross bridge inconsistency\n", "price manipulation\ncross bridge inconsistency\n", "privilege escalation\ninconsistent state update\natomicity violation\n", "business logic flaw\ninconsistent state update\n", "privilege escalation\nbusiness logic flaw\ninconsistent state update\n", "inconsistent state update\natomicity violation\ncross bridge inconsistency\n", "inconsistent state update\n", "privilege escalation\ninconsistent state update\natomicity violation\n", "business logic flaw\ninconsistent state update\natomicity violation\ncross bridge inconsistency\n", "inconsistent state update\natomicity violation\ncross bridge inconsistency\n", "privilege escalation\nbusiness logic flaw\n", "business logic flaw\ninconsistent state update\n", "privilege escalation\ninconsistent state update\natomicity violation\n", "privilege escalation\ninconsistent state update\n", "inconsistent state update\ncross bridge inconsistency\n", "privilege escalation\ninconsistent state update\natomicity violation\n", "privilege escalation\ninconsistent state update\n", "atomicity violation\ncross bridge inconsistency\n", "inconsistent state update\n", "price manipulation\ninconsistent state update\ncross bridge inconsistency\n", "business logic flaw\ninconsistent state update\ncross bridge inconsistency\n", "privilege escalation\ninconsistent state update\natomicity violation\n", "privilege escalation\nbusiness logic flaw\ninconsistent state update\n", "inconsistent state update\natomicity violation\ncross bridge inconsistency\n", "privilege escalation\ninconsistent state update\n", "inconsistent state update\natomicity violation\n", "privilege escalation\ninconsistent state update\n", "inconsistent state update\natomicity violation\ncross bridge inconsistency\n", "inconsistent state update\ncross bridge inconsistency\n", "privilege escalation\nbusiness logic flaw\ninconsistent state update\natomicity violation\n", "privilege escalation\ninconsistent state update\n", "inconsistent state update\natomicity violation\ncross bridge inconsistency\n", "privilege escalation\ninconsistent state update\ncross bridge inconsistency\n", "inconsistent state update\n", "atomicity violation\ncross bridge inconsistency\n", "privilege escalation\nbusiness logic flaw\ninconsistent state update\natomicity violation\n", "inconsistent state update\natomicity violation\n", "privilege escalation\ninconsistent state update\natomicity violation\n", "inconsistent state update\n", "price manipulation\nprivilege escalation\nbusiness logic flaw\ninconsistent state update\natomicity violation\ncross bridge inconsistency\n", "inconsistent state update\natomicity violation\n", "inconsistent state update\n", "inconsistent state update\n", "privilege escalation\ninconsistent state update\n", "privilege escalation\ninconsistent state update\natomicity violation\n", "business logic flaw\n", "business logic flaw\ninconsistent state update\natomicity violation\n", "", "inconsistent state update\ncross bridge inconsistency\n", "price manipulation\ninconsistent state update\n", "business logic flaw\ninconsistent state update\natomicity violation\n", "price manipulation\nprivilege escalation\nbusiness logic flaw\ninconsistent state update\natomicity violation\ncross bridge inconsistency\n", "privilege escalation\ninconsistent state update\n", "", "inconsistent state update\natomicity violation\n", "business logic flaw\ninconsistent state update\ncross bridge inconsistency\n", "", "privilege escalation\ninconsistent state update\natomicity violation\n", "cross bridge inconsistency\n", "business logic flaw\ninconsistent state update\natomicity violation\n", "privilege escalation\ninconsistent state update\ncross bridge inconsistency\n", "inconsistent state update\natomicity violation\ncross bridge inconsistency\n", "price manipulation\nbusiness logic flaw\n", "inconsistent state update\ncross bridge inconsistency\n", "price manipulation\ncross bridge inconsistency\n", "", "inconsistent state update\natomicity violation\ncross bridge inconsistency\n", "price manipulation\ninconsistent state update\n", "price manipulation\nprivilege escalation\nbusiness logic flaw\ninconsistent state update\natomicity violation\ncross bridge inconsistency\n", "", "inconsistent state update\natomicity violation\ncross bridge inconsistency\n", "price manipulation\n", "privilege escalation\ninconsistent state update\n", "business logic flaw\ninconsistent state update\natomicity violation\ncross bridge inconsistency\n", "", "price manipulation\nbusiness logic flaw\ninconsistent state update\n", "privilege escalation\ninconsistent state update\natomicity violation\ncross bridge inconsistency\n", "inconsistent state update\ncross bridge inconsistency\n", "privilege escalation\ninconsistent state update\n", "price manipulation\ninconsistent state update\ncross bridge inconsistency\n", "inconsistent state update\natomicity violation\n", "", "privilege escalation\ninconsistent state update\n", "privilege escalation\ninconsistent state update\ncross bridge inconsistency\n", "price manipulation\nbusiness logic flaw\n", "privilege escalation\ninconsistent state update\n", "price manipulation\nbusiness logic flaw\n", "business logic flaw\ninconsistent state update\natomicity violation\n", "privilege escalation\ninconsistent state update\natomicity violation\n", "", "", "", "business logic flaw\ninconsistent state update\ncross bridge inconsistency\n", "", "privilege escalation\ninconsistent state update\n", "inconsistent state update\natomicity violation\n", "", "", "privilege escalation\ninconsistent state update\n", "", "privilege escalation\ninconsistent state update\n", "privilege escalation\ninconsistent state update\natomicity violation\n", "", "", "", "privilege escalation\ninconsistent state update\natomicity violation\n", "privilege escalation\ninconsistent state update\n", "business logic flaw\ninconsistent state update\n", "inconsistent state update\natomicity violation\ncross bridge inconsistency\n", "privilege escalation\ninconsistent state update\n", "inconsistent state update\ncross bridge inconsistency\n", "", "privilege escalation\ninconsistent state update\n", "inconsistent state update\natomicity violation\n", "price manipulation\ninconsistent state update\ncross bridge inconsistency\n", "business logic flaw\ninconsistent state update\natomicity violation\ncross bridge inconsistency\n", "price manipulation\nprivilege escalation\ninconsistent state update\natomicity violation\n", "business logic flaw\ninconsistent state update\natomicity violation\ncross bridge inconsistency\n", "inconsistent state update\natomicity violation\ncross bridge inconsistency\n", "privilege escalation\ninconsistent state update\natomicity violation\ncross bridge inconsistency\n", "inconsistent state update\ncross bridge inconsistency\n", "privilege escalation\nbusiness logic flaw\ninconsistent state update\ncross bridge inconsistency\n", "", "privilege escalation\ninconsistent state update\natomicity violation\n", "", "privilege escalation\ninconsistent state update\natomicity violation\ncross bridge inconsistency\n", "privilege escalation\ninconsistent state update\n", "business logic flaw\ninconsistent state update\natomicity violation\ncross bridge inconsistency\n", "inconsistent state update\natomicity violation\ncross bridge inconsistency\n", "privilege escalation\ninconsistent state update\ncross bridge inconsistency\n", "inconsistent state update\natomicity violation\n", "privilege escalation\nbusiness logic flaw\ninconsistent state update\n", "inconsistent state update\natomicity violation\ncross bridge inconsistency\n", "privilege escalation\nbusiness logic flaw\ninconsistent state update\natomicity violation\n", "price manipulation\nprivilege escalation\nbusiness logic flaw\ninconsistent state update\natomicity violation\ncross bridge inconsistency\n", "inconsistent state update\natomicity violation\n", "inconsistent state update\natomicity violation\n", "cross bridge inconsistency\n", "", "cross bridge inconsistency\n", "privilege escalation\ninconsistent state update\ncross bridge inconsistency\n", "cross bridge inconsistency\n", "privilege escalation\ninconsistent state update\n", "business logic flaw\ninconsistent state update\ncross bridge inconsistency\n", "", "inconsistent state update\natomicity violation\n", "inconsistent state update\ncross bridge inconsistency\n", "privilege escalation\ninconsistent state update\n", "inconsistent state update\natomicity violation\n", "business logic flaw\ninconsistent state update\ncross bridge inconsistency\n", "inconsistent state update\ncross bridge inconsistency\n", "privilege escalation\ninconsistent state update\n", "price manipulation\ncross bridge inconsistency\n", "privilege escalation\ninconsistent state update\n", "", "inconsistent state update\n", "inconsistent state update\natomicity violation\ncross bridge inconsistency\n", "", "privilege escalation\ninconsistent state update\n", "inconsistent state update\n", "privilege escalation\ninconsistent state update\n", "privilege escalation\nbusiness logic flaw\ninconsistent state update\ncross bridge inconsistency\n", "inconsistent state update\n", "inconsistent state update\natomicity violation\n", "inconsistent state update\natomicity violation\ncross bridge inconsistency\n", "business logic flaw\ninconsistent state update\n", "privilege escalation\ninconsistent state update\natomicity violation\n", "privilege escalation\ninconsistent state update\n", "privilege escalation\ninconsistent state update\natomicity violation\n", "inconsistent state update\natomicity violation\ncross bridge inconsistency\n", "", "inconsistent state update\natomicity violation\n", "privilege escalation\ninconsistent state update\natomicity violation\n", "privilege escalation\nbusiness logic flaw\ninconsistent state update\ncross bridge inconsistency\n", "inconsistent state update\natomicity violation\n", "business logic flaw\ninconsistent state update\natomicity violation\n", "inconsistent state update\natomicity violation\n", "inconsistent state update\natomicity violation\n", "inconsistent state update\natomicity violation\n", "", "inconsistent state update\ncross bridge inconsistency\n", "cross bridge inconsistency\n", "business logic flaw\ninconsistent state update\ncross bridge inconsistency\n", "business logic flaw\natomicity violation\n", "", "price manipulation\natomicity violation\n", "inconsistent state update\n", "", "inconsistent state update\natomicity violation\n", "privilege escalation\ninconsistent state update\n", "inconsistent state update\natomicity violation\n", "inconsistent state update\n", "inconsistent state update\ncross bridge inconsistency\n", "inconsistent state update\ncross bridge inconsistency\n", "privilege escalation\ninconsistent state update\natomicity violation\n", "privilege escalation\ninconsistent state update\natomicity violation\ncross bridge inconsistency\n", "inconsistent state update\natomicity violation\ncross bridge inconsistency\n", "privilege escalation\ninconsistent state update\n", "business logic flaw\ninconsistent state update\natomicity violation\ncross bridge inconsistency\n", "privilege escalation\ninconsistent state update\natomicity violation\n", "inconsistent state update\ncross bridge inconsistency\n", "privilege escalation\ninconsistent state update\n", "", "business logic flaw\ninconsistent state update\natomicity violation\ncross bridge inconsistency\n", "", "privilege escalation\nbusiness logic flaw\ninconsistent state update\n", "privilege escalation\ninconsistent state update\n", "privilege escalation\nbusiness logic flaw\ninconsistent state update\n", "cross bridge inconsistency\n", "privilege escalation\ninconsistent state update\n", "inconsistent state update\ncross bridge inconsistency\n", "", "", "", "privilege escalation\nbusiness logic flaw\ninconsistent state update\natomicity violation\ncross bridge inconsistency\n", "inconsistent state update\n", "privilege escalation\ninconsistent state update\n", "inconsistent state update\natomicity violation\n", "privilege escalation\ninconsistent state update\n", "privilege escalation\nbusiness logic flaw\ninconsistent state update\natomicity violation\ncross bridge inconsistency\n", "privilege escalation\nbusiness logic flaw\ninconsistent state update\natomicity violation\ncross bridge inconsistency\n", "inconsistent state update\natomicity violation\n", "", "inconsistent state update\natomicity violation\n", "business logic flaw\natomicity violation\ncross bridge inconsistency\n", "privilege escalation\ninconsistent state update\natomicity violation\n", "", "privilege escalation\nbusiness logic flaw\ninconsistent state update\n", "business logic flaw\ninconsistent state update\natomicity violation\ncross bridge inconsistency\n", "privilege escalation\ninconsistent state update\n", "privilege escalation\ninconsistent state update\n", "price manipulation\nprivilege escalation\nbusiness logic flaw\ninconsistent state update\natomicity violation\ncross bridge inconsistency\n", "", "", "inconsistent state update\ncross bridge inconsistency\n", "cross bridge inconsistency\n", "business logic flaw\ninconsistent state update\natomicity violation\ncross bridge inconsistency\n", "", "privilege escalation\ninconsistent state update\natomicity violation\ncross bridge inconsistency\n", "inconsistent state update\natomicity violation\ncross bridge inconsistency\n", "privilege escalation\ninconsistent state update\n", "privilege escalation\ninconsistent state update\n", "privilege escalation\nbusiness logic flaw\n", "inconsistent state update\natomicity violation\n", "inconsistent state update\natomicity violation\n", "inconsistent state update\natomicity violation\ncross bridge inconsistency\n", "privilege escalation\ninconsistent state update\natomicity violation\n", "inconsistent state update\natomicity violation\ncross bridge inconsistency\n", "", "", "business logic flaw\ninconsistent state update\n", "inconsistent state update\natomicity violation\ncross bridge inconsistency\n", "", "inconsistent state update\n", "privilege escalation\ninconsistent state update\ncross bridge inconsistency\n", "", "privilege escalation\nbusiness logic flaw\ninconsistent state update\n", "inconsistent state update\n", "privilege escalation\nbusiness logic flaw\ninconsistent state update\n", "business logic flaw\ninconsistent state update\natomicity violation\n", "privilege escalation\ninconsistent state update\natomicity violation\n", "business logic flaw\ninconsistent state update\natomicity violation\n", "price manipulation\ncross bridge inconsistency\n", "privilege escalation\ninconsistent state update\natomicity violation\n", "inconsistent state update\natomicity violation\n", "atomicity violation\n", "privilege escalation\ninconsistent state update\n", "inconsistent state update\natomicity violation\n", "privilege escalation\ninconsistent state update\natomicity violation\n", "inconsistent state update\natomicity violation\ncross bridge inconsistency\n", "inconsistent state update\n", "inconsistent state update\ncross bridge inconsistency\n", "privilege escalation\nbusiness logic flaw\ninconsistent state update\natomicity violation\n", "inconsistent state update\n", "inconsistent state update\n", "price manipulation\natomicity violation\n", "inconsistent state update\natomicity violation\ncross bridge inconsistency\n", "business logic flaw\ninconsistent state update\n", "inconsistent state update\ncross bridge inconsistency\n", "privilege escalation\ninconsistent state update\n", "privilege escalation\nbusiness logic flaw\ninconsistent state update\natomicity violation\n", "inconsistent state update\n", "", "inconsistent state update\natomicity violation\n", "business logic flaw\ninconsistent state update\natomicity violation\ncross bridge inconsistency\n", "inconsistent state update\n", "privilege escalation\nbusiness logic flaw\ninconsistent state update\n", "", "", "", "inconsistent state update\ncross bridge inconsistency\n", "inconsistent state update\n", "", "privilege escalation\ninconsistent state update\n", "privilege escalation\ninconsistent state update\n", "privilege escalation\ninconsistent state update\natomicity violation\n", "privilege escalation\ninconsistent state update\ncross bridge inconsistency\n", "business logic flaw\ninconsistent state update\n", "inconsistent state update\natomicity violation\n", "inconsistent state update\ncross bridge inconsistency\n", "privilege escalation\ninconsistent state update\natomicity violation\n", "privilege escalation\ninconsistent state update\n", "privilege escalation\ninconsistent state update\n", "privilege escalation\ninconsistent state update\natomicity violation\n", "inconsistent state update\n"]}{"contract": ["../tests/refined_analysis/natural_bugs/set3/pancakeBunny/PBunnyToken.sol", "../tests/refined_analysis/natural_bugs/set3/pancakeBunny/RewardsDistributionRecipientUpgradeable.sol", "../tests/refined_analysis/natural_bugs/set3/pancakeBunny/PoolConstant.sol", "../tests/refined_analysis/natural_bugs/set3/pancakeBunny/IBunnyMinterV2.sol", "../tests/refined_analysis/natural_bugs/set3/pancakeBunny/DashboardETH.sol", "../tests/refined_analysis/natural_bugs/set3/pancakeBunny/BunnyPoolV2.sol", "../tests/refined_analysis/natural_bugs/set3/pancakeBunny/PausableUpgradeable.sol", "../tests/refined_analysis/natural_bugs/set3/pancakeBunny/IPotController.sol", "../tests/refined_analysis/natural_bugs/set3/pancakeBunny/HomoraMath.sol", "../tests/refined_analysis/natural_bugs/set3/pancakeBunny/VaultFlipToFlip.sol", "../tests/refined_analysis/natural_bugs/set3/pancakeBunny/SafeDecimal.sol", "../tests/refined_analysis/natural_bugs/set3/pancakeBunny/BunnyFeeBox.sol", "../tests/refined_analysis/natural_bugs/set3/pancakeBunny/IVaultController.sol", "../tests/refined_analysis/natural_bugs/set3/pancakeBunny/BunnyChef.sol", "../tests/refined_analysis/natural_bugs/set3/pancakeBunny/IVenusPriceOracle.sol", "../tests/refined_analysis/natural_bugs/set3/pancakeBunny/DashboardBSC.sol", "../tests/refined_analysis/natural_bugs/set3/pancakeBunny/IVBNB.sol", "../tests/refined_analysis/natural_bugs/set3/pancakeBunny/Whitelist.sol", "../tests/refined_analysis/natural_bugs/set3/pancakeBunny/IVaultMultiplexer.sol", "../tests/refined_analysis/natural_bugs/set3/pancakeBunny/IBunnyPot.sol", "../tests/refined_analysis/natural_bugs/set3/pancakeBunny/SortitionSumTreeFactory.sol", "../tests/refined_analysis/natural_bugs/set3/pancakeBunny/RandomNumberGenerator.sol", "../tests/refined_analysis/natural_bugs/set3/pancakeBunny/VaultQBTBNB.sol", "../tests/refined_analysis/natural_bugs/set3/pancakeBunny/BunnyToken.sol", "../tests/refined_analysis/natural_bugs/set3/pancakeBunny/PotController.sol", "../tests/refined_analysis/natural_bugs/set3/pancakeBunny/IPresaleLocker.sol", "../tests/refined_analysis/natural_bugs/set3/pancakeBunny/IBank.sol", "../tests/refined_analysis/natural_bugs/set3/pancakeBunny/SafeVenus.sol", "../tests/refined_analysis/natural_bugs/set3/pancakeBunny/IVaultVenus.sol", "../tests/refined_analysis/natural_bugs/set3/pancakeBunny/SafeToken.sol", "../tests/refined_analysis/natural_bugs/set3/pancakeBunny/BankConfig.sol", "../tests/refined_analysis/natural_bugs/set3/pancakeBunny/IVenusDistribution.sol", "../tests/refined_analysis/natural_bugs/set3/pancakeBunny/VaultBunny.sol", "../tests/refined_analysis/natural_bugs/set3/pancakeBunny/IVaultCollateral.sol", "../tests/refined_analysis/natural_bugs/set3/pancakeBunny/IBunnyMinter.sol", "../tests/refined_analysis/natural_bugs/set3/pancakeBunny/safeSwapBNB.sol", "../tests/refined_analysis/natural_bugs/set3/pancakeBunny/BankBridge.sol", "../tests/refined_analysis/natural_bugs/set3/pancakeBunny/QConstant.sol", "../tests/refined_analysis/natural_bugs/set3/pancakeBunny/IUniswapV2ERC20.sol", "../tests/refined_analysis/natural_bugs/set3/pancakeBunny/IBunnyPool.sol", "../tests/refined_analysis/natural_bugs/set3/pancakeBunny/IStrategyCompact.sol", "../tests/refined_analysis/natural_bugs/set3/pancakeBunny/IMasterChef.sol", "../tests/refined_analysis/natural_bugs/set3/pancakeBunny/WhitelistUpgradeable.sol", "../tests/refined_analysis/natural_bugs/set3/pancakeBunny/VaultController.sol", "../tests/refined_analysis/natural_bugs/set3/pancakeBunny/CarefulMath.sol", "../tests/refined_analysis/natural_bugs/set3/pancakeBunny/IPriceCalculator.sol", "../tests/refined_analysis/natural_bugs/set3/pancakeBunny/ISafeSwapBNB.sol", "../tests/refined_analysis/natural_bugs/set3/pancakeBunny/TripleSlopeModel.sol", "../tests/refined_analysis/natural_bugs/set3/pancakeBunny/VaultBunnyMaximizer.sol", "../tests/refined_analysis/natural_bugs/set3/pancakeBunny/IVaultVenusBridge.sol", "../tests/refined_analysis/natural_bugs/set3/pancakeBunny/IVToken.sol", "../tests/refined_analysis/natural_bugs/set3/pancakeBunny/IRNGenerator.sol", "../tests/refined_analysis/natural_bugs/set3/pancakeBunny/PotConstant.sol", "../tests/refined_analysis/natural_bugs/set3/pancakeBunny/IBunnyChef.sol", "../tests/refined_analysis/natural_bugs/set3/pancakeBunny/IZap.sol", "../tests/refined_analysis/natural_bugs/set3/pancakeBunny/VaultCakeToCake.sol", "../tests/refined_analysis/natural_bugs/set3/pancakeBunny/IUniswapV2Pair.sol", "../tests/refined_analysis/natural_bugs/set3/BabySwap/IBabyRouter02.sol", "../tests/refined_analysis/natural_bugs/set3/BabySwap/BabyAutoPoolV2.sol", "../tests/refined_analysis/natural_bugs/set3/BabySwap/VBabyOwner.sol", "../tests/refined_analysis/natural_bugs/set3/BabySwap/BabyWonderlandMakeFactory.sol", "../tests/refined_analysis/natural_bugs/set3/BabySwap/VBabyFarmer.sol", "../tests/refined_analysis/natural_bugs/set3/BabySwap/BnbStaking.sol", "../tests/refined_analysis/natural_bugs/set3/BabySwap/BabyVault.sol", "../tests/refined_analysis/natural_bugs/set3/BabySwap/UQ112x112.sol", "../tests/refined_analysis/natural_bugs/set3/BabySwap/BabySmartRouter.sol", "../tests/refined_analysis/natural_bugs/set3/BabySwap/IBabyERC20.sol", "../tests/refined_analysis/natural_bugs/set3/BabySwap/ScratchOffTickets.sol", "../tests/refined_analysis/natural_bugs/set3/BabySwap/BabyWonderlandAirdrop.sol", "../tests/refined_analysis/natural_bugs/set3/BabySwap/BabyPoolV2.sol", "../tests/refined_analysis/natural_bugs/set3/BabySwap/IBabySmartRouter.sol", "../tests/refined_analysis/natural_bugs/set3/BabySwap/BabyWonderland.sol", "../tests/refined_analysis/natural_bugs/set3/BabySwap/IBabyNormalRouter.sol", "../tests/refined_analysis/natural_bugs/set3/BabySwap/Profile.sol", "../tests/refined_analysis/natural_bugs/set3/BabySwap/SyrupBar.sol", "../tests/refined_analysis/natural_bugs/set3/BabySwap/Bottle.sol", "../tests/refined_analysis/natural_bugs/set3/BabySwap/SafeOwnable.sol", "../tests/refined_analysis/natural_bugs/set3/BabySwap/IBEP20.sol", "../tests/refined_analysis/natural_bugs/set3/BabySwap/BabyERC20.sol", "../tests/refined_analysis/natural_bugs/set3/BabySwap/HoldStake.sol", "../tests/refined_analysis/natural_bugs/set3/BabySwap/BabyLibrary.sol", "../tests/refined_analysis/natural_bugs/set3/BabySwap/IBabyPair.sol", "../tests/refined_analysis/natural_bugs/set3/BabySwap/Math.sol", "../tests/refined_analysis/natural_bugs/set3/BabySwap/LotteryTicket.sol", "../tests/refined_analysis/natural_bugs/set3/BabySwap/BabyToken.sol", "../tests/refined_analysis/natural_bugs/set3/BabySwap/vBabyNFTFee.sol", "../tests/refined_analysis/natural_bugs/set3/BabySwap/BabyFactory.sol", "../tests/refined_analysis/natural_bugs/set3/BabySwap/SafeBEP20.sol", "../tests/refined_analysis/natural_bugs/set3/BabySwap/BabySwapFee.sol", "../tests/refined_analysis/natural_bugs/set3/BabySwap/BabyLibrarySmartRouter.sol", "../tests/refined_analysis/natural_bugs/set3/BabySwap/NFTFarm.sol", "../tests/refined_analysis/natural_bugs/set3/BabySwap/ILO.sol", "../tests/refined_analysis/natural_bugs/set3/BabySwap/IBabyCallee.sol", "../tests/refined_analysis/natural_bugs/set3/BabySwap/BabyPair.sol", "../tests/refined_analysis/natural_bugs/set3/BabySwap/IBabyRouter01.sol", "../tests/refined_analysis/natural_bugs/set3/BabySwap/MasterChefTimelock.sol", "../tests/refined_analysis/natural_bugs/set3/BabySwap/TransferHelper.sol", "../tests/refined_analysis/natural_bugs/set3/BabySwap/IBabyFactory.sol", "../tests/refined_analysis/natural_bugs/set3/BabySwap/IBabyWonderlandMintable.sol", "../tests/refined_analysis/natural_bugs/set3/BabySwap/BabyFarmV2.sol", "../tests/refined_analysis/natural_bugs/set3/BabySwap/Oracle.sol", "../tests/refined_analysis/natural_bugs/set3/BabySwap/TokenLocker.sol", "../tests/refined_analysis/natural_bugs/set3/BabySwap/IBabyBaseRouter.sol", "../tests/refined_analysis/natural_bugs/set3/BabySwap/BabyBaseRouter.sol", "../tests/refined_analysis/natural_bugs/set3/Qubit/SafeCast.sol", "../tests/refined_analysis/natural_bugs/set3/Qubit/ERC721Safe.sol", "../tests/refined_analysis/natural_bugs/set3/Qubit/TestContracts.sol", "../tests/refined_analysis/natural_bugs/set3/Qubit/ERC1155Handler.sol", "../tests/refined_analysis/natural_bugs/set3/Qubit/ERC721Handler.sol", "../tests/refined_analysis/natural_bugs/set3/Qubit/ERC20Safe.sol", "../tests/refined_analysis/natural_bugs/set3/Qubit/IBridge.sol", "../tests/refined_analysis/natural_bugs/set3/Qubit/HandlerHelpers.sol", "../tests/refined_analysis/natural_bugs/set3/Qubit/AccessControl.sol", "../tests/refined_analysis/natural_bugs/set3/Qubit/Forwarder.sol", "../tests/refined_analysis/natural_bugs/set3/Qubit/GenericHandler.sol", "../tests/refined_analysis/natural_bugs/set3/Qubit/ERC1155Safe.sol", "../tests/refined_analysis/natural_bugs/set3/Qubit/CentrifugeAsset.sol", "../tests/refined_analysis/natural_bugs/set3/Qubit/ERC721MinterBurnerPauser.sol", "../tests/refined_analysis/natural_bugs/set3/Qubit/IGenericHandler.sol", "../tests/refined_analysis/natural_bugs/set3/Qubit/IERCHandler.sol", "../tests/refined_analysis/natural_bugs/set3/Qubit/IDepositExecute.sol", "../tests/refined_analysis/natural_bugs/set3/Qubit/ERC20Handler.sol", "../tests/refined_analysis/natural_bugs/set3/creamFinance/CCapableErc20Delegate.sol", "../tests/refined_analysis/natural_bugs/set3/creamFinance/CEther.sol", "../tests/refined_analysis/natural_bugs/set3/creamFinance/CCTokenDelegate.sol", "../tests/refined_analysis/natural_bugs/set3/creamFinance/CErc20Immutable.sol", "../tests/refined_analysis/natural_bugs/set3/creamFinance/ComptrollerInterface.sol", "../tests/refined_analysis/natural_bugs/set3/creamFinance/LiquidityMiningInterface.sol", "../tests/refined_analysis/natural_bugs/set3/creamFinance/InterestRateModel.sol", "../tests/refined_analysis/natural_bugs/set3/creamFinance/PriceOracle.sol", "../tests/refined_analysis/natural_bugs/set3/creamFinance/ERC3156FlashLenderInterface.sol", "../tests/refined_analysis/natural_bugs/set3/creamFinance/CCollateralCapErc20CheckRepayDelegate.sol", "../tests/refined_analysis/natural_bugs/set3/creamFinance/ERC3156FlashBorrowerInterface.sol", "../tests/refined_analysis/natural_bugs/set3/creamFinance/CWrappedNativeDelegate.sol", "../tests/refined_analysis/natural_bugs/set3/creamFinance/CSLPDelegate.sol", "../tests/refined_analysis/natural_bugs/set3/creamFinance/ErrorReporter.sol", "../tests/refined_analysis/natural_bugs/set3/creamFinance/CompoundLens.sol", "../tests/refined_analysis/natural_bugs/set3/creamFinance/Unitroller.sol", "../tests/refined_analysis/natural_bugs/set3/creamFinance/EIP20Interface.sol", "../tests/refined_analysis/natural_bugs/set3/creamFinance/CCollateralCapErc20Delegate.sol", "../tests/refined_analysis/natural_bugs/set3/creamFinance/SimplePriceOracle.sol", "../tests/refined_analysis/natural_bugs/set3/creamFinance/TripleSlopeRateModel.sol", "../tests/refined_analysis/natural_bugs/set3/creamFinance/JumpRateModelV2.sol", "../tests/refined_analysis/natural_bugs/set3/creamFinance/EIP20NonStandardInterface.sol", "../tests/refined_analysis/natural_bugs/set3/creamFinance/CTokenAdmin.sol", "../tests/refined_analysis/natural_bugs/set3/creamFinance/FlashloanLender.sol", "../tests/refined_analysis/natural_bugs/set3/creamFinance/CErc20Delegate.sol", "../tests/refined_analysis/natural_bugs/set3/creamFinance/Denominations.sol", "../tests/refined_analysis/natural_bugs/set3/creamFinance/ComptrollerStorage.sol", "../tests/refined_analysis/natural_bugs/set3/Nomad/UpgradeBeaconController.t.sol", "../tests/refined_analysis/natural_bugs/set3/Nomad/JsonWriter.sol", "../tests/refined_analysis/natural_bugs/set3/Nomad/IBridgeHook.sol", "../tests/refined_analysis/natural_bugs/set3/Nomad/DABridgeRouter.sol", "../tests/refined_analysis/natural_bugs/set3/Nomad/IEventAccountant.sol", "../tests/refined_analysis/natural_bugs/set3/Nomad/MockAccountant.sol", "../tests/refined_analysis/natural_bugs/set3/Nomad/EventAccountant.sol", "../tests/refined_analysis/natural_bugs/set3/Nomad/NomadBase.t.sol", "../tests/refined_analysis/natural_bugs/set3/Nomad/BridgeRouter.t.sol", "../tests/refined_analysis/natural_bugs/set3/Nomad/UpdaterManager.t.sol", "../tests/refined_analysis/natural_bugs/set3/Nomad/BridgeToken.t.sol", "../tests/refined_analysis/natural_bugs/set3/Nomad/Encoding.t.sol", "../tests/refined_analysis/natural_bugs/set3/Nomad/Message.t.sol", "../tests/refined_analysis/natural_bugs/set3/Nomad/ITokenRegistry.sol", "../tests/refined_analysis/natural_bugs/set3/Nomad/DABridgeMessage.sol", "../tests/refined_analysis/natural_bugs/set3/Nomad/EthereumBridgeRouter.t.sol", "../tests/refined_analysis/natural_bugs/set3/Nomad/NFTAccountant.t.sol", "../tests/refined_analysis/natural_bugs/set3/Nomad/UpgradeBeaconProxy.t.sol", "../tests/refined_analysis/natural_bugs/set3/Nomad/IBridgeToken.sol", "../tests/refined_analysis/natural_bugs/set3/Nomad/Home.t.sol", "../tests/refined_analysis/natural_bugs/set3/Nomad/UpgradeBeacon.t.sol", "../tests/refined_analysis/natural_bugs/set3/sushiSwap/TokenSale.sol", "../tests/refined_analysis/natural_bugs/set3/sushiSwap/ArenaToken.sol", "../tests/refined_analysis/natural_bugs/set3/sushiSwap/TokenLock.sol", "../tests/refined_analysis/natural_bugs/set3/sushiSwap/IRevokableTokenLock.sol", "../tests/refined_analysis/natural_bugs/set3/sushiSwap/RevokableTokenLock.sol", "../tests/refined_analysis/natural_bugs/set3/sushiSwap/ITokenLockVestReader.sol", "../tests/refined_analysis/natural_bugs/set3/sushiSwap/ArenaGovernor.sol", "../tests/refined_analysis/natural_bugs/set3/Sandle/AmplificationUtilsV1.sol", "../tests/refined_analysis/natural_bugs/set3/Sandle/OwnerPausableUpgradeable.sol", "../tests/refined_analysis/natural_bugs/set3/Sandle/Vesting.sol", "../tests/refined_analysis/natural_bugs/set3/Sandle/SwapFlashLoanV1.sol", "../tests/refined_analysis/natural_bugs/set3/Sandle/LPToken.sol", "../tests/refined_analysis/natural_bugs/set3/Sandle/PermissionlessSwap.sol", "../tests/refined_analysis/natural_bugs/set3/Sandle/GeneralizedSwapMigrator.sol", "../tests/refined_analysis/natural_bugs/set3/Sandle/PermissionlessSwapUtils.sol", "../tests/refined_analysis/natural_bugs/set3/Sandle/FlashLoanEnabled.sol", "../tests/refined_analysis/natural_bugs/set3/Sandle/SwapMigrator.sol", "../tests/refined_analysis/natural_bugs/set3/Sandle/SwapDeployerV1.sol", "../tests/refined_analysis/natural_bugs/set3/Sandle/MasterRegistry.sol", "../tests/refined_analysis/natural_bugs/set3/Sandle/AnyCallTranslator.sol", "../tests/refined_analysis/natural_bugs/set3/Sandle/SwapFlashLoan.sol", "../tests/refined_analysis/natural_bugs/set3/Sandle/SwapDeployer.sol", "../tests/refined_analysis/natural_bugs/set3/Sandle/RewardForwarder.sol", "../tests/refined_analysis/natural_bugs/set3/Sandle/MathUtils.sol", "../tests/refined_analysis/natural_bugs/set3/Sandle/SynthSwapper.sol", "../tests/refined_analysis/natural_bugs/set3/Sandle/RewardScheduler.sol", "../tests/refined_analysis/natural_bugs/set3/Sandle/AmplificationUtils.sol", "../tests/refined_analysis/natural_bugs/set3/Sandle/RootGaugeFactory.vy", "../tests/refined_analysis/natural_bugs/set3/Sandle/ShareProtocolFee.sol", "../tests/refined_analysis/natural_bugs/set3/Sandle/SwapDeployerV2.sol", "../tests/refined_analysis/natural_bugs/set3/Sandle/AmplificationUtilsV2.sol", "../tests/refined_analysis/natural_bugs/set3/Sandle/StakeableTokenWrapper.sol", "../tests/refined_analysis/natural_bugs/set3/Sandle/OwnerPausableUpgradeableV1.sol", "../tests/refined_analysis/natural_bugs/set3/Sandle/ChildGaugeFactory.vy", "../tests/refined_analysis/natural_bugs/set3/Sandle/PermissionlessMetaSwapFlashLoan.sol", "../tests/refined_analysis/natural_bugs/set3/Sandle/PermissionlessMetaSwap.sol", "../tests/refined_analysis/natural_bugs/set3/Sandle/RetroactiveVesting.sol", "../tests/refined_analysis/natural_bugs/set3/Sandle/SimpleGovernance.sol", "../tests/refined_analysis/natural_bugs/set3/Sandle/PermissionlessSwapFlashLoan.sol", "../tests/refined_analysis/natural_bugs/set3/Sandle/SimpleRewarder.sol", "../tests/refined_analysis/natural_bugs/set3/Sandle/LPTokenV2.sol", "../tests/refined_analysis/natural_bugs/set3/Sandle/SDL.sol", "../tests/refined_analysis/natural_bugs/set3/Sandle/LPTokenV1.sol", "../tests/refined_analysis/natural_bugs/set3/Sandle/MathUtilsV1.sol", "../tests/refined_analysis/natural_bugs/set3/polyNetwork/IEthCrossChainData.sol", "../tests/refined_analysis/natural_bugs/set3/polyNetwork/eNEO.sol", "../tests/refined_analysis/natural_bugs/set3/polyNetwork/ZeroCopySource.sol", "../tests/refined_analysis/natural_bugs/set3/polyNetwork/LockProxySingleAsset.sol", "../tests/refined_analysis/natural_bugs/set3/polyNetwork/ERC20Extended.sol", "../tests/refined_analysis/natural_bugs/set3/polyNetwork/xONT.sol", "../tests/refined_analysis/natural_bugs/set3/polyNetwork/IEthCrossChainManagerProxy.sol", "../tests/refined_analysis/natural_bugs/set3/polyNetwork/ONGX.sol", "../tests/refined_analysis/natural_bugs/set3/polyNetwork/IPolyWrapper.sol", "../tests/refined_analysis/natural_bugs/set3/polyNetwork/LockProxyPip1.sol", "../tests/refined_analysis/natural_bugs/set3/polyNetwork/LockProxy.sol", "../tests/refined_analysis/natural_bugs/set3/polyNetwork/EthCrossChainUtils.sol", "../tests/refined_analysis/natural_bugs/set3/polyNetwork/ERC20Detailed.sol", "../tests/refined_analysis/natural_bugs/set3/polyNetwork/ILockProxy.sol", "../tests/refined_analysis/natural_bugs/set3/polyNetwork/IUpgradableECCM.sol", "../tests/refined_analysis/natural_bugs/set3/polyNetwork/OEP4Template.sol", "../tests/refined_analysis/natural_bugs/set3/polyNetwork/EthCrossChainData.sol", "../tests/refined_analysis/natural_bugs/set3/polyNetwork/EthCrossChainManager.sol", "../tests/refined_analysis/natural_bugs/set3/polyNetwork/Encoder.sol", "../tests/refined_analysis/natural_bugs/set3/polyNetwork/EthCrossChainManagerForUpgrade.sol", "../tests/refined_analysis/natural_bugs/set3/polyNetwork/PolyWrapper_v1.sol", "../tests/refined_analysis/natural_bugs/set3/polyNetwork/RippleLockProxy.sol", "../tests/refined_analysis/natural_bugs/set3/polyNetwork/LockProxyWithLP.sol", "../tests/refined_analysis/natural_bugs/set3/polyNetwork/ZeroCopySink.sol", "../tests/refined_analysis/natural_bugs/set3/polyNetwork/EthCrossChainManagerNoWhiteList.sol", "../tests/refined_analysis/natural_bugs/set3/polyNetwork/BTCX.sol", "../tests/refined_analysis/natural_bugs/set3/polyNetwork/PolyWrapper_v2.sol", "../tests/refined_analysis/natural_bugs/set3/polyNetwork/EthCrossChainManagerProxy.sol", "../tests/refined_analysis/natural_bugs/set3/polyNetwork/EthCrossChainManagerForTest.sol", "../tests/refined_analysis/natural_bugs/set3/polyNetwork/IEthCrossChainManager.sol", "../tests/refined_analysis/natural_bugs/set3/polyNetwork/UpgradableECCM.sol", "../tests/refined_analysis/natural_bugs/set3/polyNetwork/ERC20Template.sol"], "bugs": ["price manipulation\ncross bridge inconsistency\n", "inconsistent state update\natomicity violation\ncross bridge inconsistency\n", "inconsistent state update\ncross bridge inconsistency\n", "privilege escalation\nbusiness logic flaw\natomicity violation\n", "inconsistent state update\ncross bridge inconsistency\n", "privilege escalation\ninconsistent state update\n", "privilege escalation\ninconsistent state update\natomicity violation\n", "", "privilege escalation\ninconsistent state update\n", "price manipulation\n", "inconsistent state update\n", "inconsistent state update\ncross bridge inconsistency\n", "price manipulation\nprivilege escalation\nbusiness logic flaw\ninconsistent state update\ncross bridge inconsistency\n", "privilege escalation\ninconsistent state update\n", "privilege escalation\nbusiness logic flaw\ninconsistent state update\n", "privilege escalation\ninconsistent state update\natomicity violation\n", "privilege escalation\ninconsistent state update\n", "", "inconsistent state update\natomicity violation\n", "business logic flaw\ninconsistent state update\natomicity violation\ncross bridge inconsistency\n", "business logic flaw\ninconsistent state update\natomicity violation\ncross bridge inconsistency\n", "inconsistent state update\natomicity violation\n", "privilege escalation\ninconsistent state update\natomicity violation\n", "cross bridge inconsistency\n", "", "inconsistent state update\ncross bridge inconsistency\n", "inconsistent state update\ncross bridge inconsistency\n", "inconsistent state update\n", "inconsistent state update\natomicity violation\n", "business logic flaw\ninconsistent state update\natomicity violation\ncross bridge inconsistency\n", "privilege escalation\ninconsistent state update\natomicity violation\n", "inconsistent state update\natomicity violation\n", "privilege escalation\ninconsistent state update\natomicity violation\n", "price manipulation\ninconsistent state update\n", "", "business logic flaw\ninconsistent state update\n", "inconsistent state update\natomicity violation\ncross bridge inconsistency\n", "privilege escalation\ninconsistent state update\n", "inconsistent state update\ncross bridge inconsistency\n", "", "inconsistent state update\ncross bridge inconsistency\n", "privilege escalation\ninconsistent state update\n", "", "business logic flaw\ninconsistent state update\natomicity violation\n", "inconsistent state update\ncross bridge inconsistency\n", "inconsistent state update\n", "", "inconsistent state update\ncross bridge inconsistency\n", "privilege escalation\nbusiness logic flaw\ninconsistent state update\n", "privilege escalation\nbusiness logic flaw\natomicity violation\n", "business logic flaw\ninconsistent state update\natomicity violation\n", "inconsistent state update\ncross bridge inconsistency\n", "", "privilege escalation\nbusiness logic flaw\ninconsistent state update\n", "privilege escalation\ninconsistent state update\n", "inconsistent state update\natomicity violation\ncross bridge inconsistency\n", "inconsistent state update\natomicity violation\n", "inconsistent state update\natomicity violation\ncross bridge inconsistency\n", "privilege escalation\nbusiness logic flaw\ninconsistent state update\n", "privilege escalation\nbusiness logic flaw\ninconsistent state update\n", "privilege escalation\n", "business logic flaw\ninconsistent state update\n", "privilege escalation\nbusiness logic flaw\ninconsistent state update\n", "cross bridge inconsistency\n", "business logic flaw\ninconsistent state update\n", "privilege escalation\ninconsistent state update\natomicity violation\n", "inconsistent state update\ncross bridge inconsistency\n", "privilege escalation\nbusiness logic flaw\natomicity violation\n", "inconsistent state update\natomicity violation\n", "inconsistent state update\ncross bridge inconsistency\n", "price manipulation\nprivilege escalation\nbusiness logic flaw\ninconsistent state update\natomicity violation\ncross bridge inconsistency\n", "", "", "inconsistent state update\n", "cross bridge inconsistency\n", "privilege escalation\nbusiness logic flaw\ninconsistent state update\natomicity violation\n", "", "inconsistent state update\n", "inconsistent state update\ncross bridge inconsistency\n", "privilege escalation\ninconsistent state update\natomicity violation\n", "inconsistent state update\n", "privilege escalation\nbusiness logic flaw\ninconsistent state update\n", "inconsistent state update\natomicity violation\n", "inconsistent state update\natomicity violation\ncross bridge inconsistency\n", "privilege escalation\ninconsistent state update\n", "inconsistent state update\ncross bridge inconsistency\n", "inconsistent state update\n", "privilege escalation\ninconsistent state update\natomicity violation\n", "inconsistent state update\ncross bridge inconsistency\n", "privilege escalation\ninconsistent state update\n", "inconsistent state update\n", "business logic flaw\ninconsistent state update\n", "", "inconsistent state update\natomicity violation\n", "inconsistent state update\n", "inconsistent state update\n", "", "", "privilege escalation\ninconsistent state update\natomicity violation\ncross bridge inconsistency\n", "inconsistent state update\natomicity violation\ncross bridge inconsistency\n", "inconsistent state update\ncross bridge inconsistency\n", "price manipulation\ninconsistent state update\n", "privilege escalation\nbusiness logic flaw\ninconsistent state update\natomicity violation\ncross bridge inconsistency\n", "inconsistent state update\natomicity violation\n", "inconsistent state update\natomicity violation\n", "inconsistent state update\ncross bridge inconsistency\n", "", "inconsistent state update\ncross bridge inconsistency\n", "inconsistent state update\ncross bridge inconsistency\n", "privilege escalation\ninconsistent state update\natomicity violation\n", "", "price manipulation\ncross bridge inconsistency\n", "privilege escalation\ninconsistent state update\n", "price manipulation\ninconsistent state update\n", "privilege escalation\nbusiness logic flaw\ninconsistent state update\n", "privilege escalation\nbusiness logic flaw\ninconsistent state update\natomicity violation\ncross bridge inconsistency\n", "", "privilege escalation\ninconsistent state update\n", "privilege escalation\ninconsistent state update\n", "inconsistent state update\natomicity violation\n", "price manipulation\nprivilege escalation\nbusiness logic flaw\ninconsistent state update\natomicity violation\ncross bridge inconsistency\n", "privilege escalation\ninconsistent state update\n", "privilege escalation\ninconsistent state update\n", "privilege escalation\ninconsistent state update\natomicity violation\n", "cross bridge inconsistency\n", "business logic flaw\ninconsistent state update\natomicity violation\ncross bridge inconsistency\n", "privilege escalation\ninconsistent state update\natomicity violation\n", "", "business logic flaw\ninconsistent state update\natomicity violation\n", "", "business logic flaw\ninconsistent state update\natomicity violation\n", "business logic flaw\n", "privilege escalation\ninconsistent state update\n", "inconsistent state update\ncross bridge inconsistency\n", "inconsistent state update\ncross bridge inconsistency\n", "privilege escalation\ninconsistent state update\natomicity violation\n", "privilege escalation\ninconsistent state update\natomicity violation\n", "privilege escalation\ninconsistent state update\natomicity violation\n", "inconsistent state update\natomicity violation\ncross bridge inconsistency\n", "privilege escalation\ninconsistent state update\n", "", "privilege escalation\nbusiness logic flaw\ninconsistent state update\natomicity violation\n", "privilege escalation\ninconsistent state update\n", "privilege escalation\nbusiness logic flaw\ninconsistent state update\n", "privilege escalation\ninconsistent state update\n", "privilege escalation\ninconsistent state update\n", "", "privilege escalation\ninconsistent state update\n", "", "inconsistent state update\n", "price manipulation\n", "inconsistent state update\ncross bridge inconsistency\n", "inconsistent state update\natomicity violation\n", "privilege escalation\ninconsistent state update\n", "privilege escalation\nbusiness logic flaw\n", "", "", "price manipulation\nbusiness logic flaw\ninconsistent state update\n", "inconsistent state update\n", "privilege escalation\ninconsistent state update\n", "price manipulation\ncross bridge inconsistency\n", "inconsistent state update\natomicity violation\ncross bridge inconsistency\n", "", "inconsistent state update\ncross bridge inconsistency\n", "business logic flaw\natomicity violation\n", "privilege escalation\ninconsistent state update\natomicity violation\n", "privilege escalation\ninconsistent state update\n", "", "", "inconsistent state update\n", "inconsistent state update\natomicity violation\n", "inconsistent state update\natomicity violation\ncross bridge inconsistency\n", "inconsistent state update\natomicity violation\ncross bridge inconsistency\n", "cross bridge inconsistency\n", "inconsistent state update\natomicity violation\ncross bridge inconsistency\n", "privilege escalation\nbusiness logic flaw\ninconsistent state update\n", "inconsistent state update\natomicity violation\n", "business logic flaw\ninconsistent state update\ncross bridge inconsistency\n", "", "", "privilege escalation\ninconsistent state update\n", "", "", "privilege escalation\ninconsistent state update\ncross bridge inconsistency\n", "business logic flaw\ninconsistent state update\natomicity violation\n", "price manipulation\n", "business logic flaw\ninconsistent state update\natomicity violation\n", "", "", "price manipulation\nbusiness logic flaw\natomicity violation\ncross bridge inconsistency\n", "inconsistent state update\natomicity violation\n", "cross bridge inconsistency\n", "price manipulation\ninconsistent state update\n", "inconsistent state update\ncross bridge inconsistency\n", "", "privilege escalation\nbusiness logic flaw\ninconsistent state update\ncross bridge inconsistency\n", "privilege escalation\ninconsistent state update\n", "", "inconsistent state update\natomicity violation\n", "", "", "business logic flaw\ninconsistent state update\n", "privilege escalation\ninconsistent state update\natomicity violation\n", "privilege escalation\ninconsistent state update\n", "price manipulation\nprivilege escalation\nbusiness logic flaw\ninconsistent state update\natomicity violation\ncross bridge inconsistency\n", "price manipulation\nbusiness logic flaw\n", "business logic flaw\ninconsistent state update\ncross bridge inconsistency\n", "", "business logic flaw\ninconsistent state update\natomicity violation\ncross bridge inconsistency\n", "privilege escalation\ninconsistent state update\natomicity violation\n", "privilege escalation\ninconsistent state update\natomicity violation\n", "", "privilege escalation\ninconsistent state update\natomicity violation\n", "", "price manipulation\ninconsistent state update\ncross bridge inconsistency\n", "price manipulation\ninconsistent state update\n", "privilege escalation\ninconsistent state update\natomicity violation\n", "business logic flaw\ninconsistent state update\natomicity violation\ncross bridge inconsistency\n", "inconsistent state update\natomicity violation\ncross bridge inconsistency\n", "inconsistent state update\natomicity violation\n", "privilege escalation\ninconsistent state update\n", "privilege escalation\ninconsistent state update\ncross bridge inconsistency\n", "inconsistent state update\natomicity violation\n", "business logic flaw\ninconsistent state update\natomicity violation\ncross bridge inconsistency\n", "business logic flaw\ninconsistent state update\natomicity violation\n", "business logic flaw\ncross bridge inconsistency\n", "business logic flaw\ninconsistent state update\n", "inconsistent state update\n", "privilege escalation\nbusiness logic flaw\ninconsistent state update\n", "privilege escalation\ninconsistent state update\n", "", "", "inconsistent state update\natomicity violation\n", "inconsistent state update\natomicity violation\n", "inconsistent state update\natomicity violation\ncross bridge inconsistency\n", "price manipulation\n", "privilege escalation\ninconsistent state update\n", "inconsistent state update\ncross bridge inconsistency\n", "business logic flaw\ninconsistent state update\n", "inconsistent state update\natomicity violation\ncross bridge inconsistency\n", "privilege escalation\ninconsistent state update\n", "inconsistent state update\natomicity violation\n", "", "cross bridge inconsistency\n", "privilege escalation\ninconsistent state update\n", "inconsistent state update\n"]}{"contract": [], "bugs": []}{"contract": [], "bugs": []}{"contract": [], "bugs": []}{"contract": [], "bugs": []}{"contract": [], "bugs": []}{"contract": [], "bugs": []}{"contract": [], "bugs": []}{"contract": [], "bugs": []}{"contract": [], "bugs": []}{"contract": [], "bugs": []}{"contract": [], "bugs": []}{"contract": ["../tests/refined_analysis/natural_bugs/set1/Meter/SafeMath.sol", "../tests/refined_analysis/natural_bugs/set1/Meter/ExampleSlidingWindowOracle.sol", "../tests/refined_analysis/natural_bugs/set1/Meter/UniswapV2Router01.sol", "../tests/refined_analysis/natural_bugs/set1/Meter/IWETH.sol", "../tests/refined_analysis/natural_bugs/set1/Meter/IUniswapV2Migrator.sol", "../tests/refined_analysis/natural_bugs/set1/Meter/README.md", "../tests/refined_analysis/natural_bugs/set1/Meter/ExampleFlashSwap.sol", "../tests/refined_analysis/natural_bugs/set1/Meter/DeflatingERC20.sol", "../tests/refined_analysis/natural_bugs/set1/Meter/RouterEventEmitter.sol", "../tests/refined_analysis/natural_bugs/set1/Meter/ExampleComputeLiquidityValue.sol", "../tests/refined_analysis/natural_bugs/set1/Meter/IUniswapV2Router02.sol", "../tests/refined_analysis/natural_bugs/set1/Meter/IERC20.sol", "../tests/refined_analysis/natural_bugs/set1/Meter/UniswapV2LiquidityMathLibrary.sol", "../tests/refined_analysis/natural_bugs/set1/Meter/UniswapV2Migrator.sol", "../tests/refined_analysis/natural_bugs/set1/Meter/ERC20.sol", "../tests/refined_analysis/natural_bugs/set1/Meter/UniswapV2OracleLibrary.sol", "../tests/refined_analysis/natural_bugs/set1/Meter/ExampleSwapToPrice.sol", "../tests/refined_analysis/natural_bugs/set1/Meter/IUniswapV2Router01.sol", "../tests/refined_analysis/natural_bugs/set1/Meter/ExampleOracleSimple.sol", "../tests/refined_analysis/natural_bugs/set1/Meter/UniswapV2Library.sol", "../tests/refined_analysis/natural_bugs/set1/MuBank/CollateralManagement.sol", "../tests/refined_analysis/natural_bugs/set1/MuBank/FNDNFTMarket.sol", "../tests/refined_analysis/natural_bugs/set1/MuBank/NFTMarketPrivateSale.sol", "../tests/refined_analysis/natural_bugs/set1/MuBank/ERC165Checker.sol", "../tests/refined_analysis/natural_bugs/set1/MuBank/FETHMarketMock.sol", "../tests/refined_analysis/natural_bugs/set1/MuBank/IFethMarket.sol", "../tests/refined_analysis/natural_bugs/set1/MuBank/IOwnable.sol", "../tests/refined_analysis/natural_bugs/set1/MuBank/IGetFees.sol", "../tests/refined_analysis/natural_bugs/set1/MuBank/OperatorRole.sol", "../tests/refined_analysis/natural_bugs/set1/MuBank/NFTMarketAuction.sol", "../tests/refined_analysis/natural_bugs/set1/MuBank/ISendValueWithFallbackWithdraw.sol", "../tests/refined_analysis/natural_bugs/set1/MuBank/AccountMigrationLibrary.sol", "../tests/refined_analysis/natural_bugs/set1/MuBank/SendValueWithFallbackWithdraw.sol", "../tests/refined_analysis/natural_bugs/set1/MuBank/IOperatorRole.sol", "../tests/refined_analysis/natural_bugs/set1/MuBank/NFTMarketCreators.sol", "../tests/refined_analysis/natural_bugs/set1/MuBank/Constants.sol", "../tests/refined_analysis/natural_bugs/set1/MuBank/NFTMarketCore.sol", "../tests/refined_analysis/natural_bugs/set1/MuBank/NFTMarketFees.sol", "../tests/refined_analysis/natural_bugs/set1/MuBank/IRoyaltyInfo.sol", "../tests/refined_analysis/natural_bugs/set1/MuBank/AdminRole.sol", "../tests/refined_analysis/natural_bugs/set1/MuBank/AccessControlUpgradeable.sol", "../tests/refined_analysis/natural_bugs/set1/MuBank/LockedBalance.sol", "../tests/refined_analysis/natural_bugs/set1/MuBank/WithdrawFromEscrow.sol", "../tests/refined_analysis/natural_bugs/set1/MuBank/FoundationTreasury.sol", "../tests/refined_analysis/natural_bugs/set1/MuBank/IGetRoyalties.sol", "../tests/refined_analysis/natural_bugs/set1/MuBank/FoundationTreasuryNode.sol", "../tests/refined_analysis/natural_bugs/set1/MuBank/MockNFT.sol", "../tests/refined_analysis/natural_bugs/set1/MuBank/EmptyMockContract.sol", "../tests/refined_analysis/natural_bugs/set1/MuBank/IAdminRole.sol", "../tests/refined_analysis/natural_bugs/set1/MuBank/ITokenCreator.sol", "../tests/refined_analysis/natural_bugs/set1/BGLD/SafeMath.sol", "../tests/refined_analysis/natural_bugs/set1/BGLD/Context.sol", "../tests/refined_analysis/natural_bugs/set1/BGLD/Ownable.sol", "../tests/refined_analysis/natural_bugs/set1/BGLD/BGLDToken.sol", "../tests/refined_analysis/natural_bugs/set1/Bacon/BaconToken.sol", "../tests/refined_analysis/natural_bugs/set1/Bacon/Migrations.sol", "../tests/refined_analysis/natural_bugs/set1/Bacon/VestingVault.sol", "../tests/refined_analysis/natural_bugs/set1/Dodo/CloneFactory.sol", "../tests/refined_analysis/natural_bugs/set1/Dodo/UniswapArbitrageur.sol", "../tests/refined_analysis/natural_bugs/set1/Dodo/Admin.sol", "../tests/refined_analysis/natural_bugs/set1/Dodo/Storage.sol", "../tests/refined_analysis/natural_bugs/set1/Dodo/ChainlinkLINKUSDPriceOracleProxy.sol", "../tests/refined_analysis/natural_bugs/set1/Dodo/SafeMath.sol", "../tests/refined_analysis/natural_bugs/set1/Dodo/TestWETH.sol", "../tests/refined_analysis/natural_bugs/set1/Dodo/DODOZoo.sol", "../tests/refined_analysis/natural_bugs/set1/Dodo/Types.sol", "../tests/refined_analysis/natural_bugs/set1/Dodo/IDODOCallee.sol", "../tests/refined_analysis/natural_bugs/set1/Dodo/IWETH.sol", "../tests/refined_analysis/natural_bugs/set1/Dodo/ChainlinkWBTCUSDCPriceOracleProxy.sol", "../tests/refined_analysis/natural_bugs/set1/Dodo/BandBNBBUSDPriceOracleProxy.sol", "../tests/refined_analysis/natural_bugs/set1/Dodo/Settlement.sol", "../tests/refined_analysis/natural_bugs/set1/Dodo/ConstOracle.sol", "../tests/refined_analysis/natural_bugs/set1/Dodo/ChainlinkCOMPUSDCPriceOracleProxy.sol", "../tests/refined_analysis/natural_bugs/set1/Dodo/IDODO.sol", "../tests/refined_analysis/natural_bugs/set1/Dodo/ChainlinkLENDUSDCPriceOracleProxy.sol", "../tests/refined_analysis/natural_bugs/set1/Dodo/IOracle.sol", "../tests/refined_analysis/natural_bugs/set1/Dodo/IDODOLpToken.sol", "../tests/refined_analysis/natural_bugs/set1/Dodo/DODOToken.sol", "../tests/refined_analysis/natural_bugs/set1/Dodo/ChainlinkEthUSDCPriceOracleProxy.sol", "../tests/refined_analysis/natural_bugs/set1/Dodo/Ownable.sol", "../tests/refined_analysis/natural_bugs/set1/Dodo/MinimumOracle.sol", "../tests/refined_analysis/natural_bugs/set1/Dodo/IERC20.sol", "../tests/refined_analysis/natural_bugs/set1/Dodo/DODOLpToken.sol", "../tests/refined_analysis/natural_bugs/set1/Dodo/ChainlinkEthUSDTPriceOracleProxy.sol", "../tests/refined_analysis/natural_bugs/set1/Dodo/DecimalMath.sol", "../tests/refined_analysis/natural_bugs/set1/Dodo/DODORewardVault.sol", "../tests/refined_analysis/natural_bugs/set1/Dodo/DODOMath.sol", "../tests/refined_analysis/natural_bugs/set1/Dodo/Trader.sol", "../tests/refined_analysis/natural_bugs/set1/Dodo/NaiveOracle.sol", "../tests/refined_analysis/natural_bugs/set1/Dodo/Migrations.sol", "../tests/refined_analysis/natural_bugs/set1/Dodo/LockedTokenVault.sol", "../tests/refined_analysis/natural_bugs/set1/Dodo/ChainlinkSNXUSDPriceOracleProxy.sol", "../tests/refined_analysis/natural_bugs/set1/Dodo/dodo.sol", "../tests/refined_analysis/natural_bugs/set1/Dodo/DODOMineReader.sol", "../tests/refined_analysis/natural_bugs/set1/Dodo/Pricing.sol", "../tests/refined_analysis/natural_bugs/set1/Dodo/ChainlinkYFIUSDCPriceOracleProxy.sol", "../tests/refined_analysis/natural_bugs/set1/Dodo/ReentrancyGuard.sol", "../tests/refined_analysis/natural_bugs/set1/Dodo/SafeERC20.sol", "../tests/refined_analysis/natural_bugs/set1/Dodo/TestERC20.sol", "../tests/refined_analysis/natural_bugs/set1/Dodo/InitializableOwnable.sol", "../tests/refined_analysis/natural_bugs/set1/GYMNetwork/IUpgradeAgent.sol", "../tests/refined_analysis/natural_bugs/set1/GYMNetwork/Utils.sol", "../tests/refined_analysis/natural_bugs/set1/GYMNetwork/ChannelImplementation.sol", "../tests/refined_analysis/natural_bugs/set1/GYMNetwork/IUniswapV2Router.sol", "../tests/refined_analysis/natural_bugs/set1/GYMNetwork/FundsRecovery.sol", "../tests/refined_analysis/natural_bugs/set1/GYMNetwork/Ownable.sol", "../tests/refined_analysis/natural_bugs/set1/GYMNetwork/IERC20Token.sol", "../tests/refined_analysis/natural_bugs/set1/GYMNetwork/Migrations.sol", "../tests/refined_analysis/natural_bugs/set1/GYMNetwork/IHermesContract.sol", "../tests/refined_analysis/natural_bugs/set1/hundredFinance/linkERC20Basic.sol", "../tests/refined_analysis/natural_bugs/set1/hundredFinance/LinkToken.sol", "../tests/refined_analysis/natural_bugs/set1/hundredFinance/LinkReceiver.sol", "../tests/refined_analysis/natural_bugs/set1/hundredFinance/ERC677.sol", "../tests/refined_analysis/natural_bugs/set1/hundredFinance/Token677.sol", "../tests/refined_analysis/natural_bugs/set1/hundredFinance/linkERC20.sol", "../tests/refined_analysis/natural_bugs/set1/hundredFinance/Token677ReceiverMock.sol", "../tests/refined_analysis/natural_bugs/set1/hundredFinance/NotERC677Compatible.sol", "../tests/refined_analysis/natural_bugs/set1/hundredFinance/ERC677Receiver.sol", "../tests/refined_analysis/natural_bugs/set1/hundredFinance/linkBasicToken.sol", "../tests/refined_analysis/natural_bugs/set1/hundredFinance/ERC677Token.sol", "../tests/refined_analysis/natural_bugs/set1/hundredFinance/StandardTokenMock.sol", "../tests/refined_analysis/natural_bugs/set1/hundredFinance/BasicTokenMock.sol", "../tests/refined_analysis/natural_bugs/set1/hundredFinance/linkStandardToken.sol", "../tests/refined_analysis/natural_bugs/set1/hundredFinance/linkSafeMath.sol", "../tests/refined_analysis/natural_bugs/set1/EulerFinance/SwapHandlerUniAutoRouter.sol", "../tests/refined_analysis/natural_bugs/set1/EulerFinance/BaseIRMLinearKink.sol", "../tests/refined_analysis/natural_bugs/set1/EulerFinance/Liquidation.sol", "../tests/refined_analysis/natural_bugs/set1/EulerFinance/BaseModule.sol", "../tests/refined_analysis/natural_bugs/set1/EulerFinance/BaseIRM.sol", "../tests/refined_analysis/natural_bugs/set1/EulerFinance/Storage.sol", "../tests/refined_analysis/natural_bugs/set1/EulerFinance/ISwapRouterV2.sol", "../tests/refined_analysis/natural_bugs/set1/EulerFinance/Utils.sol", "../tests/refined_analysis/natural_bugs/set1/EulerFinance/EulDistributorOwner.sol", "../tests/refined_analysis/natural_bugs/set1/EulerFinance/Governance.sol", "../tests/refined_analysis/natural_bugs/set1/EulerFinance/DToken.sol", "../tests/refined_analysis/natural_bugs/set1/EulerFinance/SwapHandlerUniswapV3.sol", "../tests/refined_analysis/natural_bugs/set1/EulerFinance/SwapHandlerBase.sol", "../tests/refined_analysis/natural_bugs/set1/EulerFinance/Installer.sol", "../tests/refined_analysis/natural_bugs/set1/EulerFinance/TestModule.sol", "../tests/refined_analysis/natural_bugs/set1/EulerFinance/ISwapRouter02.sol", "../tests/refined_analysis/natural_bugs/set1/EulerFinance/FullMath.sol", "../tests/refined_analysis/natural_bugs/set1/EulerFinance/InvariantChecker.sol", "../tests/refined_analysis/natural_bugs/set1/EulerFinance/FlashLoanAdaptorTest.sol", "../tests/refined_analysis/natural_bugs/set1/EulerFinance/Markets.sol", "../tests/refined_analysis/natural_bugs/set1/EulerFinance/Constants.sol", "../tests/refined_analysis/natural_bugs/set1/EulerFinance/MockEACAggregatorProxy.sol", "../tests/refined_analysis/natural_bugs/set1/EulerFinance/EulerGeneralView.sol", "../tests/refined_analysis/natural_bugs/set1/EulerFinance/WSTETHOracle.sol", "../tests/refined_analysis/natural_bugs/set1/EulerFinance/FlashLoanAdaptorTest2.sol", "../tests/refined_analysis/natural_bugs/set1/EulerFinance/Euler.sol", "../tests/refined_analysis/natural_bugs/set1/EulerFinance/chainlinkBasedOracle.sol", "../tests/refined_analysis/natural_bugs/set1/EulerFinance/IUniswapV3SwapCallback.sol", "../tests/refined_analysis/natural_bugs/set1/EulerFinance/SwapHandler1Inch.sol", "../tests/refined_analysis/natural_bugs/set1/EulerFinance/MockUniswapV3Factory.sol", "../tests/refined_analysis/natural_bugs/set1/EulerFinance/MockStETH.sol", "../tests/refined_analysis/natural_bugs/set1/EulerFinance/JunkMarketsUpgrade.sol", "../tests/refined_analysis/natural_bugs/set1/EulerFinance/JunkETokenUpgrade.sol", "../tests/refined_analysis/natural_bugs/set1/EulerFinance/Base.sol", "../tests/refined_analysis/natural_bugs/set1/EulerFinance/RPow.sol", "../tests/refined_analysis/natural_bugs/set1/EulerFinance/SwapHub.sol", "../tests/refined_analysis/natural_bugs/set1/EulerFinance/MerkleProof.sol", "../tests/refined_analysis/natural_bugs/set1/EulerFinance/FlashLoanNativeTest.sol", "../tests/refined_analysis/natural_bugs/set1/EulerFinance/WBTCOracle.sol", "../tests/refined_analysis/natural_bugs/set1/EulerFinance/EulStakes.sol", "../tests/refined_analysis/natural_bugs/set1/EulerFinance/Interfaces.sol", "../tests/refined_analysis/natural_bugs/set1/EulerFinance/ISwapHandler.sol", "../tests/refined_analysis/natural_bugs/set1/EulerFinance/MockUniswapV3Pool.sol", "../tests/refined_analysis/natural_bugs/set1/EulerFinance/Events.sol", "../tests/refined_analysis/natural_bugs/set1/EulerFinance/SwapHandlerCombinedBase.sol", "../tests/refined_analysis/natural_bugs/set1/EulerFinance/SimpleUniswapPeriphery.sol", "../tests/refined_analysis/natural_bugs/set1/EulerFinance/EulDistributor.sol", "../tests/refined_analysis/natural_bugs/set1/EulerFinance/PToken.sol", "../tests/refined_analysis/natural_bugs/set1/EulerFinance/ISwapRouterV3.sol", "../tests/refined_analysis/natural_bugs/set1/EulerFinance/EulerSimpleLens.sol", "../tests/refined_analysis/natural_bugs/set1/EulerFinance/IRiskManager.sol", "../tests/refined_analysis/natural_bugs/set1/EulerFinance/FlashLoan.sol", "../tests/refined_analysis/natural_bugs/set1/EulerFinance/TickMath.sol", "../tests/refined_analysis/natural_bugs/set1/EulerFinance/TestERC20.sol", "../tests/refined_analysis/natural_bugs/set1/EulerFinance/Proxy.sol", "../tests/refined_analysis/natural_bugs/set1/monoSwap/ERC165.sol", "../tests/refined_analysis/natural_bugs/set1/monoSwap/SafeMath.sol", "../tests/refined_analysis/natural_bugs/set1/monoSwap/IWETH.sol", "../tests/refined_analysis/natural_bugs/set1/monoSwap/Address.sol", "../tests/refined_analysis/natural_bugs/set1/monoSwap/Context.sol", "../tests/refined_analysis/natural_bugs/set1/monoSwap/IMonoXPool.sol", "../tests/refined_analysis/natural_bugs/set1/monoSwap/IERC20.sol", "../tests/refined_analysis/natural_bugs/set1/monoSwap/IERC1155Receiver.sol", "../tests/refined_analysis/natural_bugs/set1/monoSwap/IERC1155.sol", "../tests/refined_analysis/natural_bugs/set1/monoSwap/MonoXLibrary.sol", "../tests/refined_analysis/natural_bugs/set1/monoSwap/IERC1155MetadataURI.sol", "../tests/refined_analysis/natural_bugs/set1/monoSwap/IERC165.sol", "../tests/refined_analysis/natural_bugs/set1/monoSwap/SafeERC20.sol", "../tests/refined_analysis/natural_bugs/set1/elasticSwap/ExchangeFactory.sol", "../tests/refined_analysis/natural_bugs/set1/elasticSwap/IExchangeFactory.sol", "../tests/refined_analysis/natural_bugs/set1/elasticSwap/ElasticMock.sol", "../tests/refined_analysis/natural_bugs/set1/elasticSwap/FeeOnTransferMock.sol", "../tests/refined_analysis/natural_bugs/set1/sherlockYields/ISherlock.sol", "../tests/refined_analysis/natural_bugs/set1/sherlockYields/SherDistributionManagerEmpty.sol", "../tests/refined_analysis/natural_bugs/set1/sherlockYields/AaveV2Strategy.sol", "../tests/refined_analysis/natural_bugs/set1/sherlockYields/MapleStrategy.sol", "../tests/refined_analysis/natural_bugs/set1/sherlockYields/STRATEGY.md", "../tests/refined_analysis/natural_bugs/set1/sherlockYields/TreeStrategyMock.sol", "../tests/refined_analysis/natural_bugs/set1/sherlockYields/EulerStrategy.sol", "../tests/refined_analysis/natural_bugs/set1/sherlockYields/PayableFail.sol", "../tests/refined_analysis/natural_bugs/set1/sherlockYields/SherlockClaimManagerTest.sol", "../tests/refined_analysis/natural_bugs/set1/sherlockYields/ManagerTest.sol", "../tests/refined_analysis/natural_bugs/set1/sherlockYields/README.md", "../tests/refined_analysis/natural_bugs/set1/sherlockYields/ERC20Mock.sol", "../tests/refined_analysis/natural_bugs/set1/sherlockYields/SherDistributionManager.sol", "../tests/refined_analysis/natural_bugs/set1/sherlockYields/AaveStrategy.sol", "../tests/refined_analysis/natural_bugs/set1/sherlockYields/TrueFiStrategy.sol", "../tests/refined_analysis/natural_bugs/set1/sherlockYields/SherlockProtocolManagerMock.sol", "../tests/refined_analysis/natural_bugs/set1/sherlockYields/ISherClaim.sol", "../tests/refined_analysis/natural_bugs/set1/sherlockYields/CallbackMock.sol", "../tests/refined_analysis/natural_bugs/set1/sherlockYields/PausableMock.sol", "../tests/refined_analysis/natural_bugs/set1/sherlockYields/SherDistributionMock.sol", "../tests/refined_analysis/natural_bugs/set1/sherlockYields/StrategyMockGoerli.sol", "../tests/refined_analysis/natural_bugs/set1/sherlockYields/Manager.sol", "../tests/refined_analysis/natural_bugs/set1/sherlockYields/SherClaim.sol", "../tests/refined_analysis/natural_bugs/set1/sherlockYields/SherlockTest.sol", "../tests/refined_analysis/natural_bugs/set1/sherlockYields/hardhat.config.js", "../tests/refined_analysis/natural_bugs/set1/sherlockYields/ISherlockStake.sol", "../tests/refined_analysis/natural_bugs/set1/sherlockYields/SherlockProtocolManagerTest.sol", "../tests/refined_analysis/natural_bugs/set1/sherlockYields/SherlockMock.sol", "../tests/refined_analysis/natural_bugs/set1/sherlockYields/ISherlockStrategy.sol", "../tests/refined_analysis/natural_bugs/set1/sherlockYields/StrategyMock.sol", "../tests/refined_analysis/natural_bugs/set1/sherlockYields/ISherlockPayout.sol", "../tests/refined_analysis/natural_bugs/set1/sherlockYields/TreeSplitterMock.sol", "../tests/refined_analysis/natural_bugs/set1/sherlockYields/package.json", "../tests/refined_analysis/natural_bugs/set1/sherlockYields/Import.sol", "../tests/refined_analysis/natural_bugs/set1/sherlockYields/MasterStrategy.sol", "../tests/refined_analysis/natural_bugs/set1/sherlockYields/AllowanceErrorTest.sol", "../tests/refined_analysis/natural_bugs/set1/sherlockYields/SherBuy.sol", "../tests/refined_analysis/natural_bugs/set1/sherlockYields/CompoundStrategy.sol", "../tests/refined_analysis/natural_bugs/set1/sherlockYields/ISherlockGov.sol", "../tests/refined_analysis/natural_bugs/set1/Melo/MelodityCrowdsale.sol", "../tests/refined_analysis/natural_bugs/set1/Melo/Melodity.sol", "../tests/refined_analysis/natural_bugs/set1/Melo/MelodityCrowdsale-v2.sol", "../tests/refined_analysis/natural_bugs/set1/Melo/Migrations.sol", "../tests/refined_analysis/natural_bugs/set1/AnySwap/AnyswapV4CallProxy.sol", "../tests/refined_analysis/natural_bugs/set1/AnySwap/Migrations.sol", "../tests/refined_analysis/natural_bugs/set1/LIFI/IXDaiBridge.sol", "../tests/refined_analysis/natural_bugs/set1/LIFI/CelerCircleBridgeFacet.sol", "../tests/refined_analysis/natural_bugs/set1/LIFI/AcrossFacet.sol", "../tests/refined_analysis/natural_bugs/set1/LIFI/ICircleBridgeProxy.sol", "../tests/refined_analysis/natural_bugs/set1/LIFI/IHyphenRouter.sol", "../tests/refined_analysis/natural_bugs/set1/LIFI/WithdrawFacet.sol", "../tests/refined_analysis/natural_bugs/set1/LIFI/IERC173.sol", "../tests/refined_analysis/natural_bugs/set1/LIFI/LiFiDiamondImmutable.sol", "../tests/refined_analysis/natural_bugs/set1/LIFI/FeeCollector.sol", "../tests/refined_analysis/natural_bugs/set1/LIFI/ServiceFeeCollector.sol", "../tests/refined_analysis/natural_bugs/set1/LIFI/AmarokFacet.sol", "../tests/refined_analysis/natural_bugs/set1/LIFI/Receiver.sol", "../tests/refined_analysis/natural_bugs/set1/LIFI/LibAccess.sol", "../tests/refined_analysis/natural_bugs/set1/LIFI/IMultichainToken.sol", "../tests/refined_analysis/natural_bugs/set1/LIFI/ExcessivelySafeCall.sol", "../tests/refined_analysis/natural_bugs/set1/LIFI/LibUtil.sol", "../tests/refined_analysis/natural_bugs/set1/LIFI/LibAsset.sol", "../tests/refined_analysis/natural_bugs/set1/LIFI/ISymbiosisMetaRouter.sol", "../tests/refined_analysis/natural_bugs/set1/LIFI/DeBridgeFacet.sol", "../tests/refined_analysis/natural_bugs/set1/LIFI/IXDaiBridgeL2.sol", "../tests/refined_analysis/natural_bugs/set1/LIFI/IOmniBridge.sol", "../tests/refined_analysis/natural_bugs/set1/LIFI/OwnershipFacet.sol", "../tests/refined_analysis/natural_bugs/set1/LIFI/LiFuelFeeCollector.sol", "../tests/refined_analysis/natural_bugs/set1/LIFI/IERC20Proxy.sol", "../tests/refined_analysis/natural_bugs/set1/LIFI/PeripheryRegistryFacet.sol", "../tests/refined_analysis/natural_bugs/set1/LIFI/DexManagerFacet.sol", "../tests/refined_analysis/natural_bugs/set1/LIFI/ISynapseRouter.sol", "../tests/refined_analysis/natural_bugs/set1/LIFI/MultichainFacet.sol", "../tests/refined_analysis/natural_bugs/set1/LIFI/IHopBridge.sol", "../tests/refined_analysis/natural_bugs/set1/LIFI/DeBridgeDlnFacet.sol", "../tests/refined_analysis/natural_bugs/set1/LIFI/ILiFi.sol", "../tests/refined_analysis/natural_bugs/set1/LIFI/HyphenFacet.sol", "../tests/refined_analysis/natural_bugs/set1/LIFI/DiamondCutFacet.sol", "../tests/refined_analysis/natural_bugs/set1/LIFI/ISquidMulticall.sol", "../tests/refined_analysis/natural_bugs/set1/LIFI/LIFuelFacet.sol", "../tests/refined_analysis/natural_bugs/set1/LIFI/PolygonBridgeFacet.sol", "../tests/refined_analysis/natural_bugs/set1/LIFI/AllBridgeFacet.sol", "../tests/refined_analysis/natural_bugs/set1/LIFI/HopFacetOptimized.sol", "../tests/refined_analysis/natural_bugs/set1/LIFI/GenericErrors.sol", "../tests/refined_analysis/natural_bugs/set1/LIFI/Executor.sol", "../tests/refined_analysis/natural_bugs/set1/LIFI/IStargateRouter.sol", "../tests/refined_analysis/natural_bugs/set1/LIFI/SynapseBridgeFacet.sol", "../tests/refined_analysis/natural_bugs/set1/LIFI/TransferrableOwnership.sol", "../tests/refined_analysis/natural_bugs/set1/LIFI/ICBridge.sol", "../tests/refined_analysis/natural_bugs/set1/LIFI/GenericSwapFacet.sol", "../tests/refined_analysis/natural_bugs/set1/LIFI/GnosisBridgeL2Facet.sol", "../tests/refined_analysis/natural_bugs/set1/LIFI/HopFacet.sol", "../tests/refined_analysis/natural_bugs/set1/LIFI/IDlnSource.sol", "../tests/refined_analysis/natural_bugs/set1/LIFI/SquidFacet.sol", "../tests/refined_analysis/natural_bugs/set1/LIFI/LibAllowList.sol", "../tests/refined_analysis/natural_bugs/set1/LIFI/IDiamondLoupe.sol", "../tests/refined_analysis/natural_bugs/set1/LIFI/LiFiDiamond.sol", "../tests/refined_analysis/natural_bugs/set1/LIFI/SymbiosisFacet.sol", "../tests/refined_analysis/natural_bugs/set1/LIFI/StandardizedCallFacet.sol", "../tests/refined_analysis/natural_bugs/set1/LIFI/DiamondLoupeFacet.sol", "../tests/refined_analysis/natural_bugs/set1/LIFI/LibSwap.sol", "../tests/refined_analysis/natural_bugs/set1/LIFI/IDeBridgeGate.sol", "../tests/refined_analysis/natural_bugs/set1/LIFI/LibBytes.sol", "../tests/refined_analysis/natural_bugs/set1/LIFI/ITokenMessenger.sol", "../tests/refined_analysis/natural_bugs/set1/LIFI/IL1StandardBridge.sol", "../tests/refined_analysis/natural_bugs/set1/LIFI/NonStandardSelectorsRegistryFacet.sol", "../tests/refined_analysis/natural_bugs/set1/LIFI/MakerTeleportFacet.sol", "../tests/refined_analysis/natural_bugs/set1/LIFI/CBridgeFacet.sol", "../tests/refined_analysis/natural_bugs/set1/LIFI/IGatewayRouter.sol", "../tests/refined_analysis/natural_bugs/set1/LIFI/ThorSwapFacet.sol", "../tests/refined_analysis/natural_bugs/set1/LIFI/IThorSwap.sol", "../tests/refined_analysis/natural_bugs/set1/LIFI/ITeleportGateway.sol", "../tests/refined_analysis/natural_bugs/set1/LIFI/ArbitrumBridgeFacet.sol", "../tests/refined_analysis/natural_bugs/set1/LIFI/IMultichainRouter.sol", "../tests/refined_analysis/natural_bugs/set1/LIFI/CelerIMFacetImmutable.sol", "../tests/refined_analysis/natural_bugs/set1/LIFI/ISquidRouter.sol", "../tests/refined_analysis/natural_bugs/set1/LIFI/AccessManagerFacet.sol", "../tests/refined_analysis/natural_bugs/set1/LIFI/IDiamondCut.sol", "../tests/refined_analysis/natural_bugs/set1/LIFI/IExecutor.sol", "../tests/refined_analysis/natural_bugs/set1/LIFI/CelerIMFacetMutable.sol", "../tests/refined_analysis/natural_bugs/set1/LIFI/GasRebateDistributor.sol", "../tests/refined_analysis/natural_bugs/set1/LIFI/ERC20Proxy.sol", "../tests/refined_analysis/natural_bugs/set1/LIFI/IERC165.sol", "../tests/refined_analysis/natural_bugs/set1/LIFI/ReentrancyGuard.sol", "../tests/refined_analysis/natural_bugs/set1/LIFI/Validatable.sol", "../tests/refined_analysis/natural_bugs/set1/LIFI/CelerIMFacetBase.sol", "../tests/refined_analysis/natural_bugs/set1/LIFI/IAcrossSpokePool.sol", "../tests/refined_analysis/natural_bugs/set1/LIFI/IConnextHandler.sol", "../tests/refined_analysis/natural_bugs/set1/LIFI/GnosisBridgeFacet.sol", "../tests/refined_analysis/natural_bugs/set1/LIFI/IRootChainManager.sol", "../tests/refined_analysis/natural_bugs/set1/LIFI/StargateFacet.sol", "../tests/refined_analysis/natural_bugs/set1/LIFI/IAllBridge.sol", "../tests/refined_analysis/natural_bugs/set1/LIFI/TokenWrapper.sol", "../tests/refined_analysis/natural_bugs/set1/LIFI/CircleBridgeFacet.sol", "../tests/refined_analysis/natural_bugs/set1/LIFI/OmniBridgeFacet.sol", "../tests/refined_analysis/natural_bugs/set1/LIFI/OptimismBridgeFacet.sol", "../tests/refined_analysis/natural_bugs/set1/LIFI/ITransactionManager.sol", "../tests/refined_analysis/natural_bugs/set1/Bancor/TestLogic.sol", "../tests/refined_analysis/natural_bugs/set1/Bancor/TestTokenLibrary.sol", "../tests/refined_analysis/natural_bugs/set1/Bancor/Utils.sol", "../tests/refined_analysis/natural_bugs/set1/Bancor/ERC20Burnable.sol", "../tests/refined_analysis/natural_bugs/set1/Bancor/BlockNumber.sol", "../tests/refined_analysis/natural_bugs/set1/Bancor/TestStrategies.sol", "../tests/refined_analysis/natural_bugs/set1/Bancor/TestOnlyProxyDelegate.sol", "../tests/refined_analysis/natural_bugs/set1/Bancor/TestPools.sol", "../tests/refined_analysis/natural_bugs/set1/Bancor/Constants.sol", "../tests/refined_analysis/natural_bugs/set1/Bancor/Voucher.sol", "../tests/refined_analysis/natural_bugs/set1/Bancor/TestMathEx.sol", "../tests/refined_analysis/natural_bugs/set1/Bancor/OnlyProxyDelegate.sol", "../tests/refined_analysis/natural_bugs/set1/Bancor/TestTime.sol", "../tests/refined_analysis/natural_bugs/set1/Bancor/Time.sol", "../tests/refined_analysis/natural_bugs/set1/Bancor/TestSafeERC20Ex.sol", "../tests/refined_analysis/natural_bugs/set1/Bancor/Upgradeable.sol", "../tests/refined_analysis/natural_bugs/set1/Bancor/TestERC20Burnable.sol", "../tests/refined_analysis/natural_bugs/set1/Bancor/TokenLibrary.sol", "../tests/refined_analysis/natural_bugs/set1/Bancor/TestERC20Token.sol", "../tests/refined_analysis/natural_bugs/set1/Bancor/TestBlockNumber.sol", "../tests/refined_analysis/natural_bugs/set1/Bancor/Token.sol", "../tests/refined_analysis/natural_bugs/set1/Bancor/Pools.sol", "../tests/refined_analysis/natural_bugs/set1/Bancor/MathEx.sol", "../tests/refined_analysis/natural_bugs/set1/Bancor/TestUpgradeable.sol", "../tests/refined_analysis/natural_bugs/set1/Bancor/SafeERC20Ex.sol", "../tests/refined_analysis/natural_bugs/set1/dfxFinance/MockAggregator.sol", "../tests/refined_analysis/natural_bugs/set1/dfxFinance/Storage.sol", "../tests/refined_analysis/natural_bugs/set1/dfxFinance/CadcToUsdAssimilator.sol", "../tests/refined_analysis/natural_bugs/set1/dfxFinance/IOracle.sol", "../tests/refined_analysis/natural_bugs/set1/dfxFinance/MerkleProver.sol", "../tests/refined_analysis/natural_bugs/set1/dfxFinance/CurveMath.sol", "../tests/refined_analysis/natural_bugs/set1/dfxFinance/CurveFactory.sol", "../tests/refined_analysis/natural_bugs/set1/dfxFinance/XsgdToUsdAssimilator.sol", "../tests/refined_analysis/natural_bugs/set1/dfxFinance/NzdsToUsdAssimilator.sol", "../tests/refined_analysis/natural_bugs/set1/dfxFinance/Orchestrator.sol", "../tests/refined_analysis/natural_bugs/set1/dfxFinance/MockToken.sol", "../tests/refined_analysis/natural_bugs/set1/dfxFinance/Assimilators.sol", "../tests/refined_analysis/natural_bugs/set1/dfxFinance/EursToUsdAssimilator.sol", "../tests/refined_analysis/natural_bugs/set1/dfxFinance/IFreeFromUpTo.sol", "../tests/refined_analysis/natural_bugs/set1/dfxFinance/IAssimilator.sol", "../tests/refined_analysis/natural_bugs/set1/dfxFinance/XidrToUsdAssimilator.sol", "../tests/refined_analysis/natural_bugs/set1/dfxFinance/UsdcToUsdAssimilator.sol", "../tests/refined_analysis/natural_bugs/set1/dfxFinance/Router.sol", "../tests/refined_analysis/natural_bugs/set1/dfxFinance/UnsafeMath64x64.sol", "../tests/refined_analysis/natural_bugs/set1/dfxFinance/ViewLiquidity.sol", "../tests/refined_analysis/natural_bugs/set1/dfxFinance/GyenToUsdAssimilator.sol", "../tests/refined_analysis/natural_bugs/set1/beanStalk/IBlockBasefee.sol", "../tests/refined_analysis/natural_bugs/set1/beanStalk/IDelegation.sol", "../tests/refined_analysis/natural_bugs/set1/beanStalk/IPipeline.sol", "../tests/refined_analysis/natural_bugs/set1/beanStalk/WellPrice.sol", "../tests/refined_analysis/natural_bugs/set1/beanStalk/ISwapRouter.sol", "../tests/refined_analysis/natural_bugs/set1/beanStalk/MockBlockBasefee.sol", "../tests/refined_analysis/natural_bugs/set1/beanStalk/MockWETH.sol", "../tests/refined_analysis/natural_bugs/set1/beanStalk/MockUpgradeInitDiamond.sol", "../tests/refined_analysis/natural_bugs/set1/beanStalk/LibPolynomial.sol", "../tests/refined_analysis/natural_bugs/set1/beanStalk/IWETH.sol", "../tests/refined_analysis/natural_bugs/set1/beanStalk/LibUnripe.sol", "../tests/refined_analysis/natural_bugs/set1/beanStalk/LibIncentive.sol", "../tests/refined_analysis/natural_bugs/set1/beanStalk/IBeanstalkTransfer.sol", "../tests/refined_analysis/natural_bugs/set1/beanStalk/IProxyAdmin.sol", "../tests/refined_analysis/natural_bugs/set1/beanStalk/MockWsteth.sol", "../tests/refined_analysis/natural_bugs/set1/beanStalk/LibSafeMath128.sol", "../tests/refined_analysis/natural_bugs/set1/beanStalk/ILegacySilo.sol", "../tests/refined_analysis/natural_bugs/set1/beanStalk/LibAppStorage.sol", "../tests/refined_analysis/natural_bugs/set1/beanStalk/IBean.sol", "../tests/refined_analysis/natural_bugs/set1/beanStalk/IUSDC.sol", "../tests/refined_analysis/natural_bugs/set1/beanStalk/LibSafeMath32.sol", "../tests/refined_analysis/natural_bugs/set1/beanStalk/IBeanstalk.sol", "../tests/refined_analysis/natural_bugs/set1/beanStalk/MockFertilizer.sol", "../tests/refined_analysis/natural_bugs/set1/beanStalk/LibPRBMath.sol", "../tests/refined_analysis/natural_bugs/set1/beanStalk/MockERC721.sol", "../tests/refined_analysis/natural_bugs/set1/beanStalk/BeanstalkPrice.sol", "../tests/refined_analysis/natural_bugs/set1/beanStalk/MockInitDiamond.sol", "../tests/refined_analysis/natural_bugs/set1/beanStalk/Decimal.sol", "../tests/refined_analysis/natural_bugs/set1/beanStalk/LibDiamond.sol", "../tests/refined_analysis/natural_bugs/set1/beanStalk/MockToken.sol", "../tests/refined_analysis/natural_bugs/set1/beanStalk/LibFertilizer.sol", "../tests/refined_analysis/natural_bugs/set1/beanStalk/P.sol", "../tests/refined_analysis/natural_bugs/set1/beanStalk/Pipeline.sol", "../tests/refined_analysis/natural_bugs/set1/beanStalk/IDiamondLoupe.sol", "../tests/refined_analysis/natural_bugs/set1/beanStalk/UsdOracle.sol", "../tests/refined_analysis/natural_bugs/set1/beanStalk/MockContract.sol", "../tests/refined_analysis/natural_bugs/set1/beanStalk/IERC4494.sol", "../tests/refined_analysis/natural_bugs/set1/beanStalk/ICurve.sol", "../tests/refined_analysis/natural_bugs/set1/beanStalk/LibFunction.sol", "../tests/refined_analysis/natural_bugs/set1/beanStalk/MockERC1155.sol", "../tests/refined_analysis/natural_bugs/set1/beanStalk/Bean.sol", "../tests/refined_analysis/natural_bugs/set1/beanStalk/LibSafeMathSigned128.sol", "../tests/refined_analysis/natural_bugs/set1/beanStalk/LibBytes.sol", "../tests/refined_analysis/natural_bugs/set1/beanStalk/IERC1155Receiver.sol", "../tests/refined_analysis/natural_bugs/set1/beanStalk/Depot.sol", "../tests/refined_analysis/natural_bugs/set1/beanStalk/LibStrings.sol", "../tests/refined_analysis/natural_bugs/set1/beanStalk/AppStorageOld.sol", "../tests/refined_analysis/natural_bugs/set1/beanStalk/MockMetadataFacet.sol", "../tests/refined_analysis/natural_bugs/set1/beanStalk/LibChop.sol", "../tests/refined_analysis/natural_bugs/set1/beanStalk/MockSiloToken.sol", "../tests/refined_analysis/natural_bugs/set1/beanStalk/UnripeBean.sol", "../tests/refined_analysis/natural_bugs/set1/beanStalk/UnripeBean3Crv.sol", "../tests/refined_analysis/natural_bugs/set1/beanStalk/Diamond.sol", "../tests/refined_analysis/natural_bugs/set1/beanStalk/IDiamondCut.sol", "../tests/refined_analysis/natural_bugs/set1/beanStalk/IERC165.sol", "../tests/refined_analysis/natural_bugs/set1/beanStalk/ReentrancyGuard.sol", "../tests/refined_analysis/natural_bugs/set1/beanStalk/LibCases.sol", "../tests/refined_analysis/natural_bugs/set1/beanStalk/MockDiamond.sol", "../tests/refined_analysis/natural_bugs/set1/beanStalk/LibBytes64.sol", "../tests/refined_analysis/natural_bugs/set1/beanStalk/IFertilizer.sol", "../tests/refined_analysis/natural_bugs/set1/beanStalk/LibSafeMathSigned96.sol", "../tests/refined_analysis/natural_bugs/set1/beanStalk/CurvePrice.sol", "../tests/refined_analysis/natural_bugs/set1/beanStalk/IQuoter.sol", "../tests/refined_analysis/natural_bugs/set1/beanStalk/LibBarnRaise.sol", "../tests/refined_analysis/natural_bugs/set1/beanStalk/MockMetadataERC1155.sol", "../tests/refined_analysis/natural_bugs/set1/NXUSD/AVAXOracle.sol", "../tests/refined_analysis/natural_bugs/set1/NXUSD/TimePower.sol", "../tests/refined_analysis/natural_bugs/set1/NXUSD/ProxyOracle.sol", "../tests/refined_analysis/natural_bugs/set1/NXUSD/BentoBoxMock.sol", "../tests/refined_analysis/natural_bugs/set1/NXUSD/ChainlinkOracle.sol", "../tests/refined_analysis/natural_bugs/set1/NXUSD/Multicall.sol", "../tests/refined_analysis/natural_bugs/set1/NXUSD/av3CRVOracle.sol", "../tests/refined_analysis/natural_bugs/set1/NXUSD/BNBOracle.sol", "../tests/refined_analysis/natural_bugs/set1/NXUSD/SpellPower.sol", "../tests/refined_analysis/natural_bugs/set1/NXUSD/SpellOracle.sol", "../tests/refined_analysis/natural_bugs/set1/NXUSD/LowGasSafeMath.sol", "../tests/refined_analysis/natural_bugs/set1/NXUSD/AvaxUsdtOracle.sol", "../tests/refined_analysis/natural_bugs/set1/NXUSD/WETH.sol", "../tests/refined_analysis/natural_bugs/set1/NXUSD/SpellTWAPOracle.sol", "../tests/refined_analysis/natural_bugs/set1/NXUSD/CvxWrapper.sol", "../tests/refined_analysis/natural_bugs/set1/NXUSD/PermissionManager.sol", "../tests/refined_analysis/natural_bugs/set1/NXUSD/WethOracle.sol", "../tests/refined_analysis/natural_bugs/set1/NXUSD/OracleMock.sol", "../tests/refined_analysis/natural_bugs/set1/NXUSD/YearnChainlinkOracle.sol", "../tests/refined_analysis/natural_bugs/set1/NXUSD/ReturnFalseERC20Mock.sol", "../tests/refined_analysis/natural_bugs/set1/NXUSD/ETHOracle.sol", "../tests/refined_analysis/natural_bugs/set1/NXUSD/RenBTCCrvOracle.sol", "../tests/refined_analysis/natural_bugs/set1/NXUSD/ERC20Mock.sol", "../tests/refined_analysis/natural_bugs/set1/NXUSD/MinimalTimeLock.sol", "../tests/refined_analysis/natural_bugs/set1/NXUSD/xJOEOracle.sol", "../tests/refined_analysis/natural_bugs/set1/NXUSD/SushiSwapPairMock.sol", "../tests/refined_analysis/natural_bugs/set1/NXUSD/PeggedOracle.sol", "../tests/refined_analysis/natural_bugs/set1/NXUSD/IKashiPair.sol", "../tests/refined_analysis/natural_bugs/set1/NXUSD/YVIronBankOracle.sol", "../tests/refined_analysis/natural_bugs/set1/NXUSD/FullMath.sol", "../tests/refined_analysis/natural_bugs/set1/NXUSD/USTOracle.sol", "../tests/refined_analysis/natural_bugs/set1/NXUSD/WXTOracle.sol", "../tests/refined_analysis/natural_bugs/set1/NXUSD/CakeOracle.sol", "../tests/refined_analysis/natural_bugs/set1/NXUSD/FixedPoint.sol", "../tests/refined_analysis/natural_bugs/set1/NXUSD/CompositeOracle.sol", "../tests/refined_analysis/natural_bugs/set1/NXUSD/xSUSHIOracle.sol", "../tests/refined_analysis/natural_bugs/set1/NXUSD/IOracle.sol", "../tests/refined_analysis/natural_bugs/set1/NXUSD/JOEOracle.sol", "../tests/refined_analysis/natural_bugs/set1/NXUSD/AvaxLPOracle.sol", "../tests/refined_analysis/natural_bugs/set1/NXUSD/USDCOracle.sol", "../tests/refined_analysis/natural_bugs/set1/NXUSD/aUSTOracle.sol", "../tests/refined_analysis/natural_bugs/set1/NXUSD/WETH9Mock.sol", "../tests/refined_analysis/natural_bugs/set1/NXUSD/ICheckpointToken.sol", "../tests/refined_analysis/natural_bugs/set1/NXUSD/ISwapper.sol", "../tests/refined_analysis/natural_bugs/set1/NXUSD/BTCOracle.sol", "../tests/refined_analysis/natural_bugs/set1/NXUSD/SimpleSLPTWAP1Oracle.sol", "../tests/refined_analysis/natural_bugs/set1/NXUSD/DAI.sol", "../tests/refined_analysis/natural_bugs/set1/NXUSD/AGLDUniV3Oracle.sol", "../tests/refined_analysis/natural_bugs/set1/NXUSD/sSpellOracle.sol", "../tests/refined_analysis/natural_bugs/set1/NXUSD/dQuickOracle.sol", "../tests/refined_analysis/natural_bugs/set1/NXUSD/SimpleSLPTWAP0Oracle.sol", "../tests/refined_analysis/natural_bugs/set1/NXUSD/WbtcOracle.sol", "../tests/refined_analysis/natural_bugs/set1/NXUSD/LINKOracle.sol", "../tests/refined_analysis/natural_bugs/set1/NXUSD/wMEMOOracle.sol", "../tests/refined_analysis/natural_bugs/set1/NXUSD/NXUSD.sol", "../tests/refined_analysis/natural_bugs/set1/NXUSD/wOHMLinkOracle.sol", "../tests/refined_analysis/natural_bugs/set1/NXUSD/BandOracleFTM.sol", "../tests/refined_analysis/natural_bugs/set1/NXUSD/WBTC.sol", "../tests/refined_analysis/natural_bugs/set1/NXUSD/YVCrvStETHOracle.sol", "../tests/refined_analysis/natural_bugs/set1/NXUSD/Spell.sol", "../tests/refined_analysis/natural_bugs/set1/NXUSD/Babylonian.sol", "../tests/refined_analysis/natural_bugs/set1/NXUSD/3CryptoOracle.sol", "../tests/refined_analysis/natural_bugs/set1/NXUSD/ExternalFunctionMock.sol", "../tests/refined_analysis/natural_bugs/set1/NXUSD/LPChainlinkOracle.sol", "../tests/refined_analysis/natural_bugs/set1/NXUSD/DAIOracle.sol", "../tests/refined_analysis/natural_bugs/set1/NXUSD/3CrvOracle.sol", "../tests/refined_analysis/natural_bugs/set1/NXUSD/ISwapperGeneric.sol", "../tests/refined_analysis/natural_bugs/set1/NXUSD/CompoundOracle.sol", "../tests/refined_analysis/natural_bugs/set1/NXUSD/JLPWAVAXUSDCOracle.sol", "../tests/refined_analysis/natural_bugs/set1/NXUSD/sSpell.sol", "../tests/refined_analysis/natural_bugs/set1/NXUSD/ICEOracleFTM.sol", "../tests/refined_analysis/natural_bugs/set1/NXUSD/SimpleStrategyMock.sol", "../tests/refined_analysis/natural_bugs/set1/NXUSD/WhitelistManager.sol", "../tests/refined_analysis/natural_bugs/set1/NXUSD/MimAvaxOracle.sol", "../tests/refined_analysis/natural_bugs/set1/NXUSD/SushiSwapFactoryMock.sol", "../tests/refined_analysis/natural_bugs/set1/NXUSD/RevertingERC20Mock.sol", "../tests/refined_analysis/natural_bugs/set1/NXUSD/SignedSafeMath.sol", "../tests/refined_analysis/natural_bugs/set1/NXUSD/UniswapV2Library.sol", "../tests/refined_analysis/natural_bugs/set1/NXUSD/ALCXOracle.sol", "../tests/refined_analysis/natural_bugs/set1/NXUSD/sAVAXOracle.sol", "../tests/refined_analysis/natural_bugs/set1/Dao/IsolatedMarginLiquidation.sol", "../tests/refined_analysis/natural_bugs/set1/Dao/Admin.sol", "../tests/refined_analysis/natural_bugs/set1/Dao/IsolatedMarginAccounts.sol", "../tests/refined_analysis/natural_bugs/set1/Dao/Roles.sol", "../tests/refined_analysis/natural_bugs/set1/Dao/RoleAware.sol", "../tests/refined_analysis/natural_bugs/set1/Dao/HourlyBondSubscriptionLending.sol", "../tests/refined_analysis/natural_bugs/set1/Dao/IncentivizedHolder.sol", "../tests/refined_analysis/natural_bugs/set1/Dao/BaseLending.sol", "../tests/refined_analysis/natural_bugs/set1/Dao/UniswapStyleLib.sol", "../tests/refined_analysis/natural_bugs/set1/Dao/IsolatedMarginTrading.sol", "../tests/refined_analysis/natural_bugs/set1/Dao/BondLending.sol", "../tests/refined_analysis/natural_bugs/set1/Dao/Fund.sol", "../tests/refined_analysis/natural_bugs/set1/Dao/PriceAware.sol"], "bugs": ["", "privilege escalation\ninconsistent state update\natomicity violation\n", "cross bridge inconsistency\n", "privilege escalation\ninconsistent state update\natomicity violation\n", "inconsistent state update\n", "privilege escalation\ninconsistent state update\natomicity violation\n", "privilege escalation\nbusiness logic flaw\ninconsistent state update\natomicity violation\n", "inconsistent state update\natomicity violation\n", "privilege escalation\nbusiness logic flaw\ninconsistent state update\n", "privilege escalation\ninconsistent state update\n", "privilege escalation\ninconsistent state update\n", "privilege escalation\nbusiness logic flaw\ninconsistent state update\n", "inconsistent state update\natomicity violation\ncross bridge inconsistency\n", "cross bridge inconsistency\n", "privilege escalation\ninconsistent state update\natomicity violation\n", "privilege escalation\ninconsistent state update\n", "privilege escalation\ninconsistent state update\n", "inconsistent state update\natomicity violation\ncross bridge inconsistency\n", "cross bridge inconsistency\n", "inconsistent state update\natomicity violation\ncross bridge inconsistency\n", "inconsistent state update\ncross bridge inconsistency\n", "privilege escalation\ninconsistent state update\n", "business logic flaw\ninconsistent state update\n", "", "inconsistent state update\n", "price manipulation\n", "inconsistent state update\natomicity violation\n", "price manipulation\nbusiness logic flaw\natomicity violation\n", "privilege escalation\ninconsistent state update\ncross bridge inconsistency\n", "privilege escalation\ninconsistent state update\natomicity violation\n", "privilege escalation\ninconsistent state update\natomicity violation\ncross bridge inconsistency\n", "privilege escalation\ninconsistent state update\n", "inconsistent state update\ncross bridge inconsistency\n", "price manipulation\ncross bridge inconsistency\n", "price manipulation\ninconsistent state update\ncross bridge inconsistency\n", "inconsistent state update\ncross bridge inconsistency\n", "privilege escalation\ninconsistent state update\n", "inconsistent state update\natomicity violation\n", "privilege escalation\ninconsistent state update\n", "", "privilege escalation\ninconsistent state update\natomicity violation\ncross bridge inconsistency\n", "price manipulation\ninconsistent state update\n", "privilege escalation\ninconsistent state update\n", "inconsistent state update\natomicity violation\n", "privilege escalation\ninconsistent state update\n", "privilege escalation\ninconsistent state update\n", "inconsistent state update\n", "price manipulation\ninconsistent state update\n", "inconsistent state update\natomicity violation\n", "business logic flaw\ninconsistent state update\n", "privilege escalation\ninconsistent state update\natomicity violation\n", "privilege escalation\ninconsistent state update\n", "inconsistent state update\ncross bridge inconsistency\n", "", "privilege escalation\nbusiness logic flaw\ninconsistent state update\natomicity violation\n", "inconsistent state update\n", "", "inconsistent state update\natomicity violation\ncross bridge inconsistency\n", "inconsistent state update\ncross bridge inconsistency\n", "privilege escalation\ninconsistent state update\ncross bridge inconsistency\n", "privilege escalation\ninconsistent state update\natomicity violation\n", "inconsistent state update\ncross bridge inconsistency\n", "inconsistent state update\natomicity violation\ncross bridge inconsistency\n", "privilege escalation\ncross bridge inconsistency\n", "business logic flaw\ninconsistent state update\n", "cross bridge inconsistency\n", "business logic flaw\ninconsistent state update\n", "privilege escalation\ninconsistent state update\n", "cross bridge inconsistency\n", "privilege escalation\ninconsistent state update\n", "cross bridge inconsistency\n", "business logic flaw\ninconsistent state update\natomicity violation\ncross bridge inconsistency\n", "inconsistent state update\natomicity violation\n", "", "inconsistent state update\natomicity violation\n", "business logic flaw\ninconsistent state update\n", "privilege escalation\ninconsistent state update\n", "business logic flaw\ninconsistent state update\natomicity violation\ncross bridge inconsistency\n", "inconsistent state update\natomicity violation\n", "", "", "inconsistent state update\natomicity violation\n", "privilege escalation\ninconsistent state update\n", "inconsistent state update\natomicity violation\n", "", "", "inconsistent state update\natomicity violation\n", "", "privilege escalation\nbusiness logic flaw\ninconsistent state update\n", "business logic flaw\ninconsistent state update\natomicity violation\ncross bridge inconsistency\n", "inconsistent state update\natomicity violation\ncross bridge inconsistency\n", "inconsistent state update\ncross bridge inconsistency\n", "inconsistent state update\ncross bridge inconsistency\n", "inconsistent state update\natomicity violation\ncross bridge inconsistency\n", "business logic flaw\natomicity violation\n", "cross bridge inconsistency\n", "business logic flaw\ninconsistent state update\ncross bridge inconsistency\n", "inconsistent state update\ncross bridge inconsistency\n", "inconsistent state update\ncross bridge inconsistency\n", "inconsistent state update\natomicity violation\n", "privilege escalation\ninconsistent state update\natomicity violation\n", "inconsistent state update\natomicity violation\n", "inconsistent state update\natomicity violation\n", "privilege escalation\ninconsistent state update\natomicity violation\n", "inconsistent state update\ncross bridge inconsistency\n", "price manipulation\ninconsistent state update\ncross bridge inconsistency\n", "inconsistent state update\natomicity violation\n", "", "", "inconsistent state update\natomicity violation\n", "", "business logic flaw\ninconsistent state update\natomicity violation\n", "business logic flaw\ninconsistent state update\natomicity violation\ncross bridge inconsistency\n", "inconsistent state update\natomicity violation\ncross bridge inconsistency\n", "privilege escalation\ninconsistent state update\natomicity violation\n", "business logic flaw\ninconsistent state update\natomicity violation\ncross bridge inconsistency\n", "atomicity violation\ncross bridge inconsistency\n", "privilege escalation\ninconsistent state update\n", "price manipulation\ninconsistent state update\n", "inconsistent state update\n", "privilege escalation\natomicity violation\ncross bridge inconsistency\n", "privilege escalation\ninconsistent state update\natomicity violation\n", "privilege escalation\ninconsistent state update\n", "privilege escalation\ninconsistent state update\n", "", "privilege escalation\ninconsistent state update\n", "business logic flaw\n", "privilege escalation\ninconsistent state update\n", "inconsistent state update\natomicity violation\n", "privilege escalation\ninconsistent state update\n", "price manipulation\nprivilege escalation\nbusiness logic flaw\ninconsistent state update\natomicity violation\ncross bridge inconsistency\n", "price manipulation\ncross bridge inconsistency\n", "inconsistent state update\natomicity violation\ncross bridge inconsistency\n", "privilege escalation\ninconsistent state update\ncross bridge inconsistency\n", "price manipulation\nbusiness logic flaw\n", "price manipulation\ninconsistent state update\n", "inconsistent state update\natomicity violation\ncross bridge inconsistency\n", "inconsistent state update\natomicity violation\n", "", "inconsistent state update\ncross bridge inconsistency\n", "business logic flaw\ninconsistent state update\n", "cross bridge inconsistency\n", "inconsistent state update\natomicity violation\ncross bridge inconsistency\n", "inconsistent state update\ncross bridge inconsistency\n", "price manipulation\nprivilege escalation\nbusiness logic flaw\ninconsistent state update\natomicity violation\ncross bridge inconsistency\n", "privilege escalation\nbusiness logic flaw\ninconsistent state update\natomicity violation\ncross bridge inconsistency\n", "price manipulation\ninconsistent state update\ncross bridge inconsistency\n", "privilege escalation\ninconsistent state update\natomicity violation\n", "inconsistent state update\natomicity violation\ncross bridge inconsistency\n", "privilege escalation\ninconsistent state update\natomicity violation\n", "inconsistent state update\natomicity violation\ncross bridge inconsistency\n", "inconsistent state update\n", "inconsistent state update\ncross bridge inconsistency\n", "privilege escalation\ninconsistent state update\n", "privilege escalation\nbusiness logic flaw\ninconsistent state update\natomicity violation\n", "", "privilege escalation\ninconsistent state update\n", "inconsistent state update\n", "business logic flaw\ninconsistent state update\natomicity violation\ncross bridge inconsistency\n", "privilege escalation\ninconsistent state update\n", "business logic flaw\natomicity violation\n", "inconsistent state update\ncross bridge inconsistency\n", "inconsistent state update\natomicity violation\n", "business logic flaw\ninconsistent state update\natomicity violation\ncross bridge inconsistency\n", "", "privilege escalation\ninconsistent state update\n", "inconsistent state update\ncross bridge inconsistency\n", "privilege escalation\nbusiness logic flaw\ninconsistent state update\n", "business logic flaw\ninconsistent state update\n", "price manipulation\nprivilege escalation\nbusiness logic flaw\ninconsistent state update\natomicity violation\ncross bridge inconsistency\n", "price manipulation\ncross bridge inconsistency\n", "privilege escalation\ninconsistent state update\natomicity violation\n", "inconsistent state update\natomicity violation\ncross bridge inconsistency\n", "business logic flaw\ninconsistent state update\n", "", "inconsistent state update\natomicity violation\n", "inconsistent state update\ncross bridge inconsistency\n", "price manipulation\nprivilege escalation\nbusiness logic flaw\ninconsistent state update\natomicity violation\ncross bridge inconsistency\n", "business logic flaw\ninconsistent state update\natomicity violation\n", "", "inconsistent state update\natomicity violation\n", "price manipulation\ninconsistent state update\n", "", "privilege escalation\nbusiness logic flaw\ninconsistent state update\n", "privilege escalation\nbusiness logic flaw\n", "price manipulation\nprivilege escalation\nbusiness logic flaw\ninconsistent state update\natomicity violation\n", "inconsistent state update\ncross bridge inconsistency\n", "inconsistent state update\ncross bridge inconsistency\n", "", "", "inconsistent state update\natomicity violation\ncross bridge inconsistency\n", "price manipulation\nbusiness logic flaw\ninconsistent state update\n", "privilege escalation\ninconsistent state update\n", "privilege escalation\ninconsistent state update\ncross bridge inconsistency\n", "inconsistent state update\natomicity violation\ncross bridge inconsistency\n", "price manipulation\nprivilege escalation\nbusiness logic flaw\ninconsistent state update\natomicity violation\ncross bridge inconsistency\n", "inconsistent state update\ncross bridge inconsistency\n", "price manipulation\ninconsistent state update\n", "inconsistent state update\natomicity violation\ncross bridge inconsistency\n", "business logic flaw\natomicity violation\n", "", "privilege escalation\n", "business logic flaw\ninconsistent state update\ncross bridge inconsistency\n", "inconsistent state update\natomicity violation\n", "privilege escalation\ninconsistent state update\n", "", "privilege escalation\ninconsistent state update\n", "privilege escalation\ninconsistent state update\natomicity violation\n", "privilege escalation\nbusiness logic flaw\ninconsistent state update\natomicity violation\ncross bridge inconsistency\n", "privilege escalation\ninconsistent state update\n", "privilege escalation\ninconsistent state update\n", "inconsistent state update\natomicity violation\ncross bridge inconsistency\n", "", "inconsistent state update\n", "business logic flaw\ninconsistent state update\natomicity violation\n", "privilege escalation\ninconsistent state update\natomicity violation\n", "inconsistent state update\natomicity violation\ncross bridge inconsistency\n", "inconsistent state update\natomicity violation\n", "inconsistent state update\ncross bridge inconsistency\n", "privilege escalation\ninconsistent state update\natomicity violation\n", "inconsistent state update\ncross bridge inconsistency\n", "privilege escalation\ninconsistent state update\n", "business logic flaw\ninconsistent state update\natomicity violation\n", "business logic flaw\ninconsistent state update\ncross bridge inconsistency\n", "", "cross bridge inconsistency\n", "atomicity violation\ncross bridge inconsistency\n", "cross bridge inconsistency\n", "privilege escalation\ninconsistent state update\n", "", "inconsistent state update\natomicity violation\n", "business logic flaw\natomicity violation\ncross bridge inconsistency\n", "", "inconsistent state update\ncross bridge inconsistency\n", "business logic flaw\ninconsistent state update\natomicity violation\n", "privilege escalation\ninconsistent state update\n", "inconsistent state update\natomicity violation\n", "privilege escalation\ninconsistent state update\n", "privilege escalation\ninconsistent state update\n", "inconsistent state update\ncross bridge inconsistency\n", "inconsistent state update\natomicity violation\ncross bridge inconsistency\n", "", "price manipulation\nprivilege escalation\nbusiness logic flaw\ninconsistent state update\natomicity violation\ncross bridge inconsistency\n", "inconsistent state update\natomicity violation\n", "inconsistent state update\n", "business logic flaw\ninconsistent state update\natomicity violation\n", "inconsistent state update\n", "inconsistent state update\natomicity violation\ncross bridge inconsistency\n", "privilege escalation\ninconsistent state update\ncross bridge inconsistency\n", "privilege escalation\ninconsistent state update\natomicity violation\n", "business logic flaw\ninconsistent state update\n", "inconsistent state update\natomicity violation\ncross bridge inconsistency\n", "cross bridge inconsistency\n", "privilege escalation\ninconsistent state update\natomicity violation\n", "privilege escalation\nbusiness logic flaw\ninconsistent state update\n", "inconsistent state update\natomicity violation\ncross bridge inconsistency\n", "inconsistent state update\ncross bridge inconsistency\n", "privilege escalation\nbusiness logic flaw\ninconsistent state update\natomicity violation\ncross bridge inconsistency\n", "business logic flaw\natomicity violation\n", "inconsistent state update\natomicity violation\n", "inconsistent state update\natomicity violation\n", "inconsistent state update\natomicity violation\ncross bridge inconsistency\n", "inconsistent state update\natomicity violation\n", "privilege escalation\ninconsistent state update\n", "inconsistent state update\ncross bridge inconsistency\n", "", "inconsistent state update\natomicity violation\ncross bridge inconsistency\n", "privilege escalation\nbusiness logic flaw\ninconsistent state update\n", "inconsistent state update\natomicity violation\n", "privilege escalation\ninconsistent state update\natomicity violation\n", "inconsistent state update\ncross bridge inconsistency\n", "inconsistent state update\n", "inconsistent state update\ncross bridge inconsistency\n", "inconsistent state update\ncross bridge inconsistency\n", "privilege escalation\nbusiness logic flaw\ninconsistent state update\natomicity violation\ncross bridge inconsistency\n", "inconsistent state update\natomicity violation\ncross bridge inconsistency\n", "price manipulation\n", "inconsistent state update\natomicity violation\n", "", "inconsistent state update\natomicity violation\n", "privilege escalation\ninconsistent state update\n", "inconsistent state update\n", "cross bridge inconsistency\n", "inconsistent state update\natomicity violation\ncross bridge inconsistency\n", "cross bridge inconsistency\n", "inconsistent state update\n", "cross bridge inconsistency\n", "privilege escalation\ninconsistent state update\n", "inconsistent state update\natomicity violation\ncross bridge inconsistency\n", "", "", "inconsistent state update\ncross bridge inconsistency\n", "", "price manipulation\ninconsistent state update\ncross bridge inconsistency\n", "price manipulation\n", "cross bridge inconsistency\n", "inconsistent state update\ncross bridge inconsistency\n", "privilege escalation\ninconsistent state update\natomicity violation\n", "privilege escalation\ninconsistent state update\n", "privilege escalation\nbusiness logic flaw\ninconsistent state update\n", "inconsistent state update\natomicity violation\n", "", "cross bridge inconsistency\n", "", "business logic flaw\ninconsistent state update\natomicity violation\n", "privilege escalation\nbusiness logic flaw\ninconsistent state update\natomicity violation\ncross bridge inconsistency\n", "inconsistent state update\natomicity violation\ncross bridge inconsistency\n", "business logic flaw\ninconsistent state update\natomicity violation\n", "inconsistent state update\natomicity violation\n", "price manipulation\ninconsistent state update\natomicity violation\n", "privilege escalation\nbusiness logic flaw\ninconsistent state update\natomicity violation\n", "business logic flaw\ninconsistent state update\n", "inconsistent state update\natomicity violation\ncross bridge inconsistency\n", "inconsistent state update\n", "inconsistent state update\n", "price manipulation\nprivilege escalation\ninconsistent state update\n", "", "", "inconsistent state update\natomicity violation\ncross bridge inconsistency\n", "privilege escalation\ninconsistent state update\n", "", "inconsistent state update\natomicity violation\n", "", "", "business logic flaw\ninconsistent state update\natomicity violation\n", "business logic flaw\ninconsistent state update\natomicity violation\n", "cross bridge inconsistency\n", "inconsistent state update\ncross bridge inconsistency\n", "price manipulation\nbusiness logic flaw\ninconsistent state update\ncross bridge inconsistency\n", "", "business logic flaw\ninconsistent state update\n", "price manipulation\n", "privilege escalation\ninconsistent state update\natomicity violation\n", "inconsistent state update\natomicity violation\n", "privilege escalation\ninconsistent state update\n", "inconsistent state update\natomicity violation\ncross bridge inconsistency\n", "inconsistent state update\ncross bridge inconsistency\n", "inconsistent state update\ncross bridge inconsistency\n", "privilege escalation\nbusiness logic flaw\ninconsistent state update\n", "atomicity violation\ncross bridge inconsistency\n", "inconsistent state update\ncross bridge inconsistency\n", "inconsistent state update\ncross bridge inconsistency\n", "privilege escalation\ninconsistent state update\ncross bridge inconsistency\n", "", "inconsistent state update\n", "cross bridge inconsistency\n", "", "privilege escalation\ninconsistent state update\natomicity violation\n", "inconsistent state update\natomicity violation\ncross bridge inconsistency\n", "inconsistent state update\n", "inconsistent state update\natomicity violation\ncross bridge inconsistency\n", "privilege escalation\nbusiness logic flaw\ninconsistent state update\natomicity violation\n", "privilege escalation\ninconsistent state update\natomicity violation\n", "inconsistent state update\natomicity violation\n", "", "cross bridge inconsistency\n", "privilege escalation\ninconsistent state update\n", "inconsistent state update\natomicity violation\ncross bridge inconsistency\n", "privilege escalation\ninconsistent state update\n", "", "cross bridge inconsistency\n", "privilege escalation\ninconsistent state update\n", "inconsistent state update\ncross bridge inconsistency\n", "inconsistent state update\ncross bridge inconsistency\n", "inconsistent state update\natomicity violation\n", "privilege escalation\ninconsistent state update\natomicity violation\n", "privilege escalation\ninconsistent state update\n", "inconsistent state update\n", "privilege escalation\ninconsistent state update\natomicity violation\n", "privilege escalation\ninconsistent state update\natomicity violation\n", "inconsistent state update\natomicity violation\ncross bridge inconsistency\n", "privilege escalation\ninconsistent state update\n", "price manipulation\nbusiness logic flaw\ninconsistent state update\n", "privilege escalation\ninconsistent state update\n", "inconsistent state update\n", "", "inconsistent state update\natomicity violation\ncross bridge inconsistency\n", "", "price manipulation\ncross bridge inconsistency\n", "inconsistent state update\natomicity violation\ncross bridge inconsistency\n", "price manipulation\nprivilege escalation\nbusiness logic flaw\ninconsistent state update\natomicity violation\ncross bridge inconsistency\n", "business logic flaw\ninconsistent state update\natomicity violation\n", "inconsistent state update\n", "cross bridge inconsistency\n", "inconsistent state update\ncross bridge inconsistency\n", "inconsistent state update\natomicity violation\n", "cross bridge inconsistency\n", "privilege escalation\ninconsistent state update\n", "privilege escalation\ninconsistent state update\n", "price manipulation\ninconsistent state update\n", "inconsistent state update\ncross bridge inconsistency\n", "privilege escalation\ninconsistent state update\n", "price manipulation\nprivilege escalation\nbusiness logic flaw\ninconsistent state update\natomicity violation\ncross bridge inconsistency\n", "", "inconsistent state update\n", "inconsistent state update\ncross bridge inconsistency\n", "price manipulation\ninconsistent state update\n", "privilege escalation\ninconsistent state update\natomicity violation\n", "privilege escalation\ninconsistent state update\n", "inconsistent state update\natomicity violation\n", "", "privilege escalation\ninconsistent state update\n", "", "privilege escalation\ninconsistent state update\n", "privilege escalation\ninconsistent state update\natomicity violation\n", "", "inconsistent state update\ncross bridge inconsistency\n", "inconsistent state update\ncross bridge inconsistency\n", "", "privilege escalation\ninconsistent state update\n", "business logic flaw\ninconsistent state update\n", "privilege escalation\ninconsistent state update\natomicity violation\n", "inconsistent state update\natomicity violation\n", "", "privilege escalation\ninconsistent state update\n", "business logic flaw\ninconsistent state update\natomicity violation\ncross bridge inconsistency\n", "", "privilege escalation\ninconsistent state update\natomicity violation\n", "inconsistent state update\natomicity violation\n", "privilege escalation\ninconsistent state update\n", "inconsistent state update\n", "privilege escalation\ninconsistent state update\ncross bridge inconsistency\n", "", "privilege escalation\ninconsistent state update\n", "", "business logic flaw\ninconsistent state update\natomicity violation\n", "", "inconsistent state update\n", "", "inconsistent state update\n", "privilege escalation\ninconsistent state update\n", "inconsistent state update\natomicity violation\n", "inconsistent state update\natomicity violation\ncross bridge inconsistency\n", "privilege escalation\nbusiness logic flaw\ninconsistent state update\n", "price manipulation\ncross bridge inconsistency\n", "privilege escalation\ninconsistent state update\natomicity violation\n", "inconsistent state update\ncross bridge inconsistency\n", "price manipulation\natomicity violation\n", "price manipulation\nprivilege escalation\nbusiness logic flaw\ninconsistent state update\natomicity violation\ncross bridge inconsistency\n", "privilege escalation\ninconsistent state update\n", "privilege escalation\ninconsistent state update\n", "inconsistent state update\ncross bridge inconsistency\n", "privilege escalation\ninconsistent state update\natomicity violation\ncross bridge inconsistency\n", "privilege escalation\ninconsistent state update\natomicity violation\n", "privilege escalation\ninconsistent state update\natomicity violation\n", "inconsistent state update\n", "business logic flaw\ninconsistent state update\natomicity violation\ncross bridge inconsistency\n", "privilege escalation\ninconsistent state update\n", "inconsistent state update\natomicity violation\n", "business logic flaw\ninconsistent state update\n", "inconsistent state update\n", "privilege escalation\ninconsistent state update\n", "business logic flaw\ninconsistent state update\ncross bridge inconsistency\n", "privilege escalation\ninconsistent state update\n", "inconsistent state update\n", "privilege escalation\nbusiness logic flaw\natomicity violation\ncross bridge inconsistency\n", "price manipulation\natomicity violation\n", "inconsistent state update\natomicity violation\ncross bridge inconsistency\n", "inconsistent state update\natomicity violation\ncross bridge inconsistency\n", "inconsistent state update\n", "privilege escalation\ninconsistent state update\natomicity violation\ncross bridge inconsistency\n", "privilege escalation\ninconsistent state update\n", "privilege escalation\ninconsistent state update\natomicity violation\n", "cross bridge inconsistency\n", "", "price manipulation\ncross bridge inconsistency\n", "", "inconsistent state update\natomicity violation\n", "privilege escalation\ninconsistent state update\natomicity violation\n", "", "inconsistent state update\ncross bridge inconsistency\n", "inconsistent state update\natomicity violation\ncross bridge inconsistency\n", "privilege escalation\ninconsistent state update\n", "privilege escalation\ninconsistent state update\n", "business logic flaw\ninconsistent state update\natomicity violation\ncross bridge inconsistency\n", "inconsistent state update\ncross bridge inconsistency\n", "inconsistent state update\natomicity violation\ncross bridge inconsistency\n", "inconsistent state update\natomicity violation\n", "", "", "privilege escalation\ninconsistent state update\n", "privilege escalation\nbusiness logic flaw\natomicity violation\ncross bridge inconsistency\n", "inconsistent state update\natomicity violation\n", "", "privilege escalation\ninconsistent state update\natomicity violation\n", "privilege escalation\ninconsistent state update\natomicity violation\ncross bridge inconsistency\n", "inconsistent state update\natomicity violation\ncross bridge inconsistency\n", "", "privilege escalation\ninconsistent state update\n", "inconsistent state update\natomicity violation\n", "privilege escalation\ninconsistent state update\natomicity violation\n", "cross bridge inconsistency\n", "inconsistent state update\natomicity violation\n", "privilege escalation\nbusiness logic flaw\ninconsistent state update\n", "price manipulation\ncross bridge inconsistency\n", "inconsistent state update\natomicity violation\n", "privilege escalation\ninconsistent state update\natomicity violation\n", "privilege escalation\ninconsistent state update\n", "business logic flaw\ninconsistent state update\natomicity violation\ncross bridge inconsistency\n", "inconsistent state update\natomicity violation\n", "inconsistent state update\natomicity violation\ncross bridge inconsistency\n", "privilege escalation\ninconsistent state update\n", "inconsistent state update\ncross bridge inconsistency\n", "inconsistent state update\natomicity violation\n", "price manipulation\ninconsistent state update\n", "business logic flaw\ninconsistent state update\natomicity violation\ncross bridge inconsistency\n", "inconsistent state update\natomicity violation\n", "inconsistent state update\natomicity violation\n", "", "privilege escalation\ninconsistent state update\natomicity violation\n", "price manipulation\nprivilege escalation\nbusiness logic flaw\ninconsistent state update\natomicity violation\n", "", "inconsistent state update\ncross bridge inconsistency\n", "inconsistent state update\natomicity violation\ncross bridge inconsistency\n", "inconsistent state update\natomicity violation\n", "price manipulation\ncross bridge inconsistency\n", "privilege escalation\ninconsistent state update\natomicity violation\n", "business logic flaw\ninconsistent state update\n", "inconsistent state update\natomicity violation\n", "privilege escalation\ninconsistent state update\natomicity violation\n", "", "inconsistent state update\natomicity violation\n", "cross bridge inconsistency\n", "privilege escalation\ninconsistent state update\ncross bridge inconsistency\n", "", "", "privilege escalation\ninconsistent state update\natomicity violation\n", "business logic flaw\ninconsistent state update\natomicity violation\ncross bridge inconsistency\n", "privilege escalation\n", "", "business logic flaw\natomicity violation\n", "inconsistent state update\ncross bridge inconsistency\n", "privilege escalation\ninconsistent state update\n", "inconsistent state update\natomicity violation\ncross bridge inconsistency\n", "", "privilege escalation\ninconsistent state update\n", "privilege escalation\nbusiness logic flaw\ninconsistent state update\natomicity violation\n"]}