019b477e-a831-7065-9cd8-abc8a7a1f831
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 |
|---|---|---|---|---|
| 20389 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 20390 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 88801 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 88802 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 88803 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 88804 | 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 0x0106 0000000a: JUMPI 0000000b: PUSH1 0xe0 0000000d: PUSH1 0x02 0000000f: EXP 00000010: PUSH1 0x00 00000012: CALLDATALOAD 00000013: DIV 00000014: PUSH4 0x173825d9 00000019: DUP2 0000001a: EQ 0000001b: PUSH2 0x0192 0000001e: JUMPI 0000001f: DUP1 00000020: PUSH4 0x2f54bf6e 00000025: EQ 00000026: PUSH2 0x01e6 00000029: JUMPI 0000002a: DUP1 0000002b: PUSH4 0x4123cb6b 00000030: EQ 00000031: PUSH2 0x020e 00000034: JUMPI 00000035: DUP1 00000036: PUSH4 0x4534e5f6 0000003b: EQ 0000003c: PUSH2 0x0217 0000003f: JUMPI 00000040: DUP1 00000041: PUSH4 0x458e8a0a 00000046: EQ 00000047: PUSH2 0x0224 0000004a: JUMPI 0000004b: DUP1 0000004c: PUSH4 0x5c52c2f5 00000051: EQ 00000052: PUSH2 0x022e 00000055: JUMPI 00000056: DUP1 00000057: PUSH4 0x632a9a52 0000005c: EQ 0000005d: PUSH2 0x0258 00000060: JUMPI 00000061: DUP1 00000062: PUSH4 0x7065cb48 00000067: EQ 00000068: PUSH2 0x02ce 0000006b: JUMPI 0000006c: DUP1 0000006d: PUSH4 0x746c9171 00000072: EQ 00000073: PUSH2 0x02fb 00000076: JUMPI 00000077: DUP1 00000078: PUSH4 0x797af627 0000007d: EQ 0000007e: PUSH2 0x0304 00000081: JUMPI 00000082: DUP1 00000083: PUSH4 0xa89a9ffb 00000088: EQ 00000089: PUSH2 0x0317 0000008c: JUMPI 0000008d: DUP1 0000008e: PUSH4 0xb20d30a9 00000093: EQ 00000094: PUSH2 0x0346 00000097: JUMPI 00000098: DUP1 00000099: PUSH4 0xb61d27f6 0000009e: EQ 0000009f: PUSH2 0x0373 000000a2: JUMPI 000000a3: DUP1 000000a4: PUSH4 0xb75c7dc6 000000a9: EQ 000000aa: PUSH2 0x0394 000000ad: JUMPI 000000ae: DUP1 000000af: PUSH4 0xba51a6df 000000b4: EQ 000000b5: PUSH2 0x03c3 000000b8: JUMPI 000000b9: DUP1 000000ba: PUSH4 0xc2cf7326 000000bf: EQ 000000c0: PUSH2 0x03f0 000000c3: JUMPI 000000c4: DUP1 000000c5: PUSH4 0xcadbb5af 000000ca: EQ 000000cb: PUSH2 0x042e 000000ce: JUMPI 000000cf: DUP1 000000d0: PUSH4 0xcbf0b0c0 000000d5: EQ 000000d6: PUSH2 0x04ac 000000d9: JUMPI 000000da: DUP1 000000db: PUSH4 0xdd287692 000000e0: EQ 000000e1: PUSH2 0x04d9 000000e4: JUMPI 000000e5: DUP1 000000e6: PUSH4 0xf00d4b5d 000000eb: EQ 000000ec: PUSH2 0x04ec 000000ef: JUMPI 000000f0: DUP1 000000f1: PUSH4 0xf1736d86 000000f6: EQ 000000f7: PUSH2 0x051e 000000fa: JUMPI 000000fb: DUP1 000000fc: PUSH4 0xf3fef3a3 00000101: EQ 00000102: PUSH2 0x0528 00000105: JUMPI 00000106: JUMPDEST 00000107: PUSH2 0x0108 0000010a: SLOAD 0000010b: PUSH2 0x010a 0000010e: SLOAD 0000010f: PUSH2 0x055c 00000112: SWAP2 00000113: PUSH1 0x01 00000115: PUSH1 0xa0 00000117: PUSH1 0x02 00000119: EXP 0000011a: SUB 0000011b: AND 0000011c: SWAP1 0000011d: PUSH1 0xff 0000011f: AND 00000120: ISZERO 00000121: PUSH2 0x055e 00000124: JUMPI 00000125: PUSH2 0x0109 00000128: SLOAD 00000129: PUSH1 0x28 0000012b: SWAP1 0000012c: GT 0000012d: PUSH2 0x05d6 00000130: JUMPI 00000131: PUSH2 0x0109 00000134: DUP1 00000135: SLOAD 00000136: PUSH1 0x01 00000138: ADD 00000139: SWAP1 0000013a: SSTORE 0000013b: PUSH1 0x40 0000013d: DUP1 0000013e: MLOAD 0000013f: PUSH32 0xcc9ae3f600000000000000000000000000000000000000000000000000000000 00000160: DUP2 00000161: MSTORE 00000162: SWAP1 00000163: MLOAD 00000164: DUP3 00000165: SWAP2 00000166: PUSH4 0xcc9ae3f6 0000016b: SWAP2 0000016c: PUSH1 0x04 0000016e: DUP3 0000016f: DUP2 00000170: ADD 00000171: SWAP3 00000172: PUSH1 0x20 00000174: SWAP3 00000175: SWAP2 00000176: SWAP1 00000177: DUP3 00000178: SWAP1 00000179: SUB 0000017a: ADD 0000017b: DUP2 0000017c: PUSH1 0x00 0000017e: DUP8 0000017f: PUSH2 0x61da 00000182: GAS 00000183: SUB 00000184: CALL 00000185: ISZERO 00000186: PUSH2 0x0002 00000189: JUMPI 0000018a: POP 0000018b: PUSH2 0x0696 0000018e: SWAP2 0000018f: POP 00000190: POP 00000191: JUMP 00000192: JUMPDEST 00000193: PUSH2 0x055c 00000196: PUSH1 0x04 00000198: CALLDATALOAD 00000199: PUSH1 0x00 0000019b: PUSH1 0x00 0000019d: CALLDATASIZE 0000019e: PUSH1 0x40 000001a0: MLOAD 000001a1: DUP1 000001a2: DUP4 000001a3: DUP4 000001a4: DUP1 000001a5: DUP3 000001a6: DUP5 000001a7: CALLDATACOPY 000001a8: DUP3 000001a9: ADD 000001aa: SWAP2 000001ab: POP 000001ac: POP 000001ad: SWAP3 000001ae: POP 000001af: POP 000001b0: POP 000001b1: PUSH1 0x40 000001b3: MLOAD 000001b4: DUP1 000001b5: SWAP2 000001b6: SUB 000001b7: SWAP1 000001b8: KECCAK256 000001b9: PUSH2 0x09ab 000001bc: DUP2 000001bd: JUMPDEST 000001be: CALLER 000001bf: PUSH1 0x01 000001c1: PUSH1 0xa0 000001c3: PUSH1 0x02 000001c5: EXP 000001c6: SUB 000001c7: AND 000001c8: PUSH1 0x00 000001ca: SWAP1 000001cb: DUP2 000001cc: MSTORE 000001cd: PUSH2 0x0102 000001d0: PUSH1 0x20 000001d2: MSTORE 000001d3: PUSH1 0x40 000001d5: DUP2 000001d6: KECCAK256 000001d7: SLOAD 000001d8: DUP2 000001d9: DUP1 000001da: DUP3 000001db: DUP2 000001dc: EQ 000001dd: ISZERO 000001de: PUSH2 0x1052 000001e1: JUMPI 000001e2: PUSH2 0x11ab 000001e5: JUMP 000001e6: JUMPDEST 000001e7: PUSH2 0x069b 000001ea: PUSH1 0x04 000001ec: CALLDATALOAD 000001ed: JUMPDEST 000001ee: PUSH1 0x01 000001f0: PUSH1 0xa0 000001f2: PUSH1 0x02 000001f4: EXP 000001f5: SUB 000001f6: DUP2 000001f7: AND 000001f8: PUSH1 0x00 000001fa: SWAP1 000001fb: DUP2 000001fc: MSTORE 000001fd: PUSH2 0x0102 00000200: PUSH1 0x20 00000202: MSTORE 00000203: PUSH1 0x40 00000205: DUP2 00000206: KECCAK256 00000207: SLOAD 00000208: GT 00000209: JUMPDEST 0000020a: SWAP2 0000020b: SWAP1 0000020c: POP 0000020d: JUMP 0000020e: JUMPDEST 0000020f: PUSH2 0x069b 00000212: PUSH1 0x01 00000214: SLOAD 00000215: DUP2 00000216: JUMP 00000217: JUMPDEST 00000218: PUSH2 0x069b 0000021b: PUSH2 0x010a 0000021e: SLOAD 0000021f: PUSH1 0xff 00000221: AND 00000222: DUP2 00000223: JUMP 00000224: JUMPDEST 00000225: PUSH2 0x069b 00000228: PUSH2 0x0109 0000022b: SLOAD 0000022c: DUP2 0000022d: JUMP 0000022e: JUMPDEST 0000022f: PUSH2 0x055c 00000232: PUSH1 0x00 00000234: CALLDATASIZE 00000235: PUSH1 0x40 00000237: MLOAD 00000238: DUP1 00000239: DUP4 0000023a: DUP4 0000023b: DUP1 0000023c: DUP3 0000023d: DUP5 0000023e: CALLDATACOPY 0000023f: DUP3 00000240: ADD 00000241: SWAP2 00000242: POP 00000243: POP 00000244: SWAP3 00000245: POP 00000246: POP 00000247: POP 00000248: PUSH1 0x40 0000024a: MLOAD 0000024b: DUP1 0000024c: SWAP2 0000024d: SUB 0000024e: SWAP1 0000024f: KECCAK256 00000250: PUSH2 0x0aec 00000253: DUP2 00000254: PUSH2 0x01bd 00000257: JUMP 00000258: JUMPDEST 00000259: PUSH1 0x40 0000025b: DUP1 0000025c: MLOAD 0000025d: PUSH2 0x0108 00000260: SLOAD 00000261: PUSH32 0xc9d27afe00000000000000000000000000000000000000000000000000000000 00000282: DUP3 00000283: MSTORE 00000284: PUSH1 0x65 00000286: PUSH1 0x04 00000288: DUP4 00000289: ADD 0000028a: MSTORE 0000028b: PUSH1 0x01 0000028d: PUSH1 0x24 0000028f: DUP4 00000290: ADD 00000291: MSTORE 00000292: SWAP2 00000293: MLOAD 00000294: PUSH2 0x055c 00000297: SWAP3 00000298: PUSH1 0x01 0000029a: PUSH1 0xa0 0000029c: PUSH1 0x02 0000029e: EXP 0000029f: SUB 000002a0: AND 000002a1: SWAP2 000002a2: DUP3 000002a3: SWAP2 000002a4: PUSH4 0xc9d27afe 000002a9: SWAP2 000002aa: PUSH1 0x44 000002ac: DUP2 000002ad: DUP2 000002ae: ADD 000002af: SWAP3 000002b0: PUSH1 0x20 000002b2: SWAP3 000002b3: SWAP1 000002b4: SWAP2 000002b5: SWAP1 000002b6: DUP3 000002b7: SWAP1 000002b8: SUB 000002b9: ADD 000002ba: DUP2 000002bb: PUSH1 0x00 000002bd: DUP8 000002be: PUSH2 0x61da 000002c1: GAS 000002c2: SUB 000002c3: CALL 000002c4: ISZERO 000002c5: PUSH2 0x0002 000002c8: JUMPI 000002c9: POP 000002ca: POP 000002cb: POP 000002cc: POP 000002cd: JUMP 000002ce: JUMPDEST 000002cf: PUSH2 0x055c 000002d2: PUSH1 0x04 000002d4: CALLDATALOAD 000002d5: PUSH1 0x00 000002d7: CALLDATASIZE 000002d8: PUSH1 0x40 000002da: MLOAD 000002db: DUP1 000002dc: DUP4 000002dd: DUP4 000002de: DUP1 000002df: DUP3 000002e0: DUP5 000002e1: CALLDATACOPY 000002e2: DUP3 000002e3: ADD 000002e4: SWAP2 000002e5: POP 000002e6: POP 000002e7: SWAP3 000002e8: POP 000002e9: POP 000002ea: POP 000002eb: PUSH1 0x40 000002ed: MLOAD 000002ee: DUP1 000002ef: SWAP2 000002f0: SUB 000002f1: SWAP1 000002f2: KECCAK256 000002f3: PUSH2 0x08a4 000002f6: DUP2 000002f7: PUSH2 0x01bd 000002fa: JUMP 000002fb: JUMPDEST 000002fc: PUSH2 0x069b 000002ff: PUSH1 0x00 00000301: SLOAD 00000302: DUP2 00000303: JUMP 00000304: JUMPDEST 00000305: PUSH2 0x069b 00000308: PUSH1 0x04 0000030a: CALLDATALOAD 0000030b: JUMPDEST 0000030c: PUSH1 0x00 0000030e: DUP2 0000030f: PUSH2 0x0e11 00000312: DUP2 00000313: PUSH2 0x01bd 00000316: JUMP 00000317: JUMPDEST 00000318: PUSH2 0x055c 0000031b: PUSH1 0x04 0000031d: CALLDATALOAD 0000031e: PUSH20 0x06b671106bf4de59243111c0fece9f43da91595f 00000333: CALLER 00000334: PUSH1 0x01 00000336: PUSH1 0xa0 00000338: PUSH1 0x02 0000033a: EXP 0000033b: SUB 0000033c: AND 0000033d: EQ 0000033e: PUSH2 0x0b5d 00000341: JUMPI 00000342: PUSH2 0x0002 00000345: JUMP 00000346: JUMPDEST 00000347: PUSH2 0x055c 0000034a: PUSH1 0x04 0000034c: CALLDATALOAD 0000034d: PUSH1 0x00 0000034f: CALLDATASIZE 00000350: PUSH1 0x40 00000352: MLOAD 00000353: DUP1 00000354: DUP4 00000355: DUP4 00000356: DUP1 00000357: DUP3 00000358: DUP5 00000359: CALLDATACOPY 0000035a: DUP3 0000035b: ADD 0000035c: SWAP2 0000035d: POP 0000035e: POP 0000035f: SWAP3 00000360: POP 00000361: POP 00000362: POP 00000363: PUSH1 0x40 00000365: MLOAD 00000366: DUP1 00000367: SWAP2 00000368: SUB 00000369: SWAP1 0000036a: KECCAK256 0000036b: PUSH2 0x0ae0 0000036e: DUP2 0000036f: PUSH2 0x01bd 00000372: JUMP 00000373: JUMPDEST 00000374: PUSH2 0x069b 00000377: PUSH1 0x04 00000379: DUP1 0000037a: CALLDATALOAD 0000037b: SWAP1 0000037c: PUSH1 0x24 0000037e: DUP1 0000037f: CALLDATALOAD 00000380: SWAP2 00000381: PUSH1 0x44 00000383: CALLDATALOAD 00000384: SWAP2 00000385: DUP3 00000386: ADD 00000387: SWAP2 00000388: ADD 00000389: CALLDATALOAD 0000038a: PUSH1 0x00 0000038c: PUSH2 0x0b94 0000038f: CALLER 00000390: PUSH2 0x01ed 00000393: JUMP 00000394: JUMPDEST 00000395: PUSH2 0x055c 00000398: PUSH1 0x04 0000039a: CALLDATALOAD 0000039b: CALLER 0000039c: PUSH1 0x01 0000039e: PUSH1 0xa0 000003a0: PUSH1 0x02 000003a2: EXP 000003a3: SUB 000003a4: AND 000003a5: PUSH1 0x00 000003a7: SWAP1 000003a8: DUP2 000003a9: MSTORE 000003aa: PUSH2 0x0102 000003ad: PUSH1 0x20 000003af: MSTORE 000003b0: PUSH1 0x40 000003b2: DUP2 000003b3: KECCAK256 000003b4: SLOAD 000003b5: SWAP1 000003b6: DUP1 000003b7: DUP3 000003b8: DUP2 000003b9: EQ 000003ba: ISZERO 000003bb: PUSH2 0x06ca 000003be: JUMPI 000003bf: PUSH2 0x0749 000003c2: JUMP 000003c3: JUMPDEST 000003c4: PUSH2 0x055c 000003c7: PUSH1 0x04 000003c9: CALLDATALOAD 000003ca: PUSH1 0x00 000003cc: CALLDATASIZE 000003cd: PUSH1 0x40 000003cf: MLOAD 000003d0: DUP1 000003d1: DUP4 000003d2: DUP4 000003d3: DUP1 000003d4: DUP3 000003d5: DUP5 000003d6: CALLDATACOPY 000003d7: DUP3 000003d8: ADD 000003d9: SWAP2 000003da: POP 000003db: POP 000003dc: SWAP3 000003dd: POP 000003de: POP 000003df: POP 000003e0: PUSH1 0x40 000003e2: MLOAD 000003e3: DUP1 000003e4: SWAP2 000003e5: SUB 000003e6: SWAP1 000003e7: KECCAK256 000003e8: PUSH2 0x0a69 000003eb: DUP2 000003ec: PUSH2 0x01bd 000003ef: JUMP 000003f0: JUMPDEST 000003f1: PUSH2 0x069b 000003f4: PUSH1 0x04 000003f6: CALLDATALOAD 000003f7: PUSH1 0x24 000003f9: CALLDATALOAD 000003fa: PUSH1 0x00 000003fc: DUP3 000003fd: DUP2 000003fe: MSTORE 000003ff: PUSH2 0x0103 00000402: PUSH1 0x20 00000404: SWAP1 00000405: DUP2 00000406: MSTORE 00000407: PUSH1 0x40 00000409: DUP1 0000040a: DUP4 0000040b: KECCAK256 0000040c: PUSH1 0x01 0000040e: PUSH1 0xa0 00000410: PUSH1 0x02 00000412: EXP 00000413: SUB 00000414: DUP6 00000415: AND 00000416: DUP5 00000417: MSTORE 00000418: PUSH2 0x0102 0000041b: SWAP1 0000041c: SWAP3 0000041d: MSTORE 0000041e: DUP3 0000041f: KECCAK256 00000420: SLOAD 00000421: DUP3 00000422: DUP2 00000423: DUP2 00000424: EQ 00000425: ISZERO 00000426: PUSH2 0x0ac2 00000429: JUMPI 0000042a: PUSH2 0x0ad7 0000042d: JUMP 0000042e: JUMPDEST 0000042f: PUSH2 0x055c 00000432: PUSH1 0x04 00000434: CALLDATALOAD 00000435: PUSH2 0x0108 00000438: SLOAD 00000439: PUSH2 0x0109 0000043c: DUP3 0000043d: SWAP1 0000043e: SSTORE 0000043f: PUSH1 0x40 00000441: DUP1 00000442: MLOAD 00000443: PUSH1 0xe2 00000445: PUSH1 0x02 00000447: EXP 00000448: PUSH4 0x20998771 0000044d: MUL 0000044e: DUP2 0000044f: MSTORE 00000450: PUSH1 0x65 00000452: PUSH1 0x04 00000454: DUP3 00000455: ADD 00000456: MSTORE 00000457: PUSH20 0x5fbea6b04d5824c73a89cb8348d66492e0e4b7bf 0000046c: PUSH1 0x24 0000046e: DUP3 0000046f: ADD 00000470: MSTORE 00000471: SWAP1 00000472: MLOAD 00000473: PUSH1 0x01 00000475: PUSH1 0xa0 00000477: PUSH1 0x02 00000479: EXP 0000047a: SUB 0000047b: SWAP3 0000047c: SWAP1 0000047d: SWAP3 0000047e: AND 0000047f: SWAP2 00000480: DUP3 00000481: SWAP2 00000482: PUSH4 0x82661dc4 00000487: SWAP2 00000488: PUSH1 0x44 0000048a: DUP3 0000048b: DUP2 0000048c: ADD 0000048d: SWAP3 0000048e: PUSH1 0x20 00000490: SWAP3 00000491: SWAP2 00000492: SWAP1 00000493: DUP3 00000494: SWAP1 00000495: SUB 00000496: ADD 00000497: DUP2 00000498: PUSH1 0x00 0000049a: DUP8 0000049b: PUSH2 0x61da 0000049e: GAS 0000049f: SUB 000004a0: CALL 000004a1: ISZERO 000004a2: PUSH2 0x0002 000004a5: JUMPI 000004a6: POP 000004a7: POP 000004a8: POP 000004a9: POP 000004aa: POP 000004ab: JUMP 000004ac: JUMPDEST 000004ad: PUSH2 0x055c 000004b0: PUSH1 0x04 000004b2: CALLDATALOAD 000004b3: PUSH1 0x00 000004b5: CALLDATASIZE 000004b6: PUSH1 0x40 000004b8: MLOAD 000004b9: DUP1 000004ba: DUP4 000004bb: DUP4 000004bc: DUP1 000004bd: DUP3 000004be: DUP5 000004bf: CALLDATACOPY 000004c0: DUP3 000004c1: ADD 000004c2: SWAP2 000004c3: POP 000004c4: POP 000004c5: SWAP3 000004c6: POP 000004c7: POP 000004c8: POP 000004c9: PUSH1 0x40 000004cb: MLOAD 000004cc: DUP1 000004cd: SWAP2 000004ce: SUB 000004cf: SWAP1 000004d0: KECCAK256 000004d1: PUSH2 0x0b83 000004d4: DUP2 000004d5: PUSH2 0x01bd 000004d8: JUMP 000004d9: JUMPDEST 000004da: PUSH2 0x06ad 000004dd: PUSH2 0x0108 000004e0: SLOAD 000004e1: PUSH1 0x01 000004e3: PUSH1 0xa0 000004e5: PUSH1 0x02 000004e7: EXP 000004e8: SUB 000004e9: AND 000004ea: DUP2 000004eb: JUMP 000004ec: JUMPDEST 000004ed: PUSH2 0x055c 000004f0: PUSH1 0x04 000004f2: CALLDATALOAD 000004f3: PUSH1 0x24 000004f5: CALLDATALOAD 000004f6: PUSH1 0x00 000004f8: PUSH1 0x00 000004fa: CALLDATASIZE 000004fb: PUSH1 0x40 000004fd: MLOAD 000004fe: DUP1 000004ff: DUP4 00000500: DUP4 00000501: DUP1 00000502: DUP3 00000503: DUP5 00000504: CALLDATACOPY 00000505: DUP3 00000506: ADD 00000507: SWAP2 00000508: POP 00000509: POP 0000050a: SWAP3 0000050b: POP 0000050c: POP 0000050d: POP 0000050e: PUSH1 0x40 00000510: MLOAD 00000511: DUP1 00000512: SWAP2 00000513: SUB 00000514: SWAP1 00000515: KECCAK256 00000516: PUSH2 0x07d4 00000519: DUP2 0000051a: PUSH2 0x01bd 0000051d: JUMP 0000051e: JUMPDEST 0000051f: PUSH2 0x069b 00000522: PUSH2 0x0105 00000525: SLOAD 00000526: DUP2 00000527: JUMP 00000528: JUMPDEST 00000529: PUSH2 0x055c 0000052c: PUSH1 0x04 0000052e: CALLDATALOAD 0000052f: PUSH1 0x24 00000531: CALLDATALOAD 00000532: PUSH1 0x00 00000534: PUSH20 0x06b671106bf4de59243111c0fece9f43da91595f 00000549: CALLER 0000054a: PUSH1 0x01 0000054c: PUSH1 0xa0 0000054e: PUSH1 0x02 00000550: EXP 00000551: SUB 00000552: AND 00000553: EQ 00000554: PUSH2 0x0afa 00000557: JUMPI 00000558: PUSH2 0x0002 0000055b: JUMP 0000055c: JUMPDEST 0000055d: STOP 0000055e: JUMPDEST 0000055f: PUSH2 0x010a 00000562: DUP1 00000563: SLOAD 00000564: PUSH1 0xff 00000566: NOT 00000567: AND 00000568: PUSH1 0x01 0000056a: OR 0000056b: SWAP1 0000056c: SSTORE 0000056d: PUSH1 0x40 0000056f: DUP1 00000570: MLOAD 00000571: PUSH1 0xe2 00000573: PUSH1 0x02 00000575: EXP 00000576: PUSH4 0x20998771 0000057b: MUL 0000057c: DUP2 0000057d: MSTORE 0000057e: PUSH1 0x65 00000580: PUSH1 0x04 00000582: DUP3 00000583: ADD 00000584: MSTORE 00000585: PUSH20 0x5fbea6b04d5824c73a89cb8348d66492e0e4b7bf 0000059a: PUSH1 0x24 0000059c: DUP3 0000059d: ADD 0000059e: MSTORE 0000059f: SWAP1 000005a0: MLOAD 000005a1: PUSH1 0x01 000005a3: PUSH1 0xa0 000005a5: PUSH1 0x02 000005a7: EXP 000005a8: SUB 000005a9: DUP4 000005aa: AND 000005ab: SWAP2 000005ac: PUSH4 0x82661dc4 000005b1: SWAP2 000005b2: PUSH1 0x44 000005b4: DUP3 000005b5: DUP2 000005b6: ADD 000005b7: SWAP3 000005b8: PUSH1 0x20 000005ba: SWAP3 000005bb: SWAP2 000005bc: SWAP1 000005bd: DUP3 000005be: SWAP1 000005bf: SUB 000005c0: ADD 000005c1: DUP2 000005c2: PUSH1 0x00 000005c4: DUP8 000005c5: PUSH2 0x61da 000005c8: GAS 000005c9: SUB 000005ca: CALL 000005cb: ISZERO 000005cc: PUSH2 0x0002 000005cf: JUMPI 000005d0: POP 000005d1: POP 000005d2: POP 000005d3: JUMPDEST 000005d4: POP 000005d5: JUMP 000005d6: JUMPDEST 000005d7: PUSH1 0x00 000005d9: PUSH2 0x0109 000005dc: PUSH1 0x00 000005de: POP 000005df: DUP2 000005e0: SWAP1 000005e1: SSTORE 000005e2: POP 000005e3: DUP1 000005e4: PUSH1 0x01 000005e6: PUSH1 0xa0 000005e8: PUSH1 0x02 000005ea: EXP 000005eb: SUB 000005ec: AND 000005ed: PUSH4 0xa9059cbb 000005f2: PUSH20 0xabeebb597cd3fec57b6ebd6220beed584b423059 00000607: DUP4 00000608: PUSH1 0x01 0000060a: PUSH1 0xa0 0000060c: PUSH1 0x02 0000060e: EXP 0000060f: SUB 00000610: AND 00000611: PUSH4 0x70a08231 00000616: ADDRESS 00000617: PUSH1 0x40 00000619: MLOAD 0000061a: DUP3 0000061b: PUSH1 0xe0 0000061d: PUSH1 0x02 0000061f: EXP 00000620: MUL 00000621: DUP2 00000622: MSTORE 00000623: PUSH1 0x04 00000625: ADD 00000626: DUP1 00000627: DUP3 00000628: PUSH1 0x01 0000062a: PUSH1 0xa0 0000062c: PUSH1 0x02 0000062e: EXP 0000062f: SUB 00000630: AND 00000631: DUP2 00000632: MSTORE 00000633: PUSH1 0x20 00000635: ADD 00000636: SWAP2 00000637: POP 00000638: POP 00000639: PUSH1 0x20 0000063b: PUSH1 0x40 0000063d: MLOAD 0000063e: DUP1 0000063f: DUP4 00000640: SUB 00000641: DUP2 00000642: PUSH1 0x00 00000644: DUP8 00000645: PUSH2 0x61da 00000648: GAS 00000649: SUB 0000064a: CALL 0000064b: ISZERO 0000064c: PUSH2 0x0002 0000064f: JUMPI 00000650: POP 00000651: POP 00000652: PUSH1 0x40 00000654: DUP1 00000655: MLOAD 00000656: DUP1 00000657: MLOAD 00000658: PUSH1 0xe0 0000065a: PUSH1 0x02 0000065c: EXP 0000065d: PUSH4 0xa9059cbb 00000662: MUL 00000663: DUP3 00000664: MSTORE 00000665: PUSH1 0x04 00000667: DUP3 00000668: ADD 00000669: SWAP5 0000066a: SWAP1 0000066b: SWAP5 0000066c: MSTORE 0000066d: PUSH1 0x24 0000066f: DUP2 00000670: ADD 00000671: SWAP4 00000672: SWAP1 00000673: SWAP4 00000674: MSTORE 00000675: MLOAD 00000676: PUSH1 0x44 00000678: DUP1 00000679: DUP5 0000067a: ADD 0000067b: SWAP4 0000067c: PUSH1 0x20 0000067e: SWAP4 0000067f: POP 00000680: DUP3 00000681: SWAP1 00000682: SUB 00000683: ADD 00000684: DUP2 00000685: PUSH1 0x00 00000687: DUP8 00000688: PUSH2 0x61da 0000068b: GAS 0000068c: SUB 0000068d: CALL 0000068e: ISZERO 0000068f: PUSH2 0x0002 00000692: JUMPI 00000693: POP 00000694: POP 00000695: POP 00000696: JUMPDEST 00000697: PUSH2 0x05d3 0000069a: JUMP 0000069b: JUMPDEST 0000069c: PUSH1 0x40 0000069e: DUP1 0000069f: MLOAD 000006a0: SWAP2 000006a1: DUP3 000006a2: MSTORE 000006a3: MLOAD 000006a4: SWAP1 000006a5: DUP2 000006a6: SWAP1 000006a7: SUB 000006a8: PUSH1 0x20 000006aa: ADD 000006ab: SWAP1 000006ac: RETURN 000006ad: JUMPDEST 000006ae: PUSH1 0x40 000006b0: DUP1 000006b1: MLOAD 000006b2: PUSH1 0x01 000006b4: PUSH1 0xa0 000006b6: PUSH1 0x02 000006b8: EXP 000006b9: SUB 000006ba: SWAP3 000006bb: SWAP1 000006bc: SWAP3 000006bd: AND 000006be: DUP3 000006bf: MSTORE 000006c0: MLOAD 000006c1: SWAP1 000006c2: DUP2 000006c3: SWAP1 000006c4: SUB 000006c5: PUSH1 0x20 000006c7: ADD 000006c8: SWAP1 000006c9: RETURN 000006ca: JUMPDEST 000006cb: POP 000006cc: POP 000006cd: PUSH1 0x00 000006cf: DUP3 000006d0: DUP2 000006d1: MSTORE 000006d2: PUSH2 0x0103 000006d5: PUSH1 0x20 000006d7: MSTORE 000006d8: PUSH1 0x40 000006da: DUP2 000006db: KECCAK256 000006dc: PUSH1 0x01 000006de: DUP2 000006df: ADD 000006e0: SLOAD 000006e1: PUSH1 0x02 000006e3: DUP5 000006e4: SWAP1 000006e5: EXP 000006e6: SWAP3 000006e7: SWAP1 000006e8: DUP4 000006e9: AND 000006ea: GT 000006eb: ISZERO 000006ec: PUSH2 0x0749 000006ef: JUMPI 000006f0: DUP1 000006f1: SLOAD 000006f2: PUSH1 0x01 000006f4: DUP3 000006f5: DUP2 000006f6: ADD 000006f7: DUP1 000006f8: SLOAD 000006f9: SWAP3 000006fa: SWAP1 000006fb: SWAP2 000006fc: ADD 000006fd: DUP4 000006fe: SSTORE 000006ff: SWAP1 00000700: DUP4 00000701: SWAP1 00000702: SUB 00000703: SWAP1 00000704: SSTORE 00000705: PUSH1 0x40 00000707: DUP1 00000708: MLOAD 00000709: CALLER 0000070a: PUSH1 0x01 0000070c: PUSH1 0xa0 0000070e: PUSH1 0x02 00000710: EXP 00000711: SUB 00000712: AND 00000713: DUP2 00000714: MSTORE 00000715: PUSH1 0x20 00000717: DUP2 00000718: ADD 00000719: DUP7 0000071a: SWAP1 0000071b: MSTORE 0000071c: DUP2 0000071d: MLOAD 0000071e: PUSH32 0xc7fb647e59b18047309aa15aad418e5d7ca96d173ad704f1031a2c3d7591734b 0000073f: SWAP3 00000740: SWAP2 00000741: DUP2 00000742: SWAP1 00000743: SUB 00000744: SWAP1 00000745: SWAP2 00000746: ADD 00000747: SWAP1 00000748: LOG1 00000749: JUMPDEST 0000074a: POP 0000074b: POP 0000074c: POP 0000074d: POP 0000074e: JUMP 0000074f: JUMPDEST 00000750: PUSH1 0x01 00000752: PUSH1 0xa0 00000754: PUSH1 0x02 00000756: EXP 00000757: SUB 00000758: DUP4 00000759: AND 0000075a: PUSH1 0x02 0000075c: DUP4 0000075d: PUSH2 0x0100 00000760: DUP2 00000761: LT 00000762: ISZERO 00000763: PUSH2 0x0002 00000766: JUMPI 00000767: POP 00000768: DUP4 00000769: ADD 0000076a: DUP2 0000076b: SWAP1 0000076c: SSTORE 0000076d: PUSH1 0x01 0000076f: PUSH1 0xa0 00000771: PUSH1 0x02 00000773: EXP 00000774: SUB 00000775: DUP6 00000776: AND 00000777: PUSH1 0x00 00000779: DUP2 0000077a: DUP2 0000077b: MSTORE 0000077c: PUSH2 0x0102 0000077f: PUSH1 0x20 00000781: SWAP1 00000782: DUP2 00000783: MSTORE 00000784: PUSH1 0x40 00000786: DUP1 00000787: DUP4 00000788: KECCAK256 00000789: DUP4 0000078a: SWAP1 0000078b: SSTORE 0000078c: DUP5 0000078d: DUP4 0000078e: MSTORE 0000078f: SWAP2 00000790: DUP3 00000791: SWAP1 00000792: KECCAK256 00000793: DUP7 00000794: SWAP1 00000795: SSTORE 00000796: DUP2 00000797: MLOAD 00000798: SWAP3 00000799: DUP4 0000079a: MSTORE 0000079b: DUP3 0000079c: ADD 0000079d: SWAP3 0000079e: SWAP1 0000079f: SWAP3 000007a0: MSTORE 000007a1: DUP2 000007a2: MLOAD 000007a3: PUSH32 0xb532073b38c83145e3e5135377a08bf9aab55bc0fd7c1179cd4fb995d2a5159c 000007c4: SWAP3 000007c5: SWAP2 000007c6: DUP2 000007c7: SWAP1 000007c8: SUB 000007c9: SWAP1 000007ca: SWAP2 000007cb: ADD 000007cc: SWAP1 000007cd: LOG1 000007ce: POP 000007cf: JUMPDEST 000007d0: POP 000007d1: POP 000007d2: POP 000007d3: JUMP 000007d4: JUMPDEST 000007d5: ISZERO 000007d6: PUSH2 0x0749 000007d9: JUMPI 000007da: PUSH2 0x07e2 000007dd: DUP4 000007de: PUSH2 0x01ed 000007e1: JUMP 000007e2: JUMPDEST 000007e3: ISZERO 000007e4: PUSH2 0x07ed 000007e7: JUMPI 000007e8: POP 000007e9: PUSH2 0x07cf 000007ec: JUMP 000007ed: JUMPDEST 000007ee: PUSH1 0x01 000007f0: PUSH1 0xa0 000007f2: PUSH1 0x02 000007f4: EXP 000007f5: SUB 000007f6: DUP5 000007f7: AND 000007f8: PUSH1 0x00 000007fa: SWAP1 000007fb: DUP2 000007fc: MSTORE 000007fd: PUSH2 0x0102 00000800: PUSH1 0x20 00000802: MSTORE 00000803: PUSH1 0x40 00000805: DUP2 00000806: KECCAK256 00000807: SLOAD 00000808: SWAP3 00000809: POP 0000080a: DUP3 0000080b: EQ 0000080c: ISZERO 0000080d: PUSH2 0x0816 00000810: JUMPI 00000811: POP 00000812: PUSH2 0x07cf 00000815: JUMP 00000816: JUMPDEST 00000817: PUSH2 0x074f 0000081a: JUMPDEST 0000081b: PUSH2 0x0104 0000081e: SLOAD 0000081f: PUSH1 0x00 00000821: JUMPDEST 00000822: DUP2 00000823: DUP2 00000824: LT 00000825: ISZERO 00000826: PUSH2 0x12f7 00000829: JUMPI 0000082a: PUSH2 0x0104 0000082d: DUP1 0000082e: SLOAD 0000082f: PUSH2 0x010b 00000832: SWAP2 00000833: PUSH1 0x00 00000835: SWAP2 00000836: DUP5 00000837: SWAP1 00000838: DUP2 00000839: LT 0000083a: ISZERO 0000083b: PUSH2 0x0002 0000083e: JUMPI 0000083f: PUSH1 0x00 00000841: DUP1 00000842: MLOAD 00000843: PUSH1 0x20 00000845: PUSH2 0x13c4 00000848: DUP4 00000849: CODECOPY 0000084a: DUP2 0000084b: MLOAD 0000084c: SWAP2 0000084d: MSTORE 0000084e: ADD 0000084f: SLOAD 00000850: DUP3 00000851: MSTORE 00000852: POP 00000853: PUSH1 0x20 00000855: SWAP2 00000856: SWAP1 00000857: SWAP2 00000858: MSTORE 00000859: PUSH1 0x40 0000085b: DUP2 0000085c: KECCAK256 0000085d: DUP1 0000085e: SLOAD 0000085f: PUSH1 0x01 00000861: PUSH1 0xa0 00000863: PUSH1 0x02 00000865: EXP 00000866: SUB 00000867: NOT 00000868: AND 00000869: DUP2 0000086a: SSTORE 0000086b: PUSH1 0x01 0000086d: DUP2 0000086e: DUP2 0000086f: ADD 00000870: DUP4 00000871: SWAP1 00000872: SSTORE 00000873: PUSH1 0x02 00000875: DUP3 00000876: DUP2 00000877: ADD 00000878: DUP1 00000879: SLOAD 0000087a: DUP6 0000087b: DUP3 0000087c: SSTORE 0000087d: SWAP4 0000087e: SWAP5 0000087f: SWAP4 00000880: SWAP1 00000881: SWAP3 00000882: DUP2 00000883: AND 00000884: ISZERO 00000885: PUSH2 0x0100 00000888: MUL 00000889: PUSH1 0x00 0000088b: NOT 0000088c: ADD 0000088d: AND 0000088e: DIV 0000088f: PUSH1 0x1f 00000891: DUP2 00000892: SWAP1 00000893: LT 00000894: PUSH2 0x137c 00000897: JUMPI 00000898: POP 00000899: JUMPDEST 0000089a: POP 0000089b: POP 0000089c: POP 0000089d: PUSH1 0x01 0000089f: ADD 000008a0: PUSH2 0x0821 000008a3: JUMP 000008a4: JUMPDEST 000008a5: ISZERO 000008a6: PUSH2 0x0931 000008a9: JUMPI 000008aa: PUSH2 0x0935 000008ad: DUP3 000008ae: PUSH2 0x01ed 000008b1: JUMP 000008b2: JUMPDEST 000008b3: PUSH1 0x01 000008b5: DUP1 000008b6: SLOAD 000008b7: DUP2 000008b8: ADD 000008b9: SWAP1 000008ba: DUP2 000008bb: SWAP1 000008bc: SSTORE 000008bd: PUSH1 0x01 000008bf: PUSH1 0xa0 000008c1: PUSH1 0x02 000008c3: EXP 000008c4: SUB 000008c5: DUP4 000008c6: AND 000008c7: SWAP1 000008c8: PUSH1 0x02 000008ca: SWAP1 000008cb: PUSH2 0x0100 000008ce: DUP2 000008cf: LT 000008d0: ISZERO 000008d1: PUSH2 0x0002 000008d4: JUMPI 000008d5: SWAP1 000008d6: SWAP1 000008d7: ADD 000008d8: PUSH1 0x00 000008da: POP 000008db: SSTORE 000008dc: PUSH1 0x01 000008de: SLOAD 000008df: PUSH1 0x01 000008e1: PUSH1 0xa0 000008e3: PUSH1 0x02 000008e5: EXP 000008e6: SUB 000008e7: DUP4 000008e8: AND 000008e9: PUSH1 0x00 000008eb: DUP2 000008ec: DUP2 000008ed: MSTORE 000008ee: PUSH2 0x0102 000008f1: PUSH1 0x20 000008f3: SWAP1 000008f4: DUP2 000008f5: MSTORE 000008f6: PUSH1 0x40 000008f8: SWAP2 000008f9: DUP3 000008fa: SWAP1 000008fb: KECCAK256 000008fc: SWAP4 000008fd: SWAP1 000008fe: SWAP4 000008ff: SSTORE 00000900: DUP1 00000901: MLOAD 00000902: SWAP2 00000903: DUP3 00000904: MSTORE 00000905: MLOAD 00000906: PUSH32 0x994a936646fe87ffe4f1e469d3d6aa417d6b855598397f323de5b449f765f0c3 00000927: SWAP3 00000928: SWAP2 00000929: DUP2 0000092a: SWAP1 0000092b: SUB 0000092c: SWAP1 0000092d: SWAP2 0000092e: ADD 0000092f: SWAP1 00000930: LOG1 00000931: JUMPDEST 00000932: POP 00000933: POP 00000934: JUMP 00000935: JUMPDEST 00000936: ISZERO 00000937: PUSH2 0x0940 0000093a: JUMPI 0000093b: POP 0000093c: PUSH2 0x05d3 0000093f: JUMP 00000940: JUMPDEST 00000941: PUSH2 0x0948 00000944: PUSH2 0x081a 00000947: JUMP 00000948: JUMPDEST 00000949: PUSH1 0x01 0000094b: SLOAD 0000094c: PUSH1 0xfa 0000094e: SWAP1 0000094f: LT 00000950: PUSH2 0x095b 00000953: JUMPI 00000954: PUSH2 0x095b 00000957: PUSH2 0x0970 0000095a: JUMP 0000095b: JUMPDEST 0000095c: PUSH1 0x01 0000095e: SLOAD 0000095f: PUSH1 0xfa 00000961: SWAP1 00000962: LT 00000963: PUSH2 0x08b2 00000966: JUMPI 00000967: POP 00000968: PUSH2 0x05d3 0000096b: JUMP 0000096c: JUMPDEST 0000096d: PUSH2 0x0a28 00000970: JUMPDEST 00000971: PUSH1 0x01 00000973: JUMPDEST 00000974: PUSH1 0x01 00000976: SLOAD 00000977: DUP2 00000978: LT 00000979: ISZERO 0000097a: PUSH2 0x05d3 0000097d: JUMPI 0000097e: JUMPDEST 0000097f: PUSH1 0x01 00000981: SLOAD 00000982: DUP2 00000983: LT 00000984: DUP1 00000985: ISZERO 00000986: PUSH2 0x099e 00000989: JUMPI 0000098a: POP 0000098b: PUSH1 0x02 0000098d: DUP2 0000098e: PUSH2 0x0100 00000991: DUP2 00000992: LT 00000993: ISZERO 00000994: PUSH2 0x0002 00000997: JUMPI 00000998: ADD 00000999: SLOAD 0000099a: PUSH1 0x00 0000099c: EQ 0000099d: ISZERO 0000099e: JUMPDEST 0000099f: ISZERO 000009a0: PUSH2 0x11b3 000009a3: JUMPI 000009a4: PUSH1 0x01 000009a6: ADD 000009a7: PUSH2 0x097e 000009aa: JUMP 000009ab: JUMPDEST 000009ac: ISZERO 000009ad: PUSH2 0x07cf 000009b0: JUMPI 000009b1: PUSH1 0x01 000009b3: PUSH1 0xa0 000009b5: PUSH1 0x02 000009b7: EXP 000009b8: SUB 000009b9: DUP4 000009ba: AND 000009bb: PUSH1 0x00 000009bd: SWAP1 000009be: DUP2 000009bf: MSTORE 000009c0: PUSH2 0x0102 000009c3: PUSH1 0x20 000009c5: MSTORE 000009c6: PUSH1 0x40 000009c8: DUP2 000009c9: KECCAK256 000009ca: SLOAD 000009cb: SWAP3 000009cc: POP 000009cd: DUP3 000009ce: EQ 000009cf: ISZERO 000009d0: PUSH2 0x09d9 000009d3: JUMPI 000009d4: POP 000009d5: PUSH2 0x0931 000009d8: JUMP 000009d9: JUMPDEST 000009da: PUSH1 0x01 000009dc: PUSH1 0x01 000009de: PUSH1 0x00 000009e0: POP 000009e1: SLOAD 000009e2: SUB 000009e3: PUSH1 0x00 000009e5: PUSH1 0x00 000009e7: POP 000009e8: SLOAD 000009e9: GT 000009ea: ISZERO 000009eb: PUSH2 0x09f4 000009ee: JUMPI 000009ef: POP 000009f0: PUSH2 0x0931 000009f3: JUMP 000009f4: JUMPDEST 000009f5: PUSH1 0x00 000009f7: PUSH1 0x02 000009f9: DUP4 000009fa: PUSH2 0x0100 000009fd: DUP2 000009fe: LT 000009ff: ISZERO 00000a00: PUSH2 0x0002 00000a03: JUMPI 00000a04: POP 00000a05: DUP4 00000a06: ADD 00000a07: DUP2 00000a08: SWAP1 00000a09: SSTORE 00000a0a: PUSH1 0x01 00000a0c: PUSH1 0xa0 00000a0e: PUSH1 0x02 00000a10: EXP 00000a11: SUB 00000a12: DUP5 00000a13: AND 00000a14: DUP2 00000a15: MSTORE 00000a16: PUSH2 0x0102 00000a19: PUSH1 0x20 00000a1b: MSTORE 00000a1c: PUSH1 0x40 00000a1e: DUP2 00000a1f: KECCAK256 00000a20: SSTORE 00000a21: PUSH2 0x096c 00000a24: PUSH2 0x081a 00000a27: JUMP 00000a28: JUMPDEST 00000a29: PUSH1 0x40 00000a2b: DUP1 00000a2c: MLOAD 00000a2d: PUSH1 0x01 00000a2f: PUSH1 0xa0 00000a31: PUSH1 0x02 00000a33: EXP 00000a34: SUB 00000a35: DUP6 00000a36: AND 00000a37: DUP2 00000a38: MSTORE 00000a39: SWAP1 00000a3a: MLOAD 00000a3b: PUSH32 0x58619076adf5bb0943d100ef88d52d7c3fd691b19d3a9071b555b651fbf418da 00000a5c: SWAP2 00000a5d: DUP2 00000a5e: SWAP1 00000a5f: SUB 00000a60: PUSH1 0x20 00000a62: ADD 00000a63: SWAP1 00000a64: LOG1 00000a65: POP 00000a66: POP 00000a67: POP 00000a68: JUMP 00000a69: JUMPDEST 00000a6a: ISZERO 00000a6b: PUSH2 0x0931 00000a6e: JUMPI 00000a6f: PUSH1 0x01 00000a71: SLOAD 00000a72: DUP3 00000a73: GT 00000a74: ISZERO 00000a75: PUSH2 0x0a7e 00000a78: JUMPI 00000a79: POP 00000a7a: PUSH2 0x05d3 00000a7d: JUMP 00000a7e: JUMPDEST 00000a7f: PUSH1 0x00 00000a81: DUP3 00000a82: SWAP1 00000a83: SSTORE 00000a84: PUSH2 0x0a8b 00000a87: PUSH2 0x081a 00000a8a: JUMP 00000a8b: JUMPDEST 00000a8c: PUSH1 0x40 00000a8e: DUP1 00000a8f: MLOAD 00000a90: DUP4 00000a91: DUP2 00000a92: MSTORE 00000a93: SWAP1 00000a94: MLOAD 00000a95: PUSH32 0xacbdb084c721332ac59f9b8e392196c9eb0e4932862da8eb9beaf0dad4f550da 00000ab6: SWAP2 00000ab7: DUP2 00000ab8: SWAP1 00000ab9: SUB 00000aba: PUSH1 0x20 00000abc: ADD 00000abd: SWAP1 00000abe: LOG1 00000abf: POP 00000ac0: POP 00000ac1: JUMP 00000ac2: JUMPDEST 00000ac3: POP 00000ac4: PUSH1 0x01 00000ac6: DUP3 00000ac7: ADD 00000ac8: SLOAD 00000ac9: PUSH1 0x02 00000acb: DUP3 00000acc: SWAP1 00000acd: EXP 00000ace: SWAP1 00000acf: DUP2 00000ad0: AND 00000ad1: PUSH1 0x00 00000ad3: EQ 00000ad4: ISZERO 00000ad5: SWAP4 00000ad6: POP 00000ad7: JUMPDEST 00000ad8: POP 00000ad9: POP 00000ada: POP 00000adb: SWAP3 00000adc: SWAP2 00000add: POP 00000ade: POP 00000adf: JUMP 00000ae0: JUMPDEST 00000ae1: ISZERO 00000ae2: PUSH2 0x0931 00000ae5: JUMPI 00000ae6: POP 00000ae7: PUSH2 0x0105 00000aea: SSTORE 00000aeb: JUMP 00000aec: JUMPDEST 00000aed: ISZERO 00000aee: PUSH2 0x05d3 00000af1: JUMPI 00000af2: PUSH1 0x00 00000af4: PUSH2 0x0106 00000af7: SSTORE 00000af8: POP 00000af9: JUMP 00000afa: JUMPDEST 00000afb: POP 00000afc: PUSH2 0x0108 00000aff: SLOAD 00000b00: PUSH1 0x40 00000b02: DUP1 00000b03: MLOAD 00000b04: PUSH1 0xe0 00000b06: PUSH1 0x02 00000b08: EXP 00000b09: PUSH4 0xa9059cbb 00000b0e: MUL 00000b0f: DUP2 00000b10: MSTORE 00000b11: PUSH1 0x01 00000b13: PUSH1 0xa0 00000b15: PUSH1 0x02 00000b17: EXP 00000b18: SUB 00000b19: DUP6 00000b1a: DUP2 00000b1b: AND 00000b1c: PUSH1 0x04 00000b1e: DUP4 00000b1f: ADD 00000b20: MSTORE 00000b21: PUSH1 0x24 00000b23: DUP3 00000b24: ADD 00000b25: DUP6 00000b26: SWAP1 00000b27: MSTORE 00000b28: SWAP2 00000b29: MLOAD 00000b2a: SWAP2 00000b2b: SWAP1 00000b2c: SWAP3 00000b2d: AND 00000b2e: SWAP2 00000b2f: DUP3 00000b30: SWAP2 00000b31: PUSH4 0xa9059cbb 00000b36: SWAP2 00000b37: PUSH1 0x44 00000b39: DUP2 00000b3a: DUP2 00000b3b: ADD 00000b3c: SWAP3 00000b3d: PUSH1 0x20 00000b3f: SWAP3 00000b40: SWAP1 00000b41: SWAP2 00000b42: SWAP1 00000b43: DUP3 00000b44: SWAP1 00000b45: SUB 00000b46: ADD 00000b47: DUP2 00000b48: PUSH1 0x00 00000b4a: DUP8 00000b4b: PUSH2 0x61da 00000b4e: GAS 00000b4f: SUB 00000b50: CALL 00000b51: ISZERO 00000b52: PUSH2 0x0002 00000b55: JUMPI 00000b56: POP 00000b57: POP 00000b58: POP 00000b59: POP 00000b5a: POP 00000b5b: POP 00000b5c: JUMP 00000b5d: JUMPDEST 00000b5e: PUSH1 0x40 00000b60: MLOAD 00000b61: PUSH1 0x01 00000b63: PUSH1 0xa0 00000b65: PUSH1 0x02 00000b67: EXP 00000b68: SUB 00000b69: DUP3 00000b6a: DUP2 00000b6b: AND 00000b6c: SWAP2 00000b6d: PUSH1 0x00 00000b6f: SWAP2 00000b70: ADDRESS 00000b71: AND 00000b72: BALANCE 00000b73: SWAP1 00000b74: DUP3 00000b75: DUP2 00000b76: DUP2 00000b77: DUP2 00000b78: DUP6 00000b79: DUP9 00000b7a: DUP4 00000b7b: CALL 00000b7c: POP 00000b7d: POP 00000b7e: POP 00000b7f: POP 00000b80: POP 00000b81: POP 00000b82: JUMP 00000b83: JUMPDEST 00000b84: ISZERO 00000b85: PUSH2 0x0931 00000b88: JUMPI 00000b89: DUP2 00000b8a: PUSH1 0x01 00000b8c: PUSH1 0xa0 00000b8e: PUSH1 0x02 00000b90: EXP 00000b91: SUB 00000b92: AND 00000b93: SELFDESTRUCT 00000b94: JUMPDEST 00000b95: ISZERO 00000b96: PUSH2 0x0dd5 00000b99: JUMPI 00000b9a: PUSH2 0x0ba8 00000b9d: DUP5 00000b9e: PUSH1 0x00 00000ba0: PUSH2 0x128d 00000ba3: CALLER 00000ba4: PUSH2 0x01ed 00000ba7: JUMP 00000ba8: JUMPDEST 00000ba9: ISZERO 00000baa: PUSH2 0x0c67 00000bad: JUMPI 00000bae: PUSH32 0x92ca3a80853e6663fa31fa10b99225f18d4902939b4c53a9caae9043f6efd004 00000bcf: CALLER 00000bd0: DUP6 00000bd1: DUP8 00000bd2: DUP7 00000bd3: DUP7 00000bd4: PUSH1 0x40 00000bd6: MLOAD 00000bd7: DUP1 00000bd8: DUP7 00000bd9: PUSH1 0x01 00000bdb: PUSH1 0xa0 00000bdd: PUSH1 0x02 00000bdf: EXP 00000be0: SUB 00000be1: AND 00000be2: DUP2 00000be3: MSTORE 00000be4: PUSH1 0x20 00000be6: ADD 00000be7: DUP6 00000be8: DUP2 00000be9: MSTORE 00000bea: PUSH1 0x20 00000bec: ADD 00000bed: DUP5 00000bee: PUSH1 0x01 00000bf0: PUSH1 0xa0 00000bf2: PUSH1 0x02 00000bf4: EXP 00000bf5: SUB 00000bf6: AND 00000bf7: DUP2 00000bf8: MSTORE 00000bf9: PUSH1 0x20 00000bfb: ADD 00000bfc: DUP1 00000bfd: PUSH1 0x20 00000bff: ADD 00000c00: DUP3 00000c01: DUP2 00000c02: SUB 00000c03: DUP3 00000c04: MSTORE 00000c05: DUP5 00000c06: DUP5 00000c07: DUP3 00000c08: DUP2 00000c09: DUP2 00000c0a: MSTORE 00000c0b: PUSH1 0x20 00000c0d: ADD 00000c0e: SWAP3 00000c0f: POP 00000c10: DUP1 00000c11: DUP3 00000c12: DUP5 00000c13: CALLDATACOPY 00000c14: DUP3 00000c15: ADD 00000c16: SWAP2 00000c17: POP 00000c18: POP 00000c19: SWAP7 00000c1a: POP 00000c1b: POP 00000c1c: POP 00000c1d: POP 00000c1e: POP 00000c1f: POP 00000c20: POP 00000c21: PUSH1 0x40 00000c23: MLOAD 00000c24: DUP1 00000c25: SWAP2 00000c26: SUB 00000c27: SWAP1 00000c28: LOG1 00000c29: DUP5 00000c2a: PUSH1 0x01 00000c2c: PUSH1 0xa0 00000c2e: PUSH1 0x02 00000c30: EXP 00000c31: SUB 00000c32: AND 00000c33: DUP5 00000c34: DUP5 00000c35: DUP5 00000c36: PUSH1 0x40 00000c38: MLOAD 00000c39: DUP1 00000c3a: DUP4 00000c3b: DUP4 00000c3c: DUP1 00000c3d: DUP3 00000c3e: DUP5 00000c3f: CALLDATACOPY 00000c40: DUP3 00000c41: ADD 00000c42: SWAP2 00000c43: POP 00000c44: POP 00000c45: SWAP3 00000c46: POP 00000c47: POP 00000c48: POP 00000c49: PUSH1 0x00 00000c4b: PUSH1 0x40 00000c4d: MLOAD 00000c4e: DUP1 00000c4f: DUP4 00000c50: SUB 00000c51: DUP2 00000c52: DUP6 00000c53: DUP8 00000c54: PUSH2 0x8502 00000c57: GAS 00000c58: SUB 00000c59: CALL 00000c5a: POP 00000c5b: PUSH1 0x00 00000c5d: SWAP4 00000c5e: POP 00000c5f: PUSH2 0x0dd5 00000c62: SWAP3 00000c63: POP 00000c64: POP 00000c65: POP 00000c66: JUMP 00000c67: JUMPDEST 00000c68: PUSH1 0x00 00000c6a: CALLDATASIZE 00000c6b: NUMBER 00000c6c: PUSH1 0x40 00000c6e: MLOAD 00000c6f: DUP1 00000c70: DUP5 00000c71: DUP5 00000c72: DUP1 00000c73: DUP3 00000c74: DUP5 00000c75: CALLDATACOPY 00000c76: DUP3 00000c77: ADD 00000c78: SWAP2 00000c79: POP 00000c7a: POP 00000c7b: DUP3 00000c7c: DUP2 00000c7d: MSTORE 00000c7e: PUSH1 0x20 00000c80: ADD 00000c81: SWAP4 00000c82: POP 00000c83: POP 00000c84: POP 00000c85: POP 00000c86: PUSH1 0x40 00000c88: MLOAD 00000c89: DUP1 00000c8a: SWAP2 00000c8b: SUB 00000c8c: SWAP1 00000c8d: KECCAK256 00000c8e: SWAP1 00000c8f: POP 00000c90: DUP1 00000c91: POP 00000c92: PUSH2 0x0c9a 00000c95: DUP2 00000c96: PUSH2 0x030b 00000c99: JUMP 00000c9a: JUMPDEST 00000c9b: ISZERO 00000c9c: DUP1 00000c9d: ISZERO 00000c9e: PUSH2 0x0cbd 00000ca1: JUMPI 00000ca2: POP 00000ca3: PUSH1 0x00 00000ca5: DUP2 00000ca6: DUP2 00000ca7: MSTORE 00000ca8: PUSH2 0x010b 00000cab: PUSH1 0x20 00000cad: MSTORE 00000cae: PUSH1 0x40 00000cb0: DUP2 00000cb1: KECCAK256 00000cb2: SLOAD 00000cb3: PUSH1 0x01 00000cb5: PUSH1 0xa0 00000cb7: PUSH1 0x02 00000cb9: EXP 00000cba: SUB 00000cbb: AND 00000cbc: EQ 00000cbd: JUMPDEST 00000cbe: ISZERO 00000cbf: PUSH2 0x0dd5 00000cc2: JUMPI 00000cc3: PUSH1 0x00 00000cc5: DUP2 00000cc6: DUP2 00000cc7: MSTORE 00000cc8: PUSH2 0x010b 00000ccb: PUSH1 0x20 00000ccd: SWAP1 00000cce: DUP2 00000ccf: MSTORE 00000cd0: PUSH1 0x40 00000cd2: DUP3 00000cd3: KECCAK256 00000cd4: DUP1 00000cd5: SLOAD 00000cd6: PUSH1 0x01 00000cd8: PUSH1 0xa0 00000cda: PUSH1 0x02 00000cdc: EXP 00000cdd: SUB 00000cde: NOT 00000cdf: AND 00000ce0: DUP9 00000ce1: OR 00000ce2: DUP2 00000ce3: SSTORE 00000ce4: PUSH1 0x01 00000ce6: DUP2 00000ce7: DUP2 00000ce8: ADD 00000ce9: DUP9 00000cea: SWAP1 00000ceb: SSTORE 00000cec: PUSH1 0x02 00000cee: SWAP2 00000cef: DUP3 00000cf0: ADD 00000cf1: DUP1 00000cf2: SLOAD 00000cf3: DUP2 00000cf4: DUP7 00000cf5: MSTORE 00000cf6: SWAP5 00000cf7: DUP5 00000cf8: SWAP1 00000cf9: KECCAK256 00000cfa: SWAP1 00000cfb: SWAP5 00000cfc: SWAP2 00000cfd: DUP3 00000cfe: AND 00000cff: ISZERO 00000d00: PUSH2 0x0100 00000d03: MUL 00000d04: PUSH1 0x00 00000d06: NOT 00000d07: ADD 00000d08: SWAP1 00000d09: SWAP2 00000d0a: AND 00000d0b: SWAP2 00000d0c: SWAP1 00000d0d: SWAP2 00000d0e: DIV 00000d0f: PUSH1 0x1f 00000d11: SWAP1 00000d12: DUP2 00000d13: ADD 00000d14: SWAP3 00000d15: SWAP1 00000d16: SWAP3 00000d17: DIV 00000d18: DUP2 00000d19: ADD 00000d1a: SWAP2 00000d1b: DUP6 00000d1c: SWAP2 00000d1d: SWAP1 00000d1e: DUP8 00000d1f: SWAP1 00000d20: DUP4 00000d21: SWAP1 00000d22: LT 00000d23: PUSH2 0x0ddd 00000d26: JUMPI 00000d27: DUP1 00000d28: CALLDATALOAD 00000d29: PUSH1 0xff 00000d2b: NOT 00000d2c: AND 00000d2d: DUP4 00000d2e: DUP1 00000d2f: ADD 00000d30: OR 00000d31: DUP6 00000d32: SSTORE 00000d33: JUMPDEST 00000d34: POP 00000d35: PUSH2 0x0d4f 00000d38: SWAP3 00000d39: SWAP2 00000d3a: POP 00000d3b: JUMPDEST 00000d3c: DUP1 00000d3d: DUP3 00000d3e: GT 00000d3f: ISZERO 00000d40: PUSH2 0x0e0d 00000d43: JUMPI 00000d44: PUSH1 0x00 00000d46: DUP2 00000d47: SSTORE 00000d48: PUSH1 0x01 00000d4a: ADD 00000d4b: PUSH2 0x0d3b 00000d4e: JUMP 00000d4f: JUMPDEST 00000d50: POP 00000d51: POP 00000d52: PUSH32 0x1733cbb53659d713b79580f79f3f9ff215f78a7c7aa45890f3b89fc5cddfbf32 00000d73: DUP2 00000d74: CALLER 00000d75: DUP7 00000d76: DUP9 00000d77: DUP8 00000d78: DUP8 00000d79: PUSH1 0x40 00000d7b: MLOAD 00000d7c: DUP1 00000d7d: DUP8 00000d7e: DUP2 00000d7f: MSTORE 00000d80: PUSH1 0x20 00000d82: ADD 00000d83: DUP7 00000d84: PUSH1 0x01 00000d86: PUSH1 0xa0 00000d88: PUSH1 0x02 00000d8a: EXP 00000d8b: SUB 00000d8c: AND 00000d8d: DUP2 00000d8e: MSTORE 00000d8f: PUSH1 0x20 00000d91: ADD 00000d92: DUP6 00000d93: DUP2 00000d94: MSTORE 00000d95: PUSH1 0x20 00000d97: ADD 00000d98: DUP5 00000d99: PUSH1 0x01 00000d9b: PUSH1 0xa0 00000d9d: PUSH1 0x02 00000d9f: EXP 00000da0: SUB 00000da1: AND 00000da2: DUP2 00000da3: MSTORE 00000da4: PUSH1 0x20 00000da6: ADD 00000da7: DUP1 00000da8: PUSH1 0x20 00000daa: ADD 00000dab: DUP3 00000dac: DUP2 00000dad: SUB 00000dae: DUP3 00000daf: MSTORE 00000db0: DUP5 00000db1: DUP5 00000db2: DUP3 00000db3: DUP2 00000db4: DUP2 00000db5: MSTORE 00000db6: PUSH1 0x20 00000db8: ADD 00000db9: SWAP3 00000dba: POP 00000dbb: DUP1 00000dbc: DUP3 00000dbd: DUP5 00000dbe: CALLDATACOPY 00000dbf: DUP3 00000dc0: ADD 00000dc1: SWAP2 00000dc2: POP 00000dc3: POP 00000dc4: SWAP8 00000dc5: POP 00000dc6: POP 00000dc7: POP 00000dc8: POP 00000dc9: POP 00000dca: POP 00000dcb: POP 00000dcc: POP 00000dcd: PUSH1 0x40 00000dcf: MLOAD 00000dd0: DUP1 00000dd1: SWAP2 00000dd2: SUB 00000dd3: SWAP1 00000dd4: LOG1 00000dd5: JUMPDEST 00000dd6: SWAP5 00000dd7: SWAP4 00000dd8: POP 00000dd9: POP 00000dda: POP 00000ddb: POP 00000ddc: JUMP 00000ddd: JUMPDEST 00000dde: DUP3 00000ddf: DUP1 00000de0: ADD 00000de1: PUSH1 0x01 00000de3: ADD 00000de4: DUP6 00000de5: SSTORE 00000de6: DUP3 00000de7: ISZERO 00000de8: PUSH2 0x0d33 00000deb: JUMPI 00000dec: SWAP2 00000ded: DUP3 00000dee: ADD 00000def: JUMPDEST 00000df0: DUP3 00000df1: DUP2 00000df2: GT 00000df3: ISZERO 00000df4: PUSH2 0x0d33 00000df7: JUMPI 00000df8: DUP3 00000df9: CALLDATALOAD 00000dfa: DUP3 00000dfb: PUSH1 0x00 00000dfd: POP 00000dfe: SSTORE 00000dff: SWAP2 00000e00: PUSH1 0x20 00000e02: ADD 00000e03: SWAP2 00000e04: SWAP1 00000e05: PUSH1 0x01 00000e07: ADD 00000e08: SWAP1 00000e09: PUSH2 0x0def 00000e0c: JUMP 00000e0d: JUMPDEST 00000e0e: POP 00000e0f: SWAP1 00000e10: JUMP 00000e11: JUMPDEST 00000e12: ISZERO 00000e13: PUSH2 0x0e94 00000e16: JUMPI 00000e17: PUSH1 0x00 00000e19: DUP4 00000e1a: DUP2 00000e1b: MSTORE 00000e1c: PUSH2 0x010b 00000e1f: PUSH1 0x20 00000e21: MSTORE 00000e22: PUSH1 0x40 00000e24: DUP2 00000e25: KECCAK256 00000e26: SLOAD 00000e27: PUSH1 0x01 00000e29: PUSH1 0xa0 00000e2b: PUSH1 0x02 00000e2d: EXP 00000e2e: SUB 00000e2f: AND 00000e30: EQ 00000e31: PUSH2 0x0e94 00000e34: JUMPI 00000e35: PUSH1 0x40 00000e37: DUP1 00000e38: MLOAD 00000e39: PUSH1 0x00 00000e3b: SWAP2 00000e3c: SWAP1 00000e3d: SWAP2 00000e3e: KECCAK256 00000e3f: DUP1 00000e40: SLOAD 00000e41: PUSH1 0x01 00000e43: DUP3 00000e44: DUP2 00000e45: ADD 00000e46: SLOAD 00000e47: PUSH1 0x02 00000e49: SWAP4 00000e4a: DUP5 00000e4b: ADD 00000e4c: DUP1 00000e4d: SLOAD 00000e4e: PUSH1 0x01 00000e50: PUSH1 0xa0 00000e52: PUSH1 0x02 00000e54: EXP 00000e55: SUB 00000e56: SWAP5 00000e57: SWAP1 00000e58: SWAP5 00000e59: AND 00000e5a: SWAP6 00000e5b: SWAP2 00000e5c: SWAP5 00000e5d: SWAP1 00000e5e: SWAP4 00000e5f: SWAP2 00000e60: SWAP3 00000e61: DUP4 00000e62: SWAP3 00000e63: DUP6 00000e64: SWAP3 00000e65: SWAP2 00000e66: DUP2 00000e67: AND 00000e68: ISZERO 00000e69: PUSH2 0x0100 00000e6c: MUL 00000e6d: PUSH1 0x00 00000e6f: NOT 00000e70: ADD 00000e71: AND 00000e72: DIV 00000e73: DUP1 00000e74: ISZERO 00000e75: PUSH2 0x0ec5 00000e78: JUMPI 00000e79: DUP1 00000e7a: PUSH1 0x1f 00000e7c: LT 00000e7d: PUSH2 0x0e9a 00000e80: JUMPI 00000e81: PUSH2 0x0100 00000e84: DUP1 00000e85: DUP4 00000e86: SLOAD 00000e87: DIV 00000e88: MUL 00000e89: DUP4 00000e8a: MSTORE 00000e8b: SWAP2 00000e8c: PUSH1 0x20 00000e8e: ADD 00000e8f: SWAP2 00000e90: PUSH2 0x0ec5 00000e93: JUMP 00000e94: JUMPDEST 00000e95: POP 00000e96: SWAP2 00000e97: SWAP1 00000e98: POP 00000e99: JUMP 00000e9a: JUMPDEST 00000e9b: DUP3 00000e9c: ADD 00000e9d: SWAP2 00000e9e: SWAP1 00000e9f: PUSH1 0x00 00000ea1: MSTORE 00000ea2: PUSH1 0x20 00000ea4: PUSH1 0x00 00000ea6: KECCAK256 00000ea7: SWAP1 00000ea8: JUMPDEST 00000ea9: DUP2 00000eaa: SLOAD 00000eab: DUP2 00000eac: MSTORE 00000ead: SWAP1 00000eae: PUSH1 0x01 00000eb0: ADD 00000eb1: SWAP1 00000eb2: PUSH1 0x20 00000eb4: ADD 00000eb5: DUP1 00000eb6: DUP4 00000eb7: GT 00000eb8: PUSH2 0x0ea8 00000ebb: JUMPI 00000ebc: DUP3 00000ebd: SWAP1 00000ebe: SUB 00000ebf: PUSH1 0x1f 00000ec1: AND 00000ec2: DUP3 00000ec3: ADD 00000ec4: SWAP2 00000ec5: JUMPDEST 00000ec6: POP 00000ec7: POP 00000ec8: SWAP2 00000ec9: POP 00000eca: POP 00000ecb: PUSH1 0x00 00000ecd: PUSH1 0x40 00000ecf: MLOAD 00000ed0: DUP1 00000ed1: DUP4 00000ed2: SUB 00000ed3: DUP2 00000ed4: DUP6 00000ed5: DUP8 00000ed6: PUSH2 0x8502 00000ed9: GAS 00000eda: SUB 00000edb: CALL 00000edc: POP 00000edd: POP 00000ede: POP 00000edf: PUSH1 0x00 00000ee1: DUP5 00000ee2: DUP2 00000ee3: MSTORE 00000ee4: PUSH2 0x010b 00000ee7: PUSH1 0x20 00000ee9: SWAP1 00000eea: DUP2 00000eeb: MSTORE 00000eec: PUSH1 0x40 00000eee: SWAP2 00000eef: DUP3 00000ef0: SWAP1 00000ef1: KECCAK256 00000ef2: DUP1 00000ef3: SLOAD 00000ef4: DUP4 00000ef5: MLOAD 00000ef6: PUSH1 0x01 00000ef8: DUP4 00000ef9: DUP2 00000efa: ADD 00000efb: SLOAD 00000efc: CALLER 00000efd: PUSH1 0x01 00000eff: PUSH1 0xa0 00000f01: PUSH1 0x02 00000f03: EXP 00000f04: SUB 00000f05: DUP2 00000f06: DUP2 00000f07: AND 00000f08: DUP6 00000f09: MSTORE 00000f0a: SWAP7 00000f0b: DUP5 00000f0c: ADD 00000f0d: DUP13 00000f0e: SWAP1 00000f0f: MSTORE 00000f10: SWAP7 00000f11: DUP4 00000f12: ADD 00000f13: DUP2 00000f14: SWAP1 00000f15: MSTORE 00000f16: SWAP3 00000f17: SWAP1 00000f18: SWAP5 00000f19: AND 00000f1a: PUSH1 0x60 00000f1c: DUP3 00000f1d: ADD 00000f1e: DUP2 00000f1f: SWAP1 00000f20: MSTORE 00000f21: PUSH1 0xa0 00000f23: PUSH1 0x80 00000f25: DUP4 00000f26: ADD 00000f27: DUP2 00000f28: DUP2 00000f29: MSTORE 00000f2a: PUSH1 0x02 00000f2c: SWAP6 00000f2d: DUP7 00000f2e: ADD 00000f2f: DUP1 00000f30: SLOAD 00000f31: SWAP8 00000f32: DUP9 00000f33: AND 00000f34: ISZERO 00000f35: PUSH2 0x0100 00000f38: MUL 00000f39: PUSH1 0x00 00000f3b: NOT 00000f3c: ADD 00000f3d: SWAP1 00000f3e: SWAP8 00000f3f: AND 00000f40: SWAP6 00000f41: SWAP1 00000f42: SWAP6 00000f43: DIV 00000f44: SWAP1 00000f45: DUP4 00000f46: ADD 00000f47: DUP2 00000f48: SWAP1 00000f49: MSTORE 00000f4a: PUSH32 0xe7c957c06e9a662c1a6c77366179f5b702b97651dc28eee7d5bf1dff6e40bb4a 00000f6b: SWAP8 00000f6c: POP 00000f6d: DUP11 00000f6e: SWAP6 00000f6f: SWAP4 00000f70: SWAP5 00000f71: SWAP2 00000f72: SWAP4 00000f73: SWAP3 00000f74: SWAP2 00000f75: SWAP1 00000f76: PUSH1 0xc0 00000f78: DUP4 00000f79: ADD 00000f7a: SWAP1 00000f7b: DUP5 00000f7c: SWAP1 00000f7d: DUP1 00000f7e: ISZERO 00000f7f: PUSH2 0x0fc9 00000f82: JUMPI 00000f83: DUP1 00000f84: PUSH1 0x1f 00000f86: LT 00000f87: PUSH2 0x0f9e 00000f8a: JUMPI 00000f8b: PUSH2 0x0100 00000f8e: DUP1 00000f8f: DUP4 00000f90: SLOAD 00000f91: DIV 00000f92: MUL 00000f93: DUP4 00000f94: MSTORE 00000f95: SWAP2 00000f96: PUSH1 0x20 00000f98: ADD 00000f99: SWAP2 00000f9a: PUSH2 0x0fc9 00000f9d: JUMP 00000f9e: JUMPDEST 00000f9f: DUP3 00000fa0: ADD 00000fa1: SWAP2 00000fa2: SWAP1 00000fa3: PUSH1 0x00 00000fa5: MSTORE 00000fa6: PUSH1 0x20 00000fa8: PUSH1 0x00 00000faa: KECCAK256 00000fab: SWAP1 00000fac: JUMPDEST 00000fad: DUP2 00000fae: SLOAD 00000faf: DUP2 00000fb0: MSTORE 00000fb1: SWAP1 00000fb2: PUSH1 0x01 00000fb4: ADD 00000fb5: SWAP1 00000fb6: PUSH1 0x20 00000fb8: ADD 00000fb9: DUP1 00000fba: DUP4 00000fbb: GT 00000fbc: PUSH2 0x0fac 00000fbf: JUMPI 00000fc0: DUP3 00000fc1: SWAP1 00000fc2: SUB 00000fc3: PUSH1 0x1f 00000fc5: AND 00000fc6: DUP3 00000fc7: ADD 00000fc8: SWAP2 00000fc9: JUMPDEST 00000fca: POP 00000fcb: POP 00000fcc: SWAP7 00000fcd: POP 00000fce: POP 00000fcf: POP 00000fd0: POP 00000fd1: POP 00000fd2: POP 00000fd3: POP 00000fd4: PUSH1 0x40 00000fd6: MLOAD 00000fd7: DUP1 00000fd8: SWAP2 00000fd9: SUB 00000fda: SWAP1 00000fdb: LOG1 00000fdc: PUSH1 0x00 00000fde: DUP4 00000fdf: DUP2 00000fe0: MSTORE 00000fe1: PUSH2 0x010b 00000fe4: PUSH1 0x20 00000fe6: MSTORE 00000fe7: PUSH1 0x40 00000fe9: DUP2 00000fea: KECCAK256 00000feb: DUP1 00000fec: SLOAD 00000fed: PUSH1 0x01 00000fef: PUSH1 0xa0 00000ff1: PUSH1 0x02 00000ff3: EXP 00000ff4: SUB 00000ff5: NOT 00000ff6: AND 00000ff7: DUP2 00000ff8: SSTORE 00000ff9: PUSH1 0x01 00000ffb: DUP2 00000ffc: DUP2 00000ffd: ADD 00000ffe: DUP4 00000fff: SWAP1 00001000: SSTORE 00001001: PUSH1 0x02 00001003: DUP3 00001004: DUP2 00001005: ADD 00001006: DUP1 00001007: SLOAD 00001008: DUP6 00001009: DUP3 0000100a: SSTORE 0000100b: SWAP4 0000100c: SWAP5 0000100d: SWAP4 0000100e: SWAP1 0000100f: SWAP3 00001010: DUP2 00001011: AND 00001012: ISZERO 00001013: PUSH2 0x0100 00001016: MUL 00001017: PUSH1 0x00 00001019: NOT 0000101a: ADD 0000101b: AND 0000101c: DIV 0000101d: PUSH1 0x1f 0000101f: DUP2 00001020: SWAP1 00001021: LT 00001022: PUSH2 0x1034 00001025: JUMPI 00001026: POP 00001027: JUMPDEST 00001028: POP 00001029: POP 0000102a: POP 0000102b: PUSH1 0x01 0000102d: SWAP2 0000102e: POP 0000102f: POP 00001030: PUSH2 0x0209 00001033: JUMP 00001034: JUMPDEST 00001035: PUSH1 0x1f 00001037: ADD 00001038: PUSH1 0x20 0000103a: SWAP1 0000103b: DIV 0000103c: SWAP1 0000103d: PUSH1 0x00 0000103f: MSTORE 00001040: PUSH1 0x20 00001042: PUSH1 0x00 00001044: KECCAK256 00001045: SWAP1 00001046: DUP2 00001047: ADD 00001048: SWAP1 00001049: PUSH2 0x1027 0000104c: SWAP2 0000104d: SWAP1 0000104e: PUSH2 0x0d3b 00001051: JUMP 00001052: JUMPDEST 00001053: PUSH1 0x00 00001055: DUP6 00001056: DUP2 00001057: MSTORE 00001058: PUSH2 0x0103 0000105b: PUSH1 0x20 0000105d: MSTORE 0000105e: PUSH1 0x40 00001060: DUP2 00001061: KECCAK256 00001062: DUP1 00001063: SLOAD 00001064: SWAP1 00001065: SWAP4 00001066: POP 00001067: EQ 00001068: ISZERO 00001069: PUSH2 0x10da 0000106c: JUMPI 0000106d: PUSH1 0x00 0000106f: DUP1 00001070: SLOAD 00001071: DUP4 00001072: SSTORE 00001073: PUSH1 0x01 00001075: DUP4 00001076: DUP2 00001077: ADD 00001078: SWAP2 00001079: SWAP1 0000107a: SWAP2 0000107b: SSTORE 0000107c: PUSH2 0x0104 0000107f: DUP1 00001080: SLOAD 00001081: SWAP2 00001082: DUP3 00001083: ADD 00001084: DUP1 00001085: DUP3 00001086: SSTORE 00001087: DUP3 00001088: DUP1 00001089: ISZERO 0000108a: DUP3 0000108b: SWAP1 0000108c: GT 0000108d: PUSH2 0x10a9 00001090: JUMPI 00001091: DUP2 00001092: DUP4 00001093: PUSH1 0x00 00001095: MSTORE 00001096: PUSH1 0x20 00001098: PUSH1 0x00 0000109a: KECCAK256 0000109b: SWAP2 0000109c: DUP3 0000109d: ADD 0000109e: SWAP2 0000109f: ADD 000010a0: PUSH2 0x10a9 000010a3: SWAP2 000010a4: SWAP1 000010a5: PUSH2 0x0d3b 000010a8: JUMP 000010a9: JUMPDEST 000010aa: POP 000010ab: POP 000010ac: POP 000010ad: PUSH1 0x02 000010af: DUP4 000010b0: ADD 000010b1: DUP2 000010b2: SWAP1 000010b3: SSTORE 000010b4: PUSH2 0x0104 000010b7: DUP1 000010b8: SLOAD 000010b9: DUP8 000010ba: SWAP3 000010bb: SWAP1 000010bc: DUP2 000010bd: LT 000010be: ISZERO 000010bf: PUSH2 0x0002 000010c2: JUMPI 000010c3: PUSH1 0x00 000010c5: SWAP2 000010c6: SWAP1 000010c7: SWAP2 000010c8: MSTORE 000010c9: PUSH1 0x00 000010cb: DUP1 000010cc: MLOAD 000010cd: PUSH1 0x20 000010cf: PUSH2 0x13c4 000010d2: DUP4 000010d3: CODECOPY 000010d4: DUP2 000010d5: MLOAD 000010d6: SWAP2 000010d7: MSTORE 000010d8: ADD 000010d9: SSTORE 000010da: JUMPDEST 000010db: POP 000010dc: PUSH1 0x01 000010de: DUP2 000010df: ADD 000010e0: SLOAD 000010e1: PUSH1 0x02 000010e3: DUP4 000010e4: SWAP1 000010e5: EXP 000010e6: SWAP1 000010e7: DUP2 000010e8: AND 000010e9: PUSH1 0x00 000010eb: EQ 000010ec: ISZERO 000010ed: PUSH2 0x11ab 000010f0: JUMPI 000010f1: PUSH1 0x40 000010f3: DUP1 000010f4: MLOAD 000010f5: CALLER 000010f6: PUSH1 0x01 000010f8: PUSH1 0xa0 000010fa: PUSH1 0x02 000010fc: EXP 000010fd: SUB 000010fe: AND 000010ff: DUP2 00001100: MSTORE 00001101: PUSH1 0x20 00001103: DUP2 00001104: ADD 00001105: DUP8 00001106: SWAP1 00001107: MSTORE 00001108: DUP2 00001109: MLOAD 0000110a: PUSH32 0xe1c52dc63b719ade82e8bea94cc41a0d5d28e4aaf536adb5e9cccc9ff8c1aeda 0000112b: SWAP3 0000112c: SWAP2 0000112d: DUP2 0000112e: SWAP1 0000112f: SUB 00001130: SWAP1 00001131: SWAP2 00001132: ADD 00001133: SWAP1 00001134: LOG1 00001135: DUP2 00001136: SLOAD 00001137: PUSH1 0x01 00001139: SWAP1 0000113a: GT 0000113b: PUSH2 0x1198 0000113e: JUMPI 0000113f: PUSH1 0x00 00001141: DUP6 00001142: DUP2 00001143: MSTORE 00001144: PUSH2 0x0103 00001147: PUSH1 0x20 00001149: MSTORE 0000114a: PUSH1 0x40 0000114c: SWAP1 0000114d: KECCAK256 0000114e: PUSH1 0x02 00001150: ADD 00001151: SLOAD 00001152: PUSH2 0x0104 00001155: DUP1 00001156: SLOAD 00001157: SWAP1 00001158: SWAP2 00001159: SWAP1 0000115a: DUP2 0000115b: LT 0000115c: ISZERO 0000115d: PUSH2 0x0002 00001160: JUMPI 00001161: PUSH1 0x40 00001163: PUSH1 0x00 00001165: SWAP1 00001166: DUP2 00001167: KECCAK256 00001168: PUSH1 0x00 0000116a: DUP1 0000116b: MLOAD 0000116c: PUSH1 0x20 0000116e: PUSH2 0x13c4 00001171: DUP4 00001172: CODECOPY 00001173: DUP2 00001174: MLOAD 00001175: SWAP2 00001176: MSTORE 00001177: SWAP3 00001178: SWAP1 00001179: SWAP3 0000117a: ADD 0000117b: DUP2 0000117c: SWAP1 0000117d: SSTORE 0000117e: DUP1 0000117f: DUP3 00001180: SSTORE 00001181: PUSH1 0x01 00001183: DUP3 00001184: DUP2 00001185: ADD 00001186: DUP3 00001187: SWAP1 00001188: SSTORE 00001189: PUSH1 0x02 0000118b: SWAP3 0000118c: SWAP1 0000118d: SWAP3 0000118e: ADD 0000118f: SSTORE 00001190: SWAP5 00001191: POP 00001192: PUSH2 0x11ab 00001195: SWAP1 00001196: POP 00001197: JUMP 00001198: JUMPDEST 00001199: DUP2 0000119a: SLOAD 0000119b: PUSH1 0x00 0000119d: NOT 0000119e: ADD 0000119f: DUP3 000011a0: SSTORE 000011a1: PUSH1 0x01 000011a3: DUP3 000011a4: ADD 000011a5: DUP1 000011a6: SLOAD 000011a7: DUP3 000011a8: OR 000011a9: SWAP1 000011aa: SSTORE 000011ab: JUMPDEST 000011ac: POP 000011ad: POP 000011ae: POP 000011af: SWAP2 000011b0: SWAP1 000011b1: POP 000011b2: JUMP 000011b3: JUMPDEST 000011b4: JUMPDEST 000011b5: PUSH1 0x01 000011b7: DUP1 000011b8: SLOAD 000011b9: GT 000011ba: DUP1 000011bb: ISZERO 000011bc: PUSH2 0x11d6 000011bf: JUMPI 000011c0: POP 000011c1: PUSH1 0x01 000011c3: SLOAD 000011c4: PUSH1 0x02 000011c6: SWAP1 000011c7: PUSH2 0x0100 000011ca: DUP2 000011cb: LT 000011cc: ISZERO 000011cd: PUSH2 0x0002 000011d0: JUMPI 000011d1: ADD 000011d2: SLOAD 000011d3: PUSH1 0x00 000011d5: EQ 000011d6: JUMPDEST 000011d7: ISZERO 000011d8: PUSH2 0x11ea 000011db: JUMPI 000011dc: PUSH1 0x01 000011de: DUP1 000011df: SLOAD 000011e0: PUSH1 0x00 000011e2: NOT 000011e3: ADD 000011e4: SWAP1 000011e5: SSTORE 000011e6: PUSH2 0x11b4 000011e9: JUMP 000011ea: JUMPDEST 000011eb: PUSH1 0x01 000011ed: SLOAD 000011ee: DUP2 000011ef: LT 000011f0: DUP1 000011f1: ISZERO 000011f2: PUSH2 0x120d 000011f5: JUMPI 000011f6: POP 000011f7: PUSH1 0x01 000011f9: SLOAD 000011fa: PUSH1 0x02 000011fc: SWAP1 000011fd: PUSH2 0x0100 00001200: DUP2 00001201: LT 00001202: ISZERO 00001203: PUSH2 0x0002 00001206: JUMPI 00001207: ADD 00001208: SLOAD 00001209: PUSH1 0x00 0000120b: EQ 0000120c: ISZERO 0000120d: JUMPDEST 0000120e: DUP1 0000120f: ISZERO 00001210: PUSH2 0x1227 00001213: JUMPI 00001214: POP 00001215: PUSH1 0x02 00001217: DUP2 00001218: PUSH2 0x0100 0000121b: DUP2 0000121c: LT 0000121d: ISZERO 0000121e: PUSH2 0x0002 00001221: JUMPI 00001222: ADD 00001223: SLOAD 00001224: PUSH1 0x00 00001226: EQ 00001227: JUMPDEST 00001228: ISZERO 00001229: PUSH2 0x1288 0000122c: JUMPI 0000122d: PUSH1 0x01 0000122f: SLOAD 00001230: PUSH1 0x02 00001232: SWAP1 00001233: PUSH2 0x0100 00001236: DUP2 00001237: LT 00001238: ISZERO 00001239: PUSH2 0x0002 0000123c: JUMPI 0000123d: DUP2 0000123e: ADD 0000123f: SLOAD 00001240: SWAP1 00001241: DUP3 00001242: PUSH2 0x0100 00001245: DUP2 00001246: LT 00001247: ISZERO 00001248: PUSH2 0x0002 0000124b: JUMPI 0000124c: SWAP1 0000124d: SWAP1 0000124e: ADD 0000124f: PUSH1 0x00 00001251: POP 00001252: SSTORE 00001253: DUP1 00001254: PUSH2 0x0102 00001257: PUSH1 0x00 00001259: PUSH1 0x02 0000125b: DUP4 0000125c: PUSH2 0x0100 0000125f: DUP2 00001260: LT 00001261: ISZERO 00001262: PUSH2 0x0002 00001265: JUMPI 00001266: DUP2 00001267: ADD 00001268: SLOAD 00001269: DUP3 0000126a: MSTORE 0000126b: PUSH1 0x20 0000126d: SWAP3 0000126e: SWAP1 0000126f: SWAP3 00001270: MSTORE 00001271: PUSH1 0x40 00001273: DUP2 00001274: KECCAK256 00001275: SWAP3 00001276: SWAP1 00001277: SWAP3 00001278: SSTORE 00001279: PUSH1 0x01 0000127b: SLOAD 0000127c: PUSH2 0x0100 0000127f: DUP2 00001280: LT 00001281: ISZERO 00001282: PUSH2 0x0002 00001285: JUMPI 00001286: ADD 00001287: SSTORE 00001288: JUMPDEST 00001289: PUSH2 0x0973 0000128c: JUMP 0000128d: JUMPDEST 0000128e: ISZERO 0000128f: PUSH2 0x0209 00001292: JUMPI 00001293: PUSH2 0x0107 00001296: SLOAD 00001297: PUSH2 0x12a3 0000129a: JUMPDEST 0000129b: PUSH3 0x015180 0000129f: TIMESTAMP 000012a0: DIV 000012a1: SWAP1 000012a2: JUMP 000012a3: JUMPDEST 000012a4: GT 000012a5: ISZERO 000012a6: PUSH2 0x12bc 000012a9: JUMPI 000012aa: PUSH1 0x00 000012ac: PUSH2 0x0106 000012af: SSTORE 000012b0: PUSH2 0x12b7 000012b3: PUSH2 0x129a 000012b6: JUMP 000012b7: JUMPDEST 000012b8: PUSH2 0x0107 000012bb: SSTORE 000012bc: JUMPDEST 000012bd: PUSH2 0x0106 000012c0: SLOAD 000012c1: DUP1 000012c2: DUP4 000012c3: ADD 000012c4: LT 000012c5: DUP1 000012c6: ISZERO 000012c7: SWAP1 000012c8: PUSH2 0x12d9 000012cb: JUMPI 000012cc: POP 000012cd: PUSH2 0x0105 000012d0: SLOAD 000012d1: PUSH2 0x0106 000012d4: SLOAD 000012d5: DUP4 000012d6: ADD 000012d7: GT 000012d8: ISZERO 000012d9: JUMPDEST 000012da: ISZERO 000012db: PUSH2 0x12ef 000012de: JUMPI 000012df: POP 000012e0: PUSH2 0x0106 000012e3: DUP1 000012e4: SLOAD 000012e5: DUP3 000012e6: ADD 000012e7: SWAP1 000012e8: SSTORE 000012e9: PUSH1 0x01 000012eb: PUSH2 0x0209 000012ee: JUMP 000012ef: JUMPDEST 000012f0: POP 000012f1: PUSH1 0x00 000012f3: PUSH2 0x0209 000012f6: JUMP 000012f7: JUMPDEST 000012f8: PUSH2 0x0931 000012fb: PUSH2 0x0104 000012fe: SLOAD 000012ff: PUSH1 0x00 00001301: JUMPDEST 00001302: DUP2 00001303: DUP2 00001304: LT 00001305: ISZERO 00001306: PUSH2 0x139a 00001309: JUMPI 0000130a: PUSH2 0x0104 0000130d: DUP1 0000130e: SLOAD 0000130f: DUP3 00001310: SWAP1 00001311: DUP2 00001312: LT 00001313: ISZERO 00001314: PUSH2 0x0002 00001317: JUMPI 00001318: PUSH1 0x00 0000131a: SWAP2 0000131b: DUP3 0000131c: MSTORE 0000131d: PUSH1 0x00 0000131f: DUP1 00001320: MLOAD 00001321: PUSH1 0x20 00001323: PUSH2 0x13c4 00001326: DUP4 00001327: CODECOPY 00001328: DUP2 00001329: MLOAD 0000132a: SWAP2 0000132b: MSTORE 0000132c: ADD 0000132d: SLOAD 0000132e: EQ 0000132f: PUSH2 0x1374 00001332: JUMPI 00001333: PUSH2 0x0104 00001336: DUP1 00001337: SLOAD 00001338: PUSH2 0x0103 0000133b: SWAP2 0000133c: PUSH1 0x00 0000133e: SWAP2 0000133f: DUP5 00001340: SWAP1 00001341: DUP2 00001342: LT 00001343: ISZERO 00001344: PUSH2 0x0002 00001347: JUMPI 00001348: PUSH1 0x00 0000134a: DUP1 0000134b: MLOAD 0000134c: PUSH1 0x20 0000134e: PUSH2 0x13c4 00001351: DUP4 00001352: CODECOPY 00001353: DUP2 00001354: MLOAD 00001355: SWAP2 00001356: MSTORE 00001357: ADD 00001358: SLOAD 00001359: DUP3 0000135a: MSTORE 0000135b: POP 0000135c: PUSH1 0x20 0000135e: SWAP2 0000135f: SWAP1 00001360: SWAP2 00001361: MSTORE 00001362: PUSH1 0x40 00001364: DUP2 00001365: KECCAK256 00001366: DUP2 00001367: DUP2 00001368: SSTORE 00001369: PUSH1 0x01 0000136b: DUP2 0000136c: ADD 0000136d: DUP3 0000136e: SWAP1 0000136f: SSTORE 00001370: PUSH1 0x02 00001372: ADD 00001373: SSTORE 00001374: JUMPDEST 00001375: PUSH1 0x01 00001377: ADD 00001378: PUSH2 0x1301 0000137b: JUMP 0000137c: JUMPDEST 0000137d: PUSH1 0x1f 0000137f: ADD 00001380: PUSH1 0x20 00001382: SWAP1 00001383: DIV 00001384: SWAP1 00001385: PUSH1 0x00 00001387: MSTORE 00001388: PUSH1 0x20 0000138a: PUSH1 0x00 0000138c: KECCAK256 0000138d: SWAP1 0000138e: DUP2 0000138f: ADD 00001390: SWAP1 00001391: PUSH2 0x0899 00001394: SWAP2 00001395: SWAP1 00001396: PUSH2 0x0d3b 00001399: JUMP 0000139a: JUMPDEST 0000139b: PUSH2 0x0104 0000139e: DUP1 0000139f: SLOAD 000013a0: PUSH1 0x00 000013a2: DUP1 000013a3: DUP4 000013a4: SSTORE 000013a5: SWAP2 000013a6: SWAP1 000013a7: SWAP2 000013a8: MSTORE 000013a9: PUSH2 0x07cf 000013ac: SWAP1 000013ad: PUSH1 0x00 000013af: DUP1 000013b0: MLOAD 000013b1: PUSH1 0x20 000013b3: PUSH2 0x13c4 000013b6: DUP4 000013b7: CODECOPY 000013b8: DUP2 000013b9: MLOAD 000013ba: SWAP2 000013bb: MSTORE 000013bc: SWAP1 000013bd: DUP2 000013be: ADD 000013bf: SWAP1 000013c0: PUSH2 0x0d3b 000013c3: JUMP 000013c4: UNKNOWN(0x4C) 000013c5: SIGNEXTEND 000013c6: UNKNOWN(0xE6) 000013c7: MUL 000013c8: STOP 000013c9: STATICCALL 000013ca: LOG2 000013cb: SDIV 000013cc: MSIZE 000013cd: ADDRESS 000013ce: DUP13 000013cf: UNKNOWN(0xB7) 000013d0: UNKNOWN(0xB5) 000013d1: LOG1 000013d2: UNKNOWN(0xBB) 000013d3: ORIGIN 000013d4: SSTORE 000013d5: UNKNOWN(0xC1) 000013d6: PUSH13 0xb1cab91f525b5ae7a03d02fabe
| 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": "0x173825d9",
"selector": "0x173825d9",
"calldata_variants": [
"0x173825d9",
"0x173825d90000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x2f54bf6e",
"selector": "0x2f54bf6e",
"calldata_variants": [
"0x2f54bf6e",
"0x2f54bf6e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x4123cb6b",
"selector": "0x4123cb6b",
"calldata_variants": [
"0x4123cb6b",
"0x4123cb6b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x4534e5f6",
"selector": "0x4534e5f6",
"calldata_variants": [
"0x4534e5f6",
"0x4534e5f60000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x458e8a0a",
"selector": "0x458e8a0a",
"calldata_variants": [
"0x458e8a0a",
"0x458e8a0a0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x5c52c2f5",
"selector": "0x5c52c2f5",
"calldata_variants": [
"0x5c52c2f5",
"0x5c52c2f50000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x632a9a52",
"selector": "0x632a9a52",
"calldata_variants": [
"0x632a9a52",
"0x632a9a520000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x7065cb48",
"selector": "0x7065cb48",
"calldata_variants": [
"0x7065cb48",
"0x7065cb480000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"guards_detected": [
{
"pc": 5075,
"type": "tx_origin_used"
}
]
}
|
| medium | other | detector | ETH value transfer possible | 40 | no | no |
viewtrace_id: 0x94d0b8dbe7bd7c18e597b5b5f2a1229e635f16e542c2ee1738b3d6013d1f71c2
call_targets:
0x0fe611f0ccf3b0da12e575a89072201c1832f413
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x94d0b8dbe7bd7c18e597b5b5f2a1229e635f16e542c2ee1738b3d6013d1f71c2",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x0fe611f0ccf3b0da12e575a89072201c1832f413"
],
"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": "0x173825d9",
"selector": "0x173825d9",
"calldata_variants": [
"0x173825d9",
"0x173825d90000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x2f54bf6e",
"selector": "0x2f54bf6e",
"calldata_variants": [
"0x2f54bf6e",
"0x2f54bf6e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x4123cb6b",
"selector": "0x4123cb6b",
"calldata_variants": [
"0x4123cb6b",
"0x4123cb6b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x4534e5f6",
"selector": "0x4534e5f6",
"calldata_variants": [
"0x4534e5f6",
"0x4534e5f60000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x458e8a0a",
"selector": "0x458e8a0a",
"calldata_variants": [
"0x458e8a0a",
"0x458e8a0a0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x5c52c2f5",
"selector": "0x5c52c2f5",
"calldata_variants": [
"0x5c52c2f5",
"0x5c52c2f50000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x632a9a52",
"selector": "0x632a9a52",
"calldata_variants": [
"0x632a9a52",
"0x632a9a520000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x7065cb48",
"selector": "0x7065cb48",
"calldata_variants": [
"0x7065cb48",
"0x7065cb480000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 388,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 707,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1184,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 10,
"guards_detected": [
{
"pc": 5075,
"type": "tx_origin_used"
}
]
}
|
| medium | other | detector | Untrusted CALL target/value reachable | 45 | no | no |
viewtrace_id: 0x94d0b8dbe7bd7c18e597b5b5f2a1229e635f16e542c2ee1738b3d6013d1f71c2
call_targets:
0x0fe611f0ccf3b0da12e575a89072201c1832f413
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x94d0b8dbe7bd7c18e597b5b5f2a1229e635f16e542c2ee1738b3d6013d1f71c2",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x0fe611f0ccf3b0da12e575a89072201c1832f413"
],
"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": "0x173825d9",
"selector": "0x173825d9",
"calldata_variants": [
"0x173825d9",
"0x173825d90000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x2f54bf6e",
"selector": "0x2f54bf6e",
"calldata_variants": [
"0x2f54bf6e",
"0x2f54bf6e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x4123cb6b",
"selector": "0x4123cb6b",
"calldata_variants": [
"0x4123cb6b",
"0x4123cb6b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x4534e5f6",
"selector": "0x4534e5f6",
"calldata_variants": [
"0x4534e5f6",
"0x4534e5f60000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x458e8a0a",
"selector": "0x458e8a0a",
"calldata_variants": [
"0x458e8a0a",
"0x458e8a0a0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x5c52c2f5",
"selector": "0x5c52c2f5",
"calldata_variants": [
"0x5c52c2f5",
"0x5c52c2f50000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x632a9a52",
"selector": "0x632a9a52",
"calldata_variants": [
"0x632a9a52",
"0x632a9a520000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x7065cb48",
"selector": "0x7065cb48",
"calldata_variants": [
"0x7065cb48",
"0x7065cb480000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 388,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 707,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1184,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 10,
"guards_detected": [
{
"pc": 5075,
"type": "tx_origin_used"
}
],
"untrusted_call_count": 10
}
|
| medium | other | detector | SELFDESTRUCT reachable | 45 | no | no |
viewtrace_id: 0x15e94a53e125df77e4622b82ae1c9f6957910d0714bfe75b78d71c5ad0e4efcf
validation_json{
"sink": "SELFDESTRUCT",
"errors": 0,
"status": "unknown",
"attempts": 32,
"trace_id": "0x15e94a53e125df77e4622b82ae1c9f6957910d0714bfe75b78d71c5ad0e4efcf",
"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": "0x173825d9",
"selector": "0x173825d9",
"calldata_variants": [
"0x173825d9",
"0x173825d90000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x2f54bf6e",
"selector": "0x2f54bf6e",
"calldata_variants": [
"0x2f54bf6e",
"0x2f54bf6e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x4123cb6b",
"selector": "0x4123cb6b",
"calldata_variants": [
"0x4123cb6b",
"0x4123cb6b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x4534e5f6",
"selector": "0x4534e5f6",
"calldata_variants": [
"0x4534e5f6",
"0x4534e5f60000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x458e8a0a",
"selector": "0x458e8a0a",
"calldata_variants": [
"0x458e8a0a",
"0x458e8a0a0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x5c52c2f5",
"selector": "0x5c52c2f5",
"calldata_variants": [
"0x5c52c2f5",
"0x5c52c2f50000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x632a9a52",
"selector": "0x632a9a52",
"calldata_variants": [
"0x632a9a52",
"0x632a9a520000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x7065cb48",
"selector": "0x7065cb48",
"calldata_variants": [
"0x7065cb48",
"0x7065cb480000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"guards_detected": [
{
"pc": 5075,
"type": "tx_origin_used"
}
],
"selfdestruct_count": 1
}
|