019b477e-aac0-7336-868b-f7e222f8cc3c
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 |
|---|---|---|---|---|
| 20889 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 20890 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 64222 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 64223 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 64224 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 64225 | validation.fork | complete | 1 / 3 | 2 weeks 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 0x01c7 0000000a: JUMPI 0000000b: PUSH4 0xffffffff 00000010: PUSH1 0xe0 00000012: PUSH1 0x02 00000014: EXP 00000015: PUSH1 0x00 00000017: CALLDATALOAD 00000018: DIV 00000019: AND 0000001a: PUSH4 0x03f9c793 0000001f: DUP2 00000020: EQ 00000021: PUSH2 0x01d3 00000024: JUMPI 00000025: DUP1 00000026: PUSH4 0x083903de 0000002b: EQ 0000002c: PUSH2 0x01e9 0000002f: JUMPI 00000030: DUP1 00000031: PUSH4 0x15d2fc8a 00000036: EQ 00000037: PUSH2 0x020a 0000003a: JUMPI 0000003b: DUP1 0000003c: PUSH4 0x1865c57d 00000041: EQ 00000042: PUSH2 0x0222 00000045: JUMPI 00000046: DUP1 00000047: PUSH4 0x1aae3460 0000004c: EQ 0000004d: PUSH2 0x0259 00000050: JUMPI 00000051: DUP1 00000052: PUSH4 0x3ba0b9a9 00000057: EQ 00000058: PUSH2 0x028a 0000005b: JUMPI 0000005c: DUP1 0000005d: PUSH4 0x4042b66f 00000062: EQ 00000063: PUSH2 0x02af 00000066: JUMPI 00000067: DUP1 00000068: PUSH4 0x41c0e1b5 0000006d: EQ 0000006e: PUSH2 0x02d4 00000071: JUMPI 00000072: DUP1 00000073: PUSH4 0x45ad55cc 00000078: EQ 00000079: PUSH2 0x02e9 0000007c: JUMPI 0000007d: DUP1 0000007e: PUSH4 0x4bb278f3 00000083: EQ 00000084: PUSH2 0x030e 00000087: JUMPI 00000088: DUP1 00000089: PUSH4 0x518ab2a8 0000008e: EQ 0000008f: PUSH2 0x0323 00000092: JUMPI 00000093: DUP1 00000094: PUSH4 0x590e1ae3 00000099: EQ 0000009a: PUSH2 0x0348 0000009d: JUMPI 0000009e: DUP1 0000009f: PUSH4 0x5da89ac0 000000a4: EQ 000000a5: PUSH2 0x035d 000000a8: JUMPI 000000a9: DUP1 000000aa: PUSH4 0x5ed7ca5b 000000af: EQ 000000b0: PUSH2 0x0382 000000b3: JUMPI 000000b4: DUP1 000000b5: PUSH4 0x77dfec3c 000000ba: EQ 000000bb: PUSH2 0x0397 000000be: JUMPI 000000bf: DUP1 000000c0: PUSH4 0x797d9437 000000c5: EQ 000000c6: PUSH2 0x03bc 000000c9: JUMPI 000000ca: DUP1 000000cb: PUSH4 0x7c2e08a3 000000d0: EQ 000000d1: PUSH2 0x03e1 000000d4: JUMPI 000000d5: DUP1 000000d6: PUSH4 0x87612102 000000db: EQ 000000dc: PUSH2 0x0408 000000df: JUMPI 000000e0: DUP1 000000e1: PUSH4 0x8d859f3e 000000e6: EQ 000000e7: PUSH2 0x0412 000000ea: JUMPI 000000eb: DUP1 000000ec: PUSH4 0x8da5cb5b 000000f1: EQ 000000f2: PUSH2 0x0437 000000f5: JUMPI 000000f6: DUP1 000000f7: PUSH4 0x9075becf 000000fc: EQ 000000fd: PUSH2 0x0466 00000100: JUMPI 00000101: DUP1 00000102: PUSH4 0x96bc2287 00000107: EQ 00000108: PUSH2 0x0495 0000010b: JUMPI 0000010c: DUP1 0000010d: PUSH4 0x97b150ca 00000112: EQ 00000113: PUSH2 0x04ba 00000116: JUMPI 00000117: DUP1 00000118: PUSH4 0x9d1c3f03 0000011d: EQ 0000011e: PUSH2 0x04eb 00000121: JUMPI 00000122: DUP1 00000123: PUSH4 0xa1663c48 00000128: EQ 00000129: PUSH2 0x0512 0000012c: JUMPI 0000012d: DUP1 0000012e: PUSH4 0xa6f2ae3a 00000133: EQ 00000134: PUSH2 0x01c7 00000137: JUMPI 00000138: DUP1 00000139: PUSH4 0xaf468682 0000013e: EQ 0000013f: PUSH2 0x0541 00000142: JUMPI 00000143: DUP1 00000144: PUSH4 0xb3f05b97 00000149: EQ 0000014a: PUSH2 0x0566 0000014d: JUMPI 0000014e: DUP1 0000014f: PUSH4 0xb5481743 00000154: EQ 00000155: PUSH2 0x058d 00000158: JUMPI 00000159: DUP1 0000015a: PUSH4 0xb9b8af0b 0000015f: EQ 00000160: PUSH2 0x05bc 00000163: JUMPI 00000164: DUP1 00000165: PUSH4 0xc2c62562 0000016a: EQ 0000016b: PUSH2 0x05e3 0000016e: JUMPI 0000016f: DUP1 00000170: PUSH4 0xcb3e64fd 00000175: EQ 00000176: PUSH2 0x0601 00000179: JUMPI 0000017a: DUP1 0000017b: PUSH4 0xd7e64c00 00000180: EQ 00000181: PUSH2 0x0616 00000184: JUMPI 00000185: DUP1 00000186: PUSH4 0xe89e4ed6 0000018b: EQ 0000018c: PUSH2 0x063b 0000018f: JUMPI 00000190: DUP1 00000191: PUSH4 0xf2fde38b 00000196: EQ 00000197: PUSH2 0x0675 0000019a: JUMPI 0000019b: DUP1 0000019c: PUSH4 0xf40ef739 000001a1: EQ 000001a2: PUSH2 0x0696 000001a5: JUMPI 000001a6: DUP1 000001a7: PUSH4 0xf55ecf06 000001ac: EQ 000001ad: PUSH2 0x06bb 000001b0: JUMPI 000001b1: DUP1 000001b2: PUSH4 0xf56b8a46 000001b7: EQ 000001b8: PUSH2 0x06d6 000001bb: JUMPI 000001bc: DUP1 000001bd: PUSH4 0xfc0c546a 000001c2: EQ 000001c3: PUSH2 0x06fb 000001c6: JUMPI 000001c7: JUMPDEST 000001c8: JUMPDEST 000001c9: PUSH2 0x01d0 000001cc: PUSH2 0x072a 000001cf: JUMP 000001d0: JUMPDEST 000001d1: JUMPDEST 000001d2: STOP 000001d3: JUMPDEST 000001d4: PUSH2 0x01d0 000001d7: PUSH1 0x01 000001d9: PUSH1 0xa0 000001db: PUSH1 0x02 000001dd: EXP 000001de: SUB 000001df: PUSH1 0x04 000001e1: CALLDATALOAD 000001e2: AND 000001e3: PUSH2 0x0736 000001e6: JUMP 000001e7: JUMPDEST 000001e8: STOP 000001e9: JUMPDEST 000001ea: CALLVALUE 000001eb: ISZERO 000001ec: PUSH2 0x01f4 000001ef: JUMPI 000001f0: PUSH1 0x00 000001f2: DUP1 000001f3: REVERT 000001f4: JUMPDEST 000001f5: PUSH2 0x01d0 000001f8: PUSH1 0x01 000001fa: PUSH1 0xa0 000001fc: PUSH1 0x02 000001fe: EXP 000001ff: SUB 00000200: PUSH1 0x04 00000202: CALLDATALOAD 00000203: AND 00000204: PUSH2 0x0743 00000207: JUMP 00000208: JUMPDEST 00000209: STOP 0000020a: JUMPDEST 0000020b: CALLVALUE 0000020c: ISZERO 0000020d: PUSH2 0x0215 00000210: JUMPI 00000211: PUSH1 0x00 00000213: DUP1 00000214: REVERT 00000215: JUMPDEST 00000216: PUSH2 0x01d0 00000219: PUSH1 0x04 0000021b: CALLDATALOAD 0000021c: PUSH2 0x079b 0000021f: JUMP 00000220: JUMPDEST 00000221: STOP 00000222: JUMPDEST 00000223: CALLVALUE 00000224: ISZERO 00000225: PUSH2 0x022d 00000228: JUMPI 00000229: PUSH1 0x00 0000022b: DUP1 0000022c: REVERT 0000022d: JUMPDEST 0000022e: PUSH2 0x0235 00000231: PUSH2 0x0800 00000234: JUMP 00000235: JUMPDEST 00000236: PUSH1 0x40 00000238: MLOAD 00000239: DUP1 0000023a: DUP3 0000023b: PUSH1 0x06 0000023d: DUP2 0000023e: GT 0000023f: ISZERO 00000240: PUSH2 0x0245 00000243: JUMPI 00000244: INVALID 00000245: JUMPDEST 00000246: PUSH1 0xff 00000248: AND 00000249: DUP2 0000024a: MSTORE 0000024b: PUSH1 0x20 0000024d: ADD 0000024e: SWAP2 0000024f: POP 00000250: POP 00000251: PUSH1 0x40 00000253: MLOAD 00000254: DUP1 00000255: SWAP2 00000256: SUB 00000257: SWAP1 00000258: RETURN 00000259: JUMPDEST 0000025a: CALLVALUE 0000025b: ISZERO 0000025c: PUSH2 0x0264 0000025f: JUMPI 00000260: PUSH1 0x00 00000262: DUP1 00000263: REVERT 00000264: JUMPDEST 00000265: PUSH2 0x0278 00000268: PUSH1 0x01 0000026a: PUSH1 0xa0 0000026c: PUSH1 0x02 0000026e: EXP 0000026f: SUB 00000270: PUSH1 0x04 00000272: CALLDATALOAD 00000273: AND 00000274: PUSH2 0x08d5 00000277: JUMP 00000278: JUMPDEST 00000279: PUSH1 0x40 0000027b: MLOAD 0000027c: SWAP1 0000027d: DUP2 0000027e: MSTORE 0000027f: PUSH1 0x20 00000281: ADD 00000282: PUSH1 0x40 00000284: MLOAD 00000285: DUP1 00000286: SWAP2 00000287: SUB 00000288: SWAP1 00000289: RETURN 0000028a: JUMPDEST 0000028b: CALLVALUE 0000028c: ISZERO 0000028d: PUSH2 0x0295 00000290: JUMPI 00000291: PUSH1 0x00 00000293: DUP1 00000294: REVERT 00000295: JUMPDEST 00000296: PUSH2 0x0278 00000299: PUSH2 0x08e7 0000029c: JUMP 0000029d: JUMPDEST 0000029e: PUSH1 0x40 000002a0: MLOAD 000002a1: SWAP1 000002a2: DUP2 000002a3: MSTORE 000002a4: PUSH1 0x20 000002a6: ADD 000002a7: PUSH1 0x40 000002a9: MLOAD 000002aa: DUP1 000002ab: SWAP2 000002ac: SUB 000002ad: SWAP1 000002ae: RETURN 000002af: JUMPDEST 000002b0: CALLVALUE 000002b1: ISZERO 000002b2: PUSH2 0x02ba 000002b5: JUMPI 000002b6: PUSH1 0x00 000002b8: DUP1 000002b9: REVERT 000002ba: JUMPDEST 000002bb: PUSH2 0x0278 000002be: PUSH2 0x08ed 000002c1: JUMP 000002c2: JUMPDEST 000002c3: PUSH1 0x40 000002c5: MLOAD 000002c6: SWAP1 000002c7: DUP2 000002c8: MSTORE 000002c9: PUSH1 0x20 000002cb: ADD 000002cc: PUSH1 0x40 000002ce: MLOAD 000002cf: DUP1 000002d0: SWAP2 000002d1: SUB 000002d2: SWAP1 000002d3: RETURN 000002d4: JUMPDEST 000002d5: CALLVALUE 000002d6: ISZERO 000002d7: PUSH2 0x02df 000002da: JUMPI 000002db: PUSH1 0x00 000002dd: DUP1 000002de: REVERT 000002df: JUMPDEST 000002e0: PUSH2 0x01d0 000002e3: PUSH2 0x08f3 000002e6: JUMP 000002e7: JUMPDEST 000002e8: STOP 000002e9: JUMPDEST 000002ea: CALLVALUE 000002eb: ISZERO 000002ec: PUSH2 0x02f4 000002ef: JUMPI 000002f0: PUSH1 0x00 000002f2: DUP1 000002f3: REVERT 000002f4: JUMPDEST 000002f5: PUSH2 0x0278 000002f8: PUSH2 0x091f 000002fb: JUMP 000002fc: JUMPDEST 000002fd: PUSH1 0x40 000002ff: MLOAD 00000300: SWAP1 00000301: DUP2 00000302: MSTORE 00000303: PUSH1 0x20 00000305: ADD 00000306: PUSH1 0x40 00000308: MLOAD 00000309: DUP1 0000030a: SWAP2 0000030b: SUB 0000030c: SWAP1 0000030d: RETURN 0000030e: JUMPDEST 0000030f: CALLVALUE 00000310: ISZERO 00000311: PUSH2 0x0319 00000314: JUMPI 00000315: PUSH1 0x00 00000317: DUP1 00000318: REVERT 00000319: JUMPDEST 0000031a: PUSH2 0x01d0 0000031d: PUSH2 0x0926 00000320: JUMP 00000321: JUMPDEST 00000322: STOP 00000323: JUMPDEST 00000324: CALLVALUE 00000325: ISZERO 00000326: PUSH2 0x032e 00000329: JUMPI 0000032a: PUSH1 0x00 0000032c: DUP1 0000032d: REVERT 0000032e: JUMPDEST 0000032f: PUSH2 0x0278 00000332: PUSH2 0x09a5 00000335: JUMP 00000336: JUMPDEST 00000337: PUSH1 0x40 00000339: MLOAD 0000033a: SWAP1 0000033b: DUP2 0000033c: MSTORE 0000033d: PUSH1 0x20 0000033f: ADD 00000340: PUSH1 0x40 00000342: MLOAD 00000343: DUP1 00000344: SWAP2 00000345: SUB 00000346: SWAP1 00000347: RETURN 00000348: JUMPDEST 00000349: CALLVALUE 0000034a: ISZERO 0000034b: PUSH2 0x0353 0000034e: JUMPI 0000034f: PUSH1 0x00 00000351: DUP1 00000352: REVERT 00000353: JUMPDEST 00000354: PUSH2 0x01d0 00000357: PUSH2 0x09ab 0000035a: JUMP 0000035b: JUMPDEST 0000035c: STOP 0000035d: JUMPDEST 0000035e: CALLVALUE 0000035f: ISZERO 00000360: PUSH2 0x0368 00000363: JUMPI 00000364: PUSH1 0x00 00000366: DUP1 00000367: REVERT 00000368: JUMPDEST 00000369: PUSH2 0x0278 0000036c: PUSH2 0x0a99 0000036f: JUMP 00000370: JUMPDEST 00000371: PUSH1 0x40 00000373: MLOAD 00000374: SWAP1 00000375: DUP2 00000376: MSTORE 00000377: PUSH1 0x20 00000379: ADD 0000037a: PUSH1 0x40 0000037c: MLOAD 0000037d: DUP1 0000037e: SWAP2 0000037f: SUB 00000380: SWAP1 00000381: RETURN 00000382: JUMPDEST 00000383: CALLVALUE 00000384: ISZERO 00000385: PUSH2 0x038d 00000388: JUMPI 00000389: PUSH1 0x00 0000038b: DUP1 0000038c: REVERT 0000038d: JUMPDEST 0000038e: PUSH2 0x01d0 00000391: PUSH2 0x0a9f 00000394: JUMP 00000395: JUMPDEST 00000396: STOP 00000397: JUMPDEST 00000398: CALLVALUE 00000399: ISZERO 0000039a: PUSH2 0x03a2 0000039d: JUMPI 0000039e: PUSH1 0x00 000003a0: DUP1 000003a1: REVERT 000003a2: JUMPDEST 000003a3: PUSH2 0x0278 000003a6: PUSH2 0x0ae2 000003a9: JUMP 000003aa: JUMPDEST 000003ab: PUSH1 0x40 000003ad: MLOAD 000003ae: SWAP1 000003af: DUP2 000003b0: MSTORE 000003b1: PUSH1 0x20 000003b3: ADD 000003b4: PUSH1 0x40 000003b6: MLOAD 000003b7: DUP1 000003b8: SWAP2 000003b9: SUB 000003ba: SWAP1 000003bb: RETURN 000003bc: JUMPDEST 000003bd: CALLVALUE 000003be: ISZERO 000003bf: PUSH2 0x03c7 000003c2: JUMPI 000003c3: PUSH1 0x00 000003c5: DUP1 000003c6: REVERT 000003c7: JUMPDEST 000003c8: PUSH2 0x0278 000003cb: PUSH2 0x0ae8 000003ce: JUMP 000003cf: JUMPDEST 000003d0: PUSH1 0x40 000003d2: MLOAD 000003d3: SWAP1 000003d4: DUP2 000003d5: MSTORE 000003d6: PUSH1 0x20 000003d8: ADD 000003d9: PUSH1 0x40 000003db: MLOAD 000003dc: DUP1 000003dd: SWAP2 000003de: SUB 000003df: SWAP1 000003e0: RETURN 000003e1: JUMPDEST 000003e2: CALLVALUE 000003e3: ISZERO 000003e4: PUSH2 0x03ec 000003e7: JUMPI 000003e8: PUSH1 0x00 000003ea: DUP1 000003eb: REVERT 000003ec: JUMPDEST 000003ed: PUSH2 0x03f4 000003f0: PUSH2 0x0aee 000003f3: JUMP 000003f4: JUMPDEST 000003f5: PUSH1 0x40 000003f7: MLOAD 000003f8: SWAP1 000003f9: ISZERO 000003fa: ISZERO 000003fb: DUP2 000003fc: MSTORE 000003fd: PUSH1 0x20 000003ff: ADD 00000400: PUSH1 0x40 00000402: MLOAD 00000403: DUP1 00000404: SWAP2 00000405: SUB 00000406: SWAP1 00000407: RETURN 00000408: JUMPDEST 00000409: PUSH2 0x01d0 0000040c: PUSH2 0x0b0a 0000040f: JUMP 00000410: JUMPDEST 00000411: STOP 00000412: JUMPDEST 00000413: CALLVALUE 00000414: ISZERO 00000415: PUSH2 0x041d 00000418: JUMPI 00000419: PUSH1 0x00 0000041b: DUP1 0000041c: REVERT 0000041d: JUMPDEST 0000041e: PUSH2 0x0278 00000421: PUSH2 0x0b4c 00000424: JUMP 00000425: JUMPDEST 00000426: PUSH1 0x40 00000428: MLOAD 00000429: SWAP1 0000042a: DUP2 0000042b: MSTORE 0000042c: PUSH1 0x20 0000042e: ADD 0000042f: PUSH1 0x40 00000431: MLOAD 00000432: DUP1 00000433: SWAP2 00000434: SUB 00000435: SWAP1 00000436: RETURN 00000437: JUMPDEST 00000438: CALLVALUE 00000439: ISZERO 0000043a: PUSH2 0x0442 0000043d: JUMPI 0000043e: PUSH1 0x00 00000440: DUP1 00000441: REVERT 00000442: JUMPDEST 00000443: PUSH2 0x044a 00000446: PUSH2 0x0b51 00000449: JUMP 0000044a: JUMPDEST 0000044b: PUSH1 0x40 0000044d: MLOAD 0000044e: PUSH1 0x01 00000450: PUSH1 0xa0 00000452: PUSH1 0x02 00000454: EXP 00000455: SUB 00000456: SWAP1 00000457: SWAP2 00000458: AND 00000459: DUP2 0000045a: MSTORE 0000045b: PUSH1 0x20 0000045d: ADD 0000045e: PUSH1 0x40 00000460: MLOAD 00000461: DUP1 00000462: SWAP2 00000463: SUB 00000464: SWAP1 00000465: RETURN 00000466: JUMPDEST 00000467: CALLVALUE 00000468: ISZERO 00000469: PUSH2 0x0471 0000046c: JUMPI 0000046d: PUSH1 0x00 0000046f: DUP1 00000470: REVERT 00000471: JUMPDEST 00000472: PUSH2 0x044a 00000475: PUSH2 0x0b60 00000478: JUMP 00000479: JUMPDEST 0000047a: PUSH1 0x40 0000047c: MLOAD 0000047d: PUSH1 0x01 0000047f: PUSH1 0xa0 00000481: PUSH1 0x02 00000483: EXP 00000484: SUB 00000485: SWAP1 00000486: SWAP2 00000487: AND 00000488: DUP2 00000489: MSTORE 0000048a: PUSH1 0x20 0000048c: ADD 0000048d: PUSH1 0x40 0000048f: MLOAD 00000490: DUP1 00000491: SWAP2 00000492: SUB 00000493: SWAP1 00000494: RETURN 00000495: JUMPDEST 00000496: CALLVALUE 00000497: ISZERO 00000498: PUSH2 0x04a0 0000049b: JUMPI 0000049c: PUSH1 0x00 0000049e: DUP1 0000049f: REVERT 000004a0: JUMPDEST 000004a1: PUSH2 0x0278 000004a4: PUSH2 0x0b6f 000004a7: JUMP 000004a8: JUMPDEST 000004a9: PUSH1 0x40 000004ab: MLOAD 000004ac: SWAP1 000004ad: DUP2 000004ae: MSTORE 000004af: PUSH1 0x20 000004b1: ADD 000004b2: PUSH1 0x40 000004b4: MLOAD 000004b5: DUP1 000004b6: SWAP2 000004b7: SUB 000004b8: SWAP1 000004b9: RETURN 000004ba: JUMPDEST 000004bb: CALLVALUE 000004bc: ISZERO 000004bd: PUSH2 0x04c5 000004c0: JUMPI 000004c1: PUSH1 0x00 000004c3: DUP1 000004c4: REVERT 000004c5: JUMPDEST 000004c6: PUSH2 0x0278 000004c9: PUSH1 0x01 000004cb: PUSH1 0xa0 000004cd: PUSH1 0x02 000004cf: EXP 000004d0: SUB 000004d1: PUSH1 0x04 000004d3: CALLDATALOAD 000004d4: AND 000004d5: PUSH2 0x0b77 000004d8: JUMP 000004d9: JUMPDEST 000004da: PUSH1 0x40 000004dc: MLOAD 000004dd: SWAP1 000004de: DUP2 000004df: MSTORE 000004e0: PUSH1 0x20 000004e2: ADD 000004e3: PUSH1 0x40 000004e5: MLOAD 000004e6: DUP1 000004e7: SWAP2 000004e8: SUB 000004e9: SWAP1 000004ea: RETURN 000004eb: JUMPDEST 000004ec: CALLVALUE 000004ed: ISZERO 000004ee: PUSH2 0x04f6 000004f1: JUMPI 000004f2: PUSH1 0x00 000004f4: DUP1 000004f5: REVERT 000004f6: JUMPDEST 000004f7: PUSH2 0x03f4 000004fa: PUSH2 0x0b89 000004fd: JUMP 000004fe: JUMPDEST 000004ff: PUSH1 0x40 00000501: MLOAD 00000502: SWAP1 00000503: ISZERO 00000504: ISZERO 00000505: DUP2 00000506: MSTORE 00000507: PUSH1 0x20 00000509: ADD 0000050a: PUSH1 0x40 0000050c: MLOAD 0000050d: DUP1 0000050e: SWAP2 0000050f: SUB 00000510: SWAP1 00000511: RETURN 00000512: JUMPDEST 00000513: CALLVALUE 00000514: ISZERO 00000515: PUSH2 0x051d 00000518: JUMPI 00000519: PUSH1 0x00 0000051b: DUP1 0000051c: REVERT 0000051d: JUMPDEST 0000051e: PUSH2 0x0278 00000521: PUSH2 0x0ba5 00000524: JUMP 00000525: JUMPDEST 00000526: PUSH1 0x40 00000528: MLOAD 00000529: SWAP1 0000052a: DUP2 0000052b: MSTORE 0000052c: PUSH1 0x20 0000052e: ADD 0000052f: PUSH1 0x40 00000531: MLOAD 00000532: DUP1 00000533: SWAP2 00000534: SUB 00000535: SWAP1 00000536: RETURN 00000537: JUMPDEST 00000538: PUSH2 0x01d0 0000053b: PUSH2 0x072a 0000053e: JUMP 0000053f: JUMPDEST 00000540: STOP 00000541: JUMPDEST 00000542: CALLVALUE 00000543: ISZERO 00000544: PUSH2 0x054c 00000547: JUMPI 00000548: PUSH1 0x00 0000054a: DUP1 0000054b: REVERT 0000054c: JUMPDEST 0000054d: PUSH2 0x0278 00000550: PUSH2 0x0bad 00000553: JUMP 00000554: JUMPDEST 00000555: PUSH1 0x40 00000557: MLOAD 00000558: SWAP1 00000559: DUP2 0000055a: MSTORE 0000055b: PUSH1 0x20 0000055d: ADD 0000055e: PUSH1 0x40 00000560: MLOAD 00000561: DUP1 00000562: SWAP2 00000563: SUB 00000564: SWAP1 00000565: RETURN 00000566: JUMPDEST 00000567: CALLVALUE 00000568: ISZERO 00000569: PUSH2 0x0571 0000056c: JUMPI 0000056d: PUSH1 0x00 0000056f: DUP1 00000570: REVERT 00000571: JUMPDEST 00000572: PUSH2 0x03f4 00000575: PUSH2 0x0bb3 00000578: JUMP 00000579: JUMPDEST 0000057a: PUSH1 0x40 0000057c: MLOAD 0000057d: SWAP1 0000057e: ISZERO 0000057f: ISZERO 00000580: DUP2 00000581: MSTORE 00000582: PUSH1 0x20 00000584: ADD 00000585: PUSH1 0x40 00000587: MLOAD 00000588: DUP1 00000589: SWAP2 0000058a: SUB 0000058b: SWAP1 0000058c: RETURN 0000058d: JUMPDEST 0000058e: CALLVALUE 0000058f: ISZERO 00000590: PUSH2 0x0598 00000593: JUMPI 00000594: PUSH1 0x00 00000596: DUP1 00000597: REVERT 00000598: JUMPDEST 00000599: PUSH2 0x044a 0000059c: PUSH2 0x0bbc 0000059f: JUMP 000005a0: JUMPDEST 000005a1: PUSH1 0x40 000005a3: MLOAD 000005a4: PUSH1 0x01 000005a6: PUSH1 0xa0 000005a8: PUSH1 0x02 000005aa: EXP 000005ab: SUB 000005ac: SWAP1 000005ad: SWAP2 000005ae: AND 000005af: DUP2 000005b0: MSTORE 000005b1: PUSH1 0x20 000005b3: ADD 000005b4: PUSH1 0x40 000005b6: MLOAD 000005b7: DUP1 000005b8: SWAP2 000005b9: SUB 000005ba: SWAP1 000005bb: RETURN 000005bc: JUMPDEST 000005bd: CALLVALUE 000005be: ISZERO 000005bf: PUSH2 0x05c7 000005c2: JUMPI 000005c3: PUSH1 0x00 000005c5: DUP1 000005c6: REVERT 000005c7: JUMPDEST 000005c8: PUSH2 0x03f4 000005cb: PUSH2 0x0bcb 000005ce: JUMP 000005cf: JUMPDEST 000005d0: PUSH1 0x40 000005d2: MLOAD 000005d3: SWAP1 000005d4: ISZERO 000005d5: ISZERO 000005d6: DUP2 000005d7: MSTORE 000005d8: PUSH1 0x20 000005da: ADD 000005db: PUSH1 0x40 000005dd: MLOAD 000005de: DUP1 000005df: SWAP2 000005e0: SUB 000005e1: SWAP1 000005e2: RETURN 000005e3: JUMPDEST 000005e4: CALLVALUE 000005e5: ISZERO 000005e6: PUSH2 0x05ee 000005e9: JUMPI 000005ea: PUSH1 0x00 000005ec: DUP1 000005ed: REVERT 000005ee: JUMPDEST 000005ef: PUSH2 0x01d0 000005f2: PUSH1 0x04 000005f4: CALLDATALOAD 000005f5: PUSH1 0x24 000005f7: CALLDATALOAD 000005f8: PUSH1 0x44 000005fa: CALLDATALOAD 000005fb: PUSH2 0x0bdb 000005fe: JUMP 000005ff: JUMPDEST 00000600: STOP 00000601: JUMPDEST 00000602: CALLVALUE 00000603: ISZERO 00000604: PUSH2 0x060c 00000607: JUMPI 00000608: PUSH1 0x00 0000060a: DUP1 0000060b: REVERT 0000060c: JUMPDEST 0000060d: PUSH2 0x01d0 00000610: PUSH2 0x0c33 00000613: JUMP 00000614: JUMPDEST 00000615: STOP 00000616: JUMPDEST 00000617: CALLVALUE 00000618: ISZERO 00000619: PUSH2 0x0621 0000061c: JUMPI 0000061d: PUSH1 0x00 0000061f: DUP1 00000620: REVERT 00000621: JUMPDEST 00000622: PUSH2 0x0278 00000625: PUSH2 0x0c89 00000628: JUMP 00000629: JUMPDEST 0000062a: PUSH1 0x40 0000062c: MLOAD 0000062d: SWAP1 0000062e: DUP2 0000062f: MSTORE 00000630: PUSH1 0x20 00000632: ADD 00000633: PUSH1 0x40 00000635: MLOAD 00000636: DUP1 00000637: SWAP2 00000638: SUB 00000639: SWAP1 0000063a: RETURN 0000063b: JUMPDEST 0000063c: CALLVALUE 0000063d: ISZERO 0000063e: PUSH2 0x0646 00000641: JUMPI 00000642: PUSH1 0x00 00000644: DUP1 00000645: REVERT 00000646: JUMPDEST 00000647: PUSH2 0x0651 0000064a: PUSH1 0x04 0000064c: CALLDATALOAD 0000064d: PUSH2 0x0c8f 00000650: JUMP 00000651: JUMPDEST 00000652: PUSH1 0x40 00000654: MLOAD 00000655: DUP1 00000656: DUP5 00000657: DUP2 00000658: MSTORE 00000659: PUSH1 0x20 0000065b: ADD 0000065c: DUP4 0000065d: DUP2 0000065e: MSTORE 0000065f: PUSH1 0x20 00000661: ADD 00000662: DUP3 00000663: DUP2 00000664: MSTORE 00000665: PUSH1 0x20 00000667: ADD 00000668: SWAP4 00000669: POP 0000066a: POP 0000066b: POP 0000066c: POP 0000066d: PUSH1 0x40 0000066f: MLOAD 00000670: DUP1 00000671: SWAP2 00000672: SUB 00000673: SWAP1 00000674: RETURN 00000675: JUMPDEST 00000676: CALLVALUE 00000677: ISZERO 00000678: PUSH2 0x0680 0000067b: JUMPI 0000067c: PUSH1 0x00 0000067e: DUP1 0000067f: REVERT 00000680: JUMPDEST 00000681: PUSH2 0x01d0 00000684: PUSH1 0x01 00000686: PUSH1 0xa0 00000688: PUSH1 0x02 0000068a: EXP 0000068b: SUB 0000068c: PUSH1 0x04 0000068e: CALLDATALOAD 0000068f: AND 00000690: PUSH2 0x0cc2 00000693: JUMP 00000694: JUMPDEST 00000695: STOP 00000696: JUMPDEST 00000697: CALLVALUE 00000698: ISZERO 00000699: PUSH2 0x06a1 0000069c: JUMPI 0000069d: PUSH1 0x00 0000069f: DUP1 000006a0: REVERT 000006a1: JUMPDEST 000006a2: PUSH2 0x0278 000006a5: PUSH2 0x0d1a 000006a8: JUMP 000006a9: JUMPDEST 000006aa: PUSH1 0x40 000006ac: MLOAD 000006ad: SWAP1 000006ae: DUP2 000006af: MSTORE 000006b0: PUSH1 0x20 000006b2: ADD 000006b3: PUSH1 0x40 000006b5: MLOAD 000006b6: DUP1 000006b7: SWAP2 000006b8: SUB 000006b9: SWAP1 000006ba: RETURN 000006bb: JUMPDEST 000006bc: CALLVALUE 000006bd: ISZERO 000006be: PUSH2 0x06c6 000006c1: JUMPI 000006c2: PUSH1 0x00 000006c4: DUP1 000006c5: REVERT 000006c6: JUMPDEST 000006c7: PUSH2 0x01d0 000006ca: PUSH1 0x04 000006cc: CALLDATALOAD 000006cd: PUSH1 0x24 000006cf: CALLDATALOAD 000006d0: PUSH2 0x0d20 000006d3: JUMP 000006d4: JUMPDEST 000006d5: STOP 000006d6: JUMPDEST 000006d7: CALLVALUE 000006d8: ISZERO 000006d9: PUSH2 0x06e1 000006dc: JUMPI 000006dd: PUSH1 0x00 000006df: DUP1 000006e0: REVERT 000006e1: JUMPDEST 000006e2: PUSH2 0x0278 000006e5: PUSH2 0x0dfb 000006e8: JUMP 000006e9: JUMPDEST 000006ea: PUSH1 0x40 000006ec: MLOAD 000006ed: SWAP1 000006ee: DUP2 000006ef: MSTORE 000006f0: PUSH1 0x20 000006f2: ADD 000006f3: PUSH1 0x40 000006f5: MLOAD 000006f6: DUP1 000006f7: SWAP2 000006f8: SUB 000006f9: SWAP1 000006fa: RETURN 000006fb: JUMPDEST 000006fc: CALLVALUE 000006fd: ISZERO 000006fe: PUSH2 0x0706 00000701: JUMPI 00000702: PUSH1 0x00 00000704: DUP1 00000705: REVERT 00000706: JUMPDEST 00000707: PUSH2 0x044a 0000070a: PUSH2 0x0e00 0000070d: JUMP 0000070e: JUMPDEST 0000070f: PUSH1 0x40 00000711: MLOAD 00000712: PUSH1 0x01 00000714: PUSH1 0xa0 00000716: PUSH1 0x02 00000718: EXP 00000719: SUB 0000071a: SWAP1 0000071b: SWAP2 0000071c: AND 0000071d: DUP2 0000071e: MSTORE 0000071f: PUSH1 0x20 00000721: ADD 00000722: PUSH1 0x40 00000724: MLOAD 00000725: DUP1 00000726: SWAP2 00000727: SUB 00000728: SWAP1 00000729: RETURN 0000072a: JUMPDEST 0000072b: PUSH2 0x0733 0000072e: CALLER 0000072f: PUSH2 0x0736 00000732: JUMP 00000733: JUMPDEST 00000734: JUMPDEST 00000735: JUMP 00000736: JUMPDEST 00000737: PUSH2 0x073f 0000073a: DUP2 0000073b: PUSH2 0x0e0f 0000073e: JUMP 0000073f: JUMPDEST 00000740: JUMPDEST 00000741: POP 00000742: JUMP 00000743: JUMPDEST 00000744: PUSH1 0x00 00000746: SLOAD 00000747: CALLER 00000748: PUSH1 0x01 0000074a: PUSH1 0xa0 0000074c: PUSH1 0x02 0000074e: EXP 0000074f: SUB 00000750: SWAP1 00000751: DUP2 00000752: AND 00000753: SWAP2 00000754: AND 00000755: EQ 00000756: PUSH2 0x075e 00000759: JUMPI 0000075a: PUSH1 0x00 0000075c: DUP1 0000075d: REVERT 0000075e: JUMPDEST 0000075f: PUSH1 0x01 00000761: PUSH1 0xa0 00000763: PUSH1 0x02 00000765: EXP 00000766: SUB 00000767: DUP2 00000768: AND 00000769: ISZERO 0000076a: PUSH2 0x073f 0000076d: JUMPI 0000076e: PUSH1 0x0d 00000770: DUP1 00000771: SLOAD 00000772: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000787: NOT 00000788: AND 00000789: PUSH1 0x01 0000078b: PUSH1 0xa0 0000078d: PUSH1 0x02 0000078f: EXP 00000790: SUB 00000791: DUP4 00000792: AND 00000793: OR 00000794: SWAP1 00000795: SSTORE 00000796: JUMPDEST 00000797: JUMPDEST 00000798: JUMPDEST 00000799: POP 0000079a: JUMP 0000079b: JUMPDEST 0000079c: PUSH1 0x00 0000079e: SLOAD 0000079f: CALLER 000007a0: PUSH1 0x01 000007a2: PUSH1 0xa0 000007a4: PUSH1 0x02 000007a6: EXP 000007a7: SUB 000007a8: SWAP1 000007a9: DUP2 000007aa: AND 000007ab: SWAP2 000007ac: AND 000007ad: EQ 000007ae: PUSH2 0x07b6 000007b1: JUMPI 000007b2: PUSH1 0x00 000007b4: DUP1 000007b5: REVERT 000007b6: JUMPDEST 000007b7: TIMESTAMP 000007b8: DUP2 000007b9: LT 000007ba: ISZERO 000007bb: PUSH2 0x07c3 000007be: JUMPI 000007bf: PUSH1 0x00 000007c1: DUP1 000007c2: REVERT 000007c3: JUMPDEST 000007c4: PUSH1 0x04 000007c6: DUP2 000007c7: SWAP1 000007c8: SSTORE 000007c9: PUSH32 0x9627bf02f73c029c35c8c80be78eb95cbe1f89fddcf0f2a633a770c7a0b5ee71 000007ea: DUP2 000007eb: PUSH1 0x40 000007ed: MLOAD 000007ee: SWAP1 000007ef: DUP2 000007f0: MSTORE 000007f1: PUSH1 0x20 000007f3: ADD 000007f4: PUSH1 0x40 000007f6: MLOAD 000007f7: DUP1 000007f8: SWAP2 000007f9: SUB 000007fa: SWAP1 000007fb: LOG1 000007fc: JUMPDEST 000007fd: JUMPDEST 000007fe: POP 000007ff: JUMP 00000800: JUMPDEST 00000801: PUSH1 0x0a 00000803: SLOAD 00000804: PUSH1 0x00 00000806: SWAP1 00000807: PUSH1 0xff 00000809: AND 0000080a: ISZERO 0000080b: PUSH2 0x0816 0000080e: JUMPI 0000080f: POP 00000810: PUSH1 0x05 00000812: PUSH2 0x08d2 00000815: JUMP 00000816: JUMPDEST 00000817: PUSH1 0x01 00000819: SLOAD 0000081a: PUSH1 0x01 0000081c: PUSH1 0xa0 0000081e: PUSH1 0x02 00000820: EXP 00000821: SUB 00000822: AND 00000823: ISZERO 00000824: DUP1 00000825: PUSH2 0x0837 00000828: JUMPI 00000829: POP 0000082a: PUSH1 0x02 0000082c: SLOAD 0000082d: PUSH1 0x01 0000082f: PUSH1 0xa0 00000831: PUSH1 0x02 00000833: EXP 00000834: SUB 00000835: AND 00000836: ISZERO 00000837: JUMPDEST 00000838: DUP1 00000839: PUSH2 0x0843 0000083c: JUMPI 0000083d: POP 0000083e: PUSH1 0x03 00000840: SLOAD 00000841: TIMESTAMP 00000842: LT 00000843: JUMPDEST 00000844: ISZERO 00000845: PUSH2 0x0850 00000848: JUMPI 00000849: POP 0000084a: PUSH1 0x01 0000084c: PUSH2 0x08d2 0000084f: JUMP 00000850: JUMPDEST 00000851: PUSH1 0x03 00000853: SLOAD 00000854: TIMESTAMP 00000855: GT 00000856: DUP1 00000857: ISZERO 00000858: PUSH2 0x0867 0000085b: JUMPI 0000085c: POP 0000085d: PUSH3 0x02a300 00000861: PUSH1 0x04 00000863: SLOAD 00000864: SUB 00000865: TIMESTAMP 00000866: LT 00000867: JUMPDEST 00000868: DUP1 00000869: ISZERO 0000086a: PUSH2 0x0878 0000086d: JUMPI 0000086e: POP 0000086f: PUSH2 0x0876 00000872: PUSH2 0x0b89 00000875: JUMP 00000876: JUMPDEST 00000877: ISZERO 00000878: JUMPDEST 00000879: ISZERO 0000087a: PUSH2 0x0885 0000087d: JUMPI 0000087e: POP 0000087f: PUSH1 0x02 00000881: PUSH2 0x08d2 00000884: JUMP 00000885: JUMPDEST 00000886: PUSH2 0x088d 00000889: PUSH2 0x0aee 0000088c: JUMP 0000088d: JUMPDEST 0000088e: ISZERO 0000088f: PUSH2 0x089a 00000892: JUMPI 00000893: POP 00000894: PUSH1 0x03 00000896: PUSH2 0x08d2 00000899: JUMP 0000089a: JUMPDEST 0000089b: PUSH2 0x08a2 0000089e: PUSH2 0x0aee 000008a1: JUMP 000008a2: JUMPDEST 000008a3: ISZERO 000008a4: DUP1 000008a5: ISZERO 000008a6: PUSH2 0x08b1 000008a9: JUMPI 000008aa: POP 000008ab: PUSH1 0x00 000008ad: PUSH1 0x06 000008af: SLOAD 000008b0: GT 000008b1: JUMPDEST 000008b2: DUP1 000008b3: ISZERO 000008b4: PUSH2 0x08c1 000008b7: JUMPI 000008b8: POP 000008b9: PUSH1 0x06 000008bb: SLOAD 000008bc: PUSH1 0x08 000008be: SLOAD 000008bf: LT 000008c0: ISZERO 000008c1: JUMPDEST 000008c2: ISZERO 000008c3: PUSH2 0x08ce 000008c6: JUMPI 000008c7: POP 000008c8: PUSH1 0x06 000008ca: PUSH2 0x08d2 000008cd: JUMP 000008ce: JUMPDEST 000008cf: POP 000008d0: PUSH1 0x04 000008d2: JUMPDEST 000008d3: SWAP1 000008d4: JUMP 000008d5: JUMPDEST 000008d6: PUSH1 0x0e 000008d8: PUSH1 0x20 000008da: MSTORE 000008db: PUSH1 0x00 000008dd: SWAP1 000008de: DUP2 000008df: MSTORE 000008e0: PUSH1 0x40 000008e2: SWAP1 000008e3: KECCAK256 000008e4: SLOAD 000008e5: DUP2 000008e6: JUMP 000008e7: JUMPDEST 000008e8: PUSH1 0x0b 000008ea: SLOAD 000008eb: DUP2 000008ec: JUMP 000008ed: JUMPDEST 000008ee: PUSH1 0x06 000008f0: SLOAD 000008f1: DUP2 000008f2: JUMP 000008f3: JUMPDEST 000008f4: PUSH1 0x00 000008f6: SLOAD 000008f7: CALLER 000008f8: PUSH1 0x01 000008fa: PUSH1 0xa0 000008fc: PUSH1 0x02 000008fe: EXP 000008ff: SUB 00000900: SWAP1 00000901: DUP2 00000902: AND 00000903: SWAP2 00000904: AND 00000905: EQ 00000906: PUSH2 0x090e 00000909: JUMPI 0000090a: PUSH1 0x00 0000090c: DUP1 0000090d: REVERT 0000090e: JUMPDEST 0000090f: PUSH1 0x00 00000911: SLOAD 00000912: PUSH1 0x01 00000914: PUSH1 0xa0 00000916: PUSH1 0x02 00000918: EXP 00000919: SUB 0000091a: AND 0000091b: SELFDESTRUCT 0000091c: JUMPDEST 0000091d: JUMPDEST 0000091e: JUMP 0000091f: JUMPDEST 00000920: PUSH3 0x2e2480 00000924: DUP2 00000925: JUMP 00000926: JUMPDEST 00000927: PUSH1 0x03 00000929: DUP1 0000092a: JUMPDEST 0000092b: PUSH2 0x0932 0000092e: PUSH2 0x0800 00000931: JUMP 00000932: JUMPDEST 00000933: PUSH1 0x06 00000935: DUP2 00000936: GT 00000937: ISZERO 00000938: PUSH2 0x093d 0000093b: JUMPI 0000093c: INVALID 0000093d: JUMPDEST 0000093e: EQ 0000093f: PUSH2 0x0947 00000942: JUMPI 00000943: PUSH1 0x00 00000945: DUP1 00000946: REVERT 00000947: JUMPDEST 00000948: PUSH1 0x00 0000094a: SLOAD 0000094b: CALLER 0000094c: PUSH1 0x01 0000094e: PUSH1 0xa0 00000950: PUSH1 0x02 00000952: EXP 00000953: SUB 00000954: SWAP1 00000955: DUP2 00000956: AND 00000957: SWAP2 00000958: AND 00000959: EQ 0000095a: PUSH2 0x0962 0000095d: JUMPI 0000095e: PUSH1 0x00 00000960: DUP1 00000961: REVERT 00000962: JUMPDEST 00000963: PUSH1 0x00 00000965: SLOAD 00000966: PUSH1 0xa0 00000968: PUSH1 0x02 0000096a: EXP 0000096b: SWAP1 0000096c: DIV 0000096d: PUSH1 0xff 0000096f: AND 00000970: ISZERO 00000971: PUSH2 0x0979 00000974: JUMPI 00000975: PUSH1 0x00 00000977: DUP1 00000978: REVERT 00000979: JUMPDEST 0000097a: PUSH1 0x0a 0000097c: SLOAD 0000097d: PUSH1 0xff 0000097f: AND 00000980: ISZERO 00000981: PUSH2 0x0989 00000984: JUMPI 00000985: PUSH1 0x00 00000987: DUP1 00000988: REVERT 00000989: JUMPDEST 0000098a: PUSH1 0x0a 0000098c: DUP1 0000098d: SLOAD 0000098e: PUSH1 0xff 00000990: NOT 00000991: AND 00000992: PUSH1 0x01 00000994: OR 00000995: SWAP1 00000996: SSTORE 00000997: PUSH2 0x073f 0000099a: PUSH2 0x0733 0000099d: JUMP 0000099e: JUMPDEST 0000099f: JUMPDEST 000009a0: JUMPDEST 000009a1: JUMPDEST 000009a2: JUMPDEST 000009a3: POP 000009a4: JUMP 000009a5: JUMPDEST 000009a6: PUSH1 0x05 000009a8: SLOAD 000009a9: DUP2 000009aa: JUMP 000009ab: JUMPDEST 000009ac: PUSH1 0x00 000009ae: PUSH1 0x06 000009b0: DUP1 000009b1: JUMPDEST 000009b2: PUSH2 0x09b9 000009b5: PUSH2 0x0800 000009b8: JUMP 000009b9: JUMPDEST 000009ba: PUSH1 0x06 000009bc: DUP2 000009bd: GT 000009be: ISZERO 000009bf: PUSH2 0x09c4 000009c2: JUMPI 000009c3: INVALID 000009c4: JUMPDEST 000009c5: EQ 000009c6: PUSH2 0x09ce 000009c9: JUMPI 000009ca: PUSH1 0x00 000009cc: DUP1 000009cd: REVERT 000009ce: JUMPDEST 000009cf: PUSH1 0x01 000009d1: PUSH1 0xa0 000009d3: PUSH1 0x02 000009d5: EXP 000009d6: SUB 000009d7: CALLER 000009d8: AND 000009d9: PUSH1 0x00 000009db: SWAP1 000009dc: DUP2 000009dd: MSTORE 000009de: PUSH1 0x0e 000009e0: PUSH1 0x20 000009e2: MSTORE 000009e3: PUSH1 0x40 000009e5: SWAP1 000009e6: KECCAK256 000009e7: SLOAD 000009e8: SWAP2 000009e9: POP 000009ea: DUP2 000009eb: ISZERO 000009ec: ISZERO 000009ed: PUSH2 0x09f5 000009f0: JUMPI 000009f1: PUSH2 0x0a93 000009f4: JUMP 000009f5: JUMPDEST 000009f6: PUSH1 0x01 000009f8: PUSH1 0xa0 000009fa: PUSH1 0x02 000009fc: EXP 000009fd: SUB 000009fe: CALLER 000009ff: AND 00000a00: PUSH1 0x00 00000a02: SWAP1 00000a03: DUP2 00000a04: MSTORE 00000a05: PUSH1 0x0e 00000a07: PUSH1 0x20 00000a09: MSTORE 00000a0a: PUSH1 0x40 00000a0c: DUP2 00000a0d: KECCAK256 00000a0e: SSTORE 00000a0f: PUSH1 0x09 00000a11: SLOAD 00000a12: PUSH2 0x0a1b 00000a15: SWAP1 00000a16: DUP4 00000a17: PUSH2 0x101b 00000a1a: JUMP 00000a1b: JUMPDEST 00000a1c: PUSH1 0x09 00000a1e: SSTORE 00000a1f: PUSH32 0xbb28353e4598c3b9199101a66e0989549b659a59a54d2c27fbb183f1932c8e6d 00000a40: CALLER 00000a41: DUP4 00000a42: PUSH1 0x40 00000a44: MLOAD 00000a45: PUSH1 0x01 00000a47: PUSH1 0xa0 00000a49: PUSH1 0x02 00000a4b: EXP 00000a4c: SUB 00000a4d: SWAP1 00000a4e: SWAP3 00000a4f: AND 00000a50: DUP3 00000a51: MSTORE 00000a52: PUSH1 0x20 00000a54: DUP3 00000a55: ADD 00000a56: MSTORE 00000a57: PUSH1 0x40 00000a59: SWAP1 00000a5a: DUP2 00000a5b: ADD 00000a5c: SWAP1 00000a5d: MLOAD 00000a5e: DUP1 00000a5f: SWAP2 00000a60: SUB 00000a61: SWAP1 00000a62: LOG1 00000a63: PUSH1 0x01 00000a65: PUSH1 0xa0 00000a67: PUSH1 0x02 00000a69: EXP 00000a6a: SUB 00000a6b: CALLER 00000a6c: AND 00000a6d: DUP3 00000a6e: ISZERO 00000a6f: PUSH2 0x08fc 00000a72: MUL 00000a73: DUP4 00000a74: PUSH1 0x40 00000a76: MLOAD 00000a77: PUSH1 0x00 00000a79: PUSH1 0x40 00000a7b: MLOAD 00000a7c: DUP1 00000a7d: DUP4 00000a7e: SUB 00000a7f: DUP2 00000a80: DUP6 00000a81: DUP9 00000a82: DUP9 00000a83: CALL 00000a84: SWAP4 00000a85: POP 00000a86: POP 00000a87: POP 00000a88: POP 00000a89: ISZERO 00000a8a: ISZERO 00000a8b: PUSH2 0x0a93 00000a8e: JUMPI 00000a8f: PUSH1 0x00 00000a91: DUP1 00000a92: REVERT 00000a93: JUMPDEST 00000a94: JUMPDEST 00000a95: JUMPDEST 00000a96: POP 00000a97: POP 00000a98: JUMP 00000a99: JUMPDEST 00000a9a: PUSH1 0x09 00000a9c: SLOAD 00000a9d: DUP2 00000a9e: JUMP 00000a9f: JUMPDEST 00000aa0: PUSH1 0x00 00000aa2: SLOAD 00000aa3: CALLER 00000aa4: PUSH1 0x01 00000aa6: PUSH1 0xa0 00000aa8: PUSH1 0x02 00000aaa: EXP 00000aab: SUB 00000aac: SWAP1 00000aad: DUP2 00000aae: AND 00000aaf: SWAP2 00000ab0: AND 00000ab1: EQ 00000ab2: PUSH2 0x0aba 00000ab5: JUMPI 00000ab6: PUSH1 0x00 00000ab8: DUP1 00000ab9: REVERT 00000aba: JUMPDEST 00000abb: PUSH1 0x00 00000abd: DUP1 00000abe: SLOAD 00000abf: PUSH21 0xff0000000000000000000000000000000000000000 00000ad5: NOT 00000ad6: AND 00000ad7: PUSH1 0xa0 00000ad9: PUSH1 0x02 00000adb: EXP 00000adc: OR 00000add: SWAP1 00000ade: SSTORE 00000adf: JUMPDEST 00000ae0: JUMPDEST 00000ae1: JUMP 00000ae2: JUMPDEST 00000ae3: PUSH1 0x0c 00000ae5: SLOAD 00000ae6: DUP2 00000ae7: JUMP 00000ae8: JUMPDEST 00000ae9: PUSH1 0x08 00000aeb: SLOAD 00000aec: DUP2 00000aed: JUMP 00000aee: JUMPDEST 00000aef: PUSH1 0x00 00000af1: PUSH1 0x64 00000af3: PUSH3 0x030d40 00000af7: MUL 00000af8: PUSH2 0x0b02 00000afb: PUSH1 0x06 00000afd: SLOAD 00000afe: PUSH2 0x1027 00000b01: JUMP 00000b02: JUMPDEST 00000b03: LT 00000b04: ISZERO 00000b05: SWAP1 00000b06: POP 00000b07: JUMPDEST 00000b08: SWAP1 00000b09: JUMP 00000b0a: JUMPDEST 00000b0b: PUSH1 0x04 00000b0d: DUP1 00000b0e: JUMPDEST 00000b0f: PUSH2 0x0b16 00000b12: PUSH2 0x0800 00000b15: JUMP 00000b16: JUMPDEST 00000b17: PUSH1 0x06 00000b19: DUP2 00000b1a: GT 00000b1b: ISZERO 00000b1c: PUSH2 0x0b21 00000b1f: JUMPI 00000b20: INVALID 00000b21: JUMPDEST 00000b22: EQ 00000b23: PUSH2 0x0b2b 00000b26: JUMPI 00000b27: PUSH1 0x00 00000b29: DUP1 00000b2a: REVERT 00000b2b: JUMPDEST 00000b2c: PUSH1 0x00 00000b2e: CALLVALUE 00000b2f: GT 00000b30: PUSH2 0x0b38 00000b33: JUMPI 00000b34: PUSH1 0x00 00000b36: DUP1 00000b37: REVERT 00000b38: JUMPDEST 00000b39: PUSH2 0x0b44 00000b3c: PUSH1 0x08 00000b3e: SLOAD 00000b3f: CALLVALUE 00000b40: PUSH2 0x101b 00000b43: JUMP 00000b44: JUMPDEST 00000b45: PUSH1 0x08 00000b47: SSTORE 00000b48: JUMPDEST 00000b49: JUMPDEST 00000b4a: POP 00000b4b: JUMP 00000b4c: JUMPDEST 00000b4d: PUSH1 0x64 00000b4f: DUP2 00000b50: JUMP 00000b51: JUMPDEST 00000b52: PUSH1 0x00 00000b54: SLOAD 00000b55: PUSH1 0x01 00000b57: PUSH1 0xa0 00000b59: PUSH1 0x02 00000b5b: EXP 00000b5c: SUB 00000b5d: AND 00000b5e: DUP2 00000b5f: JUMP 00000b60: JUMPDEST 00000b61: PUSH1 0x02 00000b63: SLOAD 00000b64: PUSH1 0x01 00000b66: PUSH1 0xa0 00000b68: PUSH1 0x02 00000b6a: EXP 00000b6b: SUB 00000b6c: AND 00000b6d: DUP2 00000b6e: JUMP 00000b6f: JUMPDEST 00000b70: PUSH4 0x05f5e100 00000b75: DUP2 00000b76: JUMP 00000b77: JUMPDEST 00000b78: PUSH1 0x0f 00000b7a: PUSH1 0x20 00000b7c: MSTORE 00000b7d: PUSH1 0x00 00000b7f: SWAP1 00000b80: DUP2 00000b81: MSTORE 00000b82: PUSH1 0x40 00000b84: SWAP1 00000b85: KECCAK256 00000b86: SLOAD 00000b87: DUP2 00000b88: JUMP 00000b89: JUMPDEST 00000b8a: PUSH1 0x00 00000b8c: PUSH1 0x64 00000b8e: PUSH3 0x0f4240 00000b92: MUL 00000b93: PUSH2 0x0b02 00000b96: PUSH1 0x06 00000b98: SLOAD 00000b99: PUSH2 0x1027 00000b9c: JUMP 00000b9d: JUMPDEST 00000b9e: LT 00000b9f: ISZERO 00000ba0: SWAP1 00000ba1: POP 00000ba2: JUMPDEST 00000ba3: SWAP1 00000ba4: JUMP 00000ba5: JUMPDEST 00000ba6: PUSH4 0x01312d00 00000bab: DUP2 00000bac: JUMP 00000bad: JUMPDEST 00000bae: PUSH1 0x03 00000bb0: SLOAD 00000bb1: DUP2 00000bb2: JUMP 00000bb3: JUMPDEST 00000bb4: PUSH1 0x0a 00000bb6: SLOAD 00000bb7: PUSH1 0xff 00000bb9: AND 00000bba: DUP2 00000bbb: JUMP 00000bbc: JUMPDEST 00000bbd: PUSH1 0x0d 00000bbf: SLOAD 00000bc0: PUSH1 0x01 00000bc2: PUSH1 0xa0 00000bc4: PUSH1 0x02 00000bc6: EXP 00000bc7: SUB 00000bc8: AND 00000bc9: DUP2 00000bca: JUMP 00000bcb: JUMPDEST 00000bcc: PUSH1 0x00 00000bce: SLOAD 00000bcf: PUSH1 0xa0 00000bd1: PUSH1 0x02 00000bd3: EXP 00000bd4: SWAP1 00000bd5: DIV 00000bd6: PUSH1 0xff 00000bd8: AND 00000bd9: DUP2 00000bda: JUMP 00000bdb: JUMPDEST 00000bdc: PUSH1 0x00 00000bde: SLOAD 00000bdf: CALLER 00000be0: PUSH1 0x01 00000be2: PUSH1 0xa0 00000be4: PUSH1 0x02 00000be6: EXP 00000be7: SUB 00000be8: SWAP1 00000be9: DUP2 00000bea: AND 00000beb: SWAP2 00000bec: AND 00000bed: EQ 00000bee: PUSH2 0x0bf6 00000bf1: JUMPI 00000bf2: PUSH1 0x00 00000bf4: DUP1 00000bf5: REVERT 00000bf6: JUMPDEST 00000bf7: PUSH1 0x00 00000bf9: DUP4 00000bfa: GT 00000bfb: PUSH2 0x0c03 00000bfe: JUMPI 00000bff: PUSH1 0x00 00000c01: DUP1 00000c02: REVERT 00000c03: JUMPDEST 00000c04: PUSH1 0x00 00000c06: DUP3 00000c07: GT 00000c08: PUSH2 0x0c10 00000c0b: JUMPI 00000c0c: PUSH1 0x00 00000c0e: DUP1 00000c0f: REVERT 00000c10: JUMPDEST 00000c11: PUSH1 0x00 00000c13: DUP2 00000c14: GT 00000c15: PUSH2 0x0c1d 00000c18: JUMPI 00000c19: PUSH1 0x00 00000c1b: DUP1 00000c1c: REVERT 00000c1d: JUMPDEST 00000c1e: PUSH1 0x05 00000c20: DUP4 00000c21: SWAP1 00000c22: SSTORE 00000c23: PUSH1 0x06 00000c25: DUP3 00000c26: SWAP1 00000c27: SSTORE 00000c28: PUSH1 0x07 00000c2a: DUP2 00000c2b: SWAP1 00000c2c: SSTORE 00000c2d: JUMPDEST 00000c2e: JUMPDEST 00000c2f: POP 00000c30: POP 00000c31: POP 00000c32: JUMP 00000c33: JUMPDEST 00000c34: PUSH1 0x00 00000c36: SLOAD 00000c37: CALLER 00000c38: PUSH1 0x01 00000c3a: PUSH1 0xa0 00000c3c: PUSH1 0x02 00000c3e: EXP 00000c3f: SUB 00000c40: SWAP1 00000c41: DUP2 00000c42: AND 00000c43: SWAP2 00000c44: AND 00000c45: EQ 00000c46: PUSH2 0x0c4e 00000c49: JUMPI 00000c4a: PUSH1 0x00 00000c4c: DUP1 00000c4d: REVERT 00000c4e: JUMPDEST 00000c4f: PUSH1 0x00 00000c51: SLOAD 00000c52: PUSH1 0xa0 00000c54: PUSH1 0x02 00000c56: EXP 00000c57: SWAP1 00000c58: DIV 00000c59: PUSH1 0xff 00000c5b: AND 00000c5c: ISZERO 00000c5d: ISZERO 00000c5e: PUSH2 0x0c66 00000c61: JUMPI 00000c62: PUSH1 0x00 00000c64: DUP1 00000c65: REVERT 00000c66: JUMPDEST 00000c67: PUSH1 0x00 00000c69: DUP1 00000c6a: SLOAD 00000c6b: PUSH21 0xff0000000000000000000000000000000000000000 00000c81: NOT 00000c82: AND 00000c83: SWAP1 00000c84: SSTORE 00000c85: JUMPDEST 00000c86: JUMPDEST 00000c87: JUMPDEST 00000c88: JUMP 00000c89: JUMPDEST 00000c8a: PUSH1 0x07 00000c8c: SLOAD 00000c8d: DUP2 00000c8e: JUMP 00000c8f: JUMPDEST 00000c90: PUSH1 0x10 00000c92: DUP1 00000c93: SLOAD 00000c94: DUP3 00000c95: SWAP1 00000c96: DUP2 00000c97: LT 00000c98: PUSH2 0x0c9d 00000c9b: JUMPI 00000c9c: INVALID 00000c9d: JUMPDEST 00000c9e: SWAP1 00000c9f: PUSH1 0x00 00000ca1: MSTORE 00000ca2: PUSH1 0x20 00000ca4: PUSH1 0x00 00000ca6: KECCAK256 00000ca7: SWAP1 00000ca8: PUSH1 0x03 00000caa: MUL 00000cab: ADD 00000cac: PUSH1 0x00 00000cae: JUMPDEST 00000caf: POP 00000cb0: DUP1 00000cb1: SLOAD 00000cb2: PUSH1 0x01 00000cb4: DUP3 00000cb5: ADD 00000cb6: SLOAD 00000cb7: PUSH1 0x02 00000cb9: SWAP1 00000cba: SWAP3 00000cbb: ADD 00000cbc: SLOAD 00000cbd: SWAP1 00000cbe: SWAP3 00000cbf: POP 00000cc0: DUP4 00000cc1: JUMP 00000cc2: JUMPDEST 00000cc3: PUSH1 0x00 00000cc5: SLOAD 00000cc6: CALLER 00000cc7: PUSH1 0x01 00000cc9: PUSH1 0xa0 00000ccb: PUSH1 0x02 00000ccd: EXP 00000cce: SUB 00000ccf: SWAP1 00000cd0: DUP2 00000cd1: AND 00000cd2: SWAP2 00000cd3: AND 00000cd4: EQ 00000cd5: PUSH2 0x0cdd 00000cd8: JUMPI 00000cd9: PUSH1 0x00 00000cdb: DUP1 00000cdc: REVERT 00000cdd: JUMPDEST 00000cde: PUSH1 0x01 00000ce0: PUSH1 0xa0 00000ce2: PUSH1 0x02 00000ce4: EXP 00000ce5: SUB 00000ce6: DUP2 00000ce7: AND 00000ce8: ISZERO 00000ce9: PUSH2 0x073f 00000cec: JUMPI 00000ced: PUSH1 0x00 00000cef: DUP1 00000cf0: SLOAD 00000cf1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000d06: NOT 00000d07: AND 00000d08: PUSH1 0x01 00000d0a: PUSH1 0xa0 00000d0c: PUSH1 0x02 00000d0e: EXP 00000d0f: SUB 00000d10: DUP4 00000d11: AND 00000d12: OR 00000d13: SWAP1 00000d14: SSTORE 00000d15: JUMPDEST 00000d16: JUMPDEST 00000d17: JUMPDEST 00000d18: POP 00000d19: JUMP 00000d1a: JUMPDEST 00000d1b: PUSH1 0x04 00000d1d: SLOAD 00000d1e: DUP2 00000d1f: JUMP 00000d20: JUMPDEST 00000d21: PUSH1 0x0d 00000d23: SLOAD 00000d24: CALLER 00000d25: PUSH1 0x01 00000d27: PUSH1 0xa0 00000d29: PUSH1 0x02 00000d2b: EXP 00000d2c: SUB 00000d2d: SWAP1 00000d2e: DUP2 00000d2f: AND 00000d30: SWAP2 00000d31: AND 00000d32: EQ 00000d33: PUSH2 0x0d3b 00000d36: JUMPI 00000d37: PUSH1 0x00 00000d39: DUP1 00000d3a: REVERT 00000d3b: JUMPDEST 00000d3c: PUSH1 0x00 00000d3e: DUP3 00000d3f: GT 00000d40: PUSH2 0x0d48 00000d43: JUMPI 00000d44: PUSH1 0x00 00000d46: DUP1 00000d47: REVERT 00000d48: JUMPDEST 00000d49: PUSH1 0x00 00000d4b: DUP2 00000d4c: GT 00000d4d: PUSH2 0x0d55 00000d50: JUMPI 00000d51: PUSH1 0x00 00000d53: DUP1 00000d54: REVERT 00000d55: JUMPDEST 00000d56: PUSH1 0x0c 00000d58: SLOAD 00000d59: ISZERO 00000d5a: DUP1 00000d5b: PUSH2 0x0d6e 00000d5e: JUMPI 00000d5f: POP 00000d60: PUSH1 0x3c 00000d62: PUSH2 0x0d6b 00000d65: DUP3 00000d66: TIMESTAMP 00000d67: PUSH2 0x104e 00000d6a: JUMP 00000d6b: JUMPDEST 00000d6c: GT 00000d6d: ISZERO 00000d6e: JUMPDEST 00000d6f: ISZERO 00000d70: ISZERO 00000d71: PUSH2 0x0d79 00000d74: JUMPI 00000d75: PUSH1 0x00 00000d77: DUP1 00000d78: REVERT 00000d79: JUMPDEST 00000d7a: PUSH1 0x0b 00000d7c: SLOAD 00000d7d: ISZERO 00000d7e: DUP1 00000d7f: PUSH2 0x0da4 00000d82: JUMPI 00000d83: POP 00000d84: PUSH1 0x1e 00000d86: PUSH1 0x0b 00000d88: SLOAD 00000d89: PUSH2 0x0d94 00000d8c: DUP5 00000d8d: PUSH1 0x0b 00000d8f: SLOAD 00000d90: PUSH2 0x104e 00000d93: JUMP 00000d94: JUMPDEST 00000d95: PUSH1 0x64 00000d97: MUL 00000d98: DUP2 00000d99: ISZERO 00000d9a: ISZERO 00000d9b: PUSH2 0x0da0 00000d9e: JUMPI 00000d9f: INVALID 00000da0: JUMPDEST 00000da1: DIV 00000da2: GT 00000da3: ISZERO 00000da4: JUMPDEST 00000da5: ISZERO 00000da6: ISZERO 00000da7: PUSH2 0x0daf 00000daa: JUMPI 00000dab: PUSH1 0x00 00000dad: DUP1 00000dae: REVERT 00000daf: JUMPDEST 00000db0: PUSH32 0xb01b0304cdcaffa13e4b57ecbe280da183afb719becd1d56e9211cc3781ea421 00000dd1: PUSH1 0x0b 00000dd3: SLOAD 00000dd4: DUP4 00000dd5: PUSH1 0x40 00000dd7: MLOAD 00000dd8: SWAP2 00000dd9: DUP3 00000dda: MSTORE 00000ddb: PUSH1 0x20 00000ddd: DUP3 00000dde: ADD 00000ddf: MSTORE 00000de0: PUSH1 0x40 00000de2: SWAP1 00000de3: DUP2 00000de4: ADD 00000de5: SWAP1 00000de6: MLOAD 00000de7: DUP1 00000de8: SWAP2 00000de9: SUB 00000dea: SWAP1 00000deb: LOG1 00000dec: PUSH1 0x0b 00000dee: DUP3 00000def: SWAP1 00000df0: SSTORE 00000df1: PUSH1 0x0c 00000df3: DUP2 00000df4: SWAP1 00000df5: SSTORE 00000df6: JUMPDEST 00000df7: JUMPDEST 00000df8: POP 00000df9: POP 00000dfa: JUMP 00000dfb: JUMPDEST 00000dfc: PUSH1 0x18 00000dfe: DUP2 00000dff: JUMP 00000e00: JUMPDEST 00000e01: PUSH1 0x01 00000e03: SLOAD 00000e04: PUSH1 0x01 00000e06: PUSH1 0xa0 00000e08: PUSH1 0x02 00000e0a: EXP 00000e0b: SUB 00000e0c: AND 00000e0d: DUP2 00000e0e: JUMP 00000e0f: JUMPDEST 00000e10: PUSH1 0x00 00000e12: DUP1 00000e13: SLOAD 00000e14: DUP2 00000e15: SWAP1 00000e16: DUP2 00000e17: SWAP1 00000e18: DUP2 00000e19: SWAP1 00000e1a: PUSH1 0xa0 00000e1c: PUSH1 0x02 00000e1e: EXP 00000e1f: SWAP1 00000e20: DIV 00000e21: PUSH1 0xff 00000e23: AND 00000e24: ISZERO 00000e25: PUSH2 0x0e2d 00000e28: JUMPI 00000e29: PUSH1 0x00 00000e2b: DUP1 00000e2c: REVERT 00000e2d: JUMPDEST 00000e2e: PUSH2 0x0e35 00000e31: PUSH2 0x0800 00000e34: JUMP 00000e35: JUMPDEST 00000e36: SWAP4 00000e37: POP 00000e38: PUSH1 0x02 00000e3a: JUMPDEST 00000e3b: DUP5 00000e3c: PUSH1 0x06 00000e3e: DUP2 00000e3f: GT 00000e40: ISZERO 00000e41: PUSH2 0x0e46 00000e44: JUMPI 00000e45: INVALID 00000e46: JUMPDEST 00000e47: EQ 00000e48: PUSH2 0x0e50 00000e4b: JUMPI 00000e4c: PUSH1 0x00 00000e4e: DUP1 00000e4f: REVERT 00000e50: JUMPDEST 00000e51: CALLVALUE 00000e52: SWAP3 00000e53: POP 00000e54: PUSH2 0x0e5c 00000e57: DUP4 00000e58: PUSH2 0x106a 00000e5b: JUMP 00000e5c: JUMPDEST 00000e5d: SWAP2 00000e5e: POP 00000e5f: PUSH1 0x02 00000e61: JUMPDEST 00000e62: DUP5 00000e63: PUSH1 0x06 00000e65: DUP2 00000e66: GT 00000e67: ISZERO 00000e68: PUSH2 0x0e6d 00000e6b: JUMPI 00000e6c: INVALID 00000e6d: JUMPDEST 00000e6e: EQ 00000e6f: ISZERO 00000e70: PUSH2 0x0e97 00000e73: JUMPI 00000e74: PUSH2 0x0e92 00000e77: PUSH2 0x0e8b 00000e7a: DUP4 00000e7b: PUSH2 0x0e82 00000e7e: PUSH2 0x1101 00000e81: JUMP 00000e82: JUMPDEST 00000e83: PUSH1 0x40 00000e85: ADD 00000e86: MLOAD 00000e87: PUSH2 0x11ce 00000e8a: JUMP 00000e8b: JUMPDEST 00000e8c: PUSH1 0x64 00000e8e: PUSH2 0x11da 00000e91: JUMP 00000e92: JUMPDEST 00000e93: DUP3 00000e94: ADD 00000e95: SWAP2 00000e96: POP 00000e97: JUMPDEST 00000e98: PUSH1 0x01 00000e9a: PUSH1 0xa0 00000e9c: PUSH1 0x02 00000e9e: EXP 00000e9f: SUB 00000ea0: DUP6 00000ea1: AND 00000ea2: PUSH1 0x00 00000ea4: SWAP1 00000ea5: DUP2 00000ea6: MSTORE 00000ea7: PUSH1 0x0e 00000ea9: PUSH1 0x20 00000eab: MSTORE 00000eac: PUSH1 0x40 00000eae: SWAP1 00000eaf: KECCAK256 00000eb0: SLOAD 00000eb1: ISZERO 00000eb2: ISZERO 00000eb3: PUSH2 0x0ec0 00000eb6: JUMPI 00000eb7: PUSH1 0x07 00000eb9: DUP1 00000eba: SLOAD 00000ebb: PUSH1 0x01 00000ebd: ADD 00000ebe: SWAP1 00000ebf: SSTORE 00000ec0: JUMPDEST 00000ec1: PUSH1 0x01 00000ec3: PUSH1 0xa0 00000ec5: PUSH1 0x02 00000ec7: EXP 00000ec8: SUB 00000ec9: DUP6 00000eca: AND 00000ecb: PUSH1 0x00 00000ecd: SWAP1 00000ece: DUP2 00000ecf: MSTORE 00000ed0: PUSH1 0x0e 00000ed2: PUSH1 0x20 00000ed4: MSTORE 00000ed5: PUSH1 0x40 00000ed7: SWAP1 00000ed8: KECCAK256 00000ed9: SLOAD 00000eda: PUSH2 0x0ee3 00000edd: SWAP1 00000ede: DUP5 00000edf: PUSH2 0x101b 00000ee2: JUMP 00000ee3: JUMPDEST 00000ee4: PUSH1 0x01 00000ee6: PUSH1 0xa0 00000ee8: PUSH1 0x02 00000eea: EXP 00000eeb: SUB 00000eec: DUP7 00000eed: AND 00000eee: PUSH1 0x00 00000ef0: SWAP1 00000ef1: DUP2 00000ef2: MSTORE 00000ef3: PUSH1 0x0e 00000ef5: PUSH1 0x20 00000ef7: SWAP1 00000ef8: DUP2 00000ef9: MSTORE 00000efa: PUSH1 0x40 00000efc: DUP1 00000efd: DUP4 00000efe: KECCAK256 00000eff: SWAP4 00000f00: SWAP1 00000f01: SWAP4 00000f02: SSTORE 00000f03: PUSH1 0x0f 00000f05: SWAP1 00000f06: MSTORE 00000f07: KECCAK256 00000f08: SLOAD 00000f09: PUSH2 0x0f12 00000f0c: SWAP1 00000f0d: DUP4 00000f0e: PUSH2 0x101b 00000f11: JUMP 00000f12: JUMPDEST 00000f13: PUSH1 0x01 00000f15: PUSH1 0xa0 00000f17: PUSH1 0x02 00000f19: EXP 00000f1a: SUB 00000f1b: DUP7 00000f1c: AND 00000f1d: PUSH1 0x00 00000f1f: SWAP1 00000f20: DUP2 00000f21: MSTORE 00000f22: PUSH1 0x0f 00000f24: PUSH1 0x20 00000f26: MSTORE 00000f27: PUSH1 0x40 00000f29: SWAP1 00000f2a: KECCAK256 00000f2b: SSTORE 00000f2c: PUSH1 0x06 00000f2e: SLOAD 00000f2f: PUSH2 0x0f38 00000f32: SWAP1 00000f33: DUP5 00000f34: PUSH2 0x101b 00000f37: JUMP 00000f38: JUMPDEST 00000f39: PUSH1 0x06 00000f3b: SSTORE 00000f3c: PUSH1 0x05 00000f3e: SLOAD 00000f3f: PUSH2 0x0f48 00000f42: SWAP1 00000f43: DUP4 00000f44: PUSH2 0x101b 00000f47: JUMP 00000f48: JUMPDEST 00000f49: PUSH1 0x05 00000f4b: SSTORE 00000f4c: PUSH2 0x0f55 00000f4f: DUP6 00000f50: DUP4 00000f51: PUSH2 0x11f6 00000f54: JUMP 00000f55: JUMPDEST 00000f56: PUSH2 0x0f6a 00000f59: PUSH2 0x0f63 00000f5c: DUP4 00000f5d: PUSH1 0x18 00000f5f: PUSH2 0x11ce 00000f62: JUMP 00000f63: JUMPDEST 00000f64: PUSH1 0x4c 00000f66: PUSH2 0x11da 00000f69: JUMP 00000f6a: JUMPDEST 00000f6b: PUSH1 0x02 00000f6d: SLOAD 00000f6e: SWAP1 00000f6f: SWAP2 00000f70: POP 00000f71: PUSH2 0x0f83 00000f74: SWAP1 00000f75: PUSH1 0x01 00000f77: PUSH1 0xa0 00000f79: PUSH1 0x02 00000f7b: EXP 00000f7c: SUB 00000f7d: AND 00000f7e: DUP3 00000f7f: PUSH2 0x11f6 00000f82: JUMP 00000f83: JUMPDEST 00000f84: PUSH1 0x02 00000f86: SLOAD 00000f87: PUSH1 0x01 00000f89: PUSH1 0xa0 00000f8b: PUSH1 0x02 00000f8d: EXP 00000f8e: SUB 00000f8f: AND 00000f90: DUP4 00000f91: ISZERO 00000f92: PUSH2 0x08fc 00000f95: MUL 00000f96: DUP5 00000f97: PUSH1 0x40 00000f99: MLOAD 00000f9a: PUSH1 0x00 00000f9c: PUSH1 0x40 00000f9e: MLOAD 00000f9f: DUP1 00000fa0: DUP4 00000fa1: SUB 00000fa2: DUP2 00000fa3: DUP6 00000fa4: DUP9 00000fa5: DUP9 00000fa6: CALL 00000fa7: SWAP4 00000fa8: POP 00000fa9: POP 00000faa: POP 00000fab: POP 00000fac: ISZERO 00000fad: ISZERO 00000fae: PUSH2 0x0fb6 00000fb1: JUMPI 00000fb2: PUSH1 0x00 00000fb4: DUP1 00000fb5: REVERT 00000fb6: JUMPDEST 00000fb7: PUSH32 0x9e9d071824fd57d062ca63fd8b786d8da48a6807eebbcb2d83f9e8d21398e28c 00000fd8: DUP6 00000fd9: DUP5 00000fda: DUP5 00000fdb: PUSH1 0x40 00000fdd: MLOAD 00000fde: DUP1 00000fdf: DUP5 00000fe0: PUSH1 0x01 00000fe2: PUSH1 0xa0 00000fe4: PUSH1 0x02 00000fe6: EXP 00000fe7: SUB 00000fe8: AND 00000fe9: PUSH1 0x01 00000feb: PUSH1 0xa0 00000fed: PUSH1 0x02 00000fef: EXP 00000ff0: SUB 00000ff1: AND 00000ff2: DUP2 00000ff3: MSTORE 00000ff4: PUSH1 0x20 00000ff6: ADD 00000ff7: DUP4 00000ff8: DUP2 00000ff9: MSTORE 00000ffa: PUSH1 0x20 00000ffc: ADD 00000ffd: DUP3 00000ffe: DUP2 00000fff: MSTORE 00001000: PUSH1 0x20 00001002: ADD 00001003: SWAP4 00001004: POP 00001005: POP 00001006: POP 00001007: POP 00001008: PUSH1 0x40 0000100a: MLOAD 0000100b: DUP1 0000100c: SWAP2 0000100d: SUB 0000100e: SWAP1 0000100f: LOG1 00001010: JUMPDEST 00001011: JUMPDEST 00001012: POP 00001013: POP 00001014: POP 00001015: POP 00001016: POP 00001017: JUMP 00001018: JUMPDEST 00001019: JUMPDEST 0000101a: JUMP 0000101b: JUMPDEST 0000101c: DUP2 0000101d: DUP2 0000101e: ADD 0000101f: DUP1 00001020: JUMPDEST 00001021: POP 00001022: SWAP3 00001023: SWAP2 00001024: POP 00001025: POP 00001026: JUMP 00001027: JUMPDEST 00001028: PUSH1 0x00 0000102a: PUSH2 0x1046 0000102d: PUSH2 0x1038 00001030: DUP4 00001031: PUSH1 0x0b 00001033: SLOAD 00001034: PUSH2 0x11ce 00001037: JUMP 00001038: JUMPDEST 00001039: PUSH8 0x0de0b6b3a7640000 00001042: PUSH2 0x11da 00001045: JUMP 00001046: JUMPDEST 00001047: SWAP1 00001048: POP 00001049: JUMPDEST 0000104a: SWAP2 0000104b: SWAP1 0000104c: POP 0000104d: JUMP 0000104e: JUMPDEST 0000104f: PUSH1 0x00 00001051: DUP2 00001052: DUP4 00001053: SUB 00001054: DUP2 00001055: DUP2 00001056: SLT 00001057: ISZERO 00001058: PUSH2 0x105f 0000105b: JUMPI 0000105c: PUSH1 0x00 0000105e: SUB 0000105f: JUMPDEST 00001060: DUP1 00001061: SWAP2 00001062: POP 00001063: JUMPDEST 00001064: POP 00001065: SWAP3 00001066: SWAP2 00001067: POP 00001068: POP 00001069: JUMP 0000106a: JUMPDEST 0000106b: PUSH1 0x01 0000106d: SLOAD 0000106e: PUSH1 0x00 00001070: SWAP1 00001071: DUP2 00001072: SWAP1 00001073: DUP2 00001074: SWAP1 00001075: PUSH1 0x01 00001077: PUSH1 0xa0 00001079: PUSH1 0x02 0000107b: EXP 0000107c: SUB 0000107d: AND 0000107e: PUSH4 0x313ce567 00001083: DUP3 00001084: PUSH1 0x40 00001086: MLOAD 00001087: PUSH1 0x20 00001089: ADD 0000108a: MSTORE 0000108b: PUSH1 0x40 0000108d: MLOAD 0000108e: DUP2 0000108f: PUSH4 0xffffffff 00001094: AND 00001095: PUSH1 0xe0 00001097: PUSH1 0x02 00001099: EXP 0000109a: MUL 0000109b: DUP2 0000109c: MSTORE 0000109d: PUSH1 0x04 0000109f: ADD 000010a0: PUSH1 0x20 000010a2: PUSH1 0x40 000010a4: MLOAD 000010a5: DUP1 000010a6: DUP4 000010a7: SUB 000010a8: DUP2 000010a9: PUSH1 0x00 000010ab: DUP8 000010ac: DUP1 000010ad: EXTCODESIZE 000010ae: ISZERO 000010af: ISZERO 000010b0: PUSH2 0x10b8 000010b3: JUMPI 000010b4: PUSH1 0x00 000010b6: DUP1 000010b7: REVERT 000010b8: JUMPDEST 000010b9: PUSH2 0x02c6 000010bc: GAS 000010bd: SUB 000010be: CALL 000010bf: ISZERO 000010c0: ISZERO 000010c1: PUSH2 0x10c9 000010c4: JUMPI 000010c5: PUSH1 0x00 000010c7: DUP1 000010c8: REVERT 000010c9: JUMPDEST 000010ca: POP 000010cb: POP 000010cc: POP 000010cd: PUSH1 0x40 000010cf: MLOAD 000010d0: DUP1 000010d1: MLOAD 000010d2: SWAP1 000010d3: POP 000010d4: PUSH1 0x0a 000010d6: EXP 000010d7: SWAP2 000010d8: POP 000010d9: PUSH2 0x10e1 000010dc: DUP5 000010dd: PUSH2 0x1027 000010e0: JUMP 000010e1: JUMPDEST 000010e2: SWAP1 000010e3: POP 000010e4: PUSH2 0x10f7 000010e7: DUP2 000010e8: PUSH2 0x10f2 000010eb: DUP5 000010ec: PUSH1 0x64 000010ee: PUSH2 0x11da 000010f1: JUMP 000010f2: JUMPDEST 000010f3: PUSH2 0x11ce 000010f6: JUMP 000010f7: JUMPDEST 000010f8: SWAP3 000010f9: POP 000010fa: JUMPDEST 000010fb: POP 000010fc: POP 000010fd: SWAP2 000010fe: SWAP1 000010ff: POP 00001100: JUMP 00001101: JUMPDEST 00001102: PUSH2 0x1109 00001105: PUSH2 0x1265 00001108: JUMP 00001109: JUMPDEST 0000110a: PUSH1 0x00 0000110c: JUMPDEST 0000110d: PUSH1 0x10 0000110f: SLOAD 00001110: DUP2 00001111: LT 00001112: ISZERO 00001113: PUSH2 0x11c9 00001116: JUMPI 00001117: TIMESTAMP 00001118: PUSH1 0x10 0000111a: DUP3 0000111b: DUP2 0000111c: SLOAD 0000111d: DUP2 0000111e: LT 0000111f: ISZERO 00001120: ISZERO 00001121: PUSH2 0x1126 00001124: JUMPI 00001125: INVALID 00001126: JUMPDEST 00001127: SWAP1 00001128: PUSH1 0x00 0000112a: MSTORE 0000112b: PUSH1 0x20 0000112d: PUSH1 0x00 0000112f: KECCAK256 00001130: SWAP1 00001131: PUSH1 0x03 00001133: MUL 00001134: ADD 00001135: PUSH1 0x00 00001137: JUMPDEST 00001138: POP 00001139: SLOAD 0000113a: GT 0000113b: DUP1 0000113c: ISZERO 0000113d: SWAP1 0000113e: PUSH2 0x116a 00001141: JUMPI 00001142: POP 00001143: TIMESTAMP 00001144: PUSH1 0x10 00001146: DUP3 00001147: DUP2 00001148: SLOAD 00001149: DUP2 0000114a: LT 0000114b: ISZERO 0000114c: ISZERO 0000114d: PUSH2 0x1152 00001150: JUMPI 00001151: INVALID 00001152: JUMPDEST 00001153: SWAP1 00001154: PUSH1 0x00 00001156: MSTORE 00001157: PUSH1 0x20 00001159: PUSH1 0x00 0000115b: KECCAK256 0000115c: SWAP1 0000115d: PUSH1 0x03 0000115f: MUL 00001160: ADD 00001161: PUSH1 0x00 00001163: JUMPDEST 00001164: POP 00001165: PUSH1 0x01 00001167: ADD 00001168: SLOAD 00001169: GT 0000116a: JUMPDEST 0000116b: ISZERO 0000116c: PUSH2 0x11c0 0000116f: JUMPI 00001170: PUSH1 0x10 00001172: DUP1 00001173: SLOAD 00001174: DUP3 00001175: SWAP1 00001176: DUP2 00001177: LT 00001178: PUSH2 0x117d 0000117b: JUMPI 0000117c: INVALID 0000117d: JUMPDEST 0000117e: SWAP1 0000117f: PUSH1 0x00 00001181: MSTORE 00001182: PUSH1 0x20 00001184: PUSH1 0x00 00001186: KECCAK256 00001187: SWAP1 00001188: PUSH1 0x03 0000118a: MUL 0000118b: ADD 0000118c: PUSH1 0x00 0000118e: JUMPDEST 0000118f: POP 00001190: PUSH1 0x60 00001192: PUSH1 0x40 00001194: MLOAD 00001195: SWAP1 00001196: DUP2 00001197: ADD 00001198: PUSH1 0x40 0000119a: MSTORE 0000119b: SWAP1 0000119c: DUP2 0000119d: PUSH1 0x00 0000119f: DUP3 000011a0: ADD 000011a1: SLOAD 000011a2: DUP2 000011a3: MSTORE 000011a4: PUSH1 0x20 000011a6: ADD 000011a7: PUSH1 0x01 000011a9: DUP3 000011aa: ADD 000011ab: SLOAD 000011ac: DUP2 000011ad: MSTORE 000011ae: PUSH1 0x20 000011b0: ADD 000011b1: PUSH1 0x02 000011b3: DUP3 000011b4: ADD 000011b5: SLOAD 000011b6: DUP2 000011b7: MSTORE 000011b8: POP 000011b9: POP 000011ba: SWAP2 000011bb: POP 000011bc: PUSH2 0x11c9 000011bf: JUMP 000011c0: JUMPDEST 000011c1: JUMPDEST 000011c2: PUSH1 0x01 000011c4: ADD 000011c5: PUSH2 0x110c 000011c8: JUMP 000011c9: JUMPDEST 000011ca: JUMPDEST 000011cb: POP 000011cc: SWAP1 000011cd: JUMP 000011ce: JUMPDEST 000011cf: DUP2 000011d0: DUP2 000011d1: MUL 000011d2: DUP1 000011d3: JUMPDEST 000011d4: POP 000011d5: SWAP3 000011d6: SWAP2 000011d7: POP 000011d8: POP 000011d9: JUMP 000011da: JUMPDEST 000011db: PUSH1 0x00 000011dd: DUP1 000011de: DUP3 000011df: DUP5 000011e0: DUP2 000011e1: ISZERO 000011e2: ISZERO 000011e3: PUSH2 0x11e8 000011e6: JUMPI 000011e7: INVALID 000011e8: JUMPDEST 000011e9: DIV 000011ea: SWAP1 000011eb: POP 000011ec: DUP1 000011ed: SWAP2 000011ee: POP 000011ef: JUMPDEST 000011f0: POP 000011f1: SWAP3 000011f2: SWAP2 000011f3: POP 000011f4: POP 000011f5: JUMP 000011f6: JUMPDEST 000011f7: PUSH1 0x01 000011f9: SLOAD 000011fa: PUSH1 0x01 000011fc: PUSH1 0xa0 000011fe: PUSH1 0x02 00001200: EXP 00001201: SUB 00001202: AND 00001203: PUSH4 0x40c10f19 00001208: DUP4 00001209: DUP4 0000120a: PUSH1 0x40 0000120c: MLOAD 0000120d: PUSH1 0xe0 0000120f: PUSH1 0x02 00001211: EXP 00001212: PUSH4 0xffffffff 00001217: DUP6 00001218: AND 00001219: MUL 0000121a: DUP2 0000121b: MSTORE 0000121c: PUSH1 0x01 0000121e: PUSH1 0xa0 00001220: PUSH1 0x02 00001222: EXP 00001223: SUB 00001224: SWAP1 00001225: SWAP3 00001226: AND 00001227: PUSH1 0x04 00001229: DUP4 0000122a: ADD 0000122b: MSTORE 0000122c: PUSH1 0x24 0000122e: DUP3 0000122f: ADD 00001230: MSTORE 00001231: PUSH1 0x44 00001233: ADD 00001234: PUSH1 0x00 00001236: PUSH1 0x40 00001238: MLOAD 00001239: DUP1 0000123a: DUP4 0000123b: SUB 0000123c: DUP2 0000123d: PUSH1 0x00 0000123f: DUP8 00001240: DUP1 00001241: EXTCODESIZE 00001242: ISZERO 00001243: ISZERO 00001244: PUSH2 0x124c 00001247: JUMPI 00001248: PUSH1 0x00 0000124a: DUP1 0000124b: REVERT 0000124c: JUMPDEST 0000124d: PUSH2 0x02c6 00001250: GAS 00001251: SUB 00001252: CALL 00001253: ISZERO 00001254: ISZERO 00001255: PUSH2 0x1010 00001258: JUMPI 00001259: PUSH1 0x00 0000125b: DUP1 0000125c: REVERT 0000125d: JUMPDEST 0000125e: POP 0000125f: POP 00001260: POP 00001261: JUMPDEST 00001262: POP 00001263: POP 00001264: JUMP 00001265: JUMPDEST 00001266: PUSH1 0x60 00001268: PUSH1 0x40 0000126a: MLOAD 0000126b: SWAP1 0000126c: DUP2 0000126d: ADD 0000126e: PUSH1 0x40 00001270: MSTORE 00001271: DUP1 00001272: PUSH1 0x00 00001274: DUP2 00001275: MSTORE 00001276: PUSH1 0x20 00001278: ADD 00001279: PUSH1 0x00 0000127b: DUP2 0000127c: MSTORE 0000127d: PUSH1 0x20 0000127f: ADD 00001280: PUSH1 0x00 00001282: DUP2 00001283: MSTORE 00001284: POP 00001285: SWAP1 00001286: JUMP 00001287: STOP 00001288: LOG1 00001289: PUSH6 0x627a7a723058 00001290: KECCAK256 00001291: BLOBBASEFEE 00001292: ORIGIN 00001293: CHAINID 00001294: UNKNOWN(0xD0) 00001295: SLT 00001296: CALL 00001297: UNKNOWN(0x2D) 00001298: AND 00001299: UNKNOWN(0x4B) 0000129a: UNKNOWN(0xCE) 0000129b: RETURNDATASIZE 0000129c: UNKNOWN(0x4D) 0000129d: DUP11 0000129e: PUSH27
| 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": "0x03f9c793",
"selector": "0x03f9c793",
"calldata_variants": [
"0x03f9c793",
"0x03f9c7930000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x083903de",
"selector": "0x083903de",
"calldata_variants": [
"0x083903de",
"0x083903de0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x15d2fc8a",
"selector": "0x15d2fc8a",
"calldata_variants": [
"0x15d2fc8a",
"0x15d2fc8a0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x1865c57d",
"selector": "0x1865c57d",
"calldata_variants": [
"0x1865c57d",
"0x1865c57d0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x1aae3460",
"selector": "0x1aae3460",
"calldata_variants": [
"0x1aae3460",
"0x1aae34600000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3ba0b9a9",
"selector": "0x3ba0b9a9",
"calldata_variants": [
"0x3ba0b9a9",
"0x3ba0b9a90000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x4042b66f",
"selector": "0x4042b66f",
"calldata_variants": [
"0x4042b66f",
"0x4042b66f0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x41c0e1b5",
"selector": "0x41c0e1b5",
"calldata_variants": [
"0x41c0e1b5",
"0x41c0e1b50000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"guards_detected": [
{
"pc": 4754,
"type": "tx_origin_used"
}
]
}
|
| medium | other | detector | Untrusted CALL target/value reachable | 45 | no | no |
viewtrace_id: 0x9c3cd26745fbdfd951bf818bb37efff25ca686ddae6db077edc350911b762cf3
call_targets:
0x4e7a34c6c29a4741858a7ec5622cd8be21b0351b
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x9c3cd26745fbdfd951bf818bb37efff25ca686ddae6db077edc350911b762cf3",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x4e7a34c6c29a4741858a7ec5622cd8be21b0351b"
],
"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": "0x03f9c793",
"selector": "0x03f9c793",
"calldata_variants": [
"0x03f9c793",
"0x03f9c7930000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x083903de",
"selector": "0x083903de",
"calldata_variants": [
"0x083903de",
"0x083903de0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x15d2fc8a",
"selector": "0x15d2fc8a",
"calldata_variants": [
"0x15d2fc8a",
"0x15d2fc8a0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x1865c57d",
"selector": "0x1865c57d",
"calldata_variants": [
"0x1865c57d",
"0x1865c57d0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x1aae3460",
"selector": "0x1aae3460",
"calldata_variants": [
"0x1aae3460",
"0x1aae34600000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3ba0b9a9",
"selector": "0x3ba0b9a9",
"calldata_variants": [
"0x3ba0b9a9",
"0x3ba0b9a90000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x4042b66f",
"selector": "0x4042b66f",
"calldata_variants": [
"0x4042b66f",
"0x4042b66f0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x41c0e1b5",
"selector": "0x41c0e1b5",
"calldata_variants": [
"0x41c0e1b5",
"0x41c0e1b50000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 2691,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 4006,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 4286,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 5,
"guards_detected": [
{
"pc": 4754,
"type": "tx_origin_used"
}
],
"untrusted_call_count": 5
}
|
| medium | other | detector | ETH value transfer possible | 40 | no | no |
viewtrace_id: 0x9c3cd26745fbdfd951bf818bb37efff25ca686ddae6db077edc350911b762cf3
call_targets:
0x4e7a34c6c29a4741858a7ec5622cd8be21b0351b
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x9c3cd26745fbdfd951bf818bb37efff25ca686ddae6db077edc350911b762cf3",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x4e7a34c6c29a4741858a7ec5622cd8be21b0351b"
],
"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": "0x03f9c793",
"selector": "0x03f9c793",
"calldata_variants": [
"0x03f9c793",
"0x03f9c7930000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x083903de",
"selector": "0x083903de",
"calldata_variants": [
"0x083903de",
"0x083903de0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x15d2fc8a",
"selector": "0x15d2fc8a",
"calldata_variants": [
"0x15d2fc8a",
"0x15d2fc8a0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x1865c57d",
"selector": "0x1865c57d",
"calldata_variants": [
"0x1865c57d",
"0x1865c57d0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x1aae3460",
"selector": "0x1aae3460",
"calldata_variants": [
"0x1aae3460",
"0x1aae34600000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3ba0b9a9",
"selector": "0x3ba0b9a9",
"calldata_variants": [
"0x3ba0b9a9",
"0x3ba0b9a90000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x4042b66f",
"selector": "0x4042b66f",
"calldata_variants": [
"0x4042b66f",
"0x4042b66f0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x41c0e1b5",
"selector": "0x41c0e1b5",
"calldata_variants": [
"0x41c0e1b5",
"0x41c0e1b50000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 2691,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 4006,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 4286,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 5,
"guards_detected": [
{
"pc": 4754,
"type": "tx_origin_used"
}
]
}
|
| medium | other | detector | SELFDESTRUCT reachable | 45 | no | no |
viewtrace_id: 0xa6fa2634516e2356726a72797da340dc5d9591c798e7763b7f4d29c5d5181529
validation_json{
"sink": "SELFDESTRUCT",
"errors": 0,
"status": "unknown",
"attempts": 32,
"trace_id": "0xa6fa2634516e2356726a72797da340dc5d9591c798e7763b7f4d29c5d5181529",
"confirmed": false,
"trace_mode": "structLogs",
"call_targets": null,
"matched_probe": null,
"target_varies": null,
"classification": "no_sink"
}
witness_json{
"notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
"constraints": [],
"entrypoints": [
{
"calldata": "0x03f9c793",
"selector": "0x03f9c793",
"calldata_variants": [
"0x03f9c793",
"0x03f9c7930000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x083903de",
"selector": "0x083903de",
"calldata_variants": [
"0x083903de",
"0x083903de0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x15d2fc8a",
"selector": "0x15d2fc8a",
"calldata_variants": [
"0x15d2fc8a",
"0x15d2fc8a0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x1865c57d",
"selector": "0x1865c57d",
"calldata_variants": [
"0x1865c57d",
"0x1865c57d0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x1aae3460",
"selector": "0x1aae3460",
"calldata_variants": [
"0x1aae3460",
"0x1aae34600000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3ba0b9a9",
"selector": "0x3ba0b9a9",
"calldata_variants": [
"0x3ba0b9a9",
"0x3ba0b9a90000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x4042b66f",
"selector": "0x4042b66f",
"calldata_variants": [
"0x4042b66f",
"0x4042b66f0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x41c0e1b5",
"selector": "0x41c0e1b5",
"calldata_variants": [
"0x41c0e1b5",
"0x41c0e1b50000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"guards_detected": [
{
"pc": 4754,
"type": "tx_origin_used"
}
],
"selfdestruct_count": 1
}
|