019ba8a5-a927-739a-8eb8-a353ee8241bc
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 |
|---|---|---|---|---|
| 32537 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 32538 | proxy.resolve | complete | 1 / 3 | 3 months ago |
| 32539 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 32540 | analysis.bundle | complete | 1 / 3 | 3 months ago |
| 32541 | capability.graph | complete | 1 / 3 | 3 months ago |
| 32542 | detector.run | complete | 1 / 3 | 3 months ago |
| 32543 | validation.fork | complete | 1 / 3 | 3 months ago |
{
"status": "not_proxy"
}
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 0x0037 0000000c: JUMPI 0000000d: PUSH0 0000000e: CALLDATALOAD 0000000f: PUSH1 0xe0 00000011: SHR 00000012: DUP1 00000013: PUSH4 0x7f80069a 00000018: EQ 00000019: PUSH2 0x0042 0000001c: JUMPI 0000001d: DUP1 0000001e: PUSH4 0xc4d66de8 00000023: EQ 00000024: PUSH2 0x006c 00000027: JUMPI 00000028: DUP1 00000029: PUSH4 0xd9caed12 0000002e: EQ 0000002f: PUSH2 0x0094 00000032: JUMPI 00000033: PUSH2 0x003e 00000036: JUMP 00000037: JUMPDEST 00000038: CALLDATASIZE 00000039: PUSH2 0x003e 0000003c: JUMPI 0000003d: STOP 0000003e: JUMPDEST 0000003f: PUSH0 00000040: DUP1 00000041: REVERT 00000042: JUMPDEST 00000043: CALLVALUE 00000044: DUP1 00000045: ISZERO 00000046: PUSH2 0x004d 00000049: JUMPI 0000004a: PUSH0 0000004b: DUP1 0000004c: REVERT 0000004d: JUMPDEST 0000004e: POP 0000004f: PUSH2 0x0056 00000052: PUSH2 0x00bc 00000055: JUMP 00000056: JUMPDEST 00000057: PUSH1 0x40 00000059: MLOAD 0000005a: PUSH2 0x0063 0000005d: SWAP2 0000005e: SWAP1 0000005f: PUSH2 0x0591 00000062: JUMP 00000063: JUMPDEST 00000064: PUSH1 0x40 00000066: MLOAD 00000067: DUP1 00000068: SWAP2 00000069: SUB 0000006a: SWAP1 0000006b: RETURN 0000006c: JUMPDEST 0000006d: CALLVALUE 0000006e: DUP1 0000006f: ISZERO 00000070: PUSH2 0x0077 00000073: JUMPI 00000074: PUSH0 00000075: DUP1 00000076: REVERT 00000077: JUMPDEST 00000078: POP 00000079: PUSH2 0x0092 0000007c: PUSH1 0x04 0000007e: DUP1 0000007f: CALLDATASIZE 00000080: SUB 00000081: DUP2 00000082: ADD 00000083: SWAP1 00000084: PUSH2 0x008d 00000087: SWAP2 00000088: SWAP1 00000089: PUSH2 0x0608 0000008c: JUMP 0000008d: JUMPDEST 0000008e: PUSH2 0x00cc 00000091: JUMP 00000092: JUMPDEST 00000093: STOP 00000094: JUMPDEST 00000095: CALLVALUE 00000096: DUP1 00000097: ISZERO 00000098: PUSH2 0x009f 0000009b: JUMPI 0000009c: PUSH0 0000009d: DUP1 0000009e: REVERT 0000009f: JUMPDEST 000000a0: POP 000000a1: PUSH2 0x00ba 000000a4: PUSH1 0x04 000000a6: DUP1 000000a7: CALLDATASIZE 000000a8: SUB 000000a9: DUP2 000000aa: ADD 000000ab: SWAP1 000000ac: PUSH2 0x00b5 000000af: SWAP2 000000b0: SWAP1 000000b1: PUSH2 0x0666 000000b4: JUMP 000000b5: JUMPDEST 000000b6: PUSH2 0x02d6 000000b9: JUMP 000000ba: JUMPDEST 000000bb: STOP 000000bc: JUMPDEST 000000bd: PUSH0 000000be: DUP1 000000bf: SLOAD 000000c0: SWAP1 000000c1: PUSH2 0x0100 000000c4: EXP 000000c5: SWAP1 000000c6: DIV 000000c7: PUSH1 0xff 000000c9: AND 000000ca: DUP2 000000cb: JUMP 000000cc: JUMPDEST 000000cd: PUSH0 000000ce: PUSH2 0x00d5 000000d1: PUSH2 0x0550 000000d4: JUMP 000000d5: JUMPDEST 000000d6: SWAP1 000000d7: POP 000000d8: PUSH0 000000d9: DUP2 000000da: PUSH0 000000db: ADD 000000dc: PUSH1 0x08 000000de: SWAP1 000000df: SLOAD 000000e0: SWAP1 000000e1: PUSH2 0x0100 000000e4: EXP 000000e5: SWAP1 000000e6: DIV 000000e7: PUSH1 0xff 000000e9: AND 000000ea: ISZERO 000000eb: SWAP1 000000ec: POP 000000ed: PUSH0 000000ee: DUP3 000000ef: PUSH0 000000f0: ADD 000000f1: PUSH0 000000f2: SWAP1 000000f3: SLOAD 000000f4: SWAP1 000000f5: PUSH2 0x0100 000000f8: EXP 000000f9: SWAP1 000000fa: DIV 000000fb: PUSH8 0xffffffffffffffff 00000104: AND 00000105: SWAP1 00000106: POP 00000107: PUSH0 00000108: DUP1 00000109: DUP3 0000010a: PUSH8 0xffffffffffffffff 00000113: AND 00000114: EQ 00000115: DUP1 00000116: ISZERO 00000117: PUSH2 0x011d 0000011a: JUMPI 0000011b: POP 0000011c: DUP3 0000011d: JUMPDEST 0000011e: SWAP1 0000011f: POP 00000120: PUSH0 00000121: PUSH1 0x01 00000123: DUP4 00000124: PUSH8 0xffffffffffffffff 0000012d: AND 0000012e: EQ 0000012f: DUP1 00000130: ISZERO 00000131: PUSH2 0x0150 00000134: JUMPI 00000135: POP 00000136: PUSH0 00000137: ADDRESS 00000138: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000014d: AND 0000014e: EXTCODESIZE 0000014f: EQ 00000150: JUMPDEST 00000151: SWAP1 00000152: POP 00000153: DUP2 00000154: ISZERO 00000155: DUP1 00000156: ISZERO 00000157: PUSH2 0x015e 0000015a: JUMPI 0000015b: POP 0000015c: DUP1 0000015d: ISZERO 0000015e: JUMPDEST 0000015f: ISZERO 00000160: PUSH2 0x0195 00000163: JUMPI 00000164: PUSH1 0x40 00000166: MLOAD 00000167: PUSH32 0xf92ee8a900000000000000000000000000000000000000000000000000000000 00000188: DUP2 00000189: MSTORE 0000018a: PUSH1 0x04 0000018c: ADD 0000018d: PUSH1 0x40 0000018f: MLOAD 00000190: DUP1 00000191: SWAP2 00000192: SUB 00000193: SWAP1 00000194: REVERT 00000195: JUMPDEST 00000196: PUSH1 0x01 00000198: DUP6 00000199: PUSH0 0000019a: ADD 0000019b: PUSH0 0000019c: PUSH2 0x0100 0000019f: EXP 000001a0: DUP2 000001a1: SLOAD 000001a2: DUP2 000001a3: PUSH8 0xffffffffffffffff 000001ac: MUL 000001ad: NOT 000001ae: AND 000001af: SWAP1 000001b0: DUP4 000001b1: PUSH8 0xffffffffffffffff 000001ba: AND 000001bb: MUL 000001bc: OR 000001bd: SWAP1 000001be: SSTORE 000001bf: POP 000001c0: DUP4 000001c1: ISZERO 000001c2: PUSH2 0x01e2 000001c5: JUMPI 000001c6: PUSH1 0x01 000001c8: DUP6 000001c9: PUSH0 000001ca: ADD 000001cb: PUSH1 0x08 000001cd: PUSH2 0x0100 000001d0: EXP 000001d1: DUP2 000001d2: SLOAD 000001d3: DUP2 000001d4: PUSH1 0xff 000001d6: MUL 000001d7: NOT 000001d8: AND 000001d9: SWAP1 000001da: DUP4 000001db: ISZERO 000001dc: ISZERO 000001dd: MUL 000001de: OR 000001df: SWAP1 000001e0: SSTORE 000001e1: POP 000001e2: JUMPDEST 000001e3: PUSH0 000001e4: ISZERO 000001e5: ISZERO 000001e6: PUSH0 000001e7: DUP1 000001e8: SLOAD 000001e9: SWAP1 000001ea: PUSH2 0x0100 000001ed: EXP 000001ee: SWAP1 000001ef: DIV 000001f0: PUSH1 0xff 000001f2: AND 000001f3: ISZERO 000001f4: ISZERO 000001f5: EQ 000001f6: PUSH2 0x0234 000001f9: JUMPI 000001fa: PUSH1 0x40 000001fc: MLOAD 000001fd: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 0000021e: DUP2 0000021f: MSTORE 00000220: PUSH1 0x04 00000222: ADD 00000223: PUSH2 0x022b 00000226: SWAP1 00000227: PUSH2 0x0736 0000022a: JUMP 0000022b: JUMPDEST 0000022c: PUSH1 0x40 0000022e: MLOAD 0000022f: DUP1 00000230: SWAP2 00000231: SUB 00000232: SWAP1 00000233: REVERT 00000234: JUMPDEST 00000235: DUP6 00000236: PUSH0 00000237: PUSH1 0x01 00000239: PUSH2 0x0100 0000023c: EXP 0000023d: DUP2 0000023e: SLOAD 0000023f: DUP2 00000240: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000255: MUL 00000256: NOT 00000257: AND 00000258: SWAP1 00000259: DUP4 0000025a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000026f: AND 00000270: MUL 00000271: OR 00000272: SWAP1 00000273: SSTORE 00000274: POP 00000275: DUP4 00000276: ISZERO 00000277: PUSH2 0x02ce 0000027a: JUMPI 0000027b: PUSH0 0000027c: DUP6 0000027d: PUSH0 0000027e: ADD 0000027f: PUSH1 0x08 00000281: PUSH2 0x0100 00000284: EXP 00000285: DUP2 00000286: SLOAD 00000287: DUP2 00000288: PUSH1 0xff 0000028a: MUL 0000028b: NOT 0000028c: AND 0000028d: SWAP1 0000028e: DUP4 0000028f: ISZERO 00000290: ISZERO 00000291: MUL 00000292: OR 00000293: SWAP1 00000294: SSTORE 00000295: POP 00000296: PUSH32 0xc7f505b2f371ae2175ee4913f4499e1f2633a7b5936321eed1cdaeb6115181d2 000002b7: PUSH1 0x01 000002b9: PUSH1 0x40 000002bb: MLOAD 000002bc: PUSH2 0x02c5 000002bf: SWAP2 000002c0: SWAP1 000002c1: PUSH2 0x07a9 000002c4: JUMP 000002c5: JUMPDEST 000002c6: PUSH1 0x40 000002c8: MLOAD 000002c9: DUP1 000002ca: SWAP2 000002cb: SUB 000002cc: SWAP1 000002cd: LOG1 000002ce: JUMPDEST 000002cf: POP 000002d0: POP 000002d1: POP 000002d2: POP 000002d3: POP 000002d4: POP 000002d5: JUMP 000002d6: JUMPDEST 000002d7: PUSH0 000002d8: PUSH1 0x01 000002da: SWAP1 000002db: SLOAD 000002dc: SWAP1 000002dd: PUSH2 0x0100 000002e0: EXP 000002e1: SWAP1 000002e2: DIV 000002e3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000002f8: AND 000002f9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000030e: AND 0000030f: CALLER 00000310: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000325: AND 00000326: EQ 00000327: PUSH2 0x0365 0000032a: JUMPI 0000032b: PUSH1 0x40 0000032d: MLOAD 0000032e: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 0000034f: DUP2 00000350: MSTORE 00000351: PUSH1 0x04 00000353: ADD 00000354: PUSH2 0x035c 00000357: SWAP1 00000358: PUSH2 0x080c 0000035b: JUMP 0000035c: JUMPDEST 0000035d: PUSH1 0x40 0000035f: MLOAD 00000360: DUP1 00000361: SWAP2 00000362: SUB 00000363: SWAP1 00000364: REVERT 00000365: JUMPDEST 00000366: PUSH0 00000367: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000037c: AND 0000037d: DUP4 0000037e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000393: AND 00000394: SUB 00000395: PUSH2 0x0449 00000398: JUMPI 00000399: PUSH0 0000039a: DUP3 0000039b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000003b0: AND 000003b1: DUP3 000003b2: GAS 000003b3: SWAP1 000003b4: PUSH1 0x40 000003b6: MLOAD 000003b7: PUSH2 0x03bf 000003ba: SWAP1 000003bb: PUSH2 0x0857 000003be: JUMP 000003bf: JUMPDEST 000003c0: PUSH0 000003c1: PUSH1 0x40 000003c3: MLOAD 000003c4: DUP1 000003c5: DUP4 000003c6: SUB 000003c7: DUP2 000003c8: DUP6 000003c9: DUP9 000003ca: DUP9 000003cb: CALL 000003cc: SWAP4 000003cd: POP 000003ce: POP 000003cf: POP 000003d0: POP 000003d1: RETURNDATASIZE 000003d2: DUP1 000003d3: PUSH0 000003d4: DUP2 000003d5: EQ 000003d6: PUSH2 0x03fa 000003d9: JUMPI 000003da: PUSH1 0x40 000003dc: MLOAD 000003dd: SWAP2 000003de: POP 000003df: PUSH1 0x1f 000003e1: NOT 000003e2: PUSH1 0x3f 000003e4: RETURNDATASIZE 000003e5: ADD 000003e6: AND 000003e7: DUP3 000003e8: ADD 000003e9: PUSH1 0x40 000003eb: MSTORE 000003ec: RETURNDATASIZE 000003ed: DUP3 000003ee: MSTORE 000003ef: RETURNDATASIZE 000003f0: PUSH0 000003f1: PUSH1 0x20 000003f3: DUP5 000003f4: ADD 000003f5: RETURNDATACOPY 000003f6: PUSH2 0x03ff 000003f9: JUMP 000003fa: JUMPDEST 000003fb: PUSH1 0x60 000003fd: SWAP2 000003fe: POP 000003ff: JUMPDEST 00000400: POP 00000401: POP 00000402: SWAP1 00000403: POP 00000404: DUP1 00000405: PUSH2 0x0443 00000408: JUMPI 00000409: PUSH1 0x40 0000040b: MLOAD 0000040c: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 0000042d: DUP2 0000042e: MSTORE 0000042f: PUSH1 0x04 00000431: ADD 00000432: PUSH2 0x043a 00000435: SWAP1 00000436: PUSH2 0x08b5 00000439: JUMP 0000043a: JUMPDEST 0000043b: PUSH1 0x40 0000043d: MLOAD 0000043e: DUP1 0000043f: SWAP2 00000440: SUB 00000441: SWAP1 00000442: REVERT 00000443: JUMPDEST 00000444: POP 00000445: PUSH2 0x054b 00000448: JUMP 00000449: JUMPDEST 0000044a: PUSH0 0000044b: DUP4 0000044c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000461: AND 00000462: PUSH4 0xa9059cbb 00000467: DUP5 00000468: DUP5 00000469: PUSH1 0x40 0000046b: MLOAD 0000046c: PUSH1 0x24 0000046e: ADD 0000046f: PUSH2 0x0479 00000472: SWAP3 00000473: SWAP2 00000474: SWAP1 00000475: PUSH2 0x08f1 00000478: JUMP 00000479: JUMPDEST 0000047a: PUSH1 0x40 0000047c: MLOAD 0000047d: PUSH1 0x20 0000047f: DUP2 00000480: DUP4 00000481: SUB 00000482: SUB 00000483: DUP2 00000484: MSTORE 00000485: SWAP1 00000486: PUSH1 0x40 00000488: MSTORE 00000489: SWAP1 0000048a: PUSH1 0xe0 0000048c: SHL 0000048d: PUSH1 0x20 0000048f: DUP3 00000490: ADD 00000491: DUP1 00000492: MLOAD 00000493: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff 000004b0: DUP4 000004b1: DUP2 000004b2: DUP4 000004b3: AND 000004b4: OR 000004b5: DUP4 000004b6: MSTORE 000004b7: POP 000004b8: POP 000004b9: POP 000004ba: POP 000004bb: PUSH1 0x40 000004bd: MLOAD 000004be: PUSH2 0x04c7 000004c1: SWAP2 000004c2: SWAP1 000004c3: PUSH2 0x097a 000004c6: JUMP 000004c7: JUMPDEST 000004c8: PUSH0 000004c9: PUSH1 0x40 000004cb: MLOAD 000004cc: DUP1 000004cd: DUP4 000004ce: SUB 000004cf: DUP2 000004d0: PUSH0 000004d1: DUP7 000004d2: GAS 000004d3: CALL 000004d4: SWAP2 000004d5: POP 000004d6: POP 000004d7: RETURNDATASIZE 000004d8: DUP1 000004d9: PUSH0 000004da: DUP2 000004db: EQ 000004dc: PUSH2 0x0500 000004df: JUMPI 000004e0: PUSH1 0x40 000004e2: MLOAD 000004e3: SWAP2 000004e4: POP 000004e5: PUSH1 0x1f 000004e7: NOT 000004e8: PUSH1 0x3f 000004ea: RETURNDATASIZE 000004eb: ADD 000004ec: AND 000004ed: DUP3 000004ee: ADD 000004ef: PUSH1 0x40 000004f1: MSTORE 000004f2: RETURNDATASIZE 000004f3: DUP3 000004f4: MSTORE 000004f5: RETURNDATASIZE 000004f6: PUSH0 000004f7: PUSH1 0x20 000004f9: DUP5 000004fa: ADD 000004fb: RETURNDATACOPY 000004fc: PUSH2 0x0505 000004ff: JUMP 00000500: JUMPDEST 00000501: PUSH1 0x60 00000503: SWAP2 00000504: POP 00000505: JUMPDEST 00000506: POP 00000507: POP 00000508: SWAP1 00000509: POP 0000050a: DUP1 0000050b: PUSH2 0x0549 0000050e: JUMPI 0000050f: PUSH1 0x40 00000511: MLOAD 00000512: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000533: DUP2 00000534: MSTORE 00000535: PUSH1 0x04 00000537: ADD 00000538: PUSH2 0x0540 0000053b: SWAP1 0000053c: PUSH2 0x08b5 0000053f: JUMP 00000540: JUMPDEST 00000541: PUSH1 0x40 00000543: MLOAD 00000544: DUP1 00000545: SWAP2 00000546: SUB 00000547: SWAP1 00000548: REVERT 00000549: JUMPDEST 0000054a: POP 0000054b: JUMPDEST 0000054c: POP 0000054d: POP 0000054e: POP 0000054f: JUMP 00000550: JUMPDEST 00000551: PUSH0 00000552: PUSH32 0xf0c57e16840df040f15088dc2f81fe391c3923bec73e23a9662efc9c229c6a00 00000573: SWAP1 00000574: POP 00000575: SWAP1 00000576: JUMP 00000577: JUMPDEST 00000578: PUSH0 00000579: DUP2 0000057a: ISZERO 0000057b: ISZERO 0000057c: SWAP1 0000057d: POP 0000057e: SWAP2 0000057f: SWAP1 00000580: POP 00000581: JUMP 00000582: JUMPDEST 00000583: PUSH2 0x058b 00000586: DUP2 00000587: PUSH2 0x0577 0000058a: JUMP 0000058b: JUMPDEST 0000058c: DUP3 0000058d: MSTORE 0000058e: POP 0000058f: POP 00000590: JUMP 00000591: JUMPDEST 00000592: PUSH0 00000593: PUSH1 0x20 00000595: DUP3 00000596: ADD 00000597: SWAP1 00000598: POP 00000599: PUSH2 0x05a4 0000059c: PUSH0 0000059d: DUP4 0000059e: ADD 0000059f: DUP5 000005a0: PUSH2 0x0582 000005a3: JUMP 000005a4: JUMPDEST 000005a5: SWAP3 000005a6: SWAP2 000005a7: POP 000005a8: POP 000005a9: JUMP 000005aa: JUMPDEST 000005ab: PUSH0 000005ac: DUP1 000005ad: REVERT 000005ae: JUMPDEST 000005af: PUSH0 000005b0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000005c5: DUP3 000005c6: AND 000005c7: SWAP1 000005c8: POP 000005c9: SWAP2 000005ca: SWAP1 000005cb: POP 000005cc: JUMP 000005cd: JUMPDEST 000005ce: PUSH0 000005cf: PUSH2 0x05d7 000005d2: DUP3 000005d3: PUSH2 0x05ae 000005d6: JUMP 000005d7: JUMPDEST 000005d8: SWAP1 000005d9: POP 000005da: SWAP2 000005db: SWAP1 000005dc: POP 000005dd: JUMP 000005de: JUMPDEST 000005df: PUSH2 0x05e7 000005e2: DUP2 000005e3: PUSH2 0x05cd 000005e6: JUMP 000005e7: JUMPDEST 000005e8: DUP2 000005e9: EQ 000005ea: PUSH2 0x05f1 000005ed: JUMPI 000005ee: PUSH0 000005ef: DUP1 000005f0: REVERT 000005f1: JUMPDEST 000005f2: POP 000005f3: JUMP 000005f4: JUMPDEST 000005f5: PUSH0 000005f6: DUP2 000005f7: CALLDATALOAD 000005f8: SWAP1 000005f9: POP 000005fa: PUSH2 0x0602 000005fd: DUP2 000005fe: PUSH2 0x05de 00000601: JUMP 00000602: JUMPDEST 00000603: SWAP3 00000604: SWAP2 00000605: POP 00000606: POP 00000607: JUMP 00000608: JUMPDEST 00000609: PUSH0 0000060a: PUSH1 0x20 0000060c: DUP3 0000060d: DUP5 0000060e: SUB 0000060f: SLT 00000610: ISZERO 00000611: PUSH2 0x061d 00000614: JUMPI 00000615: PUSH2 0x061c 00000618: PUSH2 0x05aa 0000061b: JUMP 0000061c: JUMPDEST 0000061d: JUMPDEST 0000061e: PUSH0 0000061f: PUSH2 0x062a 00000622: DUP5 00000623: DUP3 00000624: DUP6 00000625: ADD 00000626: PUSH2 0x05f4 00000629: JUMP 0000062a: JUMPDEST 0000062b: SWAP2 0000062c: POP 0000062d: POP 0000062e: SWAP3 0000062f: SWAP2 00000630: POP 00000631: POP 00000632: JUMP 00000633: JUMPDEST 00000634: PUSH0 00000635: DUP2 00000636: SWAP1 00000637: POP 00000638: SWAP2 00000639: SWAP1 0000063a: POP 0000063b: JUMP 0000063c: JUMPDEST 0000063d: PUSH2 0x0645 00000640: DUP2 00000641: PUSH2 0x0633 00000644: JUMP 00000645: JUMPDEST 00000646: DUP2 00000647: EQ 00000648: PUSH2 0x064f 0000064b: JUMPI 0000064c: PUSH0 0000064d: DUP1 0000064e: REVERT 0000064f: JUMPDEST 00000650: POP 00000651: JUMP 00000652: JUMPDEST 00000653: PUSH0 00000654: DUP2 00000655: CALLDATALOAD 00000656: SWAP1 00000657: POP 00000658: PUSH2 0x0660 0000065b: DUP2 0000065c: PUSH2 0x063c 0000065f: JUMP 00000660: JUMPDEST 00000661: SWAP3 00000662: SWAP2 00000663: POP 00000664: POP 00000665: JUMP 00000666: JUMPDEST 00000667: PUSH0 00000668: DUP1 00000669: PUSH0 0000066a: PUSH1 0x60 0000066c: DUP5 0000066d: DUP7 0000066e: SUB 0000066f: SLT 00000670: ISZERO 00000671: PUSH2 0x067d 00000674: JUMPI 00000675: PUSH2 0x067c 00000678: PUSH2 0x05aa 0000067b: JUMP 0000067c: JUMPDEST 0000067d: JUMPDEST 0000067e: PUSH0 0000067f: PUSH2 0x068a 00000682: DUP7 00000683: DUP3 00000684: DUP8 00000685: ADD 00000686: PUSH2 0x05f4 00000689: JUMP 0000068a: JUMPDEST 0000068b: SWAP4 0000068c: POP 0000068d: POP 0000068e: PUSH1 0x20 00000690: PUSH2 0x069b 00000693: DUP7 00000694: DUP3 00000695: DUP8 00000696: ADD 00000697: PUSH2 0x05f4 0000069a: JUMP 0000069b: JUMPDEST 0000069c: SWAP3 0000069d: POP 0000069e: POP 0000069f: PUSH1 0x40 000006a1: PUSH2 0x06ac 000006a4: DUP7 000006a5: DUP3 000006a6: DUP8 000006a7: ADD 000006a8: PUSH2 0x0652 000006ab: JUMP 000006ac: JUMPDEST 000006ad: SWAP2 000006ae: POP 000006af: POP 000006b0: SWAP3 000006b1: POP 000006b2: SWAP3 000006b3: POP 000006b4: SWAP3 000006b5: JUMP 000006b6: JUMPDEST 000006b7: PUSH0 000006b8: DUP3 000006b9: DUP3 000006ba: MSTORE 000006bb: PUSH1 0x20 000006bd: DUP3 000006be: ADD 000006bf: SWAP1 000006c0: POP 000006c1: SWAP3 000006c2: SWAP2 000006c3: POP 000006c4: POP 000006c5: JUMP 000006c6: JUMPDEST 000006c7: PUSH32 0x4465706f736974416464726573733a2074686973206973207468652062617365 000006e8: PUSH0 000006e9: DUP3 000006ea: ADD 000006eb: MSTORE 000006ec: PUSH32 0x20636f6e74726163742c2063616e6e6f7420626520696e697469616c697a6564 0000070d: PUSH1 0x20 0000070f: DUP3 00000710: ADD 00000711: MSTORE 00000712: POP 00000713: JUMP 00000714: JUMPDEST 00000715: PUSH0 00000716: PUSH2 0x0720 00000719: PUSH1 0x40 0000071b: DUP4 0000071c: PUSH2 0x06b6 0000071f: JUMP 00000720: JUMPDEST 00000721: SWAP2 00000722: POP 00000723: PUSH2 0x072b 00000726: DUP3 00000727: PUSH2 0x06c6 0000072a: JUMP 0000072b: JUMPDEST 0000072c: PUSH1 0x40 0000072e: DUP3 0000072f: ADD 00000730: SWAP1 00000731: POP 00000732: SWAP2 00000733: SWAP1 00000734: POP 00000735: JUMP 00000736: JUMPDEST 00000737: PUSH0 00000738: PUSH1 0x20 0000073a: DUP3 0000073b: ADD 0000073c: SWAP1 0000073d: POP 0000073e: DUP2 0000073f: DUP2 00000740: SUB 00000741: PUSH0 00000742: DUP4 00000743: ADD 00000744: MSTORE 00000745: PUSH2 0x074d 00000748: DUP2 00000749: PUSH2 0x0714 0000074c: JUMP 0000074d: JUMPDEST 0000074e: SWAP1 0000074f: POP 00000750: SWAP2 00000751: SWAP1 00000752: POP 00000753: JUMP 00000754: JUMPDEST 00000755: PUSH0 00000756: DUP2 00000757: SWAP1 00000758: POP 00000759: SWAP2 0000075a: SWAP1 0000075b: POP 0000075c: JUMP 0000075d: JUMPDEST 0000075e: PUSH0 0000075f: PUSH8 0xffffffffffffffff 00000768: DUP3 00000769: AND 0000076a: SWAP1 0000076b: POP 0000076c: SWAP2 0000076d: SWAP1 0000076e: POP 0000076f: JUMP 00000770: JUMPDEST 00000771: PUSH0 00000772: DUP2 00000773: SWAP1 00000774: POP 00000775: SWAP2 00000776: SWAP1 00000777: POP 00000778: JUMP 00000779: JUMPDEST 0000077a: PUSH0 0000077b: PUSH2 0x0793 0000077e: PUSH2 0x078e 00000781: PUSH2 0x0789 00000784: DUP5 00000785: PUSH2 0x0754 00000788: JUMP 00000789: JUMPDEST 0000078a: PUSH2 0x0770 0000078d: JUMP 0000078e: JUMPDEST 0000078f: PUSH2 0x075d 00000792: JUMP 00000793: JUMPDEST 00000794: SWAP1 00000795: POP 00000796: SWAP2 00000797: SWAP1 00000798: POP 00000799: JUMP 0000079a: JUMPDEST 0000079b: PUSH2 0x07a3 0000079e: DUP2 0000079f: PUSH2 0x0779 000007a2: JUMP 000007a3: JUMPDEST 000007a4: DUP3 000007a5: MSTORE 000007a6: POP 000007a7: POP 000007a8: JUMP 000007a9: JUMPDEST 000007aa: PUSH0 000007ab: PUSH1 0x20 000007ad: DUP3 000007ae: ADD 000007af: SWAP1 000007b0: POP 000007b1: PUSH2 0x07bc 000007b4: PUSH0 000007b5: DUP4 000007b6: ADD 000007b7: DUP5 000007b8: PUSH2 0x079a 000007bb: JUMP 000007bc: JUMPDEST 000007bd: SWAP3 000007be: SWAP2 000007bf: POP 000007c0: POP 000007c1: JUMP 000007c2: JUMPDEST 000007c3: PUSH32 0x4465706f736974416464726573733a206f6e6c79207472656173757279000000 000007e4: PUSH0 000007e5: DUP3 000007e6: ADD 000007e7: MSTORE 000007e8: POP 000007e9: JUMP 000007ea: JUMPDEST 000007eb: PUSH0 000007ec: PUSH2 0x07f6 000007ef: PUSH1 0x1d 000007f1: DUP4 000007f2: PUSH2 0x06b6 000007f5: JUMP 000007f6: JUMPDEST 000007f7: SWAP2 000007f8: POP 000007f9: PUSH2 0x0801 000007fc: DUP3 000007fd: PUSH2 0x07c2 00000800: JUMP 00000801: JUMPDEST 00000802: PUSH1 0x20 00000804: DUP3 00000805: ADD 00000806: SWAP1 00000807: POP 00000808: SWAP2 00000809: SWAP1 0000080a: POP 0000080b: JUMP 0000080c: JUMPDEST 0000080d: PUSH0 0000080e: PUSH1 0x20 00000810: DUP3 00000811: ADD 00000812: SWAP1 00000813: POP 00000814: DUP2 00000815: DUP2 00000816: SUB 00000817: PUSH0 00000818: DUP4 00000819: ADD 0000081a: MSTORE 0000081b: PUSH2 0x0823 0000081e: DUP2 0000081f: PUSH2 0x07ea 00000822: JUMP 00000823: JUMPDEST 00000824: SWAP1 00000825: POP 00000826: SWAP2 00000827: SWAP1 00000828: POP 00000829: JUMP 0000082a: JUMPDEST 0000082b: PUSH0 0000082c: DUP2 0000082d: SWAP1 0000082e: POP 0000082f: SWAP3 00000830: SWAP2 00000831: POP 00000832: POP 00000833: JUMP 00000834: JUMPDEST 00000835: POP 00000836: JUMP 00000837: JUMPDEST 00000838: PUSH0 00000839: PUSH2 0x0842 0000083c: PUSH0 0000083d: DUP4 0000083e: PUSH2 0x082a 00000841: JUMP 00000842: JUMPDEST 00000843: SWAP2 00000844: POP 00000845: PUSH2 0x084d 00000848: DUP3 00000849: PUSH2 0x0834 0000084c: JUMP 0000084d: JUMPDEST 0000084e: PUSH0 0000084f: DUP3 00000850: ADD 00000851: SWAP1 00000852: POP 00000853: SWAP2 00000854: SWAP1 00000855: POP 00000856: JUMP 00000857: JUMPDEST 00000858: PUSH0 00000859: PUSH2 0x0861 0000085c: DUP3 0000085d: PUSH2 0x0837 00000860: JUMP 00000861: JUMPDEST 00000862: SWAP2 00000863: POP 00000864: DUP2 00000865: SWAP1 00000866: POP 00000867: SWAP2 00000868: SWAP1 00000869: POP 0000086a: JUMP 0000086b: JUMPDEST 0000086c: PUSH32 0x4465706f736974416464726573733a205472616e73666572206661696c656400 0000088d: PUSH0 0000088e: DUP3 0000088f: ADD 00000890: MSTORE 00000891: POP 00000892: JUMP 00000893: JUMPDEST 00000894: PUSH0 00000895: PUSH2 0x089f 00000898: PUSH1 0x1f 0000089a: DUP4 0000089b: PUSH2 0x06b6 0000089e: JUMP 0000089f: JUMPDEST 000008a0: SWAP2 000008a1: POP 000008a2: PUSH2 0x08aa 000008a5: DUP3 000008a6: PUSH2 0x086b 000008a9: JUMP 000008aa: JUMPDEST 000008ab: PUSH1 0x20 000008ad: DUP3 000008ae: ADD 000008af: SWAP1 000008b0: POP 000008b1: SWAP2 000008b2: SWAP1 000008b3: POP 000008b4: JUMP 000008b5: JUMPDEST 000008b6: PUSH0 000008b7: PUSH1 0x20 000008b9: DUP3 000008ba: ADD 000008bb: SWAP1 000008bc: POP 000008bd: DUP2 000008be: DUP2 000008bf: SUB 000008c0: PUSH0 000008c1: DUP4 000008c2: ADD 000008c3: MSTORE 000008c4: PUSH2 0x08cc 000008c7: DUP2 000008c8: PUSH2 0x0893 000008cb: JUMP 000008cc: JUMPDEST 000008cd: SWAP1 000008ce: POP 000008cf: SWAP2 000008d0: SWAP1 000008d1: POP 000008d2: JUMP 000008d3: JUMPDEST 000008d4: PUSH2 0x08dc 000008d7: DUP2 000008d8: PUSH2 0x05cd 000008db: JUMP 000008dc: JUMPDEST 000008dd: DUP3 000008de: MSTORE 000008df: POP 000008e0: POP 000008e1: JUMP 000008e2: JUMPDEST 000008e3: PUSH2 0x08eb 000008e6: DUP2 000008e7: PUSH2 0x0633 000008ea: JUMP 000008eb: JUMPDEST 000008ec: DUP3 000008ed: MSTORE 000008ee: POP 000008ef: POP 000008f0: JUMP 000008f1: JUMPDEST 000008f2: PUSH0 000008f3: PUSH1 0x40 000008f5: DUP3 000008f6: ADD 000008f7: SWAP1 000008f8: POP 000008f9: PUSH2 0x0904 000008fc: PUSH0 000008fd: DUP4 000008fe: ADD 000008ff: DUP6 00000900: PUSH2 0x08d3 00000903: JUMP 00000904: JUMPDEST 00000905: PUSH2 0x0911 00000908: PUSH1 0x20 0000090a: DUP4 0000090b: ADD 0000090c: DUP5 0000090d: PUSH2 0x08e2 00000910: JUMP 00000911: JUMPDEST 00000912: SWAP4 00000913: SWAP3 00000914: POP 00000915: POP 00000916: POP 00000917: JUMP 00000918: JUMPDEST 00000919: PUSH0 0000091a: DUP2 0000091b: MLOAD 0000091c: SWAP1 0000091d: POP 0000091e: SWAP2 0000091f: SWAP1 00000920: POP 00000921: JUMP 00000922: JUMPDEST 00000923: PUSH0 00000924: JUMPDEST 00000925: DUP4 00000926: DUP2 00000927: LT 00000928: ISZERO 00000929: PUSH2 0x093f 0000092c: JUMPI 0000092d: DUP1 0000092e: DUP3 0000092f: ADD 00000930: MLOAD 00000931: DUP2 00000932: DUP5 00000933: ADD 00000934: MSTORE 00000935: PUSH1 0x20 00000937: DUP2 00000938: ADD 00000939: SWAP1 0000093a: POP 0000093b: PUSH2 0x0924 0000093e: JUMP 0000093f: JUMPDEST 00000940: PUSH0 00000941: DUP5 00000942: DUP5 00000943: ADD 00000944: MSTORE 00000945: POP 00000946: POP 00000947: POP 00000948: POP 00000949: JUMP 0000094a: JUMPDEST 0000094b: PUSH0 0000094c: PUSH2 0x0954 0000094f: DUP3 00000950: PUSH2 0x0918 00000953: JUMP 00000954: JUMPDEST 00000955: PUSH2 0x095e 00000958: DUP2 00000959: DUP6 0000095a: PUSH2 0x082a 0000095d: JUMP 0000095e: JUMPDEST 0000095f: SWAP4 00000960: POP 00000961: PUSH2 0x096e 00000964: DUP2 00000965: DUP6 00000966: PUSH1 0x20 00000968: DUP7 00000969: ADD 0000096a: PUSH2 0x0922 0000096d: JUMP 0000096e: JUMPDEST 0000096f: DUP1 00000970: DUP5 00000971: ADD 00000972: SWAP2 00000973: POP 00000974: POP 00000975: SWAP3 00000976: SWAP2 00000977: POP 00000978: POP 00000979: JUMP 0000097a: JUMPDEST 0000097b: PUSH0 0000097c: PUSH2 0x0985 0000097f: DUP3 00000980: DUP5 00000981: PUSH2 0x094a 00000984: JUMP 00000985: JUMPDEST 00000986: SWAP2 00000987: POP 00000988: DUP2 00000989: SWAP1 0000098a: POP 0000098b: SWAP3 0000098c: SWAP2 0000098d: POP 0000098e: POP 0000098f: JUMP 00000990: INVALID 00000991: LOG2 00000992: PUSH5 0x6970667358 00000998: UNKNOWN(0x22) 00000999: SLT 0000099a: KECCAK256 0000099b: UNKNOWN(0xBE) 0000099c: UNKNOWN(0x25) 0000099d: UNKNOWN(0xAA) 0000099e: EXP 0000099f: PUSH6 0x6f55e40e3883 000009a6: CODESIZE 000009a7: UNKNOWN(0xFC) 000009a8: DUP10 000009a9: LT 000009aa: UNKNOWN(0xB6) 000009ab: UNKNOWN(0xC2) 000009ac: UNKNOWN(0xC1) 000009ad: SWAP13 000009ae: UNKNOWN(0xE4) 000009af: PUSH12 0xfd44e8c9f5a3e944338b8764 000009bc: PUSH20
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| medium | other | detector | Untrusted CALL target/value reachable | 45 | no | no |
viewtrace_id: 0x10f616d492de7e22e2247df2299e24d2edeb91f1ae43080b83cfebf70551f860
call_targets:
0x1562cc07a760b35dee211576dd13ed2dbaa0736e
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x10f616d492de7e22e2247df2299e24d2edeb91f1ae43080b83cfebf70551f860",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x1562cc07a760b35dee211576dd13ed2dbaa0736e"
],
"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": "0x7f80069a",
"selector": "0x7f80069a",
"calldata_variants": [
"0x7f80069a",
"0x7f80069a0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc4d66de8",
"selector": "0xc4d66de8",
"calldata_variants": [
"0xc4d66de8",
"0xc4d66de80000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd9caed12",
"selector": "0xd9caed12",
"calldata_variants": [
"0xd9caed12",
"0xd9caed120000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 971,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1235,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 2,
"guards_detected": [
{
"pc": 783,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
}
],
"untrusted_call_count": 2
}
|
| medium | other | detector | ETH value transfer possible | 40 | no | no |
viewtrace_id: 0x10f616d492de7e22e2247df2299e24d2edeb91f1ae43080b83cfebf70551f860
call_targets:
0x1562cc07a760b35dee211576dd13ed2dbaa0736e
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x10f616d492de7e22e2247df2299e24d2edeb91f1ae43080b83cfebf70551f860",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x1562cc07a760b35dee211576dd13ed2dbaa0736e"
],
"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": "0x7f80069a",
"selector": "0x7f80069a",
"calldata_variants": [
"0x7f80069a",
"0x7f80069a0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc4d66de8",
"selector": "0xc4d66de8",
"calldata_variants": [
"0xc4d66de8",
"0xc4d66de80000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd9caed12",
"selector": "0xd9caed12",
"calldata_variants": [
"0xd9caed12",
"0xd9caed120000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 971,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1235,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 2,
"guards_detected": [
{
"pc": 783,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
}
]
}
|