019b477e-d21d-71d8-a209-172951fc2399
Open this run to answer one question: is this real attacker-relevant behavior with real impact, or just normal contract plumbing?
| ID | Type | Status | Attempts | Heartbeat |
|---|---|---|---|---|
| 27887 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 27888 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 103461 | analysis.bundle | complete | 1 / 3 | 1 week ago |
| 103462 | capability.graph | complete | 1 / 3 | 1 week ago |
| 103463 | detector.run | complete | 1 / 3 | 1 week ago |
| 103464 | validation.fork | complete | 1 / 3 | 1 week ago |
No slither job recorded yet.
No codex job recorded yet.
00000000: PUSH1 0x80 00000002: PUSH1 0x40 00000004: MSTORE 00000005: CALLDATASIZE 00000006: PUSH2 0x0217 00000009: JUMPI 0000000a: PUSH32 0xb53127684a568b3173ae13b9f8a6016e243e63b6e8ee1178d6a717850b5d6103 0000002b: SLOAD 0000002c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000041: AND 00000042: CALLER 00000043: SUB 00000044: PUSH2 0x0212 00000047: JUMPI 00000048: PUSH1 0x00 0000004a: CALLDATALOAD 0000004b: PUSH32 0xffffffff00000000000000000000000000000000000000000000000000000000 0000006c: AND 0000006d: PUSH32 0x3659cfe600000000000000000000000000000000000000000000000000000000 0000008e: DUP2 0000008f: SUB 00000090: PUSH2 0x00a4 00000093: JUMPI 00000094: POP 00000095: PUSH2 0x009c 00000098: PUSH2 0x065c 0000009b: JUMP 0000009c: JUMPDEST 0000009d: PUSH1 0x20 0000009f: DUP2 000000a0: MLOAD 000000a1: SWAP2 000000a2: ADD 000000a3: RETURN 000000a4: JUMPDEST 000000a5: PUSH32 0x4f1ef28600000000000000000000000000000000000000000000000000000000 000000c6: DUP2 000000c7: SUB 000000c8: PUSH2 0x00d9 000000cb: JUMPI 000000cc: POP 000000cd: PUSH2 0x00d4 000000d0: PUSH2 0x0893 000000d3: JUMP 000000d4: JUMPDEST 000000d5: PUSH2 0x009c 000000d8: JUMP 000000d9: JUMPDEST 000000da: PUSH32 0x8f28397000000000000000000000000000000000000000000000000000000000 000000fb: DUP2 000000fc: SUB 000000fd: PUSH2 0x0109 00000100: JUMPI 00000101: POP 00000102: PUSH2 0x00d4 00000105: PUSH2 0x051f 00000108: JUMP 00000109: JUMPDEST 0000010a: PUSH32 0xf851a44000000000000000000000000000000000000000000000000000000000 0000012b: DUP2 0000012c: SUB 0000012d: PUSH2 0x0139 00000130: JUMPI 00000131: POP 00000132: PUSH2 0x00d4 00000135: PUSH2 0x03ae 00000138: JUMP 00000139: JUMPDEST 0000013a: PUSH32 0x5c60da1b00000000000000000000000000000000000000000000000000000000 0000015b: SUB 0000015c: PUSH2 0x0167 0000015f: JUMPI 00000160: PUSH2 0x00d4 00000163: PUSH2 0x0407 00000166: JUMP 00000167: JUMPDEST 00000168: PUSH1 0x40 0000016a: MLOAD 0000016b: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 0000018c: DUP2 0000018d: MSTORE 0000018e: PUSH1 0x20 00000190: PUSH1 0x04 00000192: DUP3 00000193: ADD 00000194: MSTORE 00000195: PUSH1 0x42 00000197: PUSH1 0x24 00000199: DUP3 0000019a: ADD 0000019b: MSTORE 0000019c: PUSH32 0x5472616e73706172656e745570677261646561626c6550726f78793a2061646d 000001bd: PUSH1 0x44 000001bf: DUP3 000001c0: ADD 000001c1: MSTORE 000001c2: PUSH32 0x696e2063616e6e6f742066616c6c6261636b20746f2070726f78792074617267 000001e3: PUSH1 0x64 000001e5: DUP3 000001e6: ADD 000001e7: MSTORE 000001e8: PUSH32 0x6574000000000000000000000000000000000000000000000000000000000000 00000209: PUSH1 0x84 0000020b: DUP3 0000020c: ADD 0000020d: MSTORE 0000020e: PUSH1 0xa4 00000210: SWAP1 00000211: REVERT 00000212: JUMPDEST 00000213: PUSH2 0x02aa 00000216: JUMP 00000217: JUMPDEST 00000218: PUSH32 0xb53127684a568b3173ae13b9f8a6016e243e63b6e8ee1178d6a717850b5d6103 00000239: SLOAD 0000023a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000024f: AND 00000250: CALLER 00000251: SUB 00000252: PUSH2 0x02aa 00000255: JUMPI 00000256: PUSH1 0x00 00000258: CALLDATALOAD 00000259: PUSH32 0xffffffff00000000000000000000000000000000000000000000000000000000 0000027a: AND 0000027b: PUSH32 0x3659cfe600000000000000000000000000000000000000000000000000000000 0000029c: DUP2 0000029d: SUB 0000029e: PUSH2 0x00a4 000002a1: JUMPI 000002a2: POP 000002a3: PUSH2 0x009c 000002a6: PUSH2 0x065c 000002a9: JUMP 000002aa: JUMPDEST 000002ab: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000002c0: PUSH32 0x360894a13ba1a3210667c828492db98dca3e2076cc3735a920a3ca505d382bbc 000002e1: SLOAD 000002e2: AND 000002e3: PUSH1 0x00 000002e5: DUP1 000002e6: DUP1 000002e7: SWAP3 000002e8: CALLDATASIZE 000002e9: DUP3 000002ea: DUP1 000002eb: CALLDATACOPY 000002ec: DUP2 000002ed: CALLDATASIZE 000002ee: SWAP2 000002ef: GAS 000002f0: DELEGATECALL 000002f1: RETURNDATASIZE 000002f2: DUP3 000002f3: DUP1 000002f4: RETURNDATACOPY 000002f5: ISZERO 000002f6: PUSH2 0x02fd 000002f9: JUMPI 000002fa: RETURNDATASIZE 000002fb: SWAP1 000002fc: RETURN 000002fd: JUMPDEST 000002fe: RETURNDATASIZE 000002ff: SWAP1 00000300: REVERT 00000301: JUMPDEST 00000302: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 00000323: PUSH1 0x00 00000325: MSTORE 00000326: PUSH1 0x41 00000328: PUSH1 0x04 0000032a: MSTORE 0000032b: PUSH1 0x24 0000032d: PUSH1 0x00 0000032f: REVERT 00000330: JUMPDEST 00000331: PUSH1 0x40 00000333: DUP2 00000334: ADD 00000335: SWAP1 00000336: DUP2 00000337: LT 00000338: PUSH8 0xffffffffffffffff 00000341: DUP3 00000342: GT 00000343: OR 00000344: PUSH2 0x034c 00000347: JUMPI 00000348: PUSH1 0x40 0000034a: MSTORE 0000034b: JUMP 0000034c: JUMPDEST 0000034d: PUSH2 0x0301 00000350: JUMP 00000351: JUMPDEST 00000352: PUSH1 0x20 00000354: DUP2 00000355: ADD 00000356: SWAP1 00000357: DUP2 00000358: LT 00000359: PUSH8 0xffffffffffffffff 00000362: DUP3 00000363: GT 00000364: OR 00000365: PUSH2 0x034c 00000368: JUMPI 00000369: PUSH1 0x40 0000036b: MSTORE 0000036c: JUMP 0000036d: JUMPDEST 0000036e: SWAP1 0000036f: PUSH1 0x1f 00000371: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0 00000392: SWAP2 00000393: ADD 00000394: AND 00000395: DUP2 00000396: ADD 00000397: SWAP1 00000398: DUP2 00000399: LT 0000039a: PUSH8 0xffffffffffffffff 000003a3: DUP3 000003a4: GT 000003a5: OR 000003a6: PUSH2 0x034c 000003a9: JUMPI 000003aa: PUSH1 0x40 000003ac: MSTORE 000003ad: JUMP 000003ae: JUMPDEST 000003af: PUSH2 0x03b6 000003b2: PUSH2 0x094f 000003b5: JUMP 000003b6: JUMPDEST 000003b7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000003cc: PUSH32 0xb53127684a568b3173ae13b9f8a6016e243e63b6e8ee1178d6a717850b5d6103 000003ed: SLOAD 000003ee: AND 000003ef: PUSH1 0x40 000003f1: MLOAD 000003f2: SWAP1 000003f3: PUSH1 0x20 000003f5: DUP3 000003f6: ADD 000003f7: MSTORE 000003f8: PUSH1 0x20 000003fa: DUP2 000003fb: MSTORE 000003fc: PUSH2 0x0404 000003ff: DUP2 00000400: PUSH2 0x0330 00000403: JUMP 00000404: JUMPDEST 00000405: SWAP1 00000406: JUMP 00000407: JUMPDEST 00000408: PUSH2 0x040f 0000040b: PUSH2 0x094f 0000040e: JUMP 0000040f: JUMPDEST 00000410: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000425: PUSH32 0x360894a13ba1a3210667c828492db98dca3e2076cc3735a920a3ca505d382bbc 00000446: SLOAD 00000447: AND 00000448: PUSH1 0x40 0000044a: MLOAD 0000044b: SWAP1 0000044c: PUSH1 0x20 0000044e: DUP3 0000044f: ADD 00000450: MSTORE 00000451: PUSH1 0x20 00000453: DUP2 00000454: MSTORE 00000455: PUSH2 0x0404 00000458: DUP2 00000459: PUSH2 0x0330 0000045c: JUMP 0000045d: JUMPDEST 0000045e: PUSH1 0x04 00000460: CALLDATALOAD 00000461: SWAP1 00000462: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000477: DUP3 00000478: AND 00000479: DUP3 0000047a: SUB 0000047b: PUSH2 0x0480 0000047e: JUMPI 0000047f: JUMP 00000480: JUMPDEST 00000481: PUSH1 0x00 00000483: DUP1 00000484: REVERT 00000485: JUMPDEST 00000486: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc 000004a7: PUSH1 0x20 000004a9: SWAP2 000004aa: ADD 000004ab: SLT 000004ac: PUSH2 0x0480 000004af: JUMPI 000004b0: PUSH1 0x04 000004b2: CALLDATALOAD 000004b3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000004c8: DUP2 000004c9: AND 000004ca: DUP2 000004cb: SUB 000004cc: PUSH2 0x0480 000004cf: JUMPI 000004d0: SWAP1 000004d1: JUMP 000004d2: JUMPDEST 000004d3: PUSH8 0xffffffffffffffff 000004dc: DUP2 000004dd: GT 000004de: PUSH2 0x034c 000004e1: JUMPI 000004e2: PUSH1 0x1f 000004e4: ADD 000004e5: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0 00000506: AND 00000507: PUSH1 0x20 00000509: ADD 0000050a: SWAP1 0000050b: JUMP 0000050c: JUMPDEST 0000050d: PUSH1 0x40 0000050f: MLOAD 00000510: SWAP1 00000511: PUSH2 0x0519 00000514: DUP3 00000515: PUSH2 0x0351 00000518: JUMP 00000519: JUMPDEST 0000051a: PUSH1 0x00 0000051c: DUP3 0000051d: MSTORE 0000051e: JUMP 0000051f: JUMPDEST 00000520: PUSH2 0x0527 00000523: PUSH2 0x094f 00000526: JUMP 00000527: JUMPDEST 00000528: CALLDATASIZE 00000529: PUSH1 0x04 0000052b: GT 0000052c: PUSH2 0x0480 0000052f: JUMPI 00000530: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000545: DUP1 00000546: PUSH2 0x054e 00000549: CALLDATASIZE 0000054a: PUSH2 0x0485 0000054d: JUMP 0000054e: JUMPDEST 0000054f: AND 00000550: PUSH32 0xb53127684a568b3173ae13b9f8a6016e243e63b6e8ee1178d6a717850b5d6103 00000571: SWAP2 00000572: PUSH32 0x7e644d79422f17c01e4894b5f4f588d331ebfa28653d42ae832dc59e38c9798f 00000593: PUSH1 0x40 00000595: DUP5 00000596: SLOAD 00000597: SWAP3 00000598: DUP2 00000599: MLOAD 0000059a: SWAP1 0000059b: DUP5 0000059c: AND 0000059d: DUP2 0000059e: MSTORE 0000059f: DUP5 000005a0: PUSH1 0x20 000005a2: DUP3 000005a3: ADD 000005a4: MSTORE 000005a5: LOG1 000005a6: DUP2 000005a7: ISZERO 000005a8: PUSH2 0x05d8 000005ab: JUMPI 000005ac: PUSH32 0xffffffffffffffffffffffff0000000000000000000000000000000000000000 000005cd: AND 000005ce: OR 000005cf: SWAP1 000005d0: SSTORE 000005d1: PUSH2 0x0404 000005d4: PUSH2 0x050c 000005d7: JUMP 000005d8: JUMPDEST 000005d9: PUSH1 0x84 000005db: PUSH1 0x40 000005dd: MLOAD 000005de: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000005ff: DUP2 00000600: MSTORE 00000601: PUSH1 0x20 00000603: PUSH1 0x04 00000605: DUP3 00000606: ADD 00000607: MSTORE 00000608: PUSH1 0x26 0000060a: PUSH1 0x24 0000060c: DUP3 0000060d: ADD 0000060e: MSTORE 0000060f: PUSH32 0x455243313936373a206e65772061646d696e20697320746865207a65726f2061 00000630: PUSH1 0x44 00000632: DUP3 00000633: ADD 00000634: MSTORE 00000635: PUSH32 0x6464726573730000000000000000000000000000000000000000000000000000 00000656: PUSH1 0x64 00000658: DUP3 00000659: ADD 0000065a: MSTORE 0000065b: REVERT 0000065c: JUMPDEST 0000065d: PUSH2 0x0664 00000660: PUSH2 0x094f 00000663: JUMP 00000664: JUMPDEST 00000665: CALLDATASIZE 00000666: PUSH1 0x04 00000668: GT 00000669: PUSH2 0x0480 0000066c: JUMPI 0000066d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000682: PUSH2 0x068a 00000685: CALLDATASIZE 00000686: PUSH2 0x0485 00000689: JUMP 0000068a: JUMPDEST 0000068b: AND 0000068c: PUSH1 0x40 0000068e: MLOAD 0000068f: SWAP1 00000690: PUSH2 0x0698 00000693: DUP3 00000694: PUSH2 0x0351 00000697: JUMP 00000698: JUMPDEST 00000699: PUSH1 0x00 0000069b: DUP3 0000069c: MSTORE 0000069d: DUP1 0000069e: EXTCODESIZE 0000069f: ISZERO 000006a0: PUSH2 0x0759 000006a3: JUMPI 000006a4: PUSH32 0x360894a13ba1a3210667c828492db98dca3e2076cc3735a920a3ca505d382bbc 000006c5: DUP2 000006c6: PUSH32 0xffffffffffffffffffffffff0000000000000000000000000000000000000000 000006e7: DUP3 000006e8: SLOAD 000006e9: AND 000006ea: OR 000006eb: SWAP1 000006ec: SSTORE 000006ed: DUP1 000006ee: PUSH32 0xbc7cd75a20ee27fd9adebab32041f755214dbc6bffa90cc0225b39da2e5c2d3b 0000070f: PUSH1 0x00 00000711: DUP1 00000712: LOG2 00000713: DUP2 00000714: MLOAD 00000715: ISZERO 00000716: DUP1 00000717: ISZERO 00000718: SWAP1 00000719: PUSH2 0x0751 0000071c: JUMPI 0000071d: JUMPDEST 0000071e: PUSH2 0x0737 00000721: JUMPI 00000722: JUMPDEST 00000723: POP 00000724: POP 00000725: PUSH1 0x40 00000727: MLOAD 00000728: PUSH2 0x0730 0000072b: DUP2 0000072c: PUSH2 0x0351 0000072f: JUMP 00000730: JUMPDEST 00000731: PUSH1 0x00 00000733: DUP2 00000734: MSTORE 00000735: SWAP1 00000736: JUMP 00000737: JUMPDEST 00000738: PUSH2 0x0749 0000073b: SWAP2 0000073c: PUSH2 0x0743 0000073f: PUSH2 0x0956 00000742: JUMP 00000743: JUMPDEST 00000744: SWAP2 00000745: PUSH2 0x09c6 00000748: JUMP 00000749: JUMPDEST 0000074a: POP 0000074b: CODESIZE 0000074c: DUP1 0000074d: PUSH2 0x0722 00000750: JUMP 00000751: JUMPDEST 00000752: POP 00000753: PUSH1 0x00 00000755: PUSH2 0x071d 00000758: JUMP 00000759: JUMPDEST 0000075a: PUSH1 0x84 0000075c: PUSH1 0x40 0000075e: MLOAD 0000075f: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000780: DUP2 00000781: MSTORE 00000782: PUSH1 0x20 00000784: PUSH1 0x04 00000786: DUP3 00000787: ADD 00000788: MSTORE 00000789: PUSH1 0x2d 0000078b: PUSH1 0x24 0000078d: DUP3 0000078e: ADD 0000078f: MSTORE 00000790: PUSH32 0x455243313936373a206e657720696d706c656d656e746174696f6e206973206e 000007b1: PUSH1 0x44 000007b3: DUP3 000007b4: ADD 000007b5: MSTORE 000007b6: PUSH32 0x6f74206120636f6e747261637400000000000000000000000000000000000000 000007d7: PUSH1 0x64 000007d9: DUP3 000007da: ADD 000007db: MSTORE 000007dc: REVERT 000007dd: JUMPDEST 000007de: DUP1 000007df: EXTCODESIZE 000007e0: ISZERO 000007e1: PUSH2 0x0759 000007e4: JUMPI 000007e5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000007fa: DUP2 000007fb: AND 000007fc: PUSH32 0x360894a13ba1a3210667c828492db98dca3e2076cc3735a920a3ca505d382bbc 0000081d: DUP2 0000081e: PUSH32 0xffffffffffffffffffffffff0000000000000000000000000000000000000000 0000083f: DUP3 00000840: SLOAD 00000841: AND 00000842: OR 00000843: SWAP1 00000844: SSTORE 00000845: PUSH32 0xbc7cd75a20ee27fd9adebab32041f755214dbc6bffa90cc0225b39da2e5c2d3b 00000866: PUSH1 0x00 00000868: DUP1 00000869: LOG2 0000086a: DUP2 0000086b: MLOAD 0000086c: ISZERO 0000086d: DUP1 0000086e: ISZERO 0000086f: SWAP1 00000870: PUSH2 0x088b 00000873: JUMPI 00000874: JUMPDEST 00000875: PUSH2 0x087c 00000878: JUMPI 00000879: POP 0000087a: POP 0000087b: JUMP 0000087c: JUMPDEST 0000087d: PUSH2 0x0888 00000880: SWAP2 00000881: PUSH2 0x0743 00000884: PUSH2 0x0956 00000887: JUMP 00000888: JUMPDEST 00000889: POP 0000088a: JUMP 0000088b: JUMPDEST 0000088c: POP 0000088d: PUSH1 0x01 0000088f: PUSH2 0x0874 00000892: JUMP 00000893: JUMPDEST 00000894: CALLDATASIZE 00000895: PUSH1 0x04 00000897: GT 00000898: PUSH2 0x0480 0000089b: JUMPI 0000089c: PUSH1 0x40 0000089e: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc 000008bf: CALLDATASIZE 000008c0: ADD 000008c1: SLT 000008c2: PUSH2 0x0480 000008c5: JUMPI 000008c6: PUSH2 0x08cd 000008c9: PUSH2 0x045d 000008cc: JUMP 000008cd: JUMPDEST 000008ce: PUSH1 0x24 000008d0: CALLDATALOAD 000008d1: SWAP1 000008d2: PUSH8 0xffffffffffffffff 000008db: DUP3 000008dc: GT 000008dd: PUSH2 0x0480 000008e0: JUMPI 000008e1: CALLDATASIZE 000008e2: PUSH1 0x23 000008e4: DUP4 000008e5: ADD 000008e6: SLT 000008e7: ISZERO 000008e8: PUSH2 0x0480 000008eb: JUMPI 000008ec: DUP2 000008ed: PUSH1 0x04 000008ef: ADD 000008f0: CALLDATALOAD 000008f1: SWAP2 000008f2: PUSH2 0x08fa 000008f5: DUP4 000008f6: PUSH2 0x04d2 000008f9: JUMP 000008fa: JUMPDEST 000008fb: SWAP2 000008fc: PUSH2 0x0908 000008ff: PUSH1 0x40 00000901: MLOAD 00000902: SWAP4 00000903: DUP5 00000904: PUSH2 0x036d 00000907: JUMP 00000908: JUMPDEST 00000909: DUP4 0000090a: DUP4 0000090b: MSTORE 0000090c: CALLDATASIZE 0000090d: PUSH1 0x24 0000090f: DUP6 00000910: DUP5 00000911: ADD 00000912: ADD 00000913: GT 00000914: PUSH2 0x0480 00000917: JUMPI 00000918: PUSH1 0x00 0000091a: PUSH1 0x20 0000091c: DUP6 0000091d: PUSH2 0x0947 00000920: SWAP7 00000921: PUSH1 0x24 00000923: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000938: SWAP7 00000939: ADD 0000093a: DUP4 0000093b: DUP9 0000093c: ADD 0000093d: CALLDATACOPY 0000093e: DUP6 0000093f: ADD 00000940: ADD 00000941: MSTORE 00000942: AND 00000943: PUSH2 0x07dd 00000946: JUMP 00000947: JUMPDEST 00000948: PUSH2 0x0404 0000094b: PUSH2 0x050c 0000094e: JUMP 0000094f: JUMPDEST 00000950: CALLVALUE 00000951: PUSH2 0x0480 00000954: JUMPI 00000955: JUMP 00000956: JUMPDEST 00000957: PUSH1 0x40 00000959: MLOAD 0000095a: SWAP1 0000095b: PUSH1 0x60 0000095d: DUP3 0000095e: ADD 0000095f: DUP3 00000960: DUP2 00000961: LT 00000962: PUSH8 0xffffffffffffffff 0000096b: DUP3 0000096c: GT 0000096d: OR 0000096e: PUSH2 0x034c 00000971: JUMPI 00000972: PUSH1 0x40 00000974: MSTORE 00000975: PUSH1 0x27 00000977: DUP3 00000978: MSTORE 00000979: PUSH32 0x206661696c656400000000000000000000000000000000000000000000000000 0000099a: PUSH1 0x40 0000099c: DUP4 0000099d: PUSH32 0x416464726573733a206c6f772d6c6576656c2064656c65676174652063616c6c 000009be: PUSH1 0x20 000009c0: DUP3 000009c1: ADD 000009c2: MSTORE 000009c3: ADD 000009c4: MSTORE 000009c5: JUMP 000009c6: JUMPDEST 000009c7: PUSH1 0x00 000009c9: DUP1 000009ca: PUSH2 0x0404 000009cd: SWAP5 000009ce: SWAP4 000009cf: PUSH1 0x20 000009d1: DUP2 000009d2: MLOAD 000009d3: SWAP2 000009d4: ADD 000009d5: DUP5 000009d6: GAS 000009d7: DELEGATECALL 000009d8: RETURNDATASIZE 000009d9: ISZERO 000009da: PUSH2 0x0a05 000009dd: JUMPI 000009de: RETURNDATASIZE 000009df: SWAP2 000009e0: PUSH2 0x09e8 000009e3: DUP4 000009e4: PUSH2 0x04d2 000009e7: JUMP 000009e8: JUMPDEST 000009e9: SWAP3 000009ea: PUSH2 0x09f6 000009ed: PUSH1 0x40 000009ef: MLOAD 000009f0: SWAP5 000009f1: DUP6 000009f2: PUSH2 0x036d 000009f5: JUMP 000009f6: JUMPDEST 000009f7: DUP4 000009f8: MSTORE 000009f9: RETURNDATASIZE 000009fa: PUSH1 0x00 000009fc: PUSH1 0x20 000009fe: DUP6 000009ff: ADD 00000a00: RETURNDATACOPY 00000a01: PUSH2 0x0a72 00000a04: JUMP 00000a05: JUMPDEST 00000a06: PUSH1 0x60 00000a08: SWAP2 00000a09: PUSH2 0x0a72 00000a0c: JUMP 00000a0d: JUMPDEST 00000a0e: ISZERO 00000a0f: PUSH2 0x0a14 00000a12: JUMPI 00000a13: JUMP 00000a14: JUMPDEST 00000a15: PUSH1 0x64 00000a17: PUSH1 0x40 00000a19: MLOAD 00000a1a: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000a3b: DUP2 00000a3c: MSTORE 00000a3d: PUSH1 0x20 00000a3f: PUSH1 0x04 00000a41: DUP3 00000a42: ADD 00000a43: MSTORE 00000a44: PUSH1 0x1d 00000a46: PUSH1 0x24 00000a48: DUP3 00000a49: ADD 00000a4a: MSTORE 00000a4b: PUSH32 0x416464726573733a2063616c6c20746f206e6f6e2d636f6e7472616374000000 00000a6c: PUSH1 0x44 00000a6e: DUP3 00000a6f: ADD 00000a70: MSTORE 00000a71: REVERT 00000a72: JUMPDEST 00000a73: SWAP2 00000a74: SWAP3 00000a75: SWAP1 00000a76: ISZERO 00000a77: PUSH2 0x0a92 00000a7a: JUMPI 00000a7b: POP 00000a7c: DUP2 00000a7d: MLOAD 00000a7e: ISZERO 00000a7f: PUSH2 0x0a86 00000a82: JUMPI 00000a83: POP 00000a84: SWAP1 00000a85: JUMP 00000a86: JUMPDEST 00000a87: PUSH2 0x0404 00000a8a: SWAP1 00000a8b: EXTCODESIZE 00000a8c: ISZERO 00000a8d: ISZERO 00000a8e: PUSH2 0x0a0d 00000a91: JUMP 00000a92: JUMPDEST 00000a93: DUP3 00000a94: MLOAD 00000a95: SWAP1 00000a96: SWAP2 00000a97: POP 00000a98: ISZERO 00000a99: PUSH2 0x0aa5 00000a9c: JUMPI 00000a9d: POP 00000a9e: DUP1 00000a9f: MLOAD 00000aa0: SWAP1 00000aa1: PUSH1 0x20 00000aa3: ADD 00000aa4: REVERT 00000aa5: JUMPDEST 00000aa6: PUSH1 0x40 00000aa8: MLOAD 00000aa9: SWAP1 00000aaa: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000acb: DUP3 00000acc: MSTORE 00000acd: DUP2 00000ace: PUSH1 0x20 00000ad0: DUP1 00000ad1: PUSH1 0x04 00000ad3: DUP4 00000ad4: ADD 00000ad5: MSTORE 00000ad6: DUP3 00000ad7: MLOAD 00000ad8: SWAP3 00000ad9: DUP4 00000ada: PUSH1 0x24 00000adc: DUP5 00000add: ADD 00000ade: MSTORE 00000adf: PUSH1 0x00 00000ae1: JUMPDEST 00000ae2: DUP5 00000ae3: DUP2 00000ae4: LT 00000ae5: PUSH2 0x0b22 00000ae8: JUMPI 00000ae9: POP 00000aea: POP 00000aeb: POP 00000aec: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0 00000b0d: PUSH1 0x1f 00000b0f: DUP4 00000b10: PUSH1 0x00 00000b12: PUSH1 0x44 00000b14: DUP1 00000b15: SWAP7 00000b16: DUP7 00000b17: ADD 00000b18: ADD 00000b19: MSTORE 00000b1a: ADD 00000b1b: AND 00000b1c: DUP2 00000b1d: ADD 00000b1e: SUB 00000b1f: ADD 00000b20: SWAP1 00000b21: REVERT 00000b22: JUMPDEST 00000b23: DUP2 00000b24: DUP2 00000b25: ADD 00000b26: DUP4 00000b27: ADD 00000b28: MLOAD 00000b29: DUP7 00000b2a: DUP3 00000b2b: ADD 00000b2c: PUSH1 0x44 00000b2e: ADD 00000b2f: MSTORE 00000b30: DUP6 00000b31: SWAP4 00000b32: POP 00000b33: DUP3 00000b34: ADD 00000b35: PUSH2 0x0ae1 00000b38: JUMP 00000b39: INVALID 00000b3a: LOG2 00000b3b: PUSH5 0x6970667358 00000b41: UNKNOWN(0x22) 00000b42: SLT 00000b43: KECCAK256 00000b44: EQ 00000b45: UNKNOWN(0xC5) 00000b46: UNKNOWN(0xDF) 00000b47: ISZERO 00000b48: MCOPY 00000b49: MSTORE 00000b4a: UNKNOWN(0xDD) 00000b4b: SWAP12 00000b4c: UNKNOWN(0x0C) 00000b4d: SGT 00000b4e: STOP 00000b4f: SELFDESTRUCT 00000b50: UNKNOWN(0x2D) 00000b51: UNKNOWN(0xD9) 00000b52: CALL 00000b53: MSIZE 00000b54: PUSH16 0x8429d4de6137cfd278d7bdf21de5a264 00000b65: PUSH20
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| critical | upgradeability | detector | Untrusted DELEGATECALL target reachable | 70 | no | no |
viewtrace_id: 0x1665e4c8d671910801d808bbf8f3ae6043e2507ccbd03abd39017b0b8a91adad
call_targets:
0xf03829890adb61e32dcc17b43a3d92655044d381
target_varies:
no
classification:
constant_target
validation_json{
"sink": "DELEGATECALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x1665e4c8d671910801d808bbf8f3ae6043e2507ccbd03abd39017b0b8a91adad",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xf03829890adb61e32dcc17b43a3d92655044d381"
],
"matched_probe": null,
"target_varies": false,
"classification": "constant_target"
}
witness_json{
"notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
"constraints": [],
"entrypoints": [
{
"calldata": "0x",
"selector": "fallback",
"calldata_variants": [
"0x"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 752,
"opcode": "DELEGATECALL",
"returndata_checked": null,
"value_expression_category": "n/a",
"target_expression_category": "computed"
},
{
"pc": 2519,
"opcode": "DELEGATECALL",
"returndata_checked": null,
"value_expression_category": "n/a",
"target_expression_category": "computed"
}
],
"guards_detected": [],
"delegatecall_count": 2,
"untrusted_delegatecall_count": 2
}
|
| high | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0x1665e4c8d671910801d808bbf8f3ae6043e2507ccbd03abd39017b0b8a91adad
call_targets:
0x1bc2659cc071f649ad84a5f47240f8b3ccc70f65
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x1665e4c8d671910801d808bbf8f3ae6043e2507ccbd03abd39017b0b8a91adad",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x1bc2659cc071f649ad84a5f47240f8b3ccc70f65"
],
"matched_probe": null,
"target_varies": false,
"classification": "constant_target"
}
witness_json{
"notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
"constraints": [],
"entrypoints": [
{
"calldata": "0x",
"selector": "fallback",
"calldata_variants": [
"0x"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 2898,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 1,
"guards_detected": [],
"untrusted_call_count": 1
}
|
| high | other | detector | ETH value transfer possible | 55 | no | no |
viewtrace_id: 0x1665e4c8d671910801d808bbf8f3ae6043e2507ccbd03abd39017b0b8a91adad
call_targets:
0x1bc2659cc071f649ad84a5f47240f8b3ccc70f65
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x1665e4c8d671910801d808bbf8f3ae6043e2507ccbd03abd39017b0b8a91adad",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x1bc2659cc071f649ad84a5f47240f8b3ccc70f65"
],
"matched_probe": null,
"target_varies": false,
"classification": "constant_target"
}
witness_json{
"notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
"constraints": [],
"entrypoints": [
{
"calldata": "0x",
"selector": "fallback",
"calldata_variants": [
"0x"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 2898,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 1,
"guards_detected": []
}
|
| high | other | detector | SELFDESTRUCT reachable | 65 | no | no |
viewtrace_id: 0x3cf635c89969f444b85c2f3da7125f0efc0ab01308cd22f7a2d3834558420651
validation_json{
"sink": "SELFDESTRUCT",
"errors": 0,
"status": "unknown",
"attempts": 1,
"trace_id": "0x3cf635c89969f444b85c2f3da7125f0efc0ab01308cd22f7a2d3834558420651",
"confirmed": false,
"trace_mode": "structLogs",
"call_targets": null,
"matched_probe": null,
"target_varies": null,
"classification": "no_sink"
}
witness_json{
"notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
"constraints": [],
"entrypoints": [
{
"calldata": "0x",
"selector": "fallback",
"calldata_variants": [
"0x"
]
}
]
}
evidence_json{
"guards_detected": [],
"selfdestruct_count": 1
}
|