Ethereum

0xc81fd894c0ace037d133af4886550ac8133568e8

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

Decompilation outputEthereum · 0xc81fd894…133568e85.9 KB65.5 s
Share
177 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 1 of 13 entry points (170000 ms contract budget): 5ef24314// SPDX-License-Identifier: MIT  >=0.8.0;  {      ; // STORAGE[0x0]      ; // STORAGE[0x1]    [] ; // STORAGE[0x2]    ( => )  ; // STORAGE[0x3]    ( => )  ; // STORAGE[0x4]    ( => )  ; // STORAGE[0x5]         ();     ();     ();     ();     ();     ();     (, );     ();     ();     ( )   {         ("memory-safe") {            (0x00, (224, 0x4e487b71))            (0x04, )            (0x00, 0x24)        }    }    ()   {    }        ()  {        // Synthetic compatibility routes preserve original selectors for unresolved names.         ((.. >= 4) && (. == 0x86343746)) {            // Route to Unknown_86343746(address) after replacing only msg.sig.            ((0x3635208d));            ;        }        ();    }             ()  {        (. == , ());        [] = 0;         = ( & (0xffffffffffffffffffffffffffffffffffffffff)) | (0xffffffffffffffffffffffff0000000000000000000000000000000000000000 & );        [] = 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff;         ();         = (0);    }         ( )  {        (. == , ());        ( != , ());        [] = . + 0x7080;         (, []);    }         ( )  {        (. == , ());        ( != , ());        [] = 0;         ();    }         ()    ( ) {         ;         =  + (0x20 + (0x20 * .));          = .;          = 0x02;          = 0x20 + ;         (. != 0x0) {              = 0x20 + (0x20 + );              = 0x01 + (.(0x02));             () {                 ((0x20 + ) + (0x20 * .) <= ) {                    ;                }                 = 0x20 + ;                 = 0x01 + ;            }             = ;             = ;             = (0x20 + ) + (0x20 * .);        }          = 0;          =  + 0x40;          =  + 0x20;         () {             (!( < .)) {                ;            }             = 0x01 + ;             =  + 0x20;             = 0x20 + ;        }         .(0x20, .);    }         ([]  , []  )   {         (. > 0xffffffffffffffff) (65);         ;         ((( + (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0 & ((0x20 + (. << 0x05)) + 0x1f))) < ) | (( + (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0 & ((0x20 + (. << 0x05)) + 0x1f))) > 0xffffffffffffffff)) (65);         =  + (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0 & ((0x20 + (. << 0x05)) + 0x1f));        []  = ;        (!(((0x04 + ) + (. << 0x05) + 0x20) > ..));         (!(((0x04 + ) + 0x20) < ((0x04 + ) + (. << 0x05) + 0x20))) {             (!(. <= 0xffffffffffffffff)) (65);             ((( + (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0 & ((0x20 + (. << 0x05)) + 0x1f))) < ) | (( + (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0 & ((0x20 + (. << 0x05)) + 0x1f))) > 0xffffffffffffffff)) (65);             =  + (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0 & ((0x20 + (. << 0x05)) + 0x1f));            []  = ;            (!(((0x04 + ) + (. << 0x05) + 0x20) > ..));             (((0x04 + ) + 0x20) < ((0x04 + ) + (. << 0x05) + 0x20)) {                (!(( + 0x20) > 0xffffffffffffffff));                (.. > ((0x04 + ) + ( + 0x20) + 0x3f));                 (!(( + ( + 0x20) + 0x20) <= 0xffffffffffffffff)) (65);                 ((( + (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0 & ((0x20 + (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0 & (0x1f + ( + ( + 0x20) + 0x20)))) + 0x1f))) < ) | (( + (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0 & ((0x20 + (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0 & (0x1f + ( + ( + 0x20) + 0x20)))) + 0x1f))) > 0xffffffffffffffff)) (65);                 =  + (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0 & ((0x20 + (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0 & (0x1f + ( + ( + 0x20) + 0x20)))) + 0x1f));                []  = ( + ( + 0x20)) + 0x20;                (!(.. < (( + ( + 0x20) + 0x20) + ((0x04 + ) + ( + 0x20)) + 0x40)));            }            (. < [.], ());            ( == , ());             (0 < ) {                 ( > 0x03) (33);                 ( == 0x0) {                     (!(0 < )) (50);                    (!((0x20 + ) +  - (0x20 + ) < 0x20));                    ( == ( & 0xffffffffffffffffffffffffffffffffffffffff));                }            }        }  {            ([0] < 0x04);        }    }         ( )  {        (. == , ());         = ;         ();    }         ( )    () {         [];    }         ( )  {         {              := (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.        // 0x02e3ce95 => unresolved_02e3ce95(bytes32)    // 0x0e18b681 => acceptAdmin()    // 0x1f5a0bbe => addExecutor(address)    // 0x24788429 => removeExecutor(address)    // 0x26782247 => pendingAdmin()    // 0x4abd18ab => getLabels()    // 0x51c7094f => routes(bytes4)    // 0x5ef24314 => executeActions(uint8[],bytes[])    // 0x75829def => transferAdmin(address)    // 0x86343746 => Unknown_86343746(address)    // 0xdebfda30 => isExecutor(address)    // 0xf851a440 => admin()}
0xc81fd8…3568e8 on Ethereum — Decompiled Solidity