019b477e-c466-718f-b092-f1bb3fb15e82
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 |
|---|---|---|---|---|
| 25403 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 25404 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 90813 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 90814 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 90815 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 90816 | 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 0x0090 0000000c: JUMPI 0000000d: PUSH1 0x00 0000000f: CALLDATALOAD 00000010: PUSH1 0xe0 00000012: SHR 00000013: DUP1 00000014: PUSH4 0x19165587 00000019: EQ 0000001a: PUSH2 0x00dc 0000001d: JUMPI 0000001e: DUP1 0000001f: PUSH4 0x3a7d7d39 00000024: EQ 00000025: PUSH2 0x00fe 00000028: JUMPI 00000029: DUP1 0000002a: PUSH4 0x3a98ef39 0000002f: EQ 00000030: PUSH2 0x0129 00000033: JUMPI 00000034: DUP1 00000035: PUSH4 0x8b83209b 0000003a: EQ 0000003b: PUSH2 0x013e 0000003e: JUMPI 0000003f: DUP1 00000040: PUSH4 0x9852595c 00000045: EQ 00000046: PUSH2 0x016b 00000049: JUMPI 0000004a: DUP1 0000004b: PUSH4 0xb0428da6 00000050: EQ 00000051: PUSH2 0x018b 00000054: JUMPI 00000055: DUP1 00000056: PUSH4 0xb34c8caf 0000005b: EQ 0000005c: PUSH2 0x01a0 0000005f: JUMPI 00000060: DUP1 00000061: PUSH4 0xce7c2ac2 00000066: EQ 00000067: PUSH2 0x01c0 0000006a: JUMPI 0000006b: DUP1 0000006c: PUSH4 0xe1b0311f 00000071: EQ 00000072: PUSH2 0x01e0 00000075: JUMPI 00000076: DUP1 00000077: PUSH4 0xe33b7de3 0000007c: EQ 0000007d: PUSH2 0x0200 00000080: JUMPI 00000081: DUP1 00000082: PUSH4 0xeab902f9 00000087: EQ 00000088: PUSH2 0x0215 0000008b: JUMPI 0000008c: PUSH2 0x00d7 0000008f: JUMP 00000090: JUMPDEST 00000091: CALLDATASIZE 00000092: PUSH2 0x00d7 00000095: JUMPI 00000096: PUSH32 0x6ef95f06320e7a25a04a175ca677b7052bdd97131872c2192525a629f51be770 000000b7: PUSH2 0x00be 000000ba: PUSH2 0x0235 000000bd: JUMP 000000be: JUMPDEST 000000bf: CALLVALUE 000000c0: PUSH1 0x40 000000c2: MLOAD 000000c3: PUSH2 0x00cd 000000c6: SWAP3 000000c7: SWAP2 000000c8: SWAP1 000000c9: PUSH2 0x0583 000000cc: JUMP 000000cd: JUMPDEST 000000ce: PUSH1 0x40 000000d0: MLOAD 000000d1: DUP1 000000d2: SWAP2 000000d3: SUB 000000d4: SWAP1 000000d5: LOG1 000000d6: STOP 000000d7: JUMPDEST 000000d8: PUSH1 0x00 000000da: DUP1 000000db: REVERT 000000dc: JUMPDEST 000000dd: CALLVALUE 000000de: DUP1 000000df: ISZERO 000000e0: PUSH2 0x00e8 000000e3: JUMPI 000000e4: PUSH1 0x00 000000e6: DUP1 000000e7: REVERT 000000e8: JUMPDEST 000000e9: POP 000000ea: PUSH2 0x00fc 000000ed: PUSH2 0x00f7 000000f0: CALLDATASIZE 000000f1: PUSH1 0x04 000000f3: PUSH2 0x0538 000000f6: JUMP 000000f7: JUMPDEST 000000f8: PUSH2 0x0239 000000fb: JUMP 000000fc: JUMPDEST 000000fd: STOP 000000fe: JUMPDEST 000000ff: CALLVALUE 00000100: DUP1 00000101: ISZERO 00000102: PUSH2 0x010a 00000105: JUMPI 00000106: PUSH1 0x00 00000108: DUP1 00000109: REVERT 0000010a: JUMPDEST 0000010b: POP 0000010c: PUSH2 0x0113 0000010f: PUSH2 0x0386 00000112: JUMP 00000113: JUMPDEST 00000114: PUSH1 0x40 00000116: MLOAD 00000117: PUSH2 0x0120 0000011a: SWAP2 0000011b: SWAP1 0000011c: PUSH2 0x06be 0000011f: JUMP 00000120: JUMPDEST 00000121: PUSH1 0x40 00000123: MLOAD 00000124: DUP1 00000125: SWAP2 00000126: SUB 00000127: SWAP1 00000128: RETURN 00000129: JUMPDEST 0000012a: CALLVALUE 0000012b: DUP1 0000012c: ISZERO 0000012d: PUSH2 0x0135 00000130: JUMPI 00000131: PUSH1 0x00 00000133: DUP1 00000134: REVERT 00000135: JUMPDEST 00000136: POP 00000137: PUSH2 0x0113 0000013a: PUSH2 0x038c 0000013d: JUMP 0000013e: JUMPDEST 0000013f: CALLVALUE 00000140: DUP1 00000141: ISZERO 00000142: PUSH2 0x014a 00000145: JUMPI 00000146: PUSH1 0x00 00000148: DUP1 00000149: REVERT 0000014a: JUMPDEST 0000014b: POP 0000014c: PUSH2 0x015e 0000014f: PUSH2 0x0159 00000152: CALLDATASIZE 00000153: PUSH1 0x04 00000155: PUSH2 0x0554 00000158: JUMP 00000159: JUMPDEST 0000015a: PUSH2 0x0392 0000015d: JUMP 0000015e: JUMPDEST 0000015f: PUSH1 0x40 00000161: MLOAD 00000162: PUSH2 0x0120 00000165: SWAP2 00000166: SWAP1 00000167: PUSH2 0x056f 0000016a: JUMP 0000016b: JUMPDEST 0000016c: CALLVALUE 0000016d: DUP1 0000016e: ISZERO 0000016f: PUSH2 0x0177 00000172: JUMPI 00000173: PUSH1 0x00 00000175: DUP1 00000176: REVERT 00000177: JUMPDEST 00000178: POP 00000179: PUSH2 0x0113 0000017c: PUSH2 0x0186 0000017f: CALLDATASIZE 00000180: PUSH1 0x04 00000182: PUSH2 0x0538 00000185: JUMP 00000186: JUMPDEST 00000187: PUSH2 0x03d0 0000018a: JUMP 0000018b: JUMPDEST 0000018c: CALLVALUE 0000018d: DUP1 0000018e: ISZERO 0000018f: PUSH2 0x0197 00000192: JUMPI 00000193: PUSH1 0x00 00000195: DUP1 00000196: REVERT 00000197: JUMPDEST 00000198: POP 00000199: PUSH2 0x0113 0000019c: PUSH2 0x03eb 0000019f: JUMP 000001a0: JUMPDEST 000001a1: CALLVALUE 000001a2: DUP1 000001a3: ISZERO 000001a4: PUSH2 0x01ac 000001a7: JUMPI 000001a8: PUSH1 0x00 000001aa: DUP1 000001ab: REVERT 000001ac: JUMPDEST 000001ad: POP 000001ae: PUSH2 0x0113 000001b1: PUSH2 0x01bb 000001b4: CALLDATASIZE 000001b5: PUSH1 0x04 000001b7: PUSH2 0x0538 000001ba: JUMP 000001bb: JUMPDEST 000001bc: PUSH2 0x03f1 000001bf: JUMP 000001c0: JUMPDEST 000001c1: CALLVALUE 000001c2: DUP1 000001c3: ISZERO 000001c4: PUSH2 0x01cc 000001c7: JUMPI 000001c8: PUSH1 0x00 000001ca: DUP1 000001cb: REVERT 000001cc: JUMPDEST 000001cd: POP 000001ce: PUSH2 0x0113 000001d1: PUSH2 0x01db 000001d4: CALLDATASIZE 000001d5: PUSH1 0x04 000001d7: PUSH2 0x0538 000001da: JUMP 000001db: JUMPDEST 000001dc: PUSH2 0x0403 000001df: JUMP 000001e0: JUMPDEST 000001e1: CALLVALUE 000001e2: DUP1 000001e3: ISZERO 000001e4: PUSH2 0x01ec 000001e7: JUMPI 000001e8: PUSH1 0x00 000001ea: DUP1 000001eb: REVERT 000001ec: JUMPDEST 000001ed: POP 000001ee: PUSH2 0x0113 000001f1: PUSH2 0x01fb 000001f4: CALLDATASIZE 000001f5: PUSH1 0x04 000001f7: PUSH2 0x0538 000001fa: JUMP 000001fb: JUMPDEST 000001fc: PUSH2 0x041e 000001ff: JUMP 00000200: JUMPDEST 00000201: CALLVALUE 00000202: DUP1 00000203: ISZERO 00000204: PUSH2 0x020c 00000207: JUMPI 00000208: PUSH1 0x00 0000020a: DUP1 0000020b: REVERT 0000020c: JUMPDEST 0000020d: POP 0000020e: PUSH2 0x0113 00000211: PUSH2 0x0430 00000214: JUMP 00000215: JUMPDEST 00000216: CALLVALUE 00000217: DUP1 00000218: ISZERO 00000219: PUSH2 0x0221 0000021c: JUMPI 0000021d: PUSH1 0x00 0000021f: DUP1 00000220: REVERT 00000221: JUMPDEST 00000222: POP 00000223: PUSH2 0x0113 00000226: PUSH2 0x0230 00000229: CALLDATASIZE 0000022a: PUSH1 0x04 0000022c: PUSH2 0x0538 0000022f: JUMP 00000230: JUMPDEST 00000231: PUSH2 0x0436 00000234: JUMP 00000235: JUMPDEST 00000236: CALLER 00000237: SWAP1 00000238: JUMP 00000239: JUMPDEST 0000023a: PUSH1 0x01 0000023c: PUSH1 0x01 0000023e: PUSH1 0xa0 00000240: SHL 00000241: SUB 00000242: DUP2 00000243: AND 00000244: PUSH1 0x00 00000246: SWAP1 00000247: DUP2 00000248: MSTORE 00000249: PUSH1 0x02 0000024b: PUSH1 0x20 0000024d: MSTORE 0000024e: PUSH1 0x40 00000250: SWAP1 00000251: KECCAK256 00000252: SLOAD 00000253: PUSH2 0x0277 00000256: JUMPI 00000257: PUSH1 0x40 00000259: MLOAD 0000025a: PUSH3 0x461bcd 0000025e: PUSH1 0xe5 00000260: SHL 00000261: DUP2 00000262: MSTORE 00000263: PUSH1 0x04 00000265: ADD 00000266: PUSH2 0x026e 00000269: SWAP1 0000026a: PUSH2 0x059c 0000026d: JUMP 0000026e: JUMPDEST 0000026f: PUSH1 0x40 00000271: MLOAD 00000272: DUP1 00000273: SWAP2 00000274: SUB 00000275: SWAP1 00000276: REVERT 00000277: JUMPDEST 00000278: PUSH1 0x00 0000027a: PUSH1 0x01 0000027c: SLOAD 0000027d: SELFBALANCE 0000027e: PUSH2 0x0287 00000281: SWAP2 00000282: SWAP1 00000283: PUSH2 0x06c7 00000286: JUMP 00000287: JUMPDEST 00000288: PUSH1 0x01 0000028a: PUSH1 0x01 0000028c: PUSH1 0xa0 0000028e: SHL 0000028f: SUB 00000290: DUP4 00000291: AND 00000292: PUSH1 0x00 00000294: SWAP1 00000295: DUP2 00000296: MSTORE 00000297: PUSH1 0x03 00000299: PUSH1 0x20 0000029b: SWAP1 0000029c: DUP2 0000029d: MSTORE 0000029e: PUSH1 0x40 000002a0: DUP1 000002a1: DUP4 000002a2: KECCAK256 000002a3: SLOAD 000002a4: DUP4 000002a5: SLOAD 000002a6: PUSH1 0x02 000002a8: SWAP1 000002a9: SWAP4 000002aa: MSTORE 000002ab: SWAP1 000002ac: DUP4 000002ad: KECCAK256 000002ae: SLOAD 000002af: SWAP4 000002b0: SWAP5 000002b1: POP 000002b2: SWAP2 000002b3: SWAP3 000002b4: PUSH2 0x02bd 000002b7: SWAP1 000002b8: DUP6 000002b9: PUSH2 0x06ff 000002bc: JUMP 000002bd: JUMPDEST 000002be: PUSH2 0x02c7 000002c1: SWAP2 000002c2: SWAP1 000002c3: PUSH2 0x06df 000002c6: JUMP 000002c7: JUMPDEST 000002c8: PUSH2 0x02d1 000002cb: SWAP2 000002cc: SWAP1 000002cd: PUSH2 0x071e 000002d0: JUMP 000002d1: JUMPDEST 000002d2: SWAP1 000002d3: POP 000002d4: DUP1 000002d5: PUSH2 0x02f0 000002d8: JUMPI 000002d9: PUSH1 0x40 000002db: MLOAD 000002dc: PUSH3 0x461bcd 000002e0: PUSH1 0xe5 000002e2: SHL 000002e3: DUP2 000002e4: MSTORE 000002e5: PUSH1 0x04 000002e7: ADD 000002e8: PUSH2 0x026e 000002eb: SWAP1 000002ec: PUSH2 0x0673 000002ef: JUMP 000002f0: JUMPDEST 000002f1: PUSH1 0x01 000002f3: PUSH1 0x01 000002f5: PUSH1 0xa0 000002f7: SHL 000002f8: SUB 000002f9: DUP4 000002fa: AND 000002fb: PUSH1 0x00 000002fd: SWAP1 000002fe: DUP2 000002ff: MSTORE 00000300: PUSH1 0x03 00000302: PUSH1 0x20 00000304: MSTORE 00000305: PUSH1 0x40 00000307: SWAP1 00000308: KECCAK256 00000309: SLOAD 0000030a: PUSH2 0x0314 0000030d: SWAP1 0000030e: DUP3 0000030f: SWAP1 00000310: PUSH2 0x06c7 00000313: JUMP 00000314: JUMPDEST 00000315: PUSH1 0x01 00000317: PUSH1 0x01 00000319: PUSH1 0xa0 0000031b: SHL 0000031c: SUB 0000031d: DUP5 0000031e: AND 0000031f: PUSH1 0x00 00000321: SWAP1 00000322: DUP2 00000323: MSTORE 00000324: PUSH1 0x03 00000326: PUSH1 0x20 00000328: MSTORE 00000329: PUSH1 0x40 0000032b: SWAP1 0000032c: KECCAK256 0000032d: SSTORE 0000032e: PUSH1 0x01 00000330: SLOAD 00000331: PUSH2 0x033b 00000334: SWAP1 00000335: DUP3 00000336: SWAP1 00000337: PUSH2 0x06c7 0000033a: JUMP 0000033b: JUMPDEST 0000033c: PUSH1 0x01 0000033e: SSTORE 0000033f: PUSH2 0x0348 00000342: DUP4 00000343: DUP3 00000344: PUSH2 0x0497 00000347: JUMP 00000348: JUMPDEST 00000349: PUSH32 0xdf20fd1e76bc69d672e4814fafb2c449bba3a5369d8359adf9e05e6fde87b056 0000036a: DUP4 0000036b: DUP3 0000036c: PUSH1 0x40 0000036e: MLOAD 0000036f: PUSH2 0x0379 00000372: SWAP3 00000373: SWAP2 00000374: SWAP1 00000375: PUSH2 0x0583 00000378: JUMP 00000379: JUMPDEST 0000037a: PUSH1 0x40 0000037c: MLOAD 0000037d: DUP1 0000037e: SWAP2 0000037f: SUB 00000380: SWAP1 00000381: LOG1 00000382: POP 00000383: POP 00000384: POP 00000385: JUMP 00000386: JUMPDEST 00000387: PUSH1 0x01 00000389: SLOAD 0000038a: DUP2 0000038b: JUMP 0000038c: JUMPDEST 0000038d: PUSH1 0x00 0000038f: SLOAD 00000390: SWAP1 00000391: JUMP 00000392: JUMPDEST 00000393: PUSH1 0x00 00000395: PUSH1 0x04 00000397: DUP3 00000398: DUP2 00000399: SLOAD 0000039a: DUP2 0000039b: LT 0000039c: PUSH2 0x03b5 0000039f: JUMPI 000003a0: PUSH4 0x4e487b71 000003a5: PUSH1 0xe0 000003a7: SHL 000003a8: PUSH1 0x00 000003aa: MSTORE 000003ab: PUSH1 0x32 000003ad: PUSH1 0x04 000003af: MSTORE 000003b0: PUSH1 0x24 000003b2: PUSH1 0x00 000003b4: REVERT 000003b5: JUMPDEST 000003b6: PUSH1 0x00 000003b8: SWAP2 000003b9: DUP3 000003ba: MSTORE 000003bb: PUSH1 0x20 000003bd: SWAP1 000003be: SWAP2 000003bf: KECCAK256 000003c0: ADD 000003c1: SLOAD 000003c2: PUSH1 0x01 000003c4: PUSH1 0x01 000003c6: PUSH1 0xa0 000003c8: SHL 000003c9: SUB 000003ca: AND 000003cb: SWAP3 000003cc: SWAP2 000003cd: POP 000003ce: POP 000003cf: JUMP 000003d0: JUMPDEST 000003d1: PUSH1 0x01 000003d3: PUSH1 0x01 000003d5: PUSH1 0xa0 000003d7: SHL 000003d8: SUB 000003d9: AND 000003da: PUSH1 0x00 000003dc: SWAP1 000003dd: DUP2 000003de: MSTORE 000003df: PUSH1 0x03 000003e1: PUSH1 0x20 000003e3: MSTORE 000003e4: PUSH1 0x40 000003e6: SWAP1 000003e7: KECCAK256 000003e8: SLOAD 000003e9: SWAP1 000003ea: JUMP 000003eb: JUMPDEST 000003ec: PUSH1 0x00 000003ee: SLOAD 000003ef: DUP2 000003f0: JUMP 000003f1: JUMPDEST 000003f2: PUSH1 0x02 000003f4: PUSH1 0x20 000003f6: MSTORE 000003f7: PUSH1 0x00 000003f9: SWAP1 000003fa: DUP2 000003fb: MSTORE 000003fc: PUSH1 0x40 000003fe: SWAP1 000003ff: KECCAK256 00000400: SLOAD 00000401: DUP2 00000402: JUMP 00000403: JUMPDEST 00000404: PUSH1 0x01 00000406: PUSH1 0x01 00000408: PUSH1 0xa0 0000040a: SHL 0000040b: SUB 0000040c: AND 0000040d: PUSH1 0x00 0000040f: SWAP1 00000410: DUP2 00000411: MSTORE 00000412: PUSH1 0x02 00000414: PUSH1 0x20 00000416: MSTORE 00000417: PUSH1 0x40 00000419: SWAP1 0000041a: KECCAK256 0000041b: SLOAD 0000041c: SWAP1 0000041d: JUMP 0000041e: JUMPDEST 0000041f: PUSH1 0x03 00000421: PUSH1 0x20 00000423: MSTORE 00000424: PUSH1 0x00 00000426: SWAP1 00000427: DUP2 00000428: MSTORE 00000429: PUSH1 0x40 0000042b: SWAP1 0000042c: KECCAK256 0000042d: SLOAD 0000042e: DUP2 0000042f: JUMP 00000430: JUMPDEST 00000431: PUSH1 0x01 00000433: SLOAD 00000434: SWAP1 00000435: JUMP 00000436: JUMPDEST 00000437: PUSH1 0x00 00000439: DUP1 0000043a: PUSH1 0x01 0000043c: SLOAD 0000043d: SELFBALANCE 0000043e: PUSH2 0x0447 00000441: SWAP2 00000442: SWAP1 00000443: PUSH2 0x06c7 00000446: JUMP 00000447: JUMPDEST 00000448: PUSH1 0x01 0000044a: PUSH1 0x01 0000044c: PUSH1 0xa0 0000044e: SHL 0000044f: SUB 00000450: DUP5 00000451: AND 00000452: PUSH1 0x00 00000454: SWAP1 00000455: DUP2 00000456: MSTORE 00000457: PUSH1 0x03 00000459: PUSH1 0x20 0000045b: SWAP1 0000045c: DUP2 0000045d: MSTORE 0000045e: PUSH1 0x40 00000460: DUP1 00000461: DUP4 00000462: KECCAK256 00000463: SLOAD 00000464: DUP4 00000465: SLOAD 00000466: PUSH1 0x02 00000468: SWAP1 00000469: SWAP4 0000046a: MSTORE 0000046b: SWAP3 0000046c: KECCAK256 0000046d: SLOAD 0000046e: SWAP3 0000046f: SWAP4 00000470: POP 00000471: SWAP1 00000472: SWAP2 00000473: PUSH2 0x047c 00000476: SWAP1 00000477: DUP5 00000478: PUSH2 0x06ff 0000047b: JUMP 0000047c: JUMPDEST 0000047d: PUSH2 0x0486 00000480: SWAP2 00000481: SWAP1 00000482: PUSH2 0x06df 00000485: JUMP 00000486: JUMPDEST 00000487: PUSH2 0x0490 0000048a: SWAP2 0000048b: SWAP1 0000048c: PUSH2 0x071e 0000048f: JUMP 00000490: JUMPDEST 00000491: SWAP4 00000492: SWAP3 00000493: POP 00000494: POP 00000495: POP 00000496: JUMP 00000497: JUMPDEST 00000498: DUP1 00000499: SELFBALANCE 0000049a: LT 0000049b: ISZERO 0000049c: PUSH2 0x04b7 0000049f: JUMPI 000004a0: PUSH1 0x40 000004a2: MLOAD 000004a3: PUSH3 0x461bcd 000004a7: PUSH1 0xe5 000004a9: SHL 000004aa: DUP2 000004ab: MSTORE 000004ac: PUSH1 0x04 000004ae: ADD 000004af: PUSH2 0x026e 000004b2: SWAP1 000004b3: PUSH2 0x063c 000004b6: JUMP 000004b7: JUMPDEST 000004b8: PUSH1 0x00 000004ba: DUP3 000004bb: PUSH1 0x01 000004bd: PUSH1 0x01 000004bf: PUSH1 0xa0 000004c1: SHL 000004c2: SUB 000004c3: AND 000004c4: DUP3 000004c5: PUSH1 0x40 000004c7: MLOAD 000004c8: PUSH2 0x04d0 000004cb: SWAP1 000004cc: PUSH2 0x056c 000004cf: JUMP 000004d0: JUMPDEST 000004d1: PUSH1 0x00 000004d3: PUSH1 0x40 000004d5: MLOAD 000004d6: DUP1 000004d7: DUP4 000004d8: SUB 000004d9: DUP2 000004da: DUP6 000004db: DUP8 000004dc: GAS 000004dd: CALL 000004de: SWAP3 000004df: POP 000004e0: POP 000004e1: POP 000004e2: RETURNDATASIZE 000004e3: DUP1 000004e4: PUSH1 0x00 000004e6: DUP2 000004e7: EQ 000004e8: PUSH2 0x050d 000004eb: JUMPI 000004ec: PUSH1 0x40 000004ee: MLOAD 000004ef: SWAP2 000004f0: POP 000004f1: PUSH1 0x1f 000004f3: NOT 000004f4: PUSH1 0x3f 000004f6: RETURNDATASIZE 000004f7: ADD 000004f8: AND 000004f9: DUP3 000004fa: ADD 000004fb: PUSH1 0x40 000004fd: MSTORE 000004fe: RETURNDATASIZE 000004ff: DUP3 00000500: MSTORE 00000501: RETURNDATASIZE 00000502: PUSH1 0x00 00000504: PUSH1 0x20 00000506: DUP5 00000507: ADD 00000508: RETURNDATACOPY 00000509: PUSH2 0x0512 0000050c: JUMP 0000050d: JUMPDEST 0000050e: PUSH1 0x60 00000510: SWAP2 00000511: POP 00000512: JUMPDEST 00000513: POP 00000514: POP 00000515: SWAP1 00000516: POP 00000517: DUP1 00000518: PUSH2 0x0533 0000051b: JUMPI 0000051c: PUSH1 0x40 0000051e: MLOAD 0000051f: PUSH3 0x461bcd 00000523: PUSH1 0xe5 00000525: SHL 00000526: DUP2 00000527: MSTORE 00000528: PUSH1 0x04 0000052a: ADD 0000052b: PUSH2 0x026e 0000052e: SWAP1 0000052f: PUSH2 0x05e2 00000532: JUMP 00000533: JUMPDEST 00000534: POP 00000535: POP 00000536: POP 00000537: JUMP 00000538: JUMPDEST 00000539: PUSH1 0x00 0000053b: PUSH1 0x20 0000053d: DUP3 0000053e: DUP5 0000053f: SUB 00000540: SLT 00000541: ISZERO 00000542: PUSH2 0x0549 00000545: JUMPI 00000546: DUP1 00000547: DUP2 00000548: REVERT 00000549: JUMPDEST 0000054a: DUP2 0000054b: CALLDATALOAD 0000054c: PUSH2 0x0490 0000054f: DUP2 00000550: PUSH2 0x074b 00000553: JUMP 00000554: JUMPDEST 00000555: PUSH1 0x00 00000557: PUSH1 0x20 00000559: DUP3 0000055a: DUP5 0000055b: SUB 0000055c: SLT 0000055d: ISZERO 0000055e: PUSH2 0x0565 00000561: JUMPI 00000562: DUP1 00000563: DUP2 00000564: REVERT 00000565: JUMPDEST 00000566: POP 00000567: CALLDATALOAD 00000568: SWAP2 00000569: SWAP1 0000056a: POP 0000056b: JUMP 0000056c: JUMPDEST 0000056d: SWAP1 0000056e: JUMP 0000056f: JUMPDEST 00000570: PUSH1 0x01 00000572: PUSH1 0x01 00000574: PUSH1 0xa0 00000576: SHL 00000577: SUB 00000578: SWAP2 00000579: SWAP1 0000057a: SWAP2 0000057b: AND 0000057c: DUP2 0000057d: MSTORE 0000057e: PUSH1 0x20 00000580: ADD 00000581: SWAP1 00000582: JUMP 00000583: JUMPDEST 00000584: PUSH1 0x01 00000586: PUSH1 0x01 00000588: PUSH1 0xa0 0000058a: SHL 0000058b: SUB 0000058c: SWAP3 0000058d: SWAP1 0000058e: SWAP3 0000058f: AND 00000590: DUP3 00000591: MSTORE 00000592: PUSH1 0x20 00000594: DUP3 00000595: ADD 00000596: MSTORE 00000597: PUSH1 0x40 00000599: ADD 0000059a: SWAP1 0000059b: JUMP 0000059c: JUMPDEST 0000059d: PUSH1 0x20 0000059f: DUP1 000005a0: DUP3 000005a1: MSTORE 000005a2: PUSH1 0x26 000005a4: SWAP1 000005a5: DUP3 000005a6: ADD 000005a7: MSTORE 000005a8: PUSH32 0x5061796d656e7453706c69747465723a206163636f756e7420686173206e6f20 000005c9: PUSH1 0x40 000005cb: DUP3 000005cc: ADD 000005cd: MSTORE 000005ce: PUSH6 0x736861726573 000005d5: PUSH1 0xd0 000005d7: SHL 000005d8: PUSH1 0x60 000005da: DUP3 000005db: ADD 000005dc: MSTORE 000005dd: PUSH1 0x80 000005df: ADD 000005e0: SWAP1 000005e1: JUMP 000005e2: JUMPDEST 000005e3: PUSH1 0x20 000005e5: DUP1 000005e6: DUP3 000005e7: MSTORE 000005e8: PUSH1 0x3a 000005ea: SWAP1 000005eb: DUP3 000005ec: ADD 000005ed: MSTORE 000005ee: PUSH32 0x416464726573733a20756e61626c6520746f2073656e642076616c75652c2072 0000060f: PUSH1 0x40 00000611: DUP3 00000612: ADD 00000613: MSTORE 00000614: PUSH26 0x1958da5c1a595b9d081b585e481a185d99481c995d995c9d1959 0000062f: PUSH1 0x32 00000631: SHL 00000632: PUSH1 0x60 00000634: DUP3 00000635: ADD 00000636: MSTORE 00000637: PUSH1 0x80 00000639: ADD 0000063a: SWAP1 0000063b: JUMP 0000063c: JUMPDEST 0000063d: PUSH1 0x20 0000063f: DUP1 00000640: DUP3 00000641: MSTORE 00000642: PUSH1 0x1d 00000644: SWAP1 00000645: DUP3 00000646: ADD 00000647: MSTORE 00000648: PUSH32 0x416464726573733a20696e73756666696369656e742062616c616e6365000000 00000669: PUSH1 0x40 0000066b: DUP3 0000066c: ADD 0000066d: MSTORE 0000066e: PUSH1 0x60 00000670: ADD 00000671: SWAP1 00000672: JUMP 00000673: JUMPDEST 00000674: PUSH1 0x20 00000676: DUP1 00000677: DUP3 00000678: MSTORE 00000679: PUSH1 0x2b 0000067b: SWAP1 0000067c: DUP3 0000067d: ADD 0000067e: MSTORE 0000067f: PUSH32 0x5061796d656e7453706c69747465723a206163636f756e74206973206e6f7420 000006a0: PUSH1 0x40 000006a2: DUP3 000006a3: ADD 000006a4: MSTORE 000006a5: PUSH11 0x191d59481c185e5b595b9d 000006b1: PUSH1 0xaa 000006b3: SHL 000006b4: PUSH1 0x60 000006b6: DUP3 000006b7: ADD 000006b8: MSTORE 000006b9: PUSH1 0x80 000006bb: ADD 000006bc: SWAP1 000006bd: JUMP 000006be: JUMPDEST 000006bf: SWAP1 000006c0: DUP2 000006c1: MSTORE 000006c2: PUSH1 0x20 000006c4: ADD 000006c5: SWAP1 000006c6: JUMP 000006c7: JUMPDEST 000006c8: PUSH1 0x00 000006ca: DUP3 000006cb: NOT 000006cc: DUP3 000006cd: GT 000006ce: ISZERO 000006cf: PUSH2 0x06da 000006d2: JUMPI 000006d3: PUSH2 0x06da 000006d6: PUSH2 0x0735 000006d9: JUMP 000006da: JUMPDEST 000006db: POP 000006dc: ADD 000006dd: SWAP1 000006de: JUMP 000006df: JUMPDEST 000006e0: PUSH1 0x00 000006e2: DUP3 000006e3: PUSH2 0x06fa 000006e6: JUMPI 000006e7: PUSH4 0x4e487b71 000006ec: PUSH1 0xe0 000006ee: SHL 000006ef: DUP2 000006f0: MSTORE 000006f1: PUSH1 0x12 000006f3: PUSH1 0x04 000006f5: MSTORE 000006f6: PUSH1 0x24 000006f8: DUP2 000006f9: REVERT 000006fa: JUMPDEST 000006fb: POP 000006fc: DIV 000006fd: SWAP1 000006fe: JUMP 000006ff: JUMPDEST 00000700: PUSH1 0x00 00000702: DUP2 00000703: PUSH1 0x00 00000705: NOT 00000706: DIV 00000707: DUP4 00000708: GT 00000709: DUP3 0000070a: ISZERO 0000070b: ISZERO 0000070c: AND 0000070d: ISZERO 0000070e: PUSH2 0x0719 00000711: JUMPI 00000712: PUSH2 0x0719 00000715: PUSH2 0x0735 00000718: JUMP 00000719: JUMPDEST 0000071a: POP 0000071b: MUL 0000071c: SWAP1 0000071d: JUMP 0000071e: JUMPDEST 0000071f: PUSH1 0x00 00000721: DUP3 00000722: DUP3 00000723: LT 00000724: ISZERO 00000725: PUSH2 0x0730 00000728: JUMPI 00000729: PUSH2 0x0730 0000072c: PUSH2 0x0735 0000072f: JUMP 00000730: JUMPDEST 00000731: POP 00000732: SUB 00000733: SWAP1 00000734: JUMP 00000735: JUMPDEST 00000736: PUSH4 0x4e487b71 0000073b: PUSH1 0xe0 0000073d: SHL 0000073e: PUSH1 0x00 00000740: MSTORE 00000741: PUSH1 0x11 00000743: PUSH1 0x04 00000745: MSTORE 00000746: PUSH1 0x24 00000748: PUSH1 0x00 0000074a: REVERT 0000074b: JUMPDEST 0000074c: PUSH1 0x01 0000074e: PUSH1 0x01 00000750: PUSH1 0xa0 00000752: SHL 00000753: SUB 00000754: DUP2 00000755: AND 00000756: DUP2 00000757: EQ 00000758: PUSH2 0x0760 0000075b: JUMPI 0000075c: PUSH1 0x00 0000075e: DUP1 0000075f: REVERT 00000760: JUMPDEST 00000761: POP 00000762: JUMP 00000763: INVALID 00000764: LOG2 00000765: PUSH5 0x6970667358 0000076b: UNKNOWN(0x22) 0000076c: SLT 0000076d: KECCAK256 0000076e: UNKNOWN(0xED) 0000076f: UNKNOWN(0xC7) 00000770: PUSH13 0x8afb49ffdcc248497121646dc8 0000077e: LT 0000077f: UNKNOWN(0xA5) 00000780: UNKNOWN(0xF7) 00000781: UNKNOWN(0xF9) 00000782: SWAP10 00000783: UNKNOWN(0xE8) 00000784: UNKNOWN(0xE9) 00000785: OR 00000786: REVERT 00000787: DUP6 00000788: STATICCALL 00000789: BLOBHASH 0000078a: AND 0000078b: PUSH27
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | other | detector | ETH value transfer possible | 55 | no | no |
viewtrace_id: 0x5d4927e86d655cc10d00a0a24ee48e83c8c89b9c15954f751a9b24ede40470f1
call_targets:
0x74e2ea6a8c5b3c39e65619cbd1aef4b660d037db
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x5d4927e86d655cc10d00a0a24ee48e83c8c89b9c15954f751a9b24ede40470f1",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x74e2ea6a8c5b3c39e65619cbd1aef4b660d037db"
],
"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": "0x19165587",
"selector": "0x19165587",
"calldata_variants": [
"0x19165587",
"0x191655870000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3a7d7d39",
"selector": "0x3a7d7d39",
"calldata_variants": [
"0x3a7d7d39",
"0x3a7d7d390000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3a98ef39",
"selector": "0x3a98ef39",
"calldata_variants": [
"0x3a98ef39",
"0x3a98ef390000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8b83209b",
"selector": "0x8b83209b",
"calldata_variants": [
"0x8b83209b",
"0x8b83209b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x9852595c",
"selector": "0x9852595c",
"calldata_variants": [
"0x9852595c",
"0x9852595c0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xb0428da6",
"selector": "0xb0428da6",
"calldata_variants": [
"0xb0428da6",
"0xb0428da60000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xb34c8caf",
"selector": "0xb34c8caf",
"calldata_variants": [
"0xb34c8caf",
"0xb34c8caf0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xce7c2ac2",
"selector": "0xce7c2ac2",
"calldata_variants": [
"0xce7c2ac2",
"0xce7c2ac20000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1245,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 1,
"guards_detected": []
}
|
| high | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0x5d4927e86d655cc10d00a0a24ee48e83c8c89b9c15954f751a9b24ede40470f1
call_targets:
0x74e2ea6a8c5b3c39e65619cbd1aef4b660d037db
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x5d4927e86d655cc10d00a0a24ee48e83c8c89b9c15954f751a9b24ede40470f1",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x74e2ea6a8c5b3c39e65619cbd1aef4b660d037db"
],
"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": "0x19165587",
"selector": "0x19165587",
"calldata_variants": [
"0x19165587",
"0x191655870000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3a7d7d39",
"selector": "0x3a7d7d39",
"calldata_variants": [
"0x3a7d7d39",
"0x3a7d7d390000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3a98ef39",
"selector": "0x3a98ef39",
"calldata_variants": [
"0x3a98ef39",
"0x3a98ef390000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8b83209b",
"selector": "0x8b83209b",
"calldata_variants": [
"0x8b83209b",
"0x8b83209b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x9852595c",
"selector": "0x9852595c",
"calldata_variants": [
"0x9852595c",
"0x9852595c0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xb0428da6",
"selector": "0xb0428da6",
"calldata_variants": [
"0xb0428da6",
"0xb0428da60000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xb34c8caf",
"selector": "0xb34c8caf",
"calldata_variants": [
"0xb34c8caf",
"0xb34c8caf0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xce7c2ac2",
"selector": "0xce7c2ac2",
"calldata_variants": [
"0xce7c2ac2",
"0xce7c2ac20000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1245,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 1,
"guards_detected": [],
"untrusted_call_count": 1
}
|