gitextract_67c2mjes/

├── .github/
│   └── workflows/
│       └── test.yml
├── .gitignore
├── .gitmodules
├── LICENSE
├── README.md
├── foundry.toml
├── src/
│   ├── 01-naive-receiver/
│   │   ├── FlashLoanReceiver.sol
│   │   └── NaiveReceiverLenderPool.sol
│   ├── 02-unstoppable/
│   │   ├── ReceiverUnstoppable.sol
│   │   └── UnstoppableLender.sol
│   ├── 03-proposal/
│   │   └── Proposal.sol
│   ├── 04-voting-nft/
│   │   ├── VotingNft.sol
│   │   └── VotingNftForFuzz.sol
│   ├── 05-token-sale/
│   │   └── TokenSale.sol
│   ├── 06-rarely-false/
│   │   └── RarelyFalse.sol
│   ├── 07-byte-battle/
│   │   └── ByteBattle.sol
│   ├── 08-omni-protocol/
│   │   ├── IRM.sol
│   │   ├── OmniOracle.sol
│   │   ├── OmniPool.sol
│   │   ├── OmniToken.sol
│   │   ├── OmniTokenNoBorrow.sol
│   │   ├── SubAccount.sol
│   │   ├── WETHGateway.sol
│   │   ├── WithUnderlying.sol
│   │   ├── interfaces/
│   │   │   ├── IBandReference.sol
│   │   │   ├── IChainlinkAggregator.sol
│   │   │   ├── ICustomOmniOracle.sol
│   │   │   ├── IIRM.sol
│   │   │   ├── IOmniOracle.sol
│   │   │   ├── IOmniPool.sol
│   │   │   ├── IOmniToken.sol
│   │   │   ├── IOmniTokenBase.sol
│   │   │   ├── IOmniTokenNoBorrow.sol
│   │   │   ├── IWETH9.sol
│   │   │   └── IWithUnderlying.sol
│   │   └── oracles/
│   │       └── WstETHCustomOracle.sol
│   ├── 09-vesting/
│   │   └── Vesting.sol
│   ├── 10-vesting-ext/
│   │   └── VestingExt.sol
│   ├── 11-op-reg/
│   │   └── OperatorRegistry.sol
│   ├── 12-liquidate-dos/
│   │   └── LiquidateDos.sol
│   ├── 13-stability-pool/
│   │   └── StabilityPool.sol
│   ├── 14-priority/
│   │   └── Priority.sol
│   ├── MockERC20.sol
│   ├── TestToken.sol
│   └── TestToken2.sol
└── test/
    ├── 01-naive-receiver/
    │   ├── NaiveReceiverAdvancedEchidna.t.sol
    │   ├── NaiveReceiverAdvancedEchidna.yaml
    │   ├── NaiveReceiverAdvancedFoundry.t.sol
    │   ├── NaiveReceiverAdvancedMedusa.json
    │   ├── NaiveReceiverBasicEchidna.t.sol
    │   ├── NaiveReceiverBasicEchidna.yaml
    │   ├── NaiveReceiverBasicFoundry.t.sol
    │   └── NaiveReceiverBasicMedusa.json
    ├── 02-unstoppable/
    │   ├── UnstoppableBasicEchidna.t.sol
    │   ├── UnstoppableBasicEchidna.yaml
    │   ├── UnstoppableBasicFoundry.t.sol
    │   ├── UnstoppableBasicMedusa.json
    │   ├── certora.conf
    │   └── certora.spec
    ├── 03-proposal/
    │   ├── Properties.sol
    │   ├── ProposalCryticTester.sol
    │   ├── ProposalCryticTesterToFoundry.sol
    │   ├── Setup.sol
    │   ├── certora.conf
    │   ├── certora.spec
    │   ├── echidna.yaml
    │   └── medusa.json
    ├── 04-voting-nft/
    │   ├── Properties.sol
    │   ├── Setup.sol
    │   ├── VotingNftCryticTester.sol
    │   ├── VotingNftCryticToFoundry.sol
    │   ├── certora.conf
    │   ├── certora.spec
    │   ├── echidna.yaml
    │   └── medusa.json
    ├── 05-token-sale/
    │   ├── TokenSaleAdvancedEchidna.t.sol
    │   ├── TokenSaleAdvancedEchidna.yaml
    │   ├── TokenSaleAdvancedFoundry.t.sol
    │   ├── TokenSaleBasicEchidna.t.sol
    │   ├── TokenSaleBasicEchidna.yaml
    │   ├── TokenSaleBasicFoundry.t.sol
    │   ├── TokenSaleBasicMedusa.json
    │   ├── certora.conf
    │   └── certora.spec
    ├── 06-rarely-false/
    │   ├── RarelyFalseCryticTester.sol
    │   ├── RarelyFalseCryticToFoundry.sol
    │   ├── TargetFunctions.sol
    │   ├── certora.conf
    │   ├── certora.spec
    │   ├── echidna.yaml
    │   └── medusa.json
    ├── 07-byte-battle/
    │   ├── ByteBattleCryticTester.sol
    │   ├── ByteBattleCryticToFoundry.sol
    │   ├── TargetFunctions.sol
    │   ├── certora.conf
    │   ├── certora.spec
    │   ├── echidna.yaml
    │   └── medusa.json
    ├── 08-omni-protocol/
    │   ├── MockOracle.sol
    │   ├── OmniAdvancedEchidna.yaml
    │   ├── OmniAdvancedFoundry.t.sol
    │   ├── OmniAdvancedMedusa.json
    │   └── OmniAdvancedMedusa.t.sol
    ├── 09-vesting/
    │   ├── Properties.sol
    │   ├── Setup.sol
    │   ├── TargetFunctions.sol
    │   ├── VestingCryticTester.sol
    │   ├── VestingCryticToFoundry.sol
    │   ├── certora.conf
    │   ├── certora.spec
    │   ├── echidna.yaml
    │   └── medusa.json
    ├── 10-vesting-ext/
    │   ├── Properties.sol
    │   ├── Setup.sol
    │   ├── TargetFunctions.sol
    │   ├── VestingExtCryticTester.sol
    │   ├── VestingExtCryticToFoundry.sol
    │   ├── certora.conf
    │   ├── certora.spec
    │   ├── echidna.yaml
    │   └── medusa.json
    ├── 11-op-reg/
    │   ├── OpRegCryticTester.sol
    │   ├── OpRegCryticToFoundry.sol
    │   ├── Properties.sol
    │   ├── Setup.sol
    │   ├── TargetFunctions.sol
    │   ├── certora.conf
    │   ├── certora.spec
    │   ├── echidna.yaml
    │   └── medusa.json
    ├── 12-liquidate-dos/
    │   ├── LiquidateDosCryticTester.sol
    │   ├── LiquidateDosCryticToFoundry.sol
    │   ├── Properties.sol
    │   ├── Setup.sol
    │   ├── TargetFunctions.sol
    │   ├── echidna.yaml
    │   └── medusa.json
    ├── 13-stability-pool/
    │   ├── Properties.sol
    │   ├── Setup.sol
    │   ├── StabilityPoolCryticTester.sol
    │   ├── StabilityPoolCryticToFoundry.sol
    │   ├── TargetFunctions.sol
    │   ├── certora.conf
    │   ├── certora.spec
    │   ├── echidna.yaml
    │   └── medusa.json
    ├── 14-priority/
    │   ├── PriorityCryticTester.sol
    │   ├── PriorityCryticToFoundry.sol
    │   ├── Properties.sol
    │   ├── Setup.sol
    │   ├── TargetFunctions.sol
    │   ├── certora.conf
    │   ├── certora.spec
    │   ├── echidna.yaml
    │   └── medusa.json
    └── TestUtils.sol