019b477e-cf59-7188-a242-1df81c06211a
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 |
|---|---|---|---|---|
| 27361 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 27362 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 70827 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 70828 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 70829 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 70830 | 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 0x0091 0000000c: JUMPI 0000000d: PUSH1 0x00 0000000f: CALLDATALOAD 00000010: PUSH1 0xe0 00000012: SHR 00000013: DUP1 00000014: PUSH4 0x593dae5b 00000019: GT 0000001a: PUSH2 0x0059 0000001d: JUMPI 0000001e: DUP1 0000001f: PUSH4 0x593dae5b 00000024: EQ 00000025: PUSH2 0x0152 00000028: JUMPI 00000029: DUP1 0000002a: PUSH4 0x63e32091 0000002f: EQ 00000030: PUSH2 0x016e 00000033: JUMPI 00000034: DUP1 00000035: PUSH4 0x893d20e8 0000003a: EQ 0000003b: PUSH2 0x018a 0000003e: JUMPI 0000003f: DUP1 00000040: PUSH4 0xf3294c13 00000045: EQ 00000046: PUSH2 0x01b5 00000049: JUMPI 0000004a: DUP1 0000004b: PUSH4 0xf3fef3a3 00000050: EQ 00000051: PUSH2 0x01d1 00000054: JUMPI 00000055: PUSH2 0x0091 00000058: JUMP 00000059: JUMPDEST 0000005a: DUP1 0000005b: PUSH4 0x064c8c7c 00000060: EQ 00000061: PUSH2 0x0096 00000064: JUMPI 00000065: DUP1 00000066: PUSH4 0x0c7ef932 0000006b: EQ 0000006c: PUSH2 0x00b2 0000006f: JUMPI 00000070: DUP1 00000071: PUSH4 0x12065fe0 00000076: EQ 00000077: PUSH2 0x00ce 0000007a: JUMPI 0000007b: DUP1 0000007c: PUSH4 0x39fded47 00000081: EQ 00000082: PUSH2 0x00f9 00000085: JUMPI 00000086: DUP1 00000087: PUSH4 0x47734892 0000008c: EQ 0000008d: PUSH2 0x0115 00000090: JUMPI 00000091: JUMPDEST 00000092: PUSH1 0x00 00000094: DUP1 00000095: REVERT 00000096: JUMPDEST 00000097: PUSH2 0x00b0 0000009a: PUSH1 0x04 0000009c: DUP1 0000009d: CALLDATASIZE 0000009e: SUB 0000009f: DUP2 000000a0: ADD 000000a1: SWAP1 000000a2: PUSH2 0x00ab 000000a5: SWAP2 000000a6: SWAP1 000000a7: PUSH2 0x06a5 000000aa: JUMP 000000ab: JUMPDEST 000000ac: PUSH2 0x01fa 000000af: JUMP 000000b0: JUMPDEST 000000b1: STOP 000000b2: JUMPDEST 000000b3: PUSH2 0x00cc 000000b6: PUSH1 0x04 000000b8: DUP1 000000b9: CALLDATASIZE 000000ba: SUB 000000bb: DUP2 000000bc: ADD 000000bd: SWAP1 000000be: PUSH2 0x00c7 000000c1: SWAP2 000000c2: SWAP1 000000c3: PUSH2 0x06a5 000000c6: JUMP 000000c7: JUMPDEST 000000c8: PUSH2 0x0253 000000cb: JUMP 000000cc: JUMPDEST 000000cd: STOP 000000ce: JUMPDEST 000000cf: CALLVALUE 000000d0: DUP1 000000d1: ISZERO 000000d2: PUSH2 0x00da 000000d5: JUMPI 000000d6: PUSH1 0x00 000000d8: DUP1 000000d9: REVERT 000000da: JUMPDEST 000000db: POP 000000dc: PUSH2 0x00e3 000000df: PUSH2 0x02ac 000000e2: JUMP 000000e3: JUMPDEST 000000e4: PUSH1 0x40 000000e6: MLOAD 000000e7: PUSH2 0x00f0 000000ea: SWAP2 000000eb: SWAP1 000000ec: PUSH2 0x06eb 000000ef: JUMP 000000f0: JUMPDEST 000000f1: PUSH1 0x40 000000f3: MLOAD 000000f4: DUP1 000000f5: SWAP2 000000f6: SUB 000000f7: SWAP1 000000f8: RETURN 000000f9: JUMPDEST 000000fa: PUSH2 0x0113 000000fd: PUSH1 0x04 000000ff: DUP1 00000100: CALLDATASIZE 00000101: SUB 00000102: DUP2 00000103: ADD 00000104: SWAP1 00000105: PUSH2 0x010e 00000108: SWAP2 00000109: SWAP1 0000010a: PUSH2 0x06a5 0000010d: JUMP 0000010e: JUMPDEST 0000010f: PUSH2 0x02b4 00000112: JUMP 00000113: JUMPDEST 00000114: STOP 00000115: JUMPDEST 00000116: CALLVALUE 00000117: DUP1 00000118: ISZERO 00000119: PUSH2 0x0121 0000011c: JUMPI 0000011d: PUSH1 0x00 0000011f: DUP1 00000120: REVERT 00000121: JUMPDEST 00000122: POP 00000123: PUSH2 0x013c 00000126: PUSH1 0x04 00000128: DUP1 00000129: CALLDATASIZE 0000012a: SUB 0000012b: DUP2 0000012c: ADD 0000012d: SWAP1 0000012e: PUSH2 0x0137 00000131: SWAP2 00000132: SWAP1 00000133: PUSH2 0x06a5 00000136: JUMP 00000137: JUMPDEST 00000138: PUSH2 0x030d 0000013b: JUMP 0000013c: JUMPDEST 0000013d: PUSH1 0x40 0000013f: MLOAD 00000140: PUSH2 0x0149 00000143: SWAP2 00000144: SWAP1 00000145: PUSH2 0x06eb 00000148: JUMP 00000149: JUMPDEST 0000014a: PUSH1 0x40 0000014c: MLOAD 0000014d: DUP1 0000014e: SWAP2 0000014f: SUB 00000150: SWAP1 00000151: RETURN 00000152: JUMPDEST 00000153: PUSH2 0x016c 00000156: PUSH1 0x04 00000158: DUP1 00000159: CALLDATASIZE 0000015a: SUB 0000015b: DUP2 0000015c: ADD 0000015d: SWAP1 0000015e: PUSH2 0x0167 00000161: SWAP2 00000162: SWAP1 00000163: PUSH2 0x06a5 00000166: JUMP 00000167: JUMPDEST 00000168: PUSH2 0x0356 0000016b: JUMP 0000016c: JUMPDEST 0000016d: STOP 0000016e: JUMPDEST 0000016f: PUSH2 0x0188 00000172: PUSH1 0x04 00000174: DUP1 00000175: CALLDATASIZE 00000176: SUB 00000177: DUP2 00000178: ADD 00000179: SWAP1 0000017a: PUSH2 0x0183 0000017d: SWAP2 0000017e: SWAP1 0000017f: PUSH2 0x06a5 00000182: JUMP 00000183: JUMPDEST 00000184: PUSH2 0x03af 00000187: JUMP 00000188: JUMPDEST 00000189: STOP 0000018a: JUMPDEST 0000018b: CALLVALUE 0000018c: DUP1 0000018d: ISZERO 0000018e: PUSH2 0x0196 00000191: JUMPI 00000192: PUSH1 0x00 00000194: DUP1 00000195: REVERT 00000196: JUMPDEST 00000197: POP 00000198: PUSH2 0x019f 0000019b: PUSH2 0x0408 0000019e: JUMP 0000019f: JUMPDEST 000001a0: PUSH1 0x40 000001a2: MLOAD 000001a3: PUSH2 0x01ac 000001a6: SWAP2 000001a7: SWAP1 000001a8: PUSH2 0x0715 000001ab: JUMP 000001ac: JUMPDEST 000001ad: PUSH1 0x40 000001af: MLOAD 000001b0: DUP1 000001b1: SWAP2 000001b2: SUB 000001b3: SWAP1 000001b4: RETURN 000001b5: JUMPDEST 000001b6: PUSH2 0x01cf 000001b9: PUSH1 0x04 000001bb: DUP1 000001bc: CALLDATASIZE 000001bd: SUB 000001be: DUP2 000001bf: ADD 000001c0: SWAP1 000001c1: PUSH2 0x01ca 000001c4: SWAP2 000001c5: SWAP1 000001c6: PUSH2 0x06a5 000001c9: JUMP 000001ca: JUMPDEST 000001cb: PUSH2 0x0431 000001ce: JUMP 000001cf: JUMPDEST 000001d0: STOP 000001d1: JUMPDEST 000001d2: CALLVALUE 000001d3: DUP1 000001d4: ISZERO 000001d5: PUSH2 0x01dd 000001d8: JUMPI 000001d9: PUSH1 0x00 000001db: DUP1 000001dc: REVERT 000001dd: JUMPDEST 000001de: POP 000001df: PUSH2 0x01f8 000001e2: PUSH1 0x04 000001e4: DUP1 000001e5: CALLDATASIZE 000001e6: SUB 000001e7: DUP2 000001e8: ADD 000001e9: SWAP1 000001ea: PUSH2 0x01f3 000001ed: SWAP2 000001ee: SWAP1 000001ef: PUSH2 0x075c 000001f2: JUMP 000001f3: JUMPDEST 000001f4: PUSH2 0x048a 000001f7: JUMP 000001f8: JUMPDEST 000001f9: STOP 000001fa: JUMPDEST 000001fb: CALLVALUE 000001fc: PUSH1 0x01 000001fe: PUSH1 0x00 00000200: DUP4 00000201: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000216: AND 00000217: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000022c: AND 0000022d: DUP2 0000022e: MSTORE 0000022f: PUSH1 0x20 00000231: ADD 00000232: SWAP1 00000233: DUP2 00000234: MSTORE 00000235: PUSH1 0x20 00000237: ADD 00000238: PUSH1 0x00 0000023a: KECCAK256 0000023b: PUSH1 0x00 0000023d: DUP3 0000023e: DUP3 0000023f: SLOAD 00000240: PUSH2 0x0249 00000243: SWAP2 00000244: SWAP1 00000245: PUSH2 0x07cb 00000248: JUMP 00000249: JUMPDEST 0000024a: SWAP3 0000024b: POP 0000024c: POP 0000024d: DUP2 0000024e: SWAP1 0000024f: SSTORE 00000250: POP 00000251: POP 00000252: JUMP 00000253: JUMPDEST 00000254: CALLVALUE 00000255: PUSH1 0x01 00000257: PUSH1 0x00 00000259: DUP4 0000025a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000026f: AND 00000270: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000285: AND 00000286: DUP2 00000287: MSTORE 00000288: PUSH1 0x20 0000028a: ADD 0000028b: SWAP1 0000028c: DUP2 0000028d: MSTORE 0000028e: PUSH1 0x20 00000290: ADD 00000291: PUSH1 0x00 00000293: KECCAK256 00000294: PUSH1 0x00 00000296: DUP3 00000297: DUP3 00000298: SLOAD 00000299: PUSH2 0x02a2 0000029c: SWAP2 0000029d: SWAP1 0000029e: PUSH2 0x07cb 000002a1: JUMP 000002a2: JUMPDEST 000002a3: SWAP3 000002a4: POP 000002a5: POP 000002a6: DUP2 000002a7: SWAP1 000002a8: SSTORE 000002a9: POP 000002aa: POP 000002ab: JUMP 000002ac: JUMPDEST 000002ad: PUSH1 0x00 000002af: SELFBALANCE 000002b0: SWAP1 000002b1: POP 000002b2: SWAP1 000002b3: JUMP 000002b4: JUMPDEST 000002b5: CALLVALUE 000002b6: PUSH1 0x01 000002b8: PUSH1 0x00 000002ba: DUP4 000002bb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000002d0: AND 000002d1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000002e6: AND 000002e7: DUP2 000002e8: MSTORE 000002e9: PUSH1 0x20 000002eb: ADD 000002ec: SWAP1 000002ed: DUP2 000002ee: MSTORE 000002ef: PUSH1 0x20 000002f1: ADD 000002f2: PUSH1 0x00 000002f4: KECCAK256 000002f5: PUSH1 0x00 000002f7: DUP3 000002f8: DUP3 000002f9: SLOAD 000002fa: PUSH2 0x0303 000002fd: SWAP2 000002fe: SWAP1 000002ff: PUSH2 0x07cb 00000302: JUMP 00000303: JUMPDEST 00000304: SWAP3 00000305: POP 00000306: POP 00000307: DUP2 00000308: SWAP1 00000309: SSTORE 0000030a: POP 0000030b: POP 0000030c: JUMP 0000030d: JUMPDEST 0000030e: PUSH1 0x00 00000310: PUSH1 0x01 00000312: PUSH1 0x00 00000314: DUP4 00000315: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000032a: AND 0000032b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000340: AND 00000341: DUP2 00000342: MSTORE 00000343: PUSH1 0x20 00000345: ADD 00000346: SWAP1 00000347: DUP2 00000348: MSTORE 00000349: PUSH1 0x20 0000034b: ADD 0000034c: PUSH1 0x00 0000034e: KECCAK256 0000034f: SLOAD 00000350: SWAP1 00000351: POP 00000352: SWAP2 00000353: SWAP1 00000354: POP 00000355: JUMP 00000356: JUMPDEST 00000357: CALLVALUE 00000358: PUSH1 0x01 0000035a: PUSH1 0x00 0000035c: DUP4 0000035d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000372: AND 00000373: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000388: AND 00000389: DUP2 0000038a: MSTORE 0000038b: PUSH1 0x20 0000038d: ADD 0000038e: SWAP1 0000038f: DUP2 00000390: MSTORE 00000391: PUSH1 0x20 00000393: ADD 00000394: PUSH1 0x00 00000396: KECCAK256 00000397: PUSH1 0x00 00000399: DUP3 0000039a: DUP3 0000039b: SLOAD 0000039c: PUSH2 0x03a5 0000039f: SWAP2 000003a0: SWAP1 000003a1: PUSH2 0x07cb 000003a4: JUMP 000003a5: JUMPDEST 000003a6: SWAP3 000003a7: POP 000003a8: POP 000003a9: DUP2 000003aa: SWAP1 000003ab: SSTORE 000003ac: POP 000003ad: POP 000003ae: JUMP 000003af: JUMPDEST 000003b0: CALLVALUE 000003b1: PUSH1 0x01 000003b3: PUSH1 0x00 000003b5: DUP4 000003b6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000003cb: AND 000003cc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000003e1: AND 000003e2: DUP2 000003e3: MSTORE 000003e4: PUSH1 0x20 000003e6: ADD 000003e7: SWAP1 000003e8: DUP2 000003e9: MSTORE 000003ea: PUSH1 0x20 000003ec: ADD 000003ed: PUSH1 0x00 000003ef: KECCAK256 000003f0: PUSH1 0x00 000003f2: DUP3 000003f3: DUP3 000003f4: SLOAD 000003f5: PUSH2 0x03fe 000003f8: SWAP2 000003f9: SWAP1 000003fa: PUSH2 0x07cb 000003fd: JUMP 000003fe: JUMPDEST 000003ff: SWAP3 00000400: POP 00000401: POP 00000402: DUP2 00000403: SWAP1 00000404: SSTORE 00000405: POP 00000406: POP 00000407: JUMP 00000408: JUMPDEST 00000409: PUSH1 0x00 0000040b: DUP1 0000040c: PUSH1 0x00 0000040e: SWAP1 0000040f: SLOAD 00000410: SWAP1 00000411: PUSH2 0x0100 00000414: EXP 00000415: SWAP1 00000416: DIV 00000417: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000042c: AND 0000042d: SWAP1 0000042e: POP 0000042f: SWAP1 00000430: JUMP 00000431: JUMPDEST 00000432: CALLVALUE 00000433: PUSH1 0x01 00000435: PUSH1 0x00 00000437: DUP4 00000438: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000044d: AND 0000044e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000463: AND 00000464: DUP2 00000465: MSTORE 00000466: PUSH1 0x20 00000468: ADD 00000469: SWAP1 0000046a: DUP2 0000046b: MSTORE 0000046c: PUSH1 0x20 0000046e: ADD 0000046f: PUSH1 0x00 00000471: KECCAK256 00000472: PUSH1 0x00 00000474: DUP3 00000475: DUP3 00000476: SLOAD 00000477: PUSH2 0x0480 0000047a: SWAP2 0000047b: SWAP1 0000047c: PUSH2 0x07cb 0000047f: JUMP 00000480: JUMPDEST 00000481: SWAP3 00000482: POP 00000483: POP 00000484: DUP2 00000485: SWAP1 00000486: SSTORE 00000487: POP 00000488: POP 00000489: JUMP 0000048a: JUMPDEST 0000048b: PUSH1 0x00 0000048d: DUP2 0000048e: EQ 0000048f: PUSH2 0x0498 00000492: JUMPI 00000493: DUP1 00000494: PUSH2 0x04d9 00000497: JUMP 00000498: JUMPDEST 00000499: PUSH1 0x01 0000049b: PUSH1 0x00 0000049d: CALLER 0000049e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000004b3: AND 000004b4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000004c9: AND 000004ca: DUP2 000004cb: MSTORE 000004cc: PUSH1 0x20 000004ce: ADD 000004cf: SWAP1 000004d0: DUP2 000004d1: MSTORE 000004d2: PUSH1 0x20 000004d4: ADD 000004d5: PUSH1 0x00 000004d7: KECCAK256 000004d8: SLOAD 000004d9: JUMPDEST 000004da: SWAP1 000004db: POP 000004dc: PUSH1 0x00 000004de: DUP2 000004df: GT 000004e0: DUP1 000004e1: ISZERO 000004e2: PUSH2 0x052a 000004e5: JUMPI 000004e6: POP 000004e7: DUP1 000004e8: PUSH1 0x01 000004ea: PUSH1 0x00 000004ec: CALLER 000004ed: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000502: AND 00000503: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000518: AND 00000519: DUP2 0000051a: MSTORE 0000051b: PUSH1 0x20 0000051d: ADD 0000051e: SWAP1 0000051f: DUP2 00000520: MSTORE 00000521: PUSH1 0x20 00000523: ADD 00000524: PUSH1 0x00 00000526: KECCAK256 00000527: SLOAD 00000528: LT 00000529: ISZERO 0000052a: JUMPDEST 0000052b: PUSH2 0x0569 0000052e: JUMPI 0000052f: PUSH1 0x40 00000531: MLOAD 00000532: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000553: DUP2 00000554: MSTORE 00000555: PUSH1 0x04 00000557: ADD 00000558: PUSH2 0x0560 0000055b: SWAP1 0000055c: PUSH2 0x085c 0000055f: JUMP 00000560: JUMPDEST 00000561: PUSH1 0x40 00000563: MLOAD 00000564: DUP1 00000565: SWAP2 00000566: SUB 00000567: SWAP1 00000568: REVERT 00000569: JUMPDEST 0000056a: DUP1 0000056b: PUSH1 0x01 0000056d: PUSH1 0x00 0000056f: CALLER 00000570: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000585: AND 00000586: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000059b: AND 0000059c: DUP2 0000059d: MSTORE 0000059e: PUSH1 0x20 000005a0: ADD 000005a1: SWAP1 000005a2: DUP2 000005a3: MSTORE 000005a4: PUSH1 0x20 000005a6: ADD 000005a7: PUSH1 0x00 000005a9: KECCAK256 000005aa: SLOAD 000005ab: PUSH2 0x05b4 000005ae: SWAP2 000005af: SWAP1 000005b0: PUSH2 0x087c 000005b3: JUMP 000005b4: JUMPDEST 000005b5: PUSH1 0x01 000005b7: PUSH1 0x00 000005b9: CALLER 000005ba: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000005cf: AND 000005d0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000005e5: AND 000005e6: DUP2 000005e7: MSTORE 000005e8: PUSH1 0x20 000005ea: ADD 000005eb: SWAP1 000005ec: DUP2 000005ed: MSTORE 000005ee: PUSH1 0x20 000005f0: ADD 000005f1: PUSH1 0x00 000005f3: KECCAK256 000005f4: DUP2 000005f5: SWAP1 000005f6: SSTORE 000005f7: POP 000005f8: DUP2 000005f9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000060e: AND 0000060f: PUSH2 0x08fc 00000612: DUP3 00000613: SWAP1 00000614: DUP2 00000615: ISZERO 00000616: MUL 00000617: SWAP1 00000618: PUSH1 0x40 0000061a: MLOAD 0000061b: PUSH1 0x00 0000061d: PUSH1 0x40 0000061f: MLOAD 00000620: DUP1 00000621: DUP4 00000622: SUB 00000623: DUP2 00000624: DUP6 00000625: DUP9 00000626: DUP9 00000627: CALL 00000628: SWAP4 00000629: POP 0000062a: POP 0000062b: POP 0000062c: POP 0000062d: ISZERO 0000062e: DUP1 0000062f: ISZERO 00000630: PUSH2 0x063d 00000633: JUMPI 00000634: RETURNDATASIZE 00000635: PUSH1 0x00 00000637: DUP1 00000638: RETURNDATACOPY 00000639: RETURNDATASIZE 0000063a: PUSH1 0x00 0000063c: REVERT 0000063d: JUMPDEST 0000063e: POP 0000063f: POP 00000640: POP 00000641: JUMP 00000642: JUMPDEST 00000643: PUSH1 0x00 00000645: DUP1 00000646: REVERT 00000647: JUMPDEST 00000648: PUSH1 0x00 0000064a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000065f: DUP3 00000660: AND 00000661: SWAP1 00000662: POP 00000663: SWAP2 00000664: SWAP1 00000665: POP 00000666: JUMP 00000667: JUMPDEST 00000668: PUSH1 0x00 0000066a: PUSH2 0x0672 0000066d: DUP3 0000066e: PUSH2 0x0647 00000671: JUMP 00000672: JUMPDEST 00000673: SWAP1 00000674: POP 00000675: SWAP2 00000676: SWAP1 00000677: POP 00000678: JUMP 00000679: JUMPDEST 0000067a: PUSH2 0x0682 0000067d: DUP2 0000067e: PUSH2 0x0667 00000681: JUMP 00000682: JUMPDEST 00000683: DUP2 00000684: EQ 00000685: PUSH2 0x068d 00000688: JUMPI 00000689: PUSH1 0x00 0000068b: DUP1 0000068c: REVERT 0000068d: JUMPDEST 0000068e: POP 0000068f: JUMP 00000690: JUMPDEST 00000691: PUSH1 0x00 00000693: DUP2 00000694: CALLDATALOAD 00000695: SWAP1 00000696: POP 00000697: PUSH2 0x069f 0000069a: DUP2 0000069b: PUSH2 0x0679 0000069e: JUMP 0000069f: JUMPDEST 000006a0: SWAP3 000006a1: SWAP2 000006a2: POP 000006a3: POP 000006a4: JUMP 000006a5: JUMPDEST 000006a6: PUSH1 0x00 000006a8: PUSH1 0x20 000006aa: DUP3 000006ab: DUP5 000006ac: SUB 000006ad: SLT 000006ae: ISZERO 000006af: PUSH2 0x06bb 000006b2: JUMPI 000006b3: PUSH2 0x06ba 000006b6: PUSH2 0x0642 000006b9: JUMP 000006ba: JUMPDEST 000006bb: JUMPDEST 000006bc: PUSH1 0x00 000006be: PUSH2 0x06c9 000006c1: DUP5 000006c2: DUP3 000006c3: DUP6 000006c4: ADD 000006c5: PUSH2 0x0690 000006c8: JUMP 000006c9: JUMPDEST 000006ca: SWAP2 000006cb: POP 000006cc: POP 000006cd: SWAP3 000006ce: SWAP2 000006cf: POP 000006d0: POP 000006d1: JUMP 000006d2: JUMPDEST 000006d3: PUSH1 0x00 000006d5: DUP2 000006d6: SWAP1 000006d7: POP 000006d8: SWAP2 000006d9: SWAP1 000006da: POP 000006db: JUMP 000006dc: JUMPDEST 000006dd: PUSH2 0x06e5 000006e0: DUP2 000006e1: PUSH2 0x06d2 000006e4: JUMP 000006e5: JUMPDEST 000006e6: DUP3 000006e7: MSTORE 000006e8: POP 000006e9: POP 000006ea: JUMP 000006eb: JUMPDEST 000006ec: PUSH1 0x00 000006ee: PUSH1 0x20 000006f0: DUP3 000006f1: ADD 000006f2: SWAP1 000006f3: POP 000006f4: PUSH2 0x0700 000006f7: PUSH1 0x00 000006f9: DUP4 000006fa: ADD 000006fb: DUP5 000006fc: PUSH2 0x06dc 000006ff: JUMP 00000700: JUMPDEST 00000701: SWAP3 00000702: SWAP2 00000703: POP 00000704: POP 00000705: JUMP 00000706: JUMPDEST 00000707: PUSH2 0x070f 0000070a: DUP2 0000070b: PUSH2 0x0667 0000070e: JUMP 0000070f: JUMPDEST 00000710: DUP3 00000711: MSTORE 00000712: POP 00000713: POP 00000714: JUMP 00000715: JUMPDEST 00000716: PUSH1 0x00 00000718: PUSH1 0x20 0000071a: DUP3 0000071b: ADD 0000071c: SWAP1 0000071d: POP 0000071e: PUSH2 0x072a 00000721: PUSH1 0x00 00000723: DUP4 00000724: ADD 00000725: DUP5 00000726: PUSH2 0x0706 00000729: JUMP 0000072a: JUMPDEST 0000072b: SWAP3 0000072c: SWAP2 0000072d: POP 0000072e: POP 0000072f: JUMP 00000730: JUMPDEST 00000731: PUSH2 0x0739 00000734: DUP2 00000735: PUSH2 0x06d2 00000738: JUMP 00000739: JUMPDEST 0000073a: DUP2 0000073b: EQ 0000073c: PUSH2 0x0744 0000073f: JUMPI 00000740: PUSH1 0x00 00000742: DUP1 00000743: REVERT 00000744: JUMPDEST 00000745: POP 00000746: JUMP 00000747: JUMPDEST 00000748: PUSH1 0x00 0000074a: DUP2 0000074b: CALLDATALOAD 0000074c: SWAP1 0000074d: POP 0000074e: PUSH2 0x0756 00000751: DUP2 00000752: PUSH2 0x0730 00000755: JUMP 00000756: JUMPDEST 00000757: SWAP3 00000758: SWAP2 00000759: POP 0000075a: POP 0000075b: JUMP 0000075c: JUMPDEST 0000075d: PUSH1 0x00 0000075f: DUP1 00000760: PUSH1 0x40 00000762: DUP4 00000763: DUP6 00000764: SUB 00000765: SLT 00000766: ISZERO 00000767: PUSH2 0x0773 0000076a: JUMPI 0000076b: PUSH2 0x0772 0000076e: PUSH2 0x0642 00000771: JUMP 00000772: JUMPDEST 00000773: JUMPDEST 00000774: PUSH1 0x00 00000776: PUSH2 0x0781 00000779: DUP6 0000077a: DUP3 0000077b: DUP7 0000077c: ADD 0000077d: PUSH2 0x0690 00000780: JUMP 00000781: JUMPDEST 00000782: SWAP3 00000783: POP 00000784: POP 00000785: PUSH1 0x20 00000787: PUSH2 0x0792 0000078a: DUP6 0000078b: DUP3 0000078c: DUP7 0000078d: ADD 0000078e: PUSH2 0x0747 00000791: JUMP 00000792: JUMPDEST 00000793: SWAP2 00000794: POP 00000795: POP 00000796: SWAP3 00000797: POP 00000798: SWAP3 00000799: SWAP1 0000079a: POP 0000079b: JUMP 0000079c: JUMPDEST 0000079d: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 000007be: PUSH1 0x00 000007c0: MSTORE 000007c1: PUSH1 0x11 000007c3: PUSH1 0x04 000007c5: MSTORE 000007c6: PUSH1 0x24 000007c8: PUSH1 0x00 000007ca: REVERT 000007cb: JUMPDEST 000007cc: PUSH1 0x00 000007ce: PUSH2 0x07d6 000007d1: DUP3 000007d2: PUSH2 0x06d2 000007d5: JUMP 000007d6: JUMPDEST 000007d7: SWAP2 000007d8: POP 000007d9: PUSH2 0x07e1 000007dc: DUP4 000007dd: PUSH2 0x06d2 000007e0: JUMP 000007e1: JUMPDEST 000007e2: SWAP3 000007e3: POP 000007e4: DUP3 000007e5: DUP3 000007e6: ADD 000007e7: SWAP1 000007e8: POP 000007e9: DUP1 000007ea: DUP3 000007eb: GT 000007ec: ISZERO 000007ed: PUSH2 0x07f9 000007f0: JUMPI 000007f1: PUSH2 0x07f8 000007f4: PUSH2 0x079c 000007f7: JUMP 000007f8: JUMPDEST 000007f9: JUMPDEST 000007fa: SWAP3 000007fb: SWAP2 000007fc: POP 000007fd: POP 000007fe: JUMP 000007ff: JUMPDEST 00000800: PUSH1 0x00 00000802: DUP3 00000803: DUP3 00000804: MSTORE 00000805: PUSH1 0x20 00000807: DUP3 00000808: ADD 00000809: SWAP1 0000080a: POP 0000080b: SWAP3 0000080c: SWAP2 0000080d: POP 0000080e: POP 0000080f: JUMP 00000810: JUMPDEST 00000811: PUSH32 0x49742773206e6f7420656e6f756768206d6f6e6579206f6e2062616c616e6365 00000832: PUSH1 0x00 00000834: DUP3 00000835: ADD 00000836: MSTORE 00000837: POP 00000838: JUMP 00000839: JUMPDEST 0000083a: PUSH1 0x00 0000083c: PUSH2 0x0846 0000083f: PUSH1 0x20 00000841: DUP4 00000842: PUSH2 0x07ff 00000845: JUMP 00000846: JUMPDEST 00000847: SWAP2 00000848: POP 00000849: PUSH2 0x0851 0000084c: DUP3 0000084d: PUSH2 0x0810 00000850: JUMP 00000851: JUMPDEST 00000852: PUSH1 0x20 00000854: DUP3 00000855: ADD 00000856: SWAP1 00000857: POP 00000858: SWAP2 00000859: SWAP1 0000085a: POP 0000085b: JUMP 0000085c: JUMPDEST 0000085d: PUSH1 0x00 0000085f: PUSH1 0x20 00000861: DUP3 00000862: ADD 00000863: SWAP1 00000864: POP 00000865: DUP2 00000866: DUP2 00000867: SUB 00000868: PUSH1 0x00 0000086a: DUP4 0000086b: ADD 0000086c: MSTORE 0000086d: PUSH2 0x0875 00000870: DUP2 00000871: PUSH2 0x0839 00000874: JUMP 00000875: JUMPDEST 00000876: SWAP1 00000877: POP 00000878: SWAP2 00000879: SWAP1 0000087a: POP 0000087b: JUMP 0000087c: JUMPDEST 0000087d: PUSH1 0x00 0000087f: PUSH2 0x0887 00000882: DUP3 00000883: PUSH2 0x06d2 00000886: JUMP 00000887: JUMPDEST 00000888: SWAP2 00000889: POP 0000088a: PUSH2 0x0892 0000088d: DUP4 0000088e: PUSH2 0x06d2 00000891: JUMP 00000892: JUMPDEST 00000893: SWAP3 00000894: POP 00000895: DUP3 00000896: DUP3 00000897: SUB 00000898: SWAP1 00000899: POP 0000089a: DUP2 0000089b: DUP2 0000089c: GT 0000089d: ISZERO 0000089e: PUSH2 0x08aa 000008a1: JUMPI 000008a2: PUSH2 0x08a9 000008a5: PUSH2 0x079c 000008a8: JUMP 000008a9: JUMPDEST 000008aa: JUMPDEST 000008ab: SWAP3 000008ac: SWAP2 000008ad: POP 000008ae: POP 000008af: JUMP 000008b0: INVALID 000008b1: LOG2 000008b2: PUSH5 0x6970667358 000008b8: UNKNOWN(0x22) 000008b9: SLT 000008ba: KECCAK256 000008bb: DUP6 000008bc: UNKNOWN(0xE7) 000008bd: XOR 000008be: DUP10 000008bf: UNKNOWN(0xDB) 000008c0: PUSH27 0xbfbbd17603c65ec0d06b6ffd0b0916f02b40567963d0265ddd4564 000008dc: PUSH20
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0x73cb5ca52ae553d1235657f0cb8e78bde6788231245d5fc9534e2d694f194f87
call_targets:
0xacbd7c3357687be445985fcab1ff4551c88aa375
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x73cb5ca52ae553d1235657f0cb8e78bde6788231245d5fc9534e2d694f194f87",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xacbd7c3357687be445985fcab1ff4551c88aa375"
],
"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": "0x593dae5b",
"selector": "0x593dae5b",
"calldata_variants": [
"0x593dae5b",
"0x593dae5b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x63e32091",
"selector": "0x63e32091",
"calldata_variants": [
"0x63e32091",
"0x63e320910000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x893d20e8",
"selector": "0x893d20e8",
"calldata_variants": [
"0x893d20e8",
"0x893d20e80000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf3294c13",
"selector": "0xf3294c13",
"calldata_variants": [
"0xf3294c13",
"0xf3294c130000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf3fef3a3",
"selector": "0xf3fef3a3",
"calldata_variants": [
"0xf3fef3a3",
"0xf3fef3a30000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x064c8c7c",
"selector": "0x064c8c7c",
"calldata_variants": [
"0x064c8c7c",
"0x064c8c7c0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x0c7ef932",
"selector": "0x0c7ef932",
"calldata_variants": [
"0x0c7ef932",
"0x0c7ef9320000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x12065fe0",
"selector": "0x12065fe0",
"calldata_variants": [
"0x12065fe0",
"0x12065fe00000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1575,
"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: 0x73cb5ca52ae553d1235657f0cb8e78bde6788231245d5fc9534e2d694f194f87
call_targets:
0xacbd7c3357687be445985fcab1ff4551c88aa375
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x73cb5ca52ae553d1235657f0cb8e78bde6788231245d5fc9534e2d694f194f87",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xacbd7c3357687be445985fcab1ff4551c88aa375"
],
"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": "0x593dae5b",
"selector": "0x593dae5b",
"calldata_variants": [
"0x593dae5b",
"0x593dae5b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x63e32091",
"selector": "0x63e32091",
"calldata_variants": [
"0x63e32091",
"0x63e320910000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x893d20e8",
"selector": "0x893d20e8",
"calldata_variants": [
"0x893d20e8",
"0x893d20e80000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf3294c13",
"selector": "0xf3294c13",
"calldata_variants": [
"0xf3294c13",
"0xf3294c130000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf3fef3a3",
"selector": "0xf3fef3a3",
"calldata_variants": [
"0xf3fef3a3",
"0xf3fef3a30000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x064c8c7c",
"selector": "0x064c8c7c",
"calldata_variants": [
"0x064c8c7c",
"0x064c8c7c0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x0c7ef932",
"selector": "0x0c7ef932",
"calldata_variants": [
"0x0c7ef932",
"0x0c7ef9320000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x12065fe0",
"selector": "0x12065fe0",
"calldata_variants": [
"0x12065fe0",
"0x12065fe00000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1575,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 1,
"guards_detected": []
}
|