ExVul

Ethereum

0xf73ab00aee56c789f856be3e1ba63e42e508c09e

Decompiled Solidity recovered from this contract's runtime bytecode. Best-effort reconstruction — confirm behaviour against on-chain state.

Decompilation outputEthereum · 0xf73ab00a…e508c09e10.1 KB172.3 s
Share
This result is permanently available athttps://decompiler.exvul.com/ethereum/0xf73ab00aee56c789f856be3e1ba63e42e508c09e
139 lines · Click a variable or keyword to highlight its references · Click a line number to copy its link; Shift-click to copy a block link
//decompiled by exvvul decompiler tool contact@exvul.com https://x.com/exvulsec// Decompilation incomplete: symbolic execution reached a configured deadline for 9 of 9 entry points (170000 ms contract budget): 402d267d, 47e7ef24, 50ed494e, 767081d1, 7e7f0cde, ce96cb77, f3e0ffbf, f3fef3a3, fd9c6188// SPDX-License-Identifier: MIT  >=0.8.0;  {    ()  {        // Synthetic compatibility routes preserve original selectors for unresolved names.         ((.. >= 4) && (. == 0x50ed494e)) {            // Route to Unknown_50ed494e(uint256,uint256,bytes) after replacing only msg.sig.            ((0xae14c53a));            ;        }         ((.. >= 4) && (. == 0x7e7f0cde)) {            // Route to Unknown_7e7f0cde(uint256,uint256,bytes) after replacing only msg.sig.            ((0x5fba7e5d));            ;        }        ();    }             ( ,  ,   )   {         (!(0x402d267d == (.[0] >> 0xe0)) && !(0x47e7ef24 == (.[0] >> 0xe0)) && !(0x50ed494e == (.[0] >> 0xe0)) && !(0x767081d1 == (.[0] >> 0xe0)) && !(0x7e7f0cde == (.[0] >> 0xe0)) && !(0xce96cb77 == (.[0] >> 0xe0)) && !(0xf3e0ffbf == (.[0] >> 0xe0)) && !(0xf3fef3a3 == (.[0] >> 0xe0)) && 0xfd9c6188 == (.[0] >> 0xe0) && !(.) && !((.. - 0x04) < 0x60)) {            ((0xffffffffffffffffffffffffffffffffffffffff & ) == );            ((0xffffffffffffffffffffffffffffffffffffffff & ) == );             (!(. > 0xffffffffffffffff)) {                (((0x04 + ) + 0x1f) < ..);            }        }    }         ( ,  )   {         (!(0x402d267d == (.[0] >> 0xe0)) && !(0x47e7ef24 == (.[0] >> 0xe0)) && !(0x50ed494e == (.[0] >> 0xe0)) && !(0x767081d1 == (.[0] >> 0xe0)) && !(0x7e7f0cde == (.[0] >> 0xe0)) && !(0xce96cb77 == (.[0] >> 0xe0)) && !(0xf3e0ffbf == (.[0] >> 0xe0)) && !(0xf3fef3a3 == (.[0] >> 0xe0)) && 0xfd9c6188 == (.[0] >> 0xe0) && !(.) && !((.. - 0x04) < 0x60)) {            ((0xffffffffffffffffffffffffffffffffffffffff & ) == );            ((0xffffffffffffffffffffffffffffffffffffffff & ) == );             (!(. > 0xffffffffffffffff)) {                (((0x04 + ) + 0x1f) < ..);            }        }    }         ( )   {         (!(0x402d267d == (.[0] >> 0xe0)) && !(0x47e7ef24 == (.[0] >> 0xe0)) && !(0x50ed494e == (.[0] >> 0xe0)) && !(0x767081d1 == (.[0] >> 0xe0)) && !(0x7e7f0cde == (.[0] >> 0xe0)) && !(0xce96cb77 == (.[0] >> 0xe0)) && !(0xf3e0ffbf == (.[0] >> 0xe0)) && !(0xf3fef3a3 == (.[0] >> 0xe0)) && 0xfd9c6188 == (.[0] >> 0xe0) && !(.) && !((.. - 0x04) < 0x60)) {            ((0xffffffffffffffffffffffffffffffffffffffff & ) == );            ((0xffffffffffffffffffffffffffffffffffffffff & ) == );             (!(. > 0xffffffffffffffff)) {                (((0x04 + ) + 0x1f) < ..);            }        }    }         ( )   {         (!(0x402d267d == (.[0] >> 0xe0)) && !(0x47e7ef24 == (.[0] >> 0xe0)) && !(0x50ed494e == (.[0] >> 0xe0)) && !(0x767081d1 == (.[0] >> 0xe0)) && !(0x7e7f0cde == (.[0] >> 0xe0)) && !(0xce96cb77 == (.[0] >> 0xe0)) && !(0xf3e0ffbf == (.[0] >> 0xe0)) && !(0xf3fef3a3 == (.[0] >> 0xe0)) && 0xfd9c6188 == (.[0] >> 0xe0) && !(.) && !((.. - 0x04) < 0x60)) {            ((0xffffffffffffffffffffffffffffffffffffffff & ) == );            ((0xffffffffffffffffffffffffffffffffffffffff & ) == );             (!(. > 0xffffffffffffffff)) {                (((0x04 + ) + 0x1f) < ..);            }        }    }         ( ,  ,   )   {         (!(0x402d267d == (.[0] >> 0xe0)) && !(0x47e7ef24 == (.[0] >> 0xe0)) && !(0x50ed494e == (.[0] >> 0xe0)) && !(0x767081d1 == (.[0] >> 0xe0)) && !(0x7e7f0cde == (.[0] >> 0xe0)) && !(0xce96cb77 == (.[0] >> 0xe0)) && !(0xf3e0ffbf == (.[0] >> 0xe0)) && !(0xf3fef3a3 == (.[0] >> 0xe0)) && 0xfd9c6188 == (.[0] >> 0xe0) && !(.) && !((.. - 0x04) < 0x60)) {            ((0xffffffffffffffffffffffffffffffffffffffff & ) == );            ((0xffffffffffffffffffffffffffffffffffffffff & ) == );             (!(. > 0xffffffffffffffff)) {                (((0x04 + ) + 0x1f) < ..);            }        }    }         ( ,  ,   )   {         (!(0x402d267d == (.[0] >> 0xe0)) && !(0x47e7ef24 == (.[0] >> 0xe0)) && !(0x50ed494e == (.[0] >> 0xe0)) && !(0x767081d1 == (.[0] >> 0xe0)) && !(0x7e7f0cde == (.[0] >> 0xe0)) && !(0xce96cb77 == (.[0] >> 0xe0)) && !(0xf3e0ffbf == (.[0] >> 0xe0)) && !(0xf3fef3a3 == (.[0] >> 0xe0)) && 0xfd9c6188 == (.[0] >> 0xe0) && !(.) && !((.. - 0x04) < 0x60)) {            ((0xffffffffffffffffffffffffffffffffffffffff & ) == );            ((0xffffffffffffffffffffffffffffffffffffffff & ) == );             (!(. > 0xffffffffffffffff)) {                (((0x04 + ) + 0x1f) < ..);            }        }    }         ( ,  ,   )   {         (!(0x402d267d == (.[0] >> 0xe0)) && !(0x47e7ef24 == (.[0] >> 0xe0)) && !(0x50ed494e == (.[0] >> 0xe0)) && !(0x767081d1 == (.[0] >> 0xe0)) && !(0x7e7f0cde == (.[0] >> 0xe0)) && !(0xce96cb77 == (.[0] >> 0xe0)) && !(0xf3e0ffbf == (.[0] >> 0xe0)) && !(0xf3fef3a3 == (.[0] >> 0xe0)) && 0xfd9c6188 == (.[0] >> 0xe0) && !(.) && !((.. - 0x04) < 0x60)) {            ((0xffffffffffffffffffffffffffffffffffffffff & ) == );            ((0xffffffffffffffffffffffffffffffffffffffff & ) == );             (!(. > 0xffffffffffffffff)) {                (((0x04 + ) + 0x1f) < ..);            }        }    }         ( ,  )   {         (!(0x402d267d == (.[0] >> 0xe0)) && !(0x47e7ef24 == (.[0] >> 0xe0)) && !(0x50ed494e == (.[0] >> 0xe0)) && !(0x767081d1 == (.[0] >> 0xe0)) && !(0x7e7f0cde == (.[0] >> 0xe0)) && !(0xce96cb77 == (.[0] >> 0xe0)) && !(0xf3e0ffbf == (.[0] >> 0xe0)) && !(0xf3fef3a3 == (.[0] >> 0xe0)) && 0xfd9c6188 == (.[0] >> 0xe0) && !(.) && !((.. - 0x04) < 0x60)) {            ((0xffffffffffffffffffffffffffffffffffffffff & ) == );            ((0xffffffffffffffffffffffffffffffffffffffff & ) == );             (!(. > 0xffffffffffffffff)) {                (((0x04 + ) + 0x1f) < ..);            }        }    }         ( )   {         (!(0x402d267d == (.[0] >> 0xe0)) && !(0x47e7ef24 == (.[0] >> 0xe0)) && !(0x50ed494e == (.[0] >> 0xe0)) && !(0x767081d1 == (.[0] >> 0xe0)) && !(0x7e7f0cde == (.[0] >> 0xe0)) && !(0xce96cb77 == (.[0] >> 0xe0)) && !(0xf3e0ffbf == (.[0] >> 0xe0)) && !(0xf3fef3a3 == (.[0] >> 0xe0)) && 0xfd9c6188 == (.[0] >> 0xe0) && !(.) && !((.. - 0x04) < 0x60)) {            ((0xffffffffffffffffffffffffffffffffffffffff & ) == );            ((0xffffffffffffffffffffffffffffffffffffffff & ) == );             (!(. > 0xffffffffffffffff)) {                (((0x04 + ) + 0x1f) < ..);            }        }    }         ( )  {         {              := (0x40)            (, 0, ())            (, (((), 0x00000000ffffffffffffffffffffffffffffffffffffffffffffffffffffffff), (224, (, 0xffffffff))))              := ((), (), , (), 0, 0)              := ()            (, 0, )                          0 { (, ) }             { (, ) }        }    }        // Note: This selector table is synthetic and is not part of the original Solidity source.    // It records the recovered selector-to-signature mapping without executable behavior.        // 0x402d267d => maxDeposit(address)    // 0x47e7ef24 => deposit(address,uint256)    // 0x50ed494e => Unknown_50ed494e(uint256,uint256,bytes)    // 0x767081d1 => claim(address,address,bytes)    // 0x7e7f0cde => Unknown_7e7f0cde(uint256,uint256,bytes)    // 0xce96cb77 => maxWithdraw(address)    // 0xf3e0ffbf => totalAssets(address)    // 0xf3fef3a3 => withdraw(address,uint256)    // 0xfd9c6188 => reinvest(address,address,bytes)}