019b477e-c368-71ac-852e-539fe0e23661
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 |
|---|---|---|---|---|
| 25217 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 25218 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 68238 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 68239 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 68240 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 68241 | validation.fork | complete | 1 / 3 | 2 weeks ago |
No slither job recorded yet.
No codex job recorded yet.
00000000: PUSH1 0x80 00000002: PUSH1 0x40 00000004: MSTORE 00000005: PUSH1 0x04 00000007: CALLDATASIZE 00000008: LT 00000009: PUSH2 0x0069 0000000c: JUMPI 0000000d: PUSH1 0x00 0000000f: CALLDATALOAD 00000010: PUSH1 0xe0 00000012: SHR 00000013: DUP1 00000014: PUSH4 0x9852595c 00000019: GT 0000001a: PUSH2 0x0043 0000001d: JUMPI 0000001e: DUP1 0000001f: PUSH4 0x9852595c 00000024: EQ 00000025: PUSH2 0x0100 00000028: JUMPI 00000029: DUP1 0000002a: PUSH4 0xce7c2ac2 0000002f: EQ 00000030: PUSH2 0x0143 00000033: JUMPI 00000034: DUP1 00000035: PUSH4 0xe33b7de3 0000003a: EQ 0000003b: PUSH2 0x0186 0000003e: JUMPI 0000003f: PUSH1 0x00 00000041: DUP1 00000042: REVERT 00000043: JUMPDEST 00000044: DUP1 00000045: PUSH4 0x19165587 0000004a: EQ 0000004b: PUSH2 0x0075 0000004e: JUMPI 0000004f: DUP1 00000050: PUSH4 0x3a98ef39 00000055: EQ 00000056: PUSH2 0x0097 00000059: JUMPI 0000005a: DUP1 0000005b: PUSH4 0x8b83209b 00000060: EQ 00000061: PUSH2 0x00bb 00000064: JUMPI 00000065: PUSH1 0x00 00000067: DUP1 00000068: REVERT 00000069: JUMPDEST 0000006a: CALLDATASIZE 0000006b: PUSH2 0x0070 0000006e: JUMPI 0000006f: STOP 00000070: JUMPDEST 00000071: PUSH1 0x00 00000073: DUP1 00000074: REVERT 00000075: JUMPDEST 00000076: CALLVALUE 00000077: DUP1 00000078: ISZERO 00000079: PUSH2 0x0081 0000007c: JUMPI 0000007d: PUSH1 0x00 0000007f: DUP1 00000080: REVERT 00000081: JUMPDEST 00000082: POP 00000083: PUSH2 0x0095 00000086: PUSH2 0x0090 00000089: CALLDATASIZE 0000008a: PUSH1 0x04 0000008c: PUSH2 0x05aa 0000008f: JUMP 00000090: JUMPDEST 00000091: PUSH2 0x019b 00000094: JUMP 00000095: JUMPDEST 00000096: STOP 00000097: JUMPDEST 00000098: CALLVALUE 00000099: DUP1 0000009a: ISZERO 0000009b: PUSH2 0x00a3 0000009e: JUMPI 0000009f: PUSH1 0x00 000000a1: DUP1 000000a2: REVERT 000000a3: JUMPDEST 000000a4: POP 000000a5: PUSH1 0x00 000000a7: SLOAD 000000a8: JUMPDEST 000000a9: PUSH1 0x40 000000ab: MLOAD 000000ac: SWAP1 000000ad: DUP2 000000ae: MSTORE 000000af: PUSH1 0x20 000000b1: ADD 000000b2: JUMPDEST 000000b3: PUSH1 0x40 000000b5: MLOAD 000000b6: DUP1 000000b7: SWAP2 000000b8: SUB 000000b9: SWAP1 000000ba: RETURN 000000bb: JUMPDEST 000000bc: CALLVALUE 000000bd: DUP1 000000be: ISZERO 000000bf: PUSH2 0x00c7 000000c2: JUMPI 000000c3: PUSH1 0x00 000000c5: DUP1 000000c6: REVERT 000000c7: JUMPDEST 000000c8: POP 000000c9: PUSH2 0x00db 000000cc: PUSH2 0x00d6 000000cf: CALLDATASIZE 000000d0: PUSH1 0x04 000000d2: PUSH2 0x05ce 000000d5: JUMP 000000d6: JUMPDEST 000000d7: PUSH2 0x040e 000000da: JUMP 000000db: JUMPDEST 000000dc: PUSH1 0x40 000000de: MLOAD 000000df: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000000f4: SWAP1 000000f5: SWAP2 000000f6: AND 000000f7: DUP2 000000f8: MSTORE 000000f9: PUSH1 0x20 000000fb: ADD 000000fc: PUSH2 0x00b2 000000ff: JUMP 00000100: JUMPDEST 00000101: CALLVALUE 00000102: DUP1 00000103: ISZERO 00000104: PUSH2 0x010c 00000107: JUMPI 00000108: PUSH1 0x00 0000010a: DUP1 0000010b: REVERT 0000010c: JUMPDEST 0000010d: POP 0000010e: PUSH2 0x00a8 00000111: PUSH2 0x011b 00000114: CALLDATASIZE 00000115: PUSH1 0x04 00000117: PUSH2 0x05aa 0000011a: JUMP 0000011b: JUMPDEST 0000011c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000131: AND 00000132: PUSH1 0x00 00000134: SWAP1 00000135: DUP2 00000136: MSTORE 00000137: PUSH1 0x03 00000139: PUSH1 0x20 0000013b: MSTORE 0000013c: PUSH1 0x40 0000013e: SWAP1 0000013f: KECCAK256 00000140: SLOAD 00000141: SWAP1 00000142: JUMP 00000143: JUMPDEST 00000144: CALLVALUE 00000145: DUP1 00000146: ISZERO 00000147: PUSH2 0x014f 0000014a: JUMPI 0000014b: PUSH1 0x00 0000014d: DUP1 0000014e: REVERT 0000014f: JUMPDEST 00000150: POP 00000151: PUSH2 0x00a8 00000154: PUSH2 0x015e 00000157: CALLDATASIZE 00000158: PUSH1 0x04 0000015a: PUSH2 0x05aa 0000015d: JUMP 0000015e: JUMPDEST 0000015f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000174: AND 00000175: PUSH1 0x00 00000177: SWAP1 00000178: DUP2 00000179: MSTORE 0000017a: PUSH1 0x02 0000017c: PUSH1 0x20 0000017e: MSTORE 0000017f: PUSH1 0x40 00000181: SWAP1 00000182: KECCAK256 00000183: SLOAD 00000184: SWAP1 00000185: JUMP 00000186: JUMPDEST 00000187: CALLVALUE 00000188: DUP1 00000189: ISZERO 0000018a: PUSH2 0x0192 0000018d: JUMPI 0000018e: PUSH1 0x00 00000190: DUP1 00000191: REVERT 00000192: JUMPDEST 00000193: POP 00000194: PUSH1 0x01 00000196: SLOAD 00000197: PUSH2 0x00a8 0000019a: JUMP 0000019b: JUMPDEST 0000019c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000001b1: DUP2 000001b2: AND 000001b3: PUSH1 0x00 000001b5: SWAP1 000001b6: DUP2 000001b7: MSTORE 000001b8: PUSH1 0x02 000001ba: PUSH1 0x20 000001bc: MSTORE 000001bd: PUSH1 0x40 000001bf: SWAP1 000001c0: KECCAK256 000001c1: SLOAD 000001c2: PUSH2 0x0252 000001c5: JUMPI 000001c6: PUSH1 0x40 000001c8: MLOAD 000001c9: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000001ea: DUP2 000001eb: MSTORE 000001ec: PUSH1 0x20 000001ee: PUSH1 0x04 000001f0: DUP3 000001f1: ADD 000001f2: MSTORE 000001f3: PUSH1 0x26 000001f5: PUSH1 0x24 000001f7: DUP3 000001f8: ADD 000001f9: MSTORE 000001fa: PUSH32 0x5061796d656e7453706c69747465723a206163636f756e7420686173206e6f20 0000021b: PUSH1 0x44 0000021d: DUP3 0000021e: ADD 0000021f: MSTORE 00000220: PUSH32 0x7368617265730000000000000000000000000000000000000000000000000000 00000241: PUSH1 0x64 00000243: DUP3 00000244: ADD 00000245: MSTORE 00000246: PUSH1 0x84 00000248: ADD 00000249: JUMPDEST 0000024a: PUSH1 0x40 0000024c: MLOAD 0000024d: DUP1 0000024e: SWAP2 0000024f: SUB 00000250: SWAP1 00000251: REVERT 00000252: JUMPDEST 00000253: PUSH1 0x00 00000255: PUSH1 0x01 00000257: SLOAD 00000258: SELFBALANCE 00000259: PUSH2 0x0262 0000025c: SWAP2 0000025d: SWAP1 0000025e: PUSH2 0x05e7 00000261: JUMP 00000262: JUMPDEST 00000263: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000278: DUP4 00000279: AND 0000027a: PUSH1 0x00 0000027c: SWAP1 0000027d: DUP2 0000027e: MSTORE 0000027f: PUSH1 0x03 00000281: PUSH1 0x20 00000283: SWAP1 00000284: DUP2 00000285: MSTORE 00000286: PUSH1 0x40 00000288: DUP1 00000289: DUP4 0000028a: KECCAK256 0000028b: SLOAD 0000028c: DUP4 0000028d: SLOAD 0000028e: PUSH1 0x02 00000290: SWAP1 00000291: SWAP4 00000292: MSTORE 00000293: SWAP1 00000294: DUP4 00000295: KECCAK256 00000296: SLOAD 00000297: SWAP4 00000298: SWAP5 00000299: POP 0000029a: SWAP2 0000029b: SWAP3 0000029c: PUSH2 0x02a5 0000029f: SWAP1 000002a0: DUP6 000002a1: PUSH2 0x063a 000002a4: JUMP 000002a5: JUMPDEST 000002a6: PUSH2 0x02af 000002a9: SWAP2 000002aa: SWAP1 000002ab: PUSH2 0x05ff 000002ae: JUMP 000002af: JUMPDEST 000002b0: PUSH2 0x02b9 000002b3: SWAP2 000002b4: SWAP1 000002b5: PUSH2 0x0677 000002b8: JUMP 000002b9: JUMPDEST 000002ba: SWAP1 000002bb: POP 000002bc: DUP1 000002bd: PUSH2 0x0348 000002c0: JUMPI 000002c1: PUSH1 0x40 000002c3: MLOAD 000002c4: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000002e5: DUP2 000002e6: MSTORE 000002e7: PUSH1 0x20 000002e9: PUSH1 0x04 000002eb: DUP3 000002ec: ADD 000002ed: MSTORE 000002ee: PUSH1 0x2b 000002f0: PUSH1 0x24 000002f2: DUP3 000002f3: ADD 000002f4: MSTORE 000002f5: PUSH32 0x5061796d656e7453706c69747465723a206163636f756e74206973206e6f7420 00000316: PUSH1 0x44 00000318: DUP3 00000319: ADD 0000031a: MSTORE 0000031b: PUSH32 0x647565207061796d656e74000000000000000000000000000000000000000000 0000033c: PUSH1 0x64 0000033e: DUP3 0000033f: ADD 00000340: MSTORE 00000341: PUSH1 0x84 00000343: ADD 00000344: PUSH2 0x0249 00000347: JUMP 00000348: JUMPDEST 00000349: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000035e: DUP4 0000035f: AND 00000360: PUSH1 0x00 00000362: SWAP1 00000363: DUP2 00000364: MSTORE 00000365: PUSH1 0x03 00000367: PUSH1 0x20 00000369: MSTORE 0000036a: PUSH1 0x40 0000036c: SWAP1 0000036d: KECCAK256 0000036e: SLOAD 0000036f: PUSH2 0x0379 00000372: SWAP1 00000373: DUP3 00000374: SWAP1 00000375: PUSH2 0x05e7 00000378: JUMP 00000379: JUMPDEST 0000037a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000038f: DUP5 00000390: AND 00000391: PUSH1 0x00 00000393: SWAP1 00000394: DUP2 00000395: MSTORE 00000396: PUSH1 0x03 00000398: PUSH1 0x20 0000039a: MSTORE 0000039b: PUSH1 0x40 0000039d: SWAP1 0000039e: KECCAK256 0000039f: SSTORE 000003a0: PUSH1 0x01 000003a2: SLOAD 000003a3: PUSH2 0x03ad 000003a6: SWAP1 000003a7: DUP3 000003a8: SWAP1 000003a9: PUSH2 0x05e7 000003ac: JUMP 000003ad: JUMPDEST 000003ae: PUSH1 0x01 000003b0: SSTORE 000003b1: PUSH2 0x03ba 000003b4: DUP4 000003b5: DUP3 000003b6: PUSH2 0x044b 000003b9: JUMP 000003ba: JUMPDEST 000003bb: PUSH1 0x40 000003bd: DUP1 000003be: MLOAD 000003bf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000003d4: DUP6 000003d5: AND 000003d6: DUP2 000003d7: MSTORE 000003d8: PUSH1 0x20 000003da: DUP2 000003db: ADD 000003dc: DUP4 000003dd: SWAP1 000003de: MSTORE 000003df: PUSH32 0xdf20fd1e76bc69d672e4814fafb2c449bba3a5369d8359adf9e05e6fde87b056 00000400: SWAP2 00000401: ADD 00000402: PUSH1 0x40 00000404: MLOAD 00000405: DUP1 00000406: SWAP2 00000407: SUB 00000408: SWAP1 00000409: LOG1 0000040a: POP 0000040b: POP 0000040c: POP 0000040d: JUMP 0000040e: JUMPDEST 0000040f: PUSH1 0x00 00000411: PUSH1 0x04 00000413: DUP3 00000414: DUP2 00000415: SLOAD 00000416: DUP2 00000417: LT 00000418: PUSH2 0x0423 0000041b: JUMPI 0000041c: PUSH2 0x0423 0000041f: PUSH2 0x06bd 00000422: JUMP 00000423: JUMPDEST 00000424: PUSH1 0x00 00000426: SWAP2 00000427: DUP3 00000428: MSTORE 00000429: PUSH1 0x20 0000042b: SWAP1 0000042c: SWAP2 0000042d: KECCAK256 0000042e: ADD 0000042f: SLOAD 00000430: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000445: AND 00000446: SWAP3 00000447: SWAP2 00000448: POP 00000449: POP 0000044a: JUMP 0000044b: JUMPDEST 0000044c: DUP1 0000044d: SELFBALANCE 0000044e: LT 0000044f: ISZERO 00000450: PUSH2 0x04b5 00000453: JUMPI 00000454: PUSH1 0x40 00000456: MLOAD 00000457: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000478: DUP2 00000479: MSTORE 0000047a: PUSH1 0x20 0000047c: PUSH1 0x04 0000047e: DUP3 0000047f: ADD 00000480: MSTORE 00000481: PUSH1 0x1d 00000483: PUSH1 0x24 00000485: DUP3 00000486: ADD 00000487: MSTORE 00000488: PUSH32 0x416464726573733a20696e73756666696369656e742062616c616e6365000000 000004a9: PUSH1 0x44 000004ab: DUP3 000004ac: ADD 000004ad: MSTORE 000004ae: PUSH1 0x64 000004b0: ADD 000004b1: PUSH2 0x0249 000004b4: JUMP 000004b5: JUMPDEST 000004b6: PUSH1 0x00 000004b8: DUP3 000004b9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000004ce: AND 000004cf: DUP3 000004d0: PUSH1 0x40 000004d2: MLOAD 000004d3: PUSH1 0x00 000004d5: PUSH1 0x40 000004d7: MLOAD 000004d8: DUP1 000004d9: DUP4 000004da: SUB 000004db: DUP2 000004dc: DUP6 000004dd: DUP8 000004de: GAS 000004df: CALL 000004e0: SWAP3 000004e1: POP 000004e2: POP 000004e3: POP 000004e4: RETURNDATASIZE 000004e5: DUP1 000004e6: PUSH1 0x00 000004e8: DUP2 000004e9: EQ 000004ea: PUSH2 0x050f 000004ed: JUMPI 000004ee: PUSH1 0x40 000004f0: MLOAD 000004f1: SWAP2 000004f2: POP 000004f3: PUSH1 0x1f 000004f5: NOT 000004f6: PUSH1 0x3f 000004f8: RETURNDATASIZE 000004f9: ADD 000004fa: AND 000004fb: DUP3 000004fc: ADD 000004fd: PUSH1 0x40 000004ff: MSTORE 00000500: RETURNDATASIZE 00000501: DUP3 00000502: MSTORE 00000503: RETURNDATASIZE 00000504: PUSH1 0x00 00000506: PUSH1 0x20 00000508: DUP5 00000509: ADD 0000050a: RETURNDATACOPY 0000050b: PUSH2 0x0514 0000050e: JUMP 0000050f: JUMPDEST 00000510: PUSH1 0x60 00000512: SWAP2 00000513: POP 00000514: JUMPDEST 00000515: POP 00000516: POP 00000517: SWAP1 00000518: POP 00000519: DUP1 0000051a: PUSH2 0x05a5 0000051d: JUMPI 0000051e: PUSH1 0x40 00000520: MLOAD 00000521: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000542: DUP2 00000543: MSTORE 00000544: PUSH1 0x20 00000546: PUSH1 0x04 00000548: DUP3 00000549: ADD 0000054a: MSTORE 0000054b: PUSH1 0x3a 0000054d: PUSH1 0x24 0000054f: DUP3 00000550: ADD 00000551: MSTORE 00000552: PUSH32 0x416464726573733a20756e61626c6520746f2073656e642076616c75652c2072 00000573: PUSH1 0x44 00000575: DUP3 00000576: ADD 00000577: MSTORE 00000578: PUSH32 0x6563697069656e74206d61792068617665207265766572746564000000000000 00000599: PUSH1 0x64 0000059b: DUP3 0000059c: ADD 0000059d: MSTORE 0000059e: PUSH1 0x84 000005a0: ADD 000005a1: PUSH2 0x0249 000005a4: JUMP 000005a5: JUMPDEST 000005a6: POP 000005a7: POP 000005a8: POP 000005a9: JUMP 000005aa: JUMPDEST 000005ab: PUSH1 0x00 000005ad: PUSH1 0x20 000005af: DUP3 000005b0: DUP5 000005b1: SUB 000005b2: SLT 000005b3: ISZERO 000005b4: PUSH2 0x05bc 000005b7: JUMPI 000005b8: PUSH1 0x00 000005ba: DUP1 000005bb: REVERT 000005bc: JUMPDEST 000005bd: DUP2 000005be: CALLDATALOAD 000005bf: PUSH2 0x05c7 000005c2: DUP2 000005c3: PUSH2 0x06ec 000005c6: JUMP 000005c7: JUMPDEST 000005c8: SWAP4 000005c9: SWAP3 000005ca: POP 000005cb: POP 000005cc: POP 000005cd: JUMP 000005ce: JUMPDEST 000005cf: PUSH1 0x00 000005d1: PUSH1 0x20 000005d3: DUP3 000005d4: DUP5 000005d5: SUB 000005d6: SLT 000005d7: ISZERO 000005d8: PUSH2 0x05e0 000005db: JUMPI 000005dc: PUSH1 0x00 000005de: DUP1 000005df: REVERT 000005e0: JUMPDEST 000005e1: POP 000005e2: CALLDATALOAD 000005e3: SWAP2 000005e4: SWAP1 000005e5: POP 000005e6: JUMP 000005e7: JUMPDEST 000005e8: PUSH1 0x00 000005ea: DUP3 000005eb: NOT 000005ec: DUP3 000005ed: GT 000005ee: ISZERO 000005ef: PUSH2 0x05fa 000005f2: JUMPI 000005f3: PUSH2 0x05fa 000005f6: PUSH2 0x068e 000005f9: JUMP 000005fa: JUMPDEST 000005fb: POP 000005fc: ADD 000005fd: SWAP1 000005fe: JUMP 000005ff: JUMPDEST 00000600: PUSH1 0x00 00000602: DUP3 00000603: PUSH2 0x0635 00000606: JUMPI 00000607: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 00000628: PUSH1 0x00 0000062a: MSTORE 0000062b: PUSH1 0x12 0000062d: PUSH1 0x04 0000062f: MSTORE 00000630: PUSH1 0x24 00000632: PUSH1 0x00 00000634: REVERT 00000635: JUMPDEST 00000636: POP 00000637: DIV 00000638: SWAP1 00000639: JUMP 0000063a: JUMPDEST 0000063b: PUSH1 0x00 0000063d: DUP2 0000063e: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff 0000065f: DIV 00000660: DUP4 00000661: GT 00000662: DUP3 00000663: ISZERO 00000664: ISZERO 00000665: AND 00000666: ISZERO 00000667: PUSH2 0x0672 0000066a: JUMPI 0000066b: PUSH2 0x0672 0000066e: PUSH2 0x068e 00000671: JUMP 00000672: JUMPDEST 00000673: POP 00000674: MUL 00000675: SWAP1 00000676: JUMP 00000677: JUMPDEST 00000678: PUSH1 0x00 0000067a: DUP3 0000067b: DUP3 0000067c: LT 0000067d: ISZERO 0000067e: PUSH2 0x0689 00000681: JUMPI 00000682: PUSH2 0x0689 00000685: PUSH2 0x068e 00000688: JUMP 00000689: JUMPDEST 0000068a: POP 0000068b: SUB 0000068c: SWAP1 0000068d: JUMP 0000068e: JUMPDEST 0000068f: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 000006b0: PUSH1 0x00 000006b2: MSTORE 000006b3: PUSH1 0x11 000006b5: PUSH1 0x04 000006b7: MSTORE 000006b8: PUSH1 0x24 000006ba: PUSH1 0x00 000006bc: REVERT 000006bd: JUMPDEST 000006be: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 000006df: PUSH1 0x00 000006e1: MSTORE 000006e2: PUSH1 0x32 000006e4: PUSH1 0x04 000006e6: MSTORE 000006e7: PUSH1 0x24 000006e9: PUSH1 0x00 000006eb: REVERT 000006ec: JUMPDEST 000006ed: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000702: DUP2 00000703: AND 00000704: DUP2 00000705: EQ 00000706: PUSH2 0x070e 00000709: JUMPI 0000070a: PUSH1 0x00 0000070c: DUP1 0000070d: REVERT 0000070e: JUMPDEST 0000070f: POP 00000710: JUMP 00000711: INVALID 00000712: LOG2 00000713: PUSH5 0x6970667358 00000719: UNKNOWN(0x22) 0000071a: SLT 0000071b: KECCAK256 0000071c: UNKNOWN(0x22) 0000071d: SWAP4 0000071e: PUSH6 0x6cf7828ec938 00000725: UNKNOWN(0xC3) 00000726: CREATE 00000727: UNKNOWN(0xBB) 00000728: UNKNOWN(0xBB) 00000729: SWAP6 0000072a: UNKNOWN(0xAB) 0000072b: CALLDATALOAD 0000072c: CHAINID 0000072d: PUSH15 0xf6a2e42392a8cc1bd7bd6bb170a664 0000073d: PUSH20
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0xe0e7e4a48f99e9c73fcf4da8c9b77b4e451ddbf04870a76cfce593bc8cd56f47
call_targets:
0x711b10096cae89b5896e9612540955b5eb158829
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xe0e7e4a48f99e9c73fcf4da8c9b77b4e451ddbf04870a76cfce593bc8cd56f47",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x711b10096cae89b5896e9612540955b5eb158829"
],
"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": "0x9852595c",
"selector": "0x9852595c",
"calldata_variants": [
"0x9852595c",
"0x9852595c0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xce7c2ac2",
"selector": "0xce7c2ac2",
"calldata_variants": [
"0xce7c2ac2",
"0xce7c2ac20000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe33b7de3",
"selector": "0xe33b7de3",
"calldata_variants": [
"0xe33b7de3",
"0xe33b7de30000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x19165587",
"selector": "0x19165587",
"calldata_variants": [
"0x19165587",
"0x191655870000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3a98ef39",
"selector": "0x3a98ef39",
"calldata_variants": [
"0x3a98ef39",
"0x3a98ef390000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8b83209b",
"selector": "0x8b83209b",
"calldata_variants": [
"0x8b83209b",
"0x8b83209b0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1247,
"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: 0xe0e7e4a48f99e9c73fcf4da8c9b77b4e451ddbf04870a76cfce593bc8cd56f47
call_targets:
0x711b10096cae89b5896e9612540955b5eb158829
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xe0e7e4a48f99e9c73fcf4da8c9b77b4e451ddbf04870a76cfce593bc8cd56f47",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x711b10096cae89b5896e9612540955b5eb158829"
],
"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": "0x9852595c",
"selector": "0x9852595c",
"calldata_variants": [
"0x9852595c",
"0x9852595c0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xce7c2ac2",
"selector": "0xce7c2ac2",
"calldata_variants": [
"0xce7c2ac2",
"0xce7c2ac20000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe33b7de3",
"selector": "0xe33b7de3",
"calldata_variants": [
"0xe33b7de3",
"0xe33b7de30000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x19165587",
"selector": "0x19165587",
"calldata_variants": [
"0x19165587",
"0x191655870000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3a98ef39",
"selector": "0x3a98ef39",
"calldata_variants": [
"0x3a98ef39",
"0x3a98ef390000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8b83209b",
"selector": "0x8b83209b",
"calldata_variants": [
"0x8b83209b",
"0x8b83209b0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1247,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 1,
"guards_detected": []
}
|
| medium | other | detector | CREATE/CREATE2 reachable | 45 | no | no |
viewtrace_id: 0xeafea06aebd54076a5b8a2473a450c024c0c8ece61fdc5608f90597e9892e80d
validation_json{
"sink": "CREATE",
"errors": 0,
"status": "unknown",
"attempts": 12,
"trace_id": "0xeafea06aebd54076a5b8a2473a450c024c0c8ece61fdc5608f90597e9892e80d",
"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": "0x9852595c",
"selector": "0x9852595c",
"calldata_variants": [
"0x9852595c",
"0x9852595c0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xce7c2ac2",
"selector": "0xce7c2ac2",
"calldata_variants": [
"0xce7c2ac2",
"0xce7c2ac20000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe33b7de3",
"selector": "0xe33b7de3",
"calldata_variants": [
"0xe33b7de3",
"0xe33b7de30000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x19165587",
"selector": "0x19165587",
"calldata_variants": [
"0x19165587",
"0x191655870000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3a98ef39",
"selector": "0x3a98ef39",
"calldata_variants": [
"0x3a98ef39",
"0x3a98ef390000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8b83209b",
"selector": "0x8b83209b",
"calldata_variants": [
"0x8b83209b",
"0x8b83209b0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"create_count": 1,
"create2_count": 0
}
|