019b477e-ab5f-71e1-9797-761fd2cf8efa
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 |
|---|---|---|---|---|
| 21007 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 21008 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 88913 | analysis.bundle | complete | 1 / 3 | 1 week ago |
| 88914 | capability.graph | complete | 1 / 3 | 1 week ago |
| 88915 | detector.run | complete | 1 / 3 | 1 week ago |
| 88916 | validation.fork | complete | 1 / 3 | 1 week ago |
No slither job recorded yet.
No codex job recorded yet.
00000000: PUSH1 0x60 00000002: PUSH1 0x40 00000004: MSTORE 00000005: CALLDATASIZE 00000006: ISZERO 00000007: PUSH2 0x0088 0000000a: JUMPI 0000000b: PUSH4 0xffffffff 00000010: PUSH1 0xe0 00000012: PUSH1 0x02 00000014: EXP 00000015: PUSH1 0x00 00000017: CALLDATALOAD 00000018: DIV 00000019: AND 0000001a: PUSH4 0x01cb3b20 0000001f: DUP2 00000020: EQ 00000021: PUSH2 0x01af 00000024: JUMPI 00000025: DUP1 00000026: PUSH4 0x29dcb0cf 0000002b: EQ 0000002c: PUSH2 0x01c4 0000002f: JUMPI 00000030: DUP1 00000031: PUSH4 0x38af3eed 00000036: EQ 00000037: PUSH2 0x01e9 0000003a: JUMPI 0000003b: DUP1 0000003c: PUSH4 0x6e66f6e9 00000041: EQ 00000042: PUSH2 0x0218 00000045: JUMPI 00000046: DUP1 00000047: PUSH4 0x70a08231 0000004c: EQ 0000004d: PUSH2 0x0247 00000050: JUMPI 00000051: DUP1 00000052: PUSH4 0x7a3a0e84 00000057: EQ 00000058: PUSH2 0x0278 0000005b: JUMPI 0000005c: DUP1 0000005d: PUSH4 0x7b3e5e7b 00000062: EQ 00000063: PUSH2 0x029d 00000066: JUMPI 00000067: DUP1 00000068: PUSH4 0xa035b1fe 0000006d: EQ 0000006e: PUSH2 0x02c2 00000071: JUMPI 00000072: DUP1 00000073: PUSH4 0xcde9f2ea 00000078: EQ 00000079: PUSH2 0x02e7 0000007c: JUMPI 0000007d: DUP1 0000007e: PUSH4 0xfd6b7ef8 00000083: EQ 00000084: PUSH2 0x030c 00000087: JUMPI 00000088: JUMPDEST 00000089: JUMPDEST 0000008a: PUSH1 0x00 0000008c: PUSH7 0x2ee5547f090000 00000094: CALLVALUE 00000095: LT 00000096: ISZERO 00000097: PUSH2 0x009f 0000009a: JUMPI 0000009b: PUSH1 0x00 0000009d: DUP1 0000009e: REVERT 0000009f: JUMPDEST 000000a0: PUSH1 0x0b 000000a2: SLOAD 000000a3: PUSH2 0x0100 000000a6: SWAP1 000000a7: DIV 000000a8: PUSH1 0xff 000000aa: AND 000000ab: ISZERO 000000ac: PUSH2 0x00b4 000000af: JUMPI 000000b0: PUSH1 0x00 000000b2: DUP1 000000b3: REVERT 000000b4: JUMPDEST 000000b5: POP 000000b6: PUSH1 0x01 000000b8: PUSH1 0xa0 000000ba: PUSH1 0x02 000000bc: EXP 000000bd: SUB 000000be: CALLER 000000bf: DUP2 000000c0: DUP2 000000c1: AND 000000c2: PUSH1 0x00 000000c4: SWAP1 000000c5: DUP2 000000c6: MSTORE 000000c7: PUSH1 0x0a 000000c9: PUSH1 0x20 000000cb: MSTORE 000000cc: PUSH1 0x40 000000ce: SWAP1 000000cf: KECCAK256 000000d0: DUP1 000000d1: SLOAD 000000d2: CALLVALUE 000000d3: SWAP1 000000d4: DUP2 000000d5: ADD 000000d6: SWAP1 000000d7: SWAP2 000000d8: SSTORE 000000d9: PUSH1 0x02 000000db: DUP1 000000dc: SLOAD 000000dd: DUP3 000000de: ADD 000000df: SWAP1 000000e0: SSTORE 000000e1: PUSH1 0x09 000000e3: SLOAD 000000e4: SWAP1 000000e5: SWAP3 000000e6: AND 000000e7: SWAP1 000000e8: PUSH4 0xa9059cbb 000000ed: SWAP1 000000ee: PUSH2 0x00f6 000000f1: DUP5 000000f2: PUSH2 0x0321 000000f5: JUMP 000000f6: JUMPDEST 000000f7: PUSH8 0x0de0b6b3a7640000 00000100: MUL 00000101: PUSH1 0x40 00000103: MLOAD 00000104: PUSH1 0xe0 00000106: PUSH1 0x02 00000108: EXP 00000109: PUSH4 0xffffffff 0000010e: DUP6 0000010f: AND 00000110: MUL 00000111: DUP2 00000112: MSTORE 00000113: PUSH1 0x01 00000115: PUSH1 0xa0 00000117: PUSH1 0x02 00000119: EXP 0000011a: SUB 0000011b: SWAP1 0000011c: SWAP3 0000011d: AND 0000011e: PUSH1 0x04 00000120: DUP4 00000121: ADD 00000122: MSTORE 00000123: PUSH1 0x24 00000125: DUP3 00000126: ADD 00000127: MSTORE 00000128: PUSH1 0x44 0000012a: ADD 0000012b: PUSH1 0x00 0000012d: PUSH1 0x40 0000012f: MLOAD 00000130: DUP1 00000131: DUP4 00000132: SUB 00000133: DUP2 00000134: PUSH1 0x00 00000136: DUP8 00000137: DUP1 00000138: EXTCODESIZE 00000139: ISZERO 0000013a: ISZERO 0000013b: PUSH2 0x0143 0000013e: JUMPI 0000013f: PUSH1 0x00 00000141: DUP1 00000142: REVERT 00000143: JUMPDEST 00000144: PUSH2 0x02c6 00000147: GAS 00000148: SUB 00000149: CALL 0000014a: ISZERO 0000014b: ISZERO 0000014c: PUSH2 0x0154 0000014f: JUMPI 00000150: PUSH1 0x00 00000152: DUP1 00000153: REVERT 00000154: JUMPDEST 00000155: POP 00000156: POP 00000157: POP 00000158: PUSH32 0xe842aea7a5f1b01049d752008c53c52890b1a6daf660cf39e8eec506112bbdf6 00000179: CALLER 0000017a: DUP3 0000017b: PUSH1 0x01 0000017d: PUSH1 0x40 0000017f: MLOAD 00000180: PUSH1 0x01 00000182: PUSH1 0xa0 00000184: PUSH1 0x02 00000186: EXP 00000187: SUB 00000188: SWAP1 00000189: SWAP4 0000018a: AND 0000018b: DUP4 0000018c: MSTORE 0000018d: PUSH1 0x20 0000018f: DUP4 00000190: ADD 00000191: SWAP2 00000192: SWAP1 00000193: SWAP2 00000194: MSTORE 00000195: ISZERO 00000196: ISZERO 00000197: PUSH1 0x40 00000199: DUP1 0000019a: DUP4 0000019b: ADD 0000019c: SWAP2 0000019d: SWAP1 0000019e: SWAP2 0000019f: MSTORE 000001a0: PUSH1 0x60 000001a2: SWAP1 000001a3: SWAP2 000001a4: ADD 000001a5: SWAP1 000001a6: MLOAD 000001a7: DUP1 000001a8: SWAP2 000001a9: SUB 000001aa: SWAP1 000001ab: LOG1 000001ac: JUMPDEST 000001ad: POP 000001ae: STOP 000001af: JUMPDEST 000001b0: CALLVALUE 000001b1: ISZERO 000001b2: PUSH2 0x01ba 000001b5: JUMPI 000001b6: PUSH1 0x00 000001b8: DUP1 000001b9: REVERT 000001ba: JUMPDEST 000001bb: PUSH2 0x01c2 000001be: PUSH2 0x048e 000001c1: JUMP 000001c2: JUMPDEST 000001c3: STOP 000001c4: JUMPDEST 000001c5: CALLVALUE 000001c6: ISZERO 000001c7: PUSH2 0x01cf 000001ca: JUMPI 000001cb: PUSH1 0x00 000001cd: DUP1 000001ce: REVERT 000001cf: JUMPDEST 000001d0: PUSH2 0x01d7 000001d3: PUSH2 0x0517 000001d6: JUMP 000001d7: JUMPDEST 000001d8: PUSH1 0x40 000001da: MLOAD 000001db: SWAP1 000001dc: DUP2 000001dd: MSTORE 000001de: PUSH1 0x20 000001e0: ADD 000001e1: PUSH1 0x40 000001e3: MLOAD 000001e4: DUP1 000001e5: SWAP2 000001e6: SUB 000001e7: SWAP1 000001e8: RETURN 000001e9: JUMPDEST 000001ea: CALLVALUE 000001eb: ISZERO 000001ec: PUSH2 0x01f4 000001ef: JUMPI 000001f0: PUSH1 0x00 000001f2: DUP1 000001f3: REVERT 000001f4: JUMPDEST 000001f5: PUSH2 0x01fc 000001f8: PUSH2 0x051d 000001fb: JUMP 000001fc: JUMPDEST 000001fd: PUSH1 0x40 000001ff: MLOAD 00000200: PUSH1 0x01 00000202: PUSH1 0xa0 00000204: PUSH1 0x02 00000206: EXP 00000207: SUB 00000208: SWAP1 00000209: SWAP2 0000020a: AND 0000020b: DUP2 0000020c: MSTORE 0000020d: PUSH1 0x20 0000020f: ADD 00000210: PUSH1 0x40 00000212: MLOAD 00000213: DUP1 00000214: SWAP2 00000215: SUB 00000216: SWAP1 00000217: RETURN 00000218: JUMPDEST 00000219: CALLVALUE 0000021a: ISZERO 0000021b: PUSH2 0x0223 0000021e: JUMPI 0000021f: PUSH1 0x00 00000221: DUP1 00000222: REVERT 00000223: JUMPDEST 00000224: PUSH2 0x01fc 00000227: PUSH2 0x052c 0000022a: JUMP 0000022b: JUMPDEST 0000022c: PUSH1 0x40 0000022e: MLOAD 0000022f: PUSH1 0x01 00000231: PUSH1 0xa0 00000233: PUSH1 0x02 00000235: EXP 00000236: SUB 00000237: SWAP1 00000238: SWAP2 00000239: AND 0000023a: DUP2 0000023b: MSTORE 0000023c: PUSH1 0x20 0000023e: ADD 0000023f: PUSH1 0x40 00000241: MLOAD 00000242: DUP1 00000243: SWAP2 00000244: SUB 00000245: SWAP1 00000246: RETURN 00000247: JUMPDEST 00000248: CALLVALUE 00000249: ISZERO 0000024a: PUSH2 0x0252 0000024d: JUMPI 0000024e: PUSH1 0x00 00000250: DUP1 00000251: REVERT 00000252: JUMPDEST 00000253: PUSH2 0x01d7 00000256: PUSH1 0x01 00000258: PUSH1 0xa0 0000025a: PUSH1 0x02 0000025c: EXP 0000025d: SUB 0000025e: PUSH1 0x04 00000260: CALLDATALOAD 00000261: AND 00000262: PUSH2 0x053b 00000265: JUMP 00000266: JUMPDEST 00000267: PUSH1 0x40 00000269: MLOAD 0000026a: SWAP1 0000026b: DUP2 0000026c: MSTORE 0000026d: PUSH1 0x20 0000026f: ADD 00000270: PUSH1 0x40 00000272: MLOAD 00000273: DUP1 00000274: SWAP2 00000275: SUB 00000276: SWAP1 00000277: RETURN 00000278: JUMPDEST 00000279: CALLVALUE 0000027a: ISZERO 0000027b: PUSH2 0x0283 0000027e: JUMPI 0000027f: PUSH1 0x00 00000281: DUP1 00000282: REVERT 00000283: JUMPDEST 00000284: PUSH2 0x01d7 00000287: PUSH2 0x054d 0000028a: JUMP 0000028b: JUMPDEST 0000028c: PUSH1 0x40 0000028e: MLOAD 0000028f: SWAP1 00000290: DUP2 00000291: MSTORE 00000292: PUSH1 0x20 00000294: ADD 00000295: PUSH1 0x40 00000297: MLOAD 00000298: DUP1 00000299: SWAP2 0000029a: SUB 0000029b: SWAP1 0000029c: RETURN 0000029d: JUMPDEST 0000029e: CALLVALUE 0000029f: ISZERO 000002a0: PUSH2 0x02a8 000002a3: JUMPI 000002a4: PUSH1 0x00 000002a6: DUP1 000002a7: REVERT 000002a8: JUMPDEST 000002a9: PUSH2 0x01d7 000002ac: PUSH2 0x0553 000002af: JUMP 000002b0: JUMPDEST 000002b1: PUSH1 0x40 000002b3: MLOAD 000002b4: SWAP1 000002b5: DUP2 000002b6: MSTORE 000002b7: PUSH1 0x20 000002b9: ADD 000002ba: PUSH1 0x40 000002bc: MLOAD 000002bd: DUP1 000002be: SWAP2 000002bf: SUB 000002c0: SWAP1 000002c1: RETURN 000002c2: JUMPDEST 000002c3: CALLVALUE 000002c4: ISZERO 000002c5: PUSH2 0x02cd 000002c8: JUMPI 000002c9: PUSH1 0x00 000002cb: DUP1 000002cc: REVERT 000002cd: JUMPDEST 000002ce: PUSH2 0x01d7 000002d1: PUSH2 0x0559 000002d4: JUMP 000002d5: JUMPDEST 000002d6: PUSH1 0x40 000002d8: MLOAD 000002d9: SWAP1 000002da: DUP2 000002db: MSTORE 000002dc: PUSH1 0x20 000002de: ADD 000002df: PUSH1 0x40 000002e1: MLOAD 000002e2: DUP1 000002e3: SWAP2 000002e4: SUB 000002e5: SWAP1 000002e6: RETURN 000002e7: JUMPDEST 000002e8: CALLVALUE 000002e9: ISZERO 000002ea: PUSH2 0x02f2 000002ed: JUMPI 000002ee: PUSH1 0x00 000002f0: DUP1 000002f1: REVERT 000002f2: JUMPDEST 000002f3: PUSH2 0x01d7 000002f6: PUSH2 0x055f 000002f9: JUMP 000002fa: JUMPDEST 000002fb: PUSH1 0x40 000002fd: MLOAD 000002fe: SWAP1 000002ff: DUP2 00000300: MSTORE 00000301: PUSH1 0x20 00000303: ADD 00000304: PUSH1 0x40 00000306: MLOAD 00000307: DUP1 00000308: SWAP2 00000309: SUB 0000030a: SWAP1 0000030b: RETURN 0000030c: JUMPDEST 0000030d: CALLVALUE 0000030e: ISZERO 0000030f: PUSH2 0x0317 00000312: JUMPI 00000313: PUSH1 0x00 00000315: DUP1 00000316: REVERT 00000317: JUMPDEST 00000318: PUSH2 0x01c2 0000031b: PUSH2 0x0565 0000031e: JUMP 0000031f: JUMPDEST 00000320: STOP 00000321: JUMPDEST 00000322: PUSH1 0x00 00000324: DUP1 00000325: PUSH1 0x00 00000327: PUSH2 0x032f 0000032a: DUP5 0000032b: PUSH2 0x07e7 0000032e: JUMP 0000032f: JUMPDEST 00000330: SWAP2 00000331: POP 00000332: PUSH1 0x00 00000334: SWAP1 00000335: POP 00000336: PUSH1 0x07 00000338: SLOAD 00000339: PUSH3 0x015180 0000033d: ADD 0000033e: TIMESTAMP 0000033f: LT 00000340: ISZERO 00000341: PUSH2 0x0367 00000344: JUMPI 00000345: PUSH1 0x64 00000347: DUP3 00000348: PUSH1 0x08 0000034a: SLOAD 0000034b: DUP7 0000034c: DUP2 0000034d: ISZERO 0000034e: ISZERO 0000034f: PUSH2 0x0354 00000352: JUMPI 00000353: INVALID 00000354: JUMPDEST 00000355: DIV 00000356: MUL 00000357: DUP2 00000358: ISZERO 00000359: ISZERO 0000035a: PUSH2 0x035f 0000035d: JUMPI 0000035e: INVALID 0000035f: JUMPDEST 00000360: DIV 00000361: SWAP1 00000362: POP 00000363: PUSH2 0x0480 00000366: JUMP 00000367: JUMPDEST 00000368: PUSH1 0x07 0000036a: SLOAD 0000036b: PUSH3 0x069780 0000036f: ADD 00000370: TIMESTAMP 00000371: LT 00000372: ISZERO 00000373: PUSH2 0x03b2 00000376: JUMPI 00000377: PUSH1 0x64 00000379: DUP3 0000037a: PUSH6 0x5af3107a4000 00000381: PUSH1 0x08 00000383: SLOAD 00000384: PUSH6 0x5db49c9cfc1f 0000038b: MUL 0000038c: DUP2 0000038d: ISZERO 0000038e: ISZERO 0000038f: PUSH2 0x0394 00000392: JUMPI 00000393: INVALID 00000394: JUMPDEST 00000395: DIV 00000396: DUP7 00000397: DUP2 00000398: ISZERO 00000399: ISZERO 0000039a: PUSH2 0x0354 0000039d: JUMPI 0000039e: INVALID 0000039f: JUMPDEST 000003a0: DIV 000003a1: MUL 000003a2: DUP2 000003a3: ISZERO 000003a4: ISZERO 000003a5: PUSH2 0x035f 000003a8: JUMPI 000003a9: INVALID 000003aa: JUMPDEST 000003ab: DIV 000003ac: SWAP1 000003ad: POP 000003ae: PUSH2 0x0480 000003b1: JUMP 000003b2: JUMPDEST 000003b3: PUSH1 0x07 000003b5: SLOAD 000003b6: PUSH3 0x112380 000003ba: ADD 000003bb: TIMESTAMP 000003bc: LT 000003bd: ISZERO 000003be: PUSH2 0x03fd 000003c1: JUMPI 000003c2: PUSH1 0x64 000003c4: DUP3 000003c5: PUSH6 0x5af3107a4000 000003cc: PUSH1 0x08 000003ce: SLOAD 000003cf: PUSH6 0x6337b4e2745d 000003d6: MUL 000003d7: DUP2 000003d8: ISZERO 000003d9: ISZERO 000003da: PUSH2 0x0394 000003dd: JUMPI 000003de: INVALID 000003df: JUMPDEST 000003e0: DIV 000003e1: DUP7 000003e2: DUP2 000003e3: ISZERO 000003e4: ISZERO 000003e5: PUSH2 0x0354 000003e8: JUMPI 000003e9: INVALID 000003ea: JUMPDEST 000003eb: DIV 000003ec: MUL 000003ed: DUP2 000003ee: ISZERO 000003ef: ISZERO 000003f0: PUSH2 0x035f 000003f3: JUMPI 000003f4: INVALID 000003f5: JUMPDEST 000003f6: DIV 000003f7: SWAP1 000003f8: POP 000003f9: PUSH2 0x0480 000003fc: JUMP 000003fd: JUMPDEST 000003fe: PUSH1 0x07 00000400: SLOAD 00000401: PUSH3 0x224700 00000405: ADD 00000406: TIMESTAMP 00000407: LT 00000408: ISZERO 00000409: PUSH2 0x0448 0000040c: JUMPI 0000040d: PUSH1 0x64 0000040f: DUP3 00000410: PUSH6 0x5af3107a4000 00000417: PUSH1 0x08 00000419: SLOAD 0000041a: PUSH6 0x6a1b93394aaa 00000421: MUL 00000422: DUP2 00000423: ISZERO 00000424: ISZERO 00000425: PUSH2 0x0394 00000428: JUMPI 00000429: INVALID 0000042a: JUMPDEST 0000042b: DIV 0000042c: DUP7 0000042d: DUP2 0000042e: ISZERO 0000042f: ISZERO 00000430: PUSH2 0x0354 00000433: JUMPI 00000434: INVALID 00000435: JUMPDEST 00000436: DIV 00000437: MUL 00000438: DUP2 00000439: ISZERO 0000043a: ISZERO 0000043b: PUSH2 0x035f 0000043e: JUMPI 0000043f: INVALID 00000440: JUMPDEST 00000441: DIV 00000442: SWAP1 00000443: POP 00000444: PUSH2 0x0480 00000447: JUMP 00000448: JUMPDEST 00000449: PUSH1 0x64 0000044b: DUP3 0000044c: PUSH6 0x5af3107a4000 00000453: PUSH1 0x08 00000455: SLOAD 00000456: PUSH6 0x6b7c594aa8ba 0000045d: MUL 0000045e: DUP2 0000045f: ISZERO 00000460: ISZERO 00000461: PUSH2 0x0466 00000464: JUMPI 00000465: INVALID 00000466: JUMPDEST 00000467: DIV 00000468: DUP7 00000469: DUP2 0000046a: ISZERO 0000046b: ISZERO 0000046c: PUSH2 0x0471 0000046f: JUMPI 00000470: INVALID 00000471: JUMPDEST 00000472: DIV 00000473: MUL 00000474: DUP2 00000475: ISZERO 00000476: ISZERO 00000477: PUSH2 0x047c 0000047a: JUMPI 0000047b: INVALID 0000047c: JUMPDEST 0000047d: DIV 0000047e: SWAP1 0000047f: POP 00000480: JUMPDEST 00000481: JUMPDEST 00000482: JUMPDEST 00000483: JUMPDEST 00000484: DUP1 00000485: SWAP3 00000486: POP 00000487: JUMPDEST 00000488: POP 00000489: POP 0000048a: SWAP2 0000048b: SWAP1 0000048c: POP 0000048d: JUMP 0000048e: JUMPDEST 0000048f: PUSH1 0x06 00000491: SLOAD 00000492: TIMESTAMP 00000493: LT 00000494: PUSH2 0x0513 00000497: JUMPI 00000498: PUSH1 0x01 0000049a: SLOAD 0000049b: PUSH1 0x02 0000049d: SLOAD 0000049e: LT 0000049f: PUSH2 0x0503 000004a2: JUMPI 000004a3: PUSH1 0x0b 000004a5: DUP1 000004a6: SLOAD 000004a7: PUSH1 0xff 000004a9: NOT 000004aa: AND 000004ab: PUSH1 0x01 000004ad: OR 000004ae: SWAP1 000004af: SSTORE 000004b0: PUSH1 0x00 000004b2: SLOAD 000004b3: PUSH1 0x02 000004b5: SLOAD 000004b6: PUSH32 0xec3f991caf7857d61663fd1bba1739e04abd4781238508cde554bb849d790c85 000004d7: SWAP2 000004d8: PUSH1 0x01 000004da: PUSH1 0xa0 000004dc: PUSH1 0x02 000004de: EXP 000004df: SUB 000004e0: AND 000004e1: SWAP1 000004e2: PUSH1 0x40 000004e4: MLOAD 000004e5: PUSH1 0x01 000004e7: PUSH1 0xa0 000004e9: PUSH1 0x02 000004eb: EXP 000004ec: SUB 000004ed: SWAP1 000004ee: SWAP3 000004ef: AND 000004f0: DUP3 000004f1: MSTORE 000004f2: PUSH1 0x20 000004f4: DUP3 000004f5: ADD 000004f6: MSTORE 000004f7: PUSH1 0x40 000004f9: SWAP1 000004fa: DUP2 000004fb: ADD 000004fc: SWAP1 000004fd: MLOAD 000004fe: DUP1 000004ff: SWAP2 00000500: SUB 00000501: SWAP1 00000502: LOG1 00000503: JUMPDEST 00000504: PUSH1 0x0b 00000506: DUP1 00000507: SLOAD 00000508: PUSH2 0xff00 0000050b: NOT 0000050c: AND 0000050d: PUSH2 0x0100 00000510: OR 00000511: SWAP1 00000512: SSTORE 00000513: JUMPDEST 00000514: JUMPDEST 00000515: JUMPDEST 00000516: JUMP 00000517: JUMPDEST 00000518: PUSH1 0x06 0000051a: SLOAD 0000051b: DUP2 0000051c: JUMP 0000051d: JUMPDEST 0000051e: PUSH1 0x00 00000520: SLOAD 00000521: PUSH1 0x01 00000523: PUSH1 0xa0 00000525: PUSH1 0x02 00000527: EXP 00000528: SUB 00000529: AND 0000052a: DUP2 0000052b: JUMP 0000052c: JUMPDEST 0000052d: PUSH1 0x09 0000052f: SLOAD 00000530: PUSH1 0x01 00000532: PUSH1 0xa0 00000534: PUSH1 0x02 00000536: EXP 00000537: SUB 00000538: AND 00000539: DUP2 0000053a: JUMP 0000053b: JUMPDEST 0000053c: PUSH1 0x0a 0000053e: PUSH1 0x20 00000540: MSTORE 00000541: PUSH1 0x00 00000543: SWAP1 00000544: DUP2 00000545: MSTORE 00000546: PUSH1 0x40 00000548: SWAP1 00000549: KECCAK256 0000054a: SLOAD 0000054b: DUP2 0000054c: JUMP 0000054d: JUMPDEST 0000054e: PUSH1 0x01 00000550: SLOAD 00000551: DUP2 00000552: JUMP 00000553: JUMPDEST 00000554: PUSH1 0x02 00000556: SLOAD 00000557: DUP2 00000558: JUMP 00000559: JUMPDEST 0000055a: PUSH1 0x08 0000055c: SLOAD 0000055d: DUP2 0000055e: JUMP 0000055f: JUMPDEST 00000560: PUSH1 0x07 00000562: SLOAD 00000563: DUP2 00000564: JUMP 00000565: JUMPDEST 00000566: PUSH1 0x06 00000568: SLOAD 00000569: PUSH1 0x00 0000056b: SWAP1 0000056c: TIMESTAMP 0000056d: LT 0000056e: PUSH2 0x07e0 00000571: JUMPI 00000572: PUSH1 0x0b 00000574: SLOAD 00000575: PUSH1 0xff 00000577: AND 00000578: ISZERO 00000579: ISZERO 0000057a: PUSH2 0x0644 0000057d: JUMPI 0000057e: POP 0000057f: PUSH1 0x01 00000581: PUSH1 0xa0 00000583: PUSH1 0x02 00000585: EXP 00000586: SUB 00000587: CALLER 00000588: AND 00000589: PUSH1 0x00 0000058b: SWAP1 0000058c: DUP2 0000058d: MSTORE 0000058e: PUSH1 0x0a 00000590: PUSH1 0x20 00000592: MSTORE 00000593: PUSH1 0x40 00000595: DUP2 00000596: KECCAK256 00000597: DUP1 00000598: SLOAD 00000599: SWAP1 0000059a: DUP3 0000059b: SWAP1 0000059c: SSTORE 0000059d: SWAP1 0000059e: DUP2 0000059f: GT 000005a0: ISZERO 000005a1: PUSH2 0x0644 000005a4: JUMPI 000005a5: PUSH1 0x01 000005a7: PUSH1 0xa0 000005a9: PUSH1 0x02 000005ab: EXP 000005ac: SUB 000005ad: CALLER 000005ae: AND 000005af: DUP2 000005b0: ISZERO 000005b1: PUSH2 0x08fc 000005b4: MUL 000005b5: DUP3 000005b6: PUSH1 0x40 000005b8: MLOAD 000005b9: PUSH1 0x00 000005bb: PUSH1 0x40 000005bd: MLOAD 000005be: DUP1 000005bf: DUP4 000005c0: SUB 000005c1: DUP2 000005c2: DUP6 000005c3: DUP9 000005c4: DUP9 000005c5: CALL 000005c6: SWAP4 000005c7: POP 000005c8: POP 000005c9: POP 000005ca: POP 000005cb: ISZERO 000005cc: PUSH2 0x0628 000005cf: JUMPI 000005d0: PUSH32 0xe842aea7a5f1b01049d752008c53c52890b1a6daf660cf39e8eec506112bbdf6 000005f1: CALLER 000005f2: DUP3 000005f3: PUSH1 0x00 000005f5: PUSH1 0x40 000005f7: MLOAD 000005f8: PUSH1 0x01 000005fa: PUSH1 0xa0 000005fc: PUSH1 0x02 000005fe: EXP 000005ff: SUB 00000600: SWAP1 00000601: SWAP4 00000602: AND 00000603: DUP4 00000604: MSTORE 00000605: PUSH1 0x20 00000607: DUP4 00000608: ADD 00000609: SWAP2 0000060a: SWAP1 0000060b: SWAP2 0000060c: MSTORE 0000060d: ISZERO 0000060e: ISZERO 0000060f: PUSH1 0x40 00000611: DUP1 00000612: DUP4 00000613: ADD 00000614: SWAP2 00000615: SWAP1 00000616: SWAP2 00000617: MSTORE 00000618: PUSH1 0x60 0000061a: SWAP1 0000061b: SWAP2 0000061c: ADD 0000061d: SWAP1 0000061e: MLOAD 0000061f: DUP1 00000620: SWAP2 00000621: SUB 00000622: SWAP1 00000623: LOG1 00000624: PUSH2 0x0644 00000627: JUMP 00000628: JUMPDEST 00000629: PUSH1 0x01 0000062b: PUSH1 0xa0 0000062d: PUSH1 0x02 0000062f: EXP 00000630: SUB 00000631: CALLER 00000632: AND 00000633: PUSH1 0x00 00000635: SWAP1 00000636: DUP2 00000637: MSTORE 00000638: PUSH1 0x0a 0000063a: PUSH1 0x20 0000063c: MSTORE 0000063d: PUSH1 0x40 0000063f: SWAP1 00000640: KECCAK256 00000641: DUP2 00000642: SWAP1 00000643: SSTORE 00000644: JUMPDEST 00000645: JUMPDEST 00000646: JUMPDEST 00000647: PUSH1 0x0b 00000649: SLOAD 0000064a: PUSH1 0xff 0000064c: AND 0000064d: DUP1 0000064e: ISZERO 0000064f: PUSH2 0x0666 00000652: JUMPI 00000653: POP 00000654: PUSH1 0x00 00000656: SLOAD 00000657: CALLER 00000658: PUSH1 0x01 0000065a: PUSH1 0xa0 0000065c: PUSH1 0x02 0000065e: EXP 0000065f: SUB 00000660: SWAP1 00000661: DUP2 00000662: AND 00000663: SWAP2 00000664: AND 00000665: EQ 00000666: JUMPDEST 00000667: ISZERO 00000668: PUSH2 0x07e0 0000066b: JUMPI 0000066c: PUSH1 0x00 0000066e: SLOAD 0000066f: PUSH1 0x02 00000671: SLOAD 00000672: PUSH1 0x01 00000674: PUSH1 0xa0 00000676: PUSH1 0x02 00000678: EXP 00000679: SUB 0000067a: SWAP1 0000067b: SWAP2 0000067c: AND 0000067d: SWAP1 0000067e: DUP1 0000067f: ISZERO 00000680: PUSH2 0x08fc 00000683: MUL 00000684: SWAP1 00000685: PUSH1 0x40 00000687: MLOAD 00000688: PUSH1 0x00 0000068a: PUSH1 0x40 0000068c: MLOAD 0000068d: DUP1 0000068e: DUP4 0000068f: SUB 00000690: DUP2 00000691: DUP6 00000692: DUP9 00000693: DUP9 00000694: CALL 00000695: SWAP4 00000696: POP 00000697: POP 00000698: POP 00000699: POP 0000069a: ISZERO 0000069b: PUSH2 0x07e0 0000069e: JUMPI 0000069f: PUSH1 0x00 000006a1: DUP1 000006a2: SLOAD 000006a3: PUSH1 0x02 000006a5: SLOAD 000006a6: PUSH32 0xe842aea7a5f1b01049d752008c53c52890b1a6daf660cf39e8eec506112bbdf6 000006c7: SWAP3 000006c8: PUSH1 0x01 000006ca: PUSH1 0xa0 000006cc: PUSH1 0x02 000006ce: EXP 000006cf: SUB 000006d0: SWAP1 000006d1: SWAP3 000006d2: AND 000006d3: SWAP2 000006d4: PUSH1 0x40 000006d6: MLOAD 000006d7: PUSH1 0x01 000006d9: PUSH1 0xa0 000006db: PUSH1 0x02 000006dd: EXP 000006de: SUB 000006df: SWAP1 000006e0: SWAP4 000006e1: AND 000006e2: DUP4 000006e3: MSTORE 000006e4: PUSH1 0x20 000006e6: DUP4 000006e7: ADD 000006e8: SWAP2 000006e9: SWAP1 000006ea: SWAP2 000006eb: MSTORE 000006ec: ISZERO 000006ed: ISZERO 000006ee: PUSH1 0x40 000006f0: DUP1 000006f1: DUP4 000006f2: ADD 000006f3: SWAP2 000006f4: SWAP1 000006f5: SWAP2 000006f6: MSTORE 000006f7: PUSH1 0x60 000006f9: SWAP1 000006fa: SWAP2 000006fb: ADD 000006fc: SWAP1 000006fd: MLOAD 000006fe: DUP1 000006ff: SWAP2 00000700: SUB 00000701: SWAP1 00000702: LOG1 00000703: PUSH1 0x09 00000705: SLOAD 00000706: PUSH1 0x00 00000708: DUP1 00000709: SLOAD 0000070a: PUSH1 0x01 0000070c: PUSH1 0xa0 0000070e: PUSH1 0x02 00000710: EXP 00000711: SUB 00000712: SWAP3 00000713: DUP4 00000714: AND 00000715: SWAP3 00000716: PUSH4 0xa9059cbb 0000071b: SWAP3 0000071c: SWAP2 0000071d: AND 0000071e: SWAP1 0000071f: DUP4 00000720: SWAP1 00000721: PUSH4 0x70a08231 00000726: SWAP1 00000727: ADDRESS 00000728: SWAP1 00000729: PUSH1 0x40 0000072b: MLOAD 0000072c: PUSH1 0x20 0000072e: ADD 0000072f: MSTORE 00000730: PUSH1 0x40 00000732: MLOAD 00000733: PUSH1 0xe0 00000735: PUSH1 0x02 00000737: EXP 00000738: PUSH4 0xffffffff 0000073d: DUP5 0000073e: AND 0000073f: MUL 00000740: DUP2 00000741: MSTORE 00000742: PUSH1 0x01 00000744: PUSH1 0xa0 00000746: PUSH1 0x02 00000748: EXP 00000749: SUB 0000074a: SWAP1 0000074b: SWAP2 0000074c: AND 0000074d: PUSH1 0x04 0000074f: DUP3 00000750: ADD 00000751: MSTORE 00000752: PUSH1 0x24 00000754: ADD 00000755: PUSH1 0x20 00000757: PUSH1 0x40 00000759: MLOAD 0000075a: DUP1 0000075b: DUP4 0000075c: SUB 0000075d: DUP2 0000075e: PUSH1 0x00 00000760: DUP8 00000761: DUP1 00000762: EXTCODESIZE 00000763: ISZERO 00000764: ISZERO 00000765: PUSH2 0x076d 00000768: JUMPI 00000769: PUSH1 0x00 0000076b: DUP1 0000076c: REVERT 0000076d: JUMPDEST 0000076e: PUSH2 0x02c6 00000771: GAS 00000772: SUB 00000773: CALL 00000774: ISZERO 00000775: ISZERO 00000776: PUSH2 0x077e 00000779: JUMPI 0000077a: PUSH1 0x00 0000077c: DUP1 0000077d: REVERT 0000077e: JUMPDEST 0000077f: POP 00000780: POP 00000781: POP 00000782: PUSH1 0x40 00000784: MLOAD 00000785: DUP1 00000786: MLOAD 00000787: SWAP1 00000788: POP 00000789: PUSH1 0x40 0000078b: MLOAD 0000078c: PUSH1 0xe0 0000078e: PUSH1 0x02 00000790: EXP 00000791: PUSH4 0xffffffff 00000796: DUP6 00000797: AND 00000798: MUL 00000799: DUP2 0000079a: MSTORE 0000079b: PUSH1 0x01 0000079d: PUSH1 0xa0 0000079f: PUSH1 0x02 000007a1: EXP 000007a2: SUB 000007a3: SWAP1 000007a4: SWAP3 000007a5: AND 000007a6: PUSH1 0x04 000007a8: DUP4 000007a9: ADD 000007aa: MSTORE 000007ab: PUSH1 0x24 000007ad: DUP3 000007ae: ADD 000007af: MSTORE 000007b0: PUSH1 0x44 000007b2: ADD 000007b3: PUSH1 0x00 000007b5: PUSH1 0x40 000007b7: MLOAD 000007b8: DUP1 000007b9: DUP4 000007ba: SUB 000007bb: DUP2 000007bc: PUSH1 0x00 000007be: DUP8 000007bf: DUP1 000007c0: EXTCODESIZE 000007c1: ISZERO 000007c2: ISZERO 000007c3: PUSH2 0x07cb 000007c6: JUMPI 000007c7: PUSH1 0x00 000007c9: DUP1 000007ca: REVERT 000007cb: JUMPDEST 000007cc: PUSH2 0x02c6 000007cf: GAS 000007d0: SUB 000007d1: CALL 000007d2: ISZERO 000007d3: ISZERO 000007d4: PUSH2 0x07dc 000007d7: JUMPI 000007d8: PUSH1 0x00 000007da: DUP1 000007db: REVERT 000007dc: JUMPDEST 000007dd: POP 000007de: POP 000007df: POP 000007e0: JUMPDEST 000007e1: JUMPDEST 000007e2: JUMPDEST 000007e3: JUMPDEST 000007e4: JUMPDEST 000007e5: POP 000007e6: JUMP 000007e7: JUMPDEST 000007e8: PUSH1 0x03 000007ea: SLOAD 000007eb: PUSH1 0x00 000007ed: SWAP1 000007ee: DUP3 000007ef: LT 000007f0: PUSH2 0x07fb 000007f3: JUMPI 000007f4: POP 000007f5: PUSH1 0x78 000007f7: PUSH2 0x0821 000007fa: JUMP 000007fb: JUMPDEST 000007fc: PUSH1 0x04 000007fe: SLOAD 000007ff: DUP3 00000800: LT 00000801: PUSH2 0x080c 00000804: JUMPI 00000805: POP 00000806: PUSH1 0x73 00000808: PUSH2 0x0821 0000080b: JUMP 0000080c: JUMPDEST 0000080d: PUSH1 0x05 0000080f: SLOAD 00000810: DUP3 00000811: LT 00000812: PUSH2 0x081d 00000815: JUMPI 00000816: POP 00000817: PUSH1 0x6e 00000819: PUSH2 0x0821 0000081c: JUMP 0000081d: JUMPDEST 0000081e: POP 0000081f: PUSH1 0x64 00000821: JUMPDEST 00000822: JUMPDEST 00000823: JUMPDEST 00000824: JUMPDEST 00000825: SWAP2 00000826: SWAP1 00000827: POP 00000828: JUMP 00000829: STOP 0000082a: LOG1 0000082b: PUSH6 0x627a7a723058 00000832: KECCAK256 00000833: UNKNOWN(0xC0) 00000834: ORIGIN 00000835: PUSH7 0xf0a9e485517852 0000083d: DUP11 0000083e: TSTORE 0000083f: RETURNDATACOPY 00000840: UNKNOWN(0xAE) 00000841: UNKNOWN(0xC5) 00000842: UNKNOWN(0xD2) 00000843: UNKNOWN(0xB8) 00000844: SUB 00000845: DUP8 00000846: DUP6 00000847: UNKNOWN(0xC0) 00000848: SGT 00000849: UNKNOWN(0x23) 0000084a: UNKNOWN(0xB4) 0000084b: PC 0000084c: DUP2 0000084d: UNKNOWN(0xA6) 0000084e: JUMPI 0000084f: PUSH4 0xa84a5400 00000854: UNKNOWN(0x29)
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | auth | detector | Authorization based on tx.origin | 70 | no | — |
viewvalidation_json{
"reason": "missing sink mapping",
"status": "no_sink"
}
witness_json{
"notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
"constraints": [],
"entrypoints": [
{
"calldata": "0x01cb3b20",
"selector": "0x01cb3b20",
"calldata_variants": [
"0x01cb3b20",
"0x01cb3b200000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x29dcb0cf",
"selector": "0x29dcb0cf",
"calldata_variants": [
"0x29dcb0cf",
"0x29dcb0cf0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x38af3eed",
"selector": "0x38af3eed",
"calldata_variants": [
"0x38af3eed",
"0x38af3eed0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x6e66f6e9",
"selector": "0x6e66f6e9",
"calldata_variants": [
"0x6e66f6e9",
"0x6e66f6e90000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x70a08231",
"selector": "0x70a08231",
"calldata_variants": [
"0x70a08231",
"0x70a082310000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x7a3a0e84",
"selector": "0x7a3a0e84",
"calldata_variants": [
"0x7a3a0e84",
"0x7a3a0e840000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x7b3e5e7b",
"selector": "0x7b3e5e7b",
"calldata_variants": [
"0x7b3e5e7b",
"0x7b3e5e7b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa035b1fe",
"selector": "0xa035b1fe",
"calldata_variants": [
"0xa035b1fe",
"0xa035b1fe0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"guards_detected": [
{
"pc": 2100,
"type": "tx_origin_used"
}
]
}
|
| medium | other | detector | Untrusted CALL target/value reachable | 45 | no | no |
viewtrace_id: 0x5d68ef3bf32026bfed4c3980d6ffa5522f177781b4321e2ec75f30683f80d373
call_targets:
0xd890ce7c54b6132f57f0b2029e35f161f60e92f8
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x5d68ef3bf32026bfed4c3980d6ffa5522f177781b4321e2ec75f30683f80d373",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xd890ce7c54b6132f57f0b2029e35f161f60e92f8"
],
"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": "0x01cb3b20",
"selector": "0x01cb3b20",
"calldata_variants": [
"0x01cb3b20",
"0x01cb3b200000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x29dcb0cf",
"selector": "0x29dcb0cf",
"calldata_variants": [
"0x29dcb0cf",
"0x29dcb0cf0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x38af3eed",
"selector": "0x38af3eed",
"calldata_variants": [
"0x38af3eed",
"0x38af3eed0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x6e66f6e9",
"selector": "0x6e66f6e9",
"calldata_variants": [
"0x6e66f6e9",
"0x6e66f6e90000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x70a08231",
"selector": "0x70a08231",
"calldata_variants": [
"0x70a08231",
"0x70a082310000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x7a3a0e84",
"selector": "0x7a3a0e84",
"calldata_variants": [
"0x7a3a0e84",
"0x7a3a0e840000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x7b3e5e7b",
"selector": "0x7b3e5e7b",
"calldata_variants": [
"0x7b3e5e7b",
"0x7b3e5e7b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa035b1fe",
"selector": "0xa035b1fe",
"calldata_variants": [
"0xa035b1fe",
"0xa035b1fe0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 329,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1477,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1684,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 5,
"guards_detected": [
{
"pc": 2100,
"type": "tx_origin_used"
}
],
"untrusted_call_count": 5
}
|
| medium | other | detector | ETH value transfer possible | 40 | no | no |
viewtrace_id: 0x5d68ef3bf32026bfed4c3980d6ffa5522f177781b4321e2ec75f30683f80d373
call_targets:
0xd890ce7c54b6132f57f0b2029e35f161f60e92f8
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x5d68ef3bf32026bfed4c3980d6ffa5522f177781b4321e2ec75f30683f80d373",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xd890ce7c54b6132f57f0b2029e35f161f60e92f8"
],
"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": "0x01cb3b20",
"selector": "0x01cb3b20",
"calldata_variants": [
"0x01cb3b20",
"0x01cb3b200000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x29dcb0cf",
"selector": "0x29dcb0cf",
"calldata_variants": [
"0x29dcb0cf",
"0x29dcb0cf0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x38af3eed",
"selector": "0x38af3eed",
"calldata_variants": [
"0x38af3eed",
"0x38af3eed0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x6e66f6e9",
"selector": "0x6e66f6e9",
"calldata_variants": [
"0x6e66f6e9",
"0x6e66f6e90000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x70a08231",
"selector": "0x70a08231",
"calldata_variants": [
"0x70a08231",
"0x70a082310000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x7a3a0e84",
"selector": "0x7a3a0e84",
"calldata_variants": [
"0x7a3a0e84",
"0x7a3a0e840000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x7b3e5e7b",
"selector": "0x7b3e5e7b",
"calldata_variants": [
"0x7b3e5e7b",
"0x7b3e5e7b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa035b1fe",
"selector": "0xa035b1fe",
"calldata_variants": [
"0xa035b1fe",
"0xa035b1fe0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 329,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1477,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1684,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 5,
"guards_detected": [
{
"pc": 2100,
"type": "tx_origin_used"
}
]
}
|