019b3836-4ca8-729f-ad23-eeace6417c66
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 |
|---|---|---|---|---|
| 7091 | artifact.fetch | complete | 1 / 3 | 4 months ago |
| 7092 | tool.cast_disasm | complete | 1 / 3 | 4 months ago |
| 50516 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 50517 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 50518 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 50519 | 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 0x00fb 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 0x0163 0000001e: JUMPI 0000001f: DUP1 00000020: PUSH4 0x2f54bf6e 00000025: EQ 00000026: PUSH2 0x01b7 00000029: JUMPI 0000002a: DUP1 0000002b: PUSH4 0x4123cb6b 00000030: EQ 00000031: PUSH2 0x01de 00000034: JUMPI 00000035: DUP1 00000036: PUSH4 0x4534e5f6 0000003b: EQ 0000003c: PUSH2 0x01e7 0000003f: JUMPI 00000040: DUP1 00000041: PUSH4 0x458e8a0a 00000046: EQ 00000047: PUSH2 0x01f4 0000004a: JUMPI 0000004b: DUP1 0000004c: PUSH4 0x5c52c2f5 00000051: EQ 00000052: PUSH2 0x01fe 00000055: JUMPI 00000056: DUP1 00000057: PUSH4 0x632a9a52 0000005c: EQ 0000005d: PUSH2 0x0228 00000060: JUMPI 00000061: DUP1 00000062: PUSH4 0x7065cb48 00000067: EQ 00000068: PUSH2 0x029e 0000006b: JUMPI 0000006c: DUP1 0000006d: PUSH4 0x746c9171 00000072: EQ 00000073: PUSH2 0x02cb 00000076: JUMPI 00000077: DUP1 00000078: PUSH4 0x797af627 0000007d: EQ 0000007e: PUSH2 0x02d4 00000081: JUMPI 00000082: DUP1 00000083: PUSH4 0xb20d30a9 00000088: EQ 00000089: PUSH2 0x02e7 0000008c: JUMPI 0000008d: DUP1 0000008e: PUSH4 0xb61d27f6 00000093: EQ 00000094: PUSH2 0x0314 00000097: JUMPI 00000098: DUP1 00000099: PUSH4 0xb75c7dc6 0000009e: EQ 0000009f: PUSH2 0x0335 000000a2: JUMPI 000000a3: DUP1 000000a4: PUSH4 0xba51a6df 000000a9: EQ 000000aa: PUSH2 0x0364 000000ad: JUMPI 000000ae: DUP1 000000af: PUSH4 0xc2cf7326 000000b4: EQ 000000b5: PUSH2 0x0391 000000b8: JUMPI 000000b9: DUP1 000000ba: PUSH4 0xcadbb5af 000000bf: EQ 000000c0: PUSH2 0x03cf 000000c3: JUMPI 000000c4: DUP1 000000c5: PUSH4 0xcbf0b0c0 000000ca: EQ 000000cb: PUSH2 0x0464 000000ce: JUMPI 000000cf: DUP1 000000d0: PUSH4 0xdd287692 000000d5: EQ 000000d6: PUSH2 0x0491 000000d9: JUMPI 000000da: DUP1 000000db: PUSH4 0xf00d4b5d 000000e0: EQ 000000e1: PUSH2 0x04a4 000000e4: JUMPI 000000e5: DUP1 000000e6: PUSH4 0xf1736d86 000000eb: EQ 000000ec: PUSH2 0x04d6 000000ef: JUMPI 000000f0: DUP1 000000f1: PUSH4 0xf3fef3a3 000000f6: EQ 000000f7: PUSH2 0x04e0 000000fa: JUMPI 000000fb: JUMPDEST 000000fc: PUSH2 0x0108 000000ff: SLOAD 00000100: PUSH2 0x0109 00000103: SLOAD 00000104: PUSH2 0x0514 00000107: SWAP2 00000108: PUSH1 0x01 0000010a: PUSH1 0xa0 0000010c: PUSH1 0x02 0000010e: EXP 0000010f: SUB 00000110: AND 00000111: SWAP1 00000112: PUSH1 0x14 00000114: SWAP1 00000115: GT 00000116: PUSH2 0x0516 00000119: JUMPI 0000011a: DUP1 0000011b: PUSH1 0x01 0000011d: PUSH1 0xa0 0000011f: PUSH1 0x02 00000121: EXP 00000122: SUB 00000123: AND 00000124: PUSH4 0xcc9ae3f6 00000129: PUSH1 0x40 0000012b: MLOAD 0000012c: DUP2 0000012d: PUSH1 0xe0 0000012f: PUSH1 0x02 00000131: EXP 00000132: MUL 00000133: DUP2 00000134: MSTORE 00000135: PUSH1 0x04 00000137: ADD 00000138: DUP1 00000139: SWAP1 0000013a: POP 0000013b: PUSH1 0x20 0000013d: PUSH1 0x40 0000013f: MLOAD 00000140: DUP1 00000141: DUP4 00000142: SUB 00000143: DUP2 00000144: PUSH1 0x00 00000146: DUP8 00000147: PUSH2 0x61da 0000014a: GAS 0000014b: SUB 0000014c: CALL 0000014d: ISZERO 0000014e: PUSH2 0x0002 00000151: JUMPI 00000152: POP 00000153: POP 00000154: PUSH2 0x0109 00000157: DUP1 00000158: SLOAD 00000159: PUSH1 0x01 0000015b: ADD 0000015c: SWAP1 0000015d: SSTORE 0000015e: POP 0000015f: PUSH2 0x05dd 00000162: JUMP 00000163: JUMPDEST 00000164: PUSH2 0x0514 00000167: PUSH1 0x04 00000169: CALLDATALOAD 0000016a: PUSH1 0x00 0000016c: PUSH1 0x00 0000016e: CALLDATASIZE 0000016f: PUSH1 0x40 00000171: MLOAD 00000172: DUP1 00000173: DUP4 00000174: DUP4 00000175: DUP1 00000176: DUP3 00000177: DUP5 00000178: CALLDATACOPY 00000179: DUP3 0000017a: ADD 0000017b: SWAP2 0000017c: POP 0000017d: POP 0000017e: SWAP3 0000017f: POP 00000180: POP 00000181: POP 00000182: PUSH1 0x40 00000184: MLOAD 00000185: DUP1 00000186: SWAP2 00000187: SUB 00000188: SWAP1 00000189: KECCAK256 0000018a: PUSH2 0x0e38 0000018d: DUP2 0000018e: JUMPDEST 0000018f: CALLER 00000190: PUSH1 0x01 00000192: PUSH1 0xa0 00000194: PUSH1 0x02 00000196: EXP 00000197: SUB 00000198: AND 00000199: PUSH1 0x00 0000019b: SWAP1 0000019c: DUP2 0000019d: MSTORE 0000019e: PUSH2 0x0102 000001a1: PUSH1 0x20 000001a3: MSTORE 000001a4: PUSH1 0x40 000001a6: DUP2 000001a7: KECCAK256 000001a8: SLOAD 000001a9: DUP2 000001aa: DUP1 000001ab: DUP3 000001ac: DUP2 000001ad: EQ 000001ae: ISZERO 000001af: PUSH2 0x102a 000001b2: JUMPI 000001b3: PUSH2 0x1183 000001b6: JUMP 000001b7: JUMPDEST 000001b8: PUSH2 0x05e0 000001bb: PUSH1 0x04 000001bd: CALLDATALOAD 000001be: JUMPDEST 000001bf: PUSH1 0x01 000001c1: PUSH1 0xa0 000001c3: PUSH1 0x02 000001c5: EXP 000001c6: SUB 000001c7: DUP2 000001c8: AND 000001c9: PUSH1 0x00 000001cb: SWAP1 000001cc: DUP2 000001cd: MSTORE 000001ce: PUSH2 0x0102 000001d1: PUSH1 0x20 000001d3: MSTORE 000001d4: PUSH1 0x40 000001d6: DUP2 000001d7: KECCAK256 000001d8: SLOAD 000001d9: GT 000001da: PUSH2 0x0919 000001dd: JUMP 000001de: JUMPDEST 000001df: PUSH2 0x05e0 000001e2: PUSH1 0x01 000001e4: SLOAD 000001e5: DUP2 000001e6: JUMP 000001e7: JUMPDEST 000001e8: PUSH2 0x05e0 000001eb: PUSH2 0x010a 000001ee: SLOAD 000001ef: PUSH1 0xff 000001f1: AND 000001f2: DUP2 000001f3: JUMP 000001f4: JUMPDEST 000001f5: PUSH2 0x05e0 000001f8: PUSH2 0x0109 000001fb: SLOAD 000001fc: DUP2 000001fd: JUMP 000001fe: JUMPDEST 000001ff: PUSH2 0x0514 00000202: PUSH1 0x00 00000204: CALLDATASIZE 00000205: PUSH1 0x40 00000207: MLOAD 00000208: DUP1 00000209: DUP4 0000020a: DUP4 0000020b: DUP1 0000020c: DUP3 0000020d: DUP5 0000020e: CALLDATACOPY 0000020f: DUP3 00000210: ADD 00000211: SWAP2 00000212: POP 00000213: POP 00000214: SWAP3 00000215: POP 00000216: POP 00000217: POP 00000218: PUSH1 0x40 0000021a: MLOAD 0000021b: DUP1 0000021c: SWAP2 0000021d: SUB 0000021e: SWAP1 0000021f: KECCAK256 00000220: PUSH2 0x0f79 00000223: DUP2 00000224: PUSH2 0x018e 00000227: JUMP 00000228: JUMPDEST 00000229: PUSH1 0x40 0000022b: DUP1 0000022c: MLOAD 0000022d: PUSH2 0x0108 00000230: SLOAD 00000231: PUSH32 0xc9d27afe00000000000000000000000000000000000000000000000000000000 00000252: DUP3 00000253: MSTORE 00000254: PUSH1 0x5e 00000256: PUSH1 0x04 00000258: DUP4 00000259: ADD 0000025a: MSTORE 0000025b: PUSH1 0x01 0000025d: PUSH1 0x24 0000025f: DUP4 00000260: ADD 00000261: MSTORE 00000262: SWAP2 00000263: MLOAD 00000264: PUSH2 0x0514 00000267: SWAP3 00000268: PUSH1 0x01 0000026a: PUSH1 0xa0 0000026c: PUSH1 0x02 0000026e: EXP 0000026f: SUB 00000270: AND 00000271: SWAP2 00000272: DUP3 00000273: SWAP2 00000274: PUSH4 0xc9d27afe 00000279: SWAP2 0000027a: PUSH1 0x44 0000027c: DUP2 0000027d: DUP2 0000027e: ADD 0000027f: SWAP3 00000280: PUSH1 0x20 00000282: SWAP3 00000283: SWAP1 00000284: SWAP2 00000285: SWAP1 00000286: DUP3 00000287: SWAP1 00000288: SUB 00000289: ADD 0000028a: DUP2 0000028b: PUSH1 0x00 0000028d: DUP8 0000028e: PUSH2 0x61da 00000291: GAS 00000292: SUB 00000293: CALL 00000294: ISZERO 00000295: PUSH2 0x0002 00000298: JUMPI 00000299: POP 0000029a: POP 0000029b: POP 0000029c: POP 0000029d: JUMP 0000029e: JUMPDEST 0000029f: PUSH2 0x0514 000002a2: PUSH1 0x04 000002a4: CALLDATALOAD 000002a5: PUSH1 0x00 000002a7: CALLDATASIZE 000002a8: PUSH1 0x40 000002aa: MLOAD 000002ab: DUP1 000002ac: DUP4 000002ad: DUP4 000002ae: DUP1 000002af: DUP3 000002b0: DUP5 000002b1: CALLDATACOPY 000002b2: DUP3 000002b3: ADD 000002b4: SWAP2 000002b5: POP 000002b6: POP 000002b7: SWAP3 000002b8: POP 000002b9: POP 000002ba: POP 000002bb: PUSH1 0x40 000002bd: MLOAD 000002be: DUP1 000002bf: SWAP2 000002c0: SUB 000002c1: SWAP1 000002c2: KECCAK256 000002c3: PUSH2 0x0d32 000002c6: DUP2 000002c7: PUSH2 0x018e 000002ca: JUMP 000002cb: JUMPDEST 000002cc: PUSH2 0x05e0 000002cf: PUSH1 0x00 000002d1: SLOAD 000002d2: DUP2 000002d3: JUMP 000002d4: JUMPDEST 000002d5: PUSH2 0x05e0 000002d8: PUSH1 0x04 000002da: CALLDATALOAD 000002db: JUMPDEST 000002dc: PUSH1 0x00 000002de: DUP2 000002df: PUSH2 0x091e 000002e2: DUP2 000002e3: PUSH2 0x018e 000002e6: JUMP 000002e7: JUMPDEST 000002e8: PUSH2 0x0514 000002eb: PUSH1 0x04 000002ed: CALLDATALOAD 000002ee: PUSH1 0x00 000002f0: CALLDATASIZE 000002f1: PUSH1 0x40 000002f3: MLOAD 000002f4: DUP1 000002f5: DUP4 000002f6: DUP4 000002f7: DUP1 000002f8: DUP3 000002f9: DUP5 000002fa: CALLDATACOPY 000002fb: DUP3 000002fc: ADD 000002fd: SWAP2 000002fe: POP 000002ff: POP 00000300: SWAP3 00000301: POP 00000302: POP 00000303: POP 00000304: PUSH1 0x40 00000306: MLOAD 00000307: DUP1 00000308: SWAP2 00000309: SUB 0000030a: SWAP1 0000030b: KECCAK256 0000030c: PUSH2 0x0f6d 0000030f: DUP2 00000310: PUSH2 0x018e 00000313: JUMP 00000314: JUMPDEST 00000315: PUSH2 0x05e0 00000318: PUSH1 0x04 0000031a: DUP1 0000031b: CALLDATALOAD 0000031c: SWAP1 0000031d: PUSH1 0x24 0000031f: DUP1 00000320: CALLDATALOAD 00000321: SWAP2 00000322: PUSH1 0x44 00000324: CALLDATALOAD 00000325: SWAP2 00000326: DUP3 00000327: ADD 00000328: SWAP2 00000329: ADD 0000032a: CALLDATALOAD 0000032b: PUSH1 0x00 0000032d: PUSH2 0x069a 00000330: CALLER 00000331: PUSH2 0x01be 00000334: JUMP 00000335: JUMPDEST 00000336: PUSH2 0x0514 00000339: PUSH1 0x04 0000033b: CALLDATALOAD 0000033c: CALLER 0000033d: PUSH1 0x01 0000033f: PUSH1 0xa0 00000341: PUSH1 0x02 00000343: EXP 00000344: SUB 00000345: AND 00000346: PUSH1 0x00 00000348: SWAP1 00000349: DUP2 0000034a: MSTORE 0000034b: PUSH2 0x0102 0000034e: PUSH1 0x20 00000350: MSTORE 00000351: PUSH1 0x40 00000353: DUP2 00000354: KECCAK256 00000355: SLOAD 00000356: SWAP1 00000357: DUP1 00000358: DUP3 00000359: DUP2 0000035a: EQ 0000035b: ISZERO 0000035c: PUSH2 0x0b59 0000035f: JUMPI 00000360: PUSH2 0x0bd8 00000363: JUMP 00000364: JUMPDEST 00000365: PUSH2 0x0514 00000368: PUSH1 0x04 0000036a: CALLDATALOAD 0000036b: PUSH1 0x00 0000036d: CALLDATASIZE 0000036e: PUSH1 0x40 00000370: MLOAD 00000371: DUP1 00000372: DUP4 00000373: DUP4 00000374: DUP1 00000375: DUP3 00000376: DUP5 00000377: CALLDATACOPY 00000378: DUP3 00000379: ADD 0000037a: SWAP2 0000037b: POP 0000037c: POP 0000037d: SWAP3 0000037e: POP 0000037f: POP 00000380: POP 00000381: PUSH1 0x40 00000383: MLOAD 00000384: DUP1 00000385: SWAP2 00000386: SUB 00000387: SWAP1 00000388: KECCAK256 00000389: PUSH2 0x0ef6 0000038c: DUP2 0000038d: PUSH2 0x018e 00000390: JUMP 00000391: JUMPDEST 00000392: PUSH2 0x05e0 00000395: PUSH1 0x04 00000397: CALLDATALOAD 00000398: PUSH1 0x24 0000039a: CALLDATALOAD 0000039b: PUSH1 0x00 0000039d: DUP3 0000039e: DUP2 0000039f: MSTORE 000003a0: PUSH2 0x0103 000003a3: PUSH1 0x20 000003a5: SWAP1 000003a6: DUP2 000003a7: MSTORE 000003a8: PUSH1 0x40 000003aa: DUP1 000003ab: DUP4 000003ac: KECCAK256 000003ad: PUSH1 0x01 000003af: PUSH1 0xa0 000003b1: PUSH1 0x02 000003b3: EXP 000003b4: SUB 000003b5: DUP6 000003b6: AND 000003b7: DUP5 000003b8: MSTORE 000003b9: PUSH2 0x0102 000003bc: SWAP1 000003bd: SWAP3 000003be: MSTORE 000003bf: DUP3 000003c0: KECCAK256 000003c1: SLOAD 000003c2: DUP3 000003c3: DUP2 000003c4: DUP2 000003c5: EQ 000003c6: ISZERO 000003c7: PUSH2 0x0f4f 000003ca: JUMPI 000003cb: PUSH2 0x0f64 000003ce: JUMP 000003cf: JUMPDEST 000003d0: PUSH2 0x0514 000003d3: PUSH1 0x04 000003d5: CALLDATALOAD 000003d6: PUSH2 0x0108 000003d9: SLOAD 000003da: PUSH2 0x0109 000003dd: DUP3 000003de: SWAP1 000003df: SSTORE 000003e0: PUSH1 0x40 000003e2: DUP1 000003e3: MLOAD 000003e4: PUSH32 0x82661dc400000000000000000000000000000000000000000000000000000000 00000405: DUP2 00000406: MSTORE 00000407: PUSH1 0x5e 00000409: PUSH1 0x04 0000040b: DUP3 0000040c: ADD 0000040d: MSTORE 0000040e: PUSH20 0x55d1554b08a5311c5c0a0b6464162192f9d2f884 00000423: PUSH1 0x24 00000425: DUP3 00000426: ADD 00000427: MSTORE 00000428: SWAP1 00000429: MLOAD 0000042a: PUSH1 0x01 0000042c: PUSH1 0xa0 0000042e: PUSH1 0x02 00000430: EXP 00000431: SUB 00000432: SWAP3 00000433: SWAP1 00000434: SWAP3 00000435: AND 00000436: SWAP2 00000437: DUP3 00000438: SWAP2 00000439: PUSH4 0x82661dc4 0000043e: SWAP2 0000043f: PUSH1 0x44 00000441: DUP3 00000442: DUP2 00000443: ADD 00000444: SWAP3 00000445: PUSH1 0x20 00000447: SWAP3 00000448: SWAP2 00000449: SWAP1 0000044a: DUP3 0000044b: SWAP1 0000044c: SUB 0000044d: ADD 0000044e: DUP2 0000044f: PUSH1 0x00 00000451: DUP8 00000452: PUSH2 0x61da 00000455: GAS 00000456: SUB 00000457: CALL 00000458: ISZERO 00000459: PUSH2 0x0002 0000045c: JUMPI 0000045d: POP 0000045e: POP 0000045f: POP 00000460: JUMPDEST 00000461: POP 00000462: POP 00000463: JUMP 00000464: JUMPDEST 00000465: PUSH2 0x0514 00000468: PUSH1 0x04 0000046a: CALLDATALOAD 0000046b: PUSH1 0x00 0000046d: CALLDATASIZE 0000046e: PUSH1 0x40 00000470: MLOAD 00000471: DUP1 00000472: DUP4 00000473: DUP4 00000474: DUP1 00000475: DUP3 00000476: DUP5 00000477: CALLDATACOPY 00000478: DUP3 00000479: ADD 0000047a: SWAP2 0000047b: POP 0000047c: POP 0000047d: SWAP3 0000047e: POP 0000047f: POP 00000480: POP 00000481: PUSH1 0x40 00000483: MLOAD 00000484: DUP1 00000485: SWAP2 00000486: SUB 00000487: SWAP1 00000488: KECCAK256 00000489: PUSH2 0x0689 0000048c: DUP2 0000048d: PUSH2 0x018e 00000490: JUMP 00000491: JUMPDEST 00000492: PUSH2 0x05f2 00000495: PUSH2 0x0108 00000498: SLOAD 00000499: PUSH1 0x01 0000049b: PUSH1 0xa0 0000049d: PUSH1 0x02 0000049f: EXP 000004a0: SUB 000004a1: AND 000004a2: DUP2 000004a3: JUMP 000004a4: JUMPDEST 000004a5: PUSH2 0x0514 000004a8: PUSH1 0x04 000004aa: CALLDATALOAD 000004ab: PUSH1 0x24 000004ad: CALLDATALOAD 000004ae: PUSH1 0x00 000004b0: PUSH1 0x00 000004b2: CALLDATASIZE 000004b3: PUSH1 0x40 000004b5: MLOAD 000004b6: DUP1 000004b7: DUP4 000004b8: DUP4 000004b9: DUP1 000004ba: DUP3 000004bb: DUP5 000004bc: CALLDATACOPY 000004bd: DUP3 000004be: ADD 000004bf: SWAP2 000004c0: POP 000004c1: POP 000004c2: SWAP3 000004c3: POP 000004c4: POP 000004c5: POP 000004c6: PUSH1 0x40 000004c8: MLOAD 000004c9: DUP1 000004ca: SWAP2 000004cb: SUB 000004cc: SWAP1 000004cd: KECCAK256 000004ce: PUSH2 0x0bde 000004d1: DUP2 000004d2: PUSH2 0x018e 000004d5: JUMP 000004d6: JUMPDEST 000004d7: PUSH2 0x05e0 000004da: PUSH2 0x0105 000004dd: SLOAD 000004de: DUP2 000004df: JUMP 000004e0: JUMPDEST 000004e1: PUSH2 0x0514 000004e4: PUSH1 0x04 000004e6: CALLDATALOAD 000004e7: PUSH1 0x24 000004e9: CALLDATALOAD 000004ea: PUSH1 0x00 000004ec: PUSH20 0x06b671106bf4de59243111c0fece9f43da91595f 00000501: CALLER 00000502: PUSH1 0x01 00000504: PUSH1 0xa0 00000506: PUSH1 0x02 00000508: EXP 00000509: SUB 0000050a: AND 0000050b: EQ 0000050c: PUSH2 0x060f 0000050f: JUMPI 00000510: PUSH2 0x0002 00000513: JUMP 00000514: JUMPDEST 00000515: STOP 00000516: JUMPDEST 00000517: PUSH1 0x00 00000519: PUSH2 0x0109 0000051c: PUSH1 0x00 0000051e: POP 0000051f: DUP2 00000520: SWAP1 00000521: SSTORE 00000522: POP 00000523: DUP1 00000524: PUSH1 0x01 00000526: PUSH1 0xa0 00000528: PUSH1 0x02 0000052a: EXP 0000052b: SUB 0000052c: AND 0000052d: PUSH4 0xa9059cbb 00000532: PUSH20 0x063e7eb89b4e39979b031b39803c996a57347e26 00000547: PUSH1 0x0a 00000549: DUP5 0000054a: PUSH1 0x01 0000054c: PUSH1 0xa0 0000054e: PUSH1 0x02 00000550: EXP 00000551: SUB 00000552: AND 00000553: PUSH4 0x70a08231 00000558: ADDRESS 00000559: PUSH1 0x40 0000055b: MLOAD 0000055c: DUP3 0000055d: PUSH1 0xe0 0000055f: PUSH1 0x02 00000561: EXP 00000562: MUL 00000563: DUP2 00000564: MSTORE 00000565: PUSH1 0x04 00000567: ADD 00000568: DUP1 00000569: DUP3 0000056a: PUSH1 0x01 0000056c: PUSH1 0xa0 0000056e: PUSH1 0x02 00000570: EXP 00000571: SUB 00000572: AND 00000573: DUP2 00000574: MSTORE 00000575: PUSH1 0x20 00000577: ADD 00000578: SWAP2 00000579: POP 0000057a: POP 0000057b: PUSH1 0x20 0000057d: PUSH1 0x40 0000057f: MLOAD 00000580: DUP1 00000581: DUP4 00000582: SUB 00000583: DUP2 00000584: PUSH1 0x00 00000586: DUP8 00000587: PUSH2 0x61da 0000058a: GAS 0000058b: SUB 0000058c: CALL 0000058d: ISZERO 0000058e: PUSH2 0x0002 00000591: JUMPI 00000592: POP 00000593: POP 00000594: POP 00000595: PUSH1 0x40 00000597: MLOAD 00000598: DUP1 00000599: MLOAD 0000059a: SWAP1 0000059b: PUSH1 0x20 0000059d: ADD 0000059e: POP 0000059f: PUSH1 0x09 000005a1: MUL 000005a2: DIV 000005a3: PUSH1 0x40 000005a5: MLOAD 000005a6: DUP4 000005a7: PUSH1 0xe0 000005a9: PUSH1 0x02 000005ab: EXP 000005ac: MUL 000005ad: DUP2 000005ae: MSTORE 000005af: PUSH1 0x04 000005b1: ADD 000005b2: DUP1 000005b3: DUP4 000005b4: DUP2 000005b5: MSTORE 000005b6: PUSH1 0x20 000005b8: ADD 000005b9: DUP3 000005ba: DUP2 000005bb: MSTORE 000005bc: PUSH1 0x20 000005be: ADD 000005bf: SWAP3 000005c0: POP 000005c1: POP 000005c2: POP 000005c3: PUSH1 0x20 000005c5: PUSH1 0x40 000005c7: MLOAD 000005c8: DUP1 000005c9: DUP4 000005ca: SUB 000005cb: DUP2 000005cc: PUSH1 0x00 000005ce: DUP8 000005cf: PUSH2 0x61da 000005d2: GAS 000005d3: SUB 000005d4: CALL 000005d5: ISZERO 000005d6: PUSH2 0x0002 000005d9: JUMPI 000005da: POP 000005db: POP 000005dc: POP 000005dd: JUMPDEST 000005de: POP 000005df: JUMP 000005e0: JUMPDEST 000005e1: PUSH1 0x40 000005e3: DUP1 000005e4: MLOAD 000005e5: SWAP2 000005e6: DUP3 000005e7: MSTORE 000005e8: MLOAD 000005e9: SWAP1 000005ea: DUP2 000005eb: SWAP1 000005ec: SUB 000005ed: PUSH1 0x20 000005ef: ADD 000005f0: SWAP1 000005f1: RETURN 000005f2: JUMPDEST 000005f3: PUSH1 0x40 000005f5: DUP1 000005f6: MLOAD 000005f7: PUSH1 0x01 000005f9: PUSH1 0xa0 000005fb: PUSH1 0x02 000005fd: EXP 000005fe: SUB 000005ff: SWAP3 00000600: SWAP1 00000601: SWAP3 00000602: AND 00000603: DUP3 00000604: MSTORE 00000605: MLOAD 00000606: SWAP1 00000607: DUP2 00000608: SWAP1 00000609: SUB 0000060a: PUSH1 0x20 0000060c: ADD 0000060d: SWAP1 0000060e: RETURN 0000060f: JUMPDEST 00000610: POP 00000611: PUSH2 0x0108 00000614: SLOAD 00000615: PUSH1 0x40 00000617: DUP1 00000618: MLOAD 00000619: PUSH32 0xa9059cbb00000000000000000000000000000000000000000000000000000000 0000063a: DUP2 0000063b: MSTORE 0000063c: PUSH1 0x01 0000063e: PUSH1 0xa0 00000640: PUSH1 0x02 00000642: EXP 00000643: SUB 00000644: DUP6 00000645: DUP2 00000646: AND 00000647: PUSH1 0x04 00000649: DUP4 0000064a: ADD 0000064b: MSTORE 0000064c: PUSH1 0x24 0000064e: DUP3 0000064f: ADD 00000650: DUP6 00000651: SWAP1 00000652: MSTORE 00000653: SWAP2 00000654: MLOAD 00000655: SWAP2 00000656: SWAP1 00000657: SWAP3 00000658: AND 00000659: SWAP2 0000065a: DUP3 0000065b: SWAP2 0000065c: PUSH4 0xa9059cbb 00000661: SWAP2 00000662: PUSH1 0x44 00000664: DUP2 00000665: DUP2 00000666: ADD 00000667: SWAP3 00000668: PUSH1 0x20 0000066a: SWAP3 0000066b: SWAP1 0000066c: SWAP2 0000066d: SWAP1 0000066e: DUP3 0000066f: SWAP1 00000670: SUB 00000671: ADD 00000672: DUP2 00000673: PUSH1 0x00 00000675: DUP8 00000676: PUSH2 0x61da 00000679: GAS 0000067a: SUB 0000067b: CALL 0000067c: ISZERO 0000067d: PUSH2 0x0002 00000680: JUMPI 00000681: POP 00000682: POP 00000683: POP 00000684: JUMPDEST 00000685: POP 00000686: POP 00000687: POP 00000688: JUMP 00000689: JUMPDEST 0000068a: ISZERO 0000068b: PUSH2 0x0460 0000068e: JUMPI 0000068f: DUP2 00000690: PUSH1 0x01 00000692: PUSH1 0xa0 00000694: PUSH1 0x02 00000696: EXP 00000697: SUB 00000698: AND 00000699: SELFDESTRUCT 0000069a: JUMPDEST 0000069b: ISZERO 0000069c: PUSH2 0x08db 0000069f: JUMPI 000006a0: PUSH2 0x06ae 000006a3: DUP5 000006a4: PUSH1 0x00 000006a6: PUSH2 0x1265 000006a9: CALLER 000006aa: PUSH2 0x01be 000006ad: JUMP 000006ae: JUMPDEST 000006af: ISZERO 000006b0: PUSH2 0x076d 000006b3: JUMPI 000006b4: PUSH32 0x92ca3a80853e6663fa31fa10b99225f18d4902939b4c53a9caae9043f6efd004 000006d5: CALLER 000006d6: DUP6 000006d7: DUP8 000006d8: DUP7 000006d9: DUP7 000006da: PUSH1 0x40 000006dc: MLOAD 000006dd: DUP1 000006de: DUP7 000006df: PUSH1 0x01 000006e1: PUSH1 0xa0 000006e3: PUSH1 0x02 000006e5: EXP 000006e6: SUB 000006e7: AND 000006e8: DUP2 000006e9: MSTORE 000006ea: PUSH1 0x20 000006ec: ADD 000006ed: DUP6 000006ee: DUP2 000006ef: MSTORE 000006f0: PUSH1 0x20 000006f2: ADD 000006f3: DUP5 000006f4: PUSH1 0x01 000006f6: PUSH1 0xa0 000006f8: PUSH1 0x02 000006fa: EXP 000006fb: SUB 000006fc: AND 000006fd: DUP2 000006fe: MSTORE 000006ff: PUSH1 0x20 00000701: ADD 00000702: DUP1 00000703: PUSH1 0x20 00000705: ADD 00000706: DUP3 00000707: DUP2 00000708: SUB 00000709: DUP3 0000070a: MSTORE 0000070b: DUP5 0000070c: DUP5 0000070d: DUP3 0000070e: DUP2 0000070f: DUP2 00000710: MSTORE 00000711: PUSH1 0x20 00000713: ADD 00000714: SWAP3 00000715: POP 00000716: DUP1 00000717: DUP3 00000718: DUP5 00000719: CALLDATACOPY 0000071a: DUP3 0000071b: ADD 0000071c: SWAP2 0000071d: POP 0000071e: POP 0000071f: SWAP7 00000720: POP 00000721: POP 00000722: POP 00000723: POP 00000724: POP 00000725: POP 00000726: POP 00000727: PUSH1 0x40 00000729: MLOAD 0000072a: DUP1 0000072b: SWAP2 0000072c: SUB 0000072d: SWAP1 0000072e: LOG1 0000072f: DUP5 00000730: PUSH1 0x01 00000732: PUSH1 0xa0 00000734: PUSH1 0x02 00000736: EXP 00000737: SUB 00000738: AND 00000739: DUP5 0000073a: DUP5 0000073b: DUP5 0000073c: PUSH1 0x40 0000073e: MLOAD 0000073f: DUP1 00000740: DUP4 00000741: DUP4 00000742: DUP1 00000743: DUP3 00000744: DUP5 00000745: CALLDATACOPY 00000746: DUP3 00000747: ADD 00000748: SWAP2 00000749: POP 0000074a: POP 0000074b: SWAP3 0000074c: POP 0000074d: POP 0000074e: POP 0000074f: PUSH1 0x00 00000751: PUSH1 0x40 00000753: MLOAD 00000754: DUP1 00000755: DUP4 00000756: SUB 00000757: DUP2 00000758: DUP6 00000759: DUP8 0000075a: PUSH2 0x8502 0000075d: GAS 0000075e: SUB 0000075f: CALL 00000760: POP 00000761: PUSH1 0x00 00000763: SWAP4 00000764: POP 00000765: PUSH2 0x08db 00000768: SWAP3 00000769: POP 0000076a: POP 0000076b: POP 0000076c: JUMP 0000076d: JUMPDEST 0000076e: PUSH1 0x00 00000770: CALLDATASIZE 00000771: NUMBER 00000772: PUSH1 0x40 00000774: MLOAD 00000775: DUP1 00000776: DUP5 00000777: DUP5 00000778: DUP1 00000779: DUP3 0000077a: DUP5 0000077b: CALLDATACOPY 0000077c: DUP3 0000077d: ADD 0000077e: SWAP2 0000077f: POP 00000780: POP 00000781: DUP3 00000782: DUP2 00000783: MSTORE 00000784: PUSH1 0x20 00000786: ADD 00000787: SWAP4 00000788: POP 00000789: POP 0000078a: POP 0000078b: POP 0000078c: PUSH1 0x40 0000078e: MLOAD 0000078f: DUP1 00000790: SWAP2 00000791: SUB 00000792: SWAP1 00000793: KECCAK256 00000794: SWAP1 00000795: POP 00000796: DUP1 00000797: POP 00000798: PUSH2 0x07a0 0000079b: DUP2 0000079c: PUSH2 0x02db 0000079f: JUMP 000007a0: JUMPDEST 000007a1: ISZERO 000007a2: DUP1 000007a3: ISZERO 000007a4: PUSH2 0x07c3 000007a7: JUMPI 000007a8: POP 000007a9: PUSH1 0x00 000007ab: DUP2 000007ac: DUP2 000007ad: MSTORE 000007ae: PUSH2 0x010b 000007b1: PUSH1 0x20 000007b3: MSTORE 000007b4: PUSH1 0x40 000007b6: DUP2 000007b7: KECCAK256 000007b8: SLOAD 000007b9: PUSH1 0x01 000007bb: PUSH1 0xa0 000007bd: PUSH1 0x02 000007bf: EXP 000007c0: SUB 000007c1: AND 000007c2: EQ 000007c3: JUMPDEST 000007c4: ISZERO 000007c5: PUSH2 0x08db 000007c8: JUMPI 000007c9: PUSH1 0x00 000007cb: DUP2 000007cc: DUP2 000007cd: MSTORE 000007ce: PUSH2 0x010b 000007d1: PUSH1 0x20 000007d3: SWAP1 000007d4: DUP2 000007d5: MSTORE 000007d6: PUSH1 0x40 000007d8: DUP3 000007d9: KECCAK256 000007da: DUP1 000007db: SLOAD 000007dc: PUSH1 0x01 000007de: PUSH1 0xa0 000007e0: PUSH1 0x02 000007e2: EXP 000007e3: SUB 000007e4: NOT 000007e5: AND 000007e6: DUP9 000007e7: OR 000007e8: DUP2 000007e9: SSTORE 000007ea: PUSH1 0x01 000007ec: DUP2 000007ed: DUP2 000007ee: ADD 000007ef: DUP9 000007f0: SWAP1 000007f1: SSTORE 000007f2: PUSH1 0x02 000007f4: SWAP2 000007f5: DUP3 000007f6: ADD 000007f7: DUP1 000007f8: SLOAD 000007f9: DUP2 000007fa: DUP7 000007fb: MSTORE 000007fc: SWAP5 000007fd: DUP5 000007fe: SWAP1 000007ff: KECCAK256 00000800: SWAP1 00000801: SWAP5 00000802: SWAP2 00000803: DUP3 00000804: AND 00000805: ISZERO 00000806: PUSH2 0x0100 00000809: MUL 0000080a: PUSH1 0x00 0000080c: NOT 0000080d: ADD 0000080e: SWAP1 0000080f: SWAP2 00000810: AND 00000811: SWAP2 00000812: SWAP1 00000813: SWAP2 00000814: DIV 00000815: PUSH1 0x1f 00000817: SWAP1 00000818: DUP2 00000819: ADD 0000081a: SWAP3 0000081b: SWAP1 0000081c: SWAP3 0000081d: DIV 0000081e: DUP2 0000081f: ADD 00000820: SWAP2 00000821: DUP6 00000822: SWAP2 00000823: SWAP1 00000824: DUP8 00000825: SWAP1 00000826: DUP4 00000827: SWAP1 00000828: LT 00000829: PUSH2 0x08e3 0000082c: JUMPI 0000082d: PUSH1 0xff 0000082f: NOT 00000830: DUP2 00000831: CALLDATALOAD 00000832: AND 00000833: DUP4 00000834: DUP1 00000835: ADD 00000836: OR 00000837: DUP6 00000838: SSTORE 00000839: JUMPDEST 0000083a: POP 0000083b: PUSH2 0x0855 0000083e: SWAP3 0000083f: SWAP2 00000840: POP 00000841: JUMPDEST 00000842: DUP1 00000843: DUP3 00000844: GT 00000845: ISZERO 00000846: PUSH2 0x0913 00000849: JUMPI 0000084a: PUSH1 0x00 0000084c: DUP2 0000084d: SSTORE 0000084e: PUSH1 0x01 00000850: ADD 00000851: PUSH2 0x0841 00000854: JUMP 00000855: JUMPDEST 00000856: POP 00000857: POP 00000858: PUSH32 0x1733cbb53659d713b79580f79f3f9ff215f78a7c7aa45890f3b89fc5cddfbf32 00000879: DUP2 0000087a: CALLER 0000087b: DUP7 0000087c: DUP9 0000087d: DUP8 0000087e: DUP8 0000087f: PUSH1 0x40 00000881: MLOAD 00000882: DUP1 00000883: DUP8 00000884: DUP2 00000885: MSTORE 00000886: PUSH1 0x20 00000888: ADD 00000889: DUP7 0000088a: PUSH1 0x01 0000088c: PUSH1 0xa0 0000088e: PUSH1 0x02 00000890: EXP 00000891: SUB 00000892: AND 00000893: DUP2 00000894: MSTORE 00000895: PUSH1 0x20 00000897: ADD 00000898: DUP6 00000899: DUP2 0000089a: MSTORE 0000089b: PUSH1 0x20 0000089d: ADD 0000089e: DUP5 0000089f: PUSH1 0x01 000008a1: PUSH1 0xa0 000008a3: PUSH1 0x02 000008a5: EXP 000008a6: SUB 000008a7: AND 000008a8: DUP2 000008a9: MSTORE 000008aa: PUSH1 0x20 000008ac: ADD 000008ad: DUP1 000008ae: PUSH1 0x20 000008b0: ADD 000008b1: DUP3 000008b2: DUP2 000008b3: SUB 000008b4: DUP3 000008b5: MSTORE 000008b6: DUP5 000008b7: DUP5 000008b8: DUP3 000008b9: DUP2 000008ba: DUP2 000008bb: MSTORE 000008bc: PUSH1 0x20 000008be: ADD 000008bf: SWAP3 000008c0: POP 000008c1: DUP1 000008c2: DUP3 000008c3: DUP5 000008c4: CALLDATACOPY 000008c5: DUP3 000008c6: ADD 000008c7: SWAP2 000008c8: POP 000008c9: POP 000008ca: SWAP8 000008cb: POP 000008cc: POP 000008cd: POP 000008ce: POP 000008cf: POP 000008d0: POP 000008d1: POP 000008d2: POP 000008d3: PUSH1 0x40 000008d5: MLOAD 000008d6: DUP1 000008d7: SWAP2 000008d8: SUB 000008d9: SWAP1 000008da: LOG1 000008db: JUMPDEST 000008dc: SWAP5 000008dd: SWAP4 000008de: POP 000008df: POP 000008e0: POP 000008e1: POP 000008e2: JUMP 000008e3: JUMPDEST 000008e4: DUP3 000008e5: DUP1 000008e6: ADD 000008e7: PUSH1 0x01 000008e9: ADD 000008ea: DUP6 000008eb: SSTORE 000008ec: DUP3 000008ed: ISZERO 000008ee: PUSH2 0x0839 000008f1: JUMPI 000008f2: SWAP2 000008f3: DUP3 000008f4: ADD 000008f5: JUMPDEST 000008f6: DUP3 000008f7: DUP2 000008f8: GT 000008f9: ISZERO 000008fa: PUSH2 0x0839 000008fd: JUMPI 000008fe: DUP3 000008ff: CALLDATALOAD 00000900: DUP3 00000901: PUSH1 0x00 00000903: POP 00000904: SSTORE 00000905: SWAP2 00000906: PUSH1 0x20 00000908: ADD 00000909: SWAP2 0000090a: SWAP1 0000090b: PUSH1 0x01 0000090d: ADD 0000090e: SWAP1 0000090f: PUSH2 0x08f5 00000912: JUMP 00000913: JUMPDEST 00000914: POP 00000915: SWAP1 00000916: JUMP 00000917: JUMPDEST 00000918: POP 00000919: JUMPDEST 0000091a: SWAP2 0000091b: SWAP1 0000091c: POP 0000091d: JUMP 0000091e: JUMPDEST 0000091f: ISZERO 00000920: PUSH2 0x0917 00000923: JUMPI 00000924: PUSH1 0x00 00000926: DUP4 00000927: DUP2 00000928: MSTORE 00000929: PUSH2 0x010b 0000092c: PUSH1 0x20 0000092e: MSTORE 0000092f: PUSH1 0x40 00000931: DUP2 00000932: KECCAK256 00000933: SLOAD 00000934: PUSH1 0x01 00000936: PUSH1 0xa0 00000938: PUSH1 0x02 0000093a: EXP 0000093b: SUB 0000093c: AND 0000093d: EQ 0000093e: PUSH2 0x0917 00000941: JUMPI 00000942: PUSH1 0x40 00000944: DUP1 00000945: MLOAD 00000946: PUSH1 0x00 00000948: SWAP2 00000949: SWAP1 0000094a: SWAP2 0000094b: KECCAK256 0000094c: DUP1 0000094d: SLOAD 0000094e: PUSH1 0x01 00000950: DUP3 00000951: DUP2 00000952: ADD 00000953: SLOAD 00000954: PUSH1 0x02 00000956: SWAP4 00000957: DUP5 00000958: ADD 00000959: DUP1 0000095a: SLOAD 0000095b: PUSH1 0x01 0000095d: PUSH1 0xa0 0000095f: PUSH1 0x02 00000961: EXP 00000962: SUB 00000963: SWAP5 00000964: SWAP1 00000965: SWAP5 00000966: AND 00000967: SWAP6 00000968: SWAP2 00000969: SWAP5 0000096a: SWAP1 0000096b: SWAP4 0000096c: SWAP2 0000096d: SWAP3 0000096e: DUP4 0000096f: SWAP3 00000970: DUP6 00000971: SWAP3 00000972: SWAP2 00000973: DUP2 00000974: AND 00000975: ISZERO 00000976: PUSH2 0x0100 00000979: MUL 0000097a: PUSH1 0x00 0000097c: NOT 0000097d: ADD 0000097e: AND 0000097f: DIV 00000980: DUP1 00000981: ISZERO 00000982: PUSH2 0x09cc 00000985: JUMPI 00000986: DUP1 00000987: PUSH1 0x1f 00000989: LT 0000098a: PUSH2 0x09a1 0000098d: JUMPI 0000098e: PUSH2 0x0100 00000991: DUP1 00000992: DUP4 00000993: SLOAD 00000994: DIV 00000995: MUL 00000996: DUP4 00000997: MSTORE 00000998: SWAP2 00000999: PUSH1 0x20 0000099b: ADD 0000099c: SWAP2 0000099d: PUSH2 0x09cc 000009a0: JUMP 000009a1: JUMPDEST 000009a2: DUP3 000009a3: ADD 000009a4: SWAP2 000009a5: SWAP1 000009a6: PUSH1 0x00 000009a8: MSTORE 000009a9: PUSH1 0x20 000009ab: PUSH1 0x00 000009ad: KECCAK256 000009ae: SWAP1 000009af: JUMPDEST 000009b0: DUP2 000009b1: SLOAD 000009b2: DUP2 000009b3: MSTORE 000009b4: SWAP1 000009b5: PUSH1 0x01 000009b7: ADD 000009b8: SWAP1 000009b9: PUSH1 0x20 000009bb: ADD 000009bc: DUP1 000009bd: DUP4 000009be: GT 000009bf: PUSH2 0x09af 000009c2: JUMPI 000009c3: DUP3 000009c4: SWAP1 000009c5: SUB 000009c6: PUSH1 0x1f 000009c8: AND 000009c9: DUP3 000009ca: ADD 000009cb: SWAP2 000009cc: JUMPDEST 000009cd: POP 000009ce: POP 000009cf: SWAP2 000009d0: POP 000009d1: POP 000009d2: PUSH1 0x00 000009d4: PUSH1 0x40 000009d6: MLOAD 000009d7: DUP1 000009d8: DUP4 000009d9: SUB 000009da: DUP2 000009db: DUP6 000009dc: DUP8 000009dd: PUSH2 0x8502 000009e0: GAS 000009e1: SUB 000009e2: CALL 000009e3: POP 000009e4: POP 000009e5: POP 000009e6: PUSH1 0x00 000009e8: DUP5 000009e9: DUP2 000009ea: MSTORE 000009eb: PUSH2 0x010b 000009ee: PUSH1 0x20 000009f0: SWAP1 000009f1: DUP2 000009f2: MSTORE 000009f3: PUSH1 0x40 000009f5: SWAP2 000009f6: DUP3 000009f7: SWAP1 000009f8: KECCAK256 000009f9: DUP1 000009fa: SLOAD 000009fb: DUP4 000009fc: MLOAD 000009fd: PUSH1 0x01 000009ff: DUP4 00000a00: DUP2 00000a01: ADD 00000a02: SLOAD 00000a03: CALLER 00000a04: PUSH1 0x01 00000a06: PUSH1 0xa0 00000a08: PUSH1 0x02 00000a0a: EXP 00000a0b: SUB 00000a0c: DUP2 00000a0d: DUP2 00000a0e: AND 00000a0f: DUP6 00000a10: MSTORE 00000a11: SWAP7 00000a12: DUP5 00000a13: ADD 00000a14: DUP13 00000a15: SWAP1 00000a16: MSTORE 00000a17: SWAP7 00000a18: DUP4 00000a19: ADD 00000a1a: DUP2 00000a1b: SWAP1 00000a1c: MSTORE 00000a1d: SWAP3 00000a1e: SWAP1 00000a1f: SWAP5 00000a20: AND 00000a21: PUSH1 0x60 00000a23: DUP3 00000a24: ADD 00000a25: DUP2 00000a26: SWAP1 00000a27: MSTORE 00000a28: PUSH1 0xa0 00000a2a: PUSH1 0x80 00000a2c: DUP4 00000a2d: ADD 00000a2e: DUP2 00000a2f: DUP2 00000a30: MSTORE 00000a31: PUSH1 0x02 00000a33: SWAP6 00000a34: DUP7 00000a35: ADD 00000a36: DUP1 00000a37: SLOAD 00000a38: SWAP8 00000a39: DUP9 00000a3a: AND 00000a3b: ISZERO 00000a3c: PUSH2 0x0100 00000a3f: MUL 00000a40: PUSH1 0x00 00000a42: NOT 00000a43: ADD 00000a44: SWAP1 00000a45: SWAP8 00000a46: AND 00000a47: SWAP6 00000a48: SWAP1 00000a49: SWAP6 00000a4a: DIV 00000a4b: SWAP1 00000a4c: DUP4 00000a4d: ADD 00000a4e: DUP2 00000a4f: SWAP1 00000a50: MSTORE 00000a51: PUSH32 0xe7c957c06e9a662c1a6c77366179f5b702b97651dc28eee7d5bf1dff6e40bb4a 00000a72: SWAP8 00000a73: POP 00000a74: DUP11 00000a75: SWAP6 00000a76: SWAP4 00000a77: SWAP5 00000a78: SWAP2 00000a79: SWAP4 00000a7a: SWAP3 00000a7b: SWAP2 00000a7c: SWAP1 00000a7d: PUSH1 0xc0 00000a7f: DUP4 00000a80: ADD 00000a81: SWAP1 00000a82: DUP5 00000a83: SWAP1 00000a84: DUP1 00000a85: ISZERO 00000a86: PUSH2 0x0ad0 00000a89: JUMPI 00000a8a: DUP1 00000a8b: PUSH1 0x1f 00000a8d: LT 00000a8e: PUSH2 0x0aa5 00000a91: JUMPI 00000a92: PUSH2 0x0100 00000a95: DUP1 00000a96: DUP4 00000a97: SLOAD 00000a98: DIV 00000a99: MUL 00000a9a: DUP4 00000a9b: MSTORE 00000a9c: SWAP2 00000a9d: PUSH1 0x20 00000a9f: ADD 00000aa0: SWAP2 00000aa1: PUSH2 0x0ad0 00000aa4: JUMP 00000aa5: JUMPDEST 00000aa6: DUP3 00000aa7: ADD 00000aa8: SWAP2 00000aa9: SWAP1 00000aaa: PUSH1 0x00 00000aac: MSTORE 00000aad: PUSH1 0x20 00000aaf: PUSH1 0x00 00000ab1: KECCAK256 00000ab2: SWAP1 00000ab3: JUMPDEST 00000ab4: DUP2 00000ab5: SLOAD 00000ab6: DUP2 00000ab7: MSTORE 00000ab8: SWAP1 00000ab9: PUSH1 0x01 00000abb: ADD 00000abc: SWAP1 00000abd: PUSH1 0x20 00000abf: ADD 00000ac0: DUP1 00000ac1: DUP4 00000ac2: GT 00000ac3: PUSH2 0x0ab3 00000ac6: JUMPI 00000ac7: DUP3 00000ac8: SWAP1 00000ac9: SUB 00000aca: PUSH1 0x1f 00000acc: AND 00000acd: DUP3 00000ace: ADD 00000acf: SWAP2 00000ad0: JUMPDEST 00000ad1: POP 00000ad2: POP 00000ad3: SWAP7 00000ad4: POP 00000ad5: POP 00000ad6: POP 00000ad7: POP 00000ad8: POP 00000ad9: POP 00000ada: POP 00000adb: PUSH1 0x40 00000add: MLOAD 00000ade: DUP1 00000adf: SWAP2 00000ae0: SUB 00000ae1: SWAP1 00000ae2: LOG1 00000ae3: PUSH1 0x00 00000ae5: DUP4 00000ae6: DUP2 00000ae7: MSTORE 00000ae8: PUSH2 0x010b 00000aeb: PUSH1 0x20 00000aed: MSTORE 00000aee: PUSH1 0x40 00000af0: DUP2 00000af1: KECCAK256 00000af2: DUP1 00000af3: SLOAD 00000af4: PUSH1 0x01 00000af6: PUSH1 0xa0 00000af8: PUSH1 0x02 00000afa: EXP 00000afb: SUB 00000afc: NOT 00000afd: AND 00000afe: DUP2 00000aff: SSTORE 00000b00: PUSH1 0x01 00000b02: DUP2 00000b03: DUP2 00000b04: ADD 00000b05: DUP4 00000b06: SWAP1 00000b07: SSTORE 00000b08: PUSH1 0x02 00000b0a: DUP3 00000b0b: DUP2 00000b0c: ADD 00000b0d: DUP1 00000b0e: SLOAD 00000b0f: DUP6 00000b10: DUP3 00000b11: SSTORE 00000b12: SWAP4 00000b13: SWAP5 00000b14: SWAP4 00000b15: SWAP1 00000b16: SWAP3 00000b17: DUP2 00000b18: AND 00000b19: ISZERO 00000b1a: PUSH2 0x0100 00000b1d: MUL 00000b1e: PUSH1 0x00 00000b20: NOT 00000b21: ADD 00000b22: AND 00000b23: DIV 00000b24: PUSH1 0x1f 00000b26: DUP2 00000b27: SWAP1 00000b28: LT 00000b29: PUSH2 0x0b3b 00000b2c: JUMPI 00000b2d: POP 00000b2e: JUMPDEST 00000b2f: POP 00000b30: POP 00000b31: POP 00000b32: PUSH1 0x01 00000b34: SWAP2 00000b35: POP 00000b36: POP 00000b37: PUSH2 0x0919 00000b3a: JUMP 00000b3b: JUMPDEST 00000b3c: PUSH1 0x1f 00000b3e: ADD 00000b3f: PUSH1 0x20 00000b41: SWAP1 00000b42: DIV 00000b43: SWAP1 00000b44: PUSH1 0x00 00000b46: MSTORE 00000b47: PUSH1 0x20 00000b49: PUSH1 0x00 00000b4b: KECCAK256 00000b4c: SWAP1 00000b4d: DUP2 00000b4e: ADD 00000b4f: SWAP1 00000b50: PUSH2 0x0b2e 00000b53: SWAP2 00000b54: SWAP1 00000b55: PUSH2 0x0841 00000b58: JUMP 00000b59: JUMPDEST 00000b5a: POP 00000b5b: POP 00000b5c: PUSH1 0x00 00000b5e: DUP3 00000b5f: DUP2 00000b60: MSTORE 00000b61: PUSH2 0x0103 00000b64: PUSH1 0x20 00000b66: MSTORE 00000b67: PUSH1 0x40 00000b69: DUP2 00000b6a: KECCAK256 00000b6b: PUSH1 0x01 00000b6d: DUP2 00000b6e: ADD 00000b6f: SLOAD 00000b70: PUSH1 0x02 00000b72: DUP5 00000b73: SWAP1 00000b74: EXP 00000b75: SWAP3 00000b76: SWAP1 00000b77: DUP4 00000b78: AND 00000b79: GT 00000b7a: ISZERO 00000b7b: PUSH2 0x0bd8 00000b7e: JUMPI 00000b7f: DUP1 00000b80: SLOAD 00000b81: PUSH1 0x01 00000b83: DUP3 00000b84: DUP2 00000b85: ADD 00000b86: DUP1 00000b87: SLOAD 00000b88: SWAP3 00000b89: SWAP1 00000b8a: SWAP2 00000b8b: ADD 00000b8c: DUP4 00000b8d: SSTORE 00000b8e: SWAP1 00000b8f: DUP4 00000b90: SWAP1 00000b91: SUB 00000b92: SWAP1 00000b93: SSTORE 00000b94: PUSH1 0x40 00000b96: DUP1 00000b97: MLOAD 00000b98: CALLER 00000b99: PUSH1 0x01 00000b9b: PUSH1 0xa0 00000b9d: PUSH1 0x02 00000b9f: EXP 00000ba0: SUB 00000ba1: AND 00000ba2: DUP2 00000ba3: MSTORE 00000ba4: PUSH1 0x20 00000ba6: DUP2 00000ba7: ADD 00000ba8: DUP7 00000ba9: SWAP1 00000baa: MSTORE 00000bab: DUP2 00000bac: MLOAD 00000bad: PUSH32 0xc7fb647e59b18047309aa15aad418e5d7ca96d173ad704f1031a2c3d7591734b 00000bce: SWAP3 00000bcf: SWAP2 00000bd0: DUP2 00000bd1: SWAP1 00000bd2: SUB 00000bd3: SWAP1 00000bd4: SWAP2 00000bd5: ADD 00000bd6: SWAP1 00000bd7: LOG1 00000bd8: JUMPDEST 00000bd9: POP 00000bda: POP 00000bdb: POP 00000bdc: POP 00000bdd: JUMP 00000bde: JUMPDEST 00000bdf: ISZERO 00000be0: PUSH2 0x0bd8 00000be3: JUMPI 00000be4: PUSH2 0x0bec 00000be7: DUP4 00000be8: PUSH2 0x01be 00000beb: JUMP 00000bec: JUMPDEST 00000bed: ISZERO 00000bee: PUSH2 0x0bf7 00000bf1: JUMPI 00000bf2: POP 00000bf3: PUSH2 0x0684 00000bf6: JUMP 00000bf7: JUMPDEST 00000bf8: PUSH1 0x01 00000bfa: PUSH1 0xa0 00000bfc: PUSH1 0x02 00000bfe: EXP 00000bff: SUB 00000c00: DUP5 00000c01: AND 00000c02: PUSH1 0x00 00000c04: SWAP1 00000c05: DUP2 00000c06: MSTORE 00000c07: PUSH2 0x0102 00000c0a: PUSH1 0x20 00000c0c: MSTORE 00000c0d: PUSH1 0x40 00000c0f: DUP2 00000c10: KECCAK256 00000c11: SLOAD 00000c12: SWAP3 00000c13: POP 00000c14: DUP3 00000c15: EQ 00000c16: ISZERO 00000c17: PUSH2 0x0c20 00000c1a: JUMPI 00000c1b: POP 00000c1c: PUSH2 0x0684 00000c1f: JUMP 00000c20: JUMPDEST 00000c21: PUSH2 0x0cae 00000c24: JUMPDEST 00000c25: PUSH2 0x0104 00000c28: SLOAD 00000c29: PUSH1 0x00 00000c2b: JUMPDEST 00000c2c: DUP2 00000c2d: DUP2 00000c2e: LT 00000c2f: ISZERO 00000c30: PUSH2 0x0f87 00000c33: JUMPI 00000c34: PUSH2 0x0104 00000c37: DUP1 00000c38: SLOAD 00000c39: PUSH2 0x010b 00000c3c: SWAP2 00000c3d: PUSH1 0x00 00000c3f: SWAP2 00000c40: DUP5 00000c41: SWAP1 00000c42: DUP2 00000c43: LT 00000c44: ISZERO 00000c45: PUSH2 0x0002 00000c48: JUMPI 00000c49: PUSH1 0x00 00000c4b: DUP1 00000c4c: MLOAD 00000c4d: PUSH1 0x20 00000c4f: PUSH2 0x12f9 00000c52: DUP4 00000c53: CODECOPY 00000c54: DUP2 00000c55: MLOAD 00000c56: SWAP2 00000c57: MSTORE 00000c58: ADD 00000c59: SLOAD 00000c5a: DUP3 00000c5b: MSTORE 00000c5c: POP 00000c5d: PUSH1 0x20 00000c5f: SWAP2 00000c60: SWAP1 00000c61: SWAP2 00000c62: MSTORE 00000c63: PUSH1 0x40 00000c65: DUP2 00000c66: KECCAK256 00000c67: DUP1 00000c68: SLOAD 00000c69: PUSH1 0x01 00000c6b: PUSH1 0xa0 00000c6d: PUSH1 0x02 00000c6f: EXP 00000c70: SUB 00000c71: NOT 00000c72: AND 00000c73: DUP2 00000c74: SSTORE 00000c75: PUSH1 0x01 00000c77: DUP2 00000c78: DUP2 00000c79: ADD 00000c7a: DUP4 00000c7b: SWAP1 00000c7c: SSTORE 00000c7d: PUSH1 0x02 00000c7f: DUP3 00000c80: DUP2 00000c81: ADD 00000c82: DUP1 00000c83: SLOAD 00000c84: DUP6 00000c85: DUP3 00000c86: SSTORE 00000c87: SWAP4 00000c88: SWAP5 00000c89: SWAP4 00000c8a: SWAP1 00000c8b: SWAP3 00000c8c: DUP2 00000c8d: AND 00000c8e: ISZERO 00000c8f: PUSH2 0x0100 00000c92: MUL 00000c93: PUSH1 0x00 00000c95: NOT 00000c96: ADD 00000c97: AND 00000c98: DIV 00000c99: PUSH1 0x1f 00000c9b: DUP2 00000c9c: SWAP1 00000c9d: LT 00000c9e: PUSH2 0x100c 00000ca1: JUMPI 00000ca2: POP 00000ca3: JUMPDEST 00000ca4: POP 00000ca5: POP 00000ca6: POP 00000ca7: PUSH1 0x01 00000ca9: ADD 00000caa: PUSH2 0x0c2b 00000cad: JUMP 00000cae: JUMPDEST 00000caf: PUSH1 0x01 00000cb1: PUSH1 0xa0 00000cb3: PUSH1 0x02 00000cb5: EXP 00000cb6: SUB 00000cb7: DUP4 00000cb8: AND 00000cb9: PUSH1 0x02 00000cbb: DUP4 00000cbc: PUSH2 0x0100 00000cbf: DUP2 00000cc0: LT 00000cc1: ISZERO 00000cc2: PUSH2 0x0002 00000cc5: JUMPI 00000cc6: POP 00000cc7: DUP4 00000cc8: ADD 00000cc9: DUP2 00000cca: SWAP1 00000ccb: SSTORE 00000ccc: PUSH1 0x01 00000cce: PUSH1 0xa0 00000cd0: PUSH1 0x02 00000cd2: EXP 00000cd3: SUB 00000cd4: DUP6 00000cd5: AND 00000cd6: PUSH1 0x00 00000cd8: DUP2 00000cd9: DUP2 00000cda: MSTORE 00000cdb: PUSH2 0x0102 00000cde: PUSH1 0x20 00000ce0: SWAP1 00000ce1: DUP2 00000ce2: MSTORE 00000ce3: PUSH1 0x40 00000ce5: DUP1 00000ce6: DUP4 00000ce7: KECCAK256 00000ce8: DUP4 00000ce9: SWAP1 00000cea: SSTORE 00000ceb: DUP5 00000cec: DUP4 00000ced: MSTORE 00000cee: SWAP2 00000cef: DUP3 00000cf0: SWAP1 00000cf1: KECCAK256 00000cf2: DUP7 00000cf3: SWAP1 00000cf4: SSTORE 00000cf5: DUP2 00000cf6: MLOAD 00000cf7: SWAP3 00000cf8: DUP4 00000cf9: MSTORE 00000cfa: DUP3 00000cfb: ADD 00000cfc: SWAP3 00000cfd: SWAP1 00000cfe: SWAP3 00000cff: MSTORE 00000d00: DUP2 00000d01: MLOAD 00000d02: PUSH32 0xb532073b38c83145e3e5135377a08bf9aab55bc0fd7c1179cd4fb995d2a5159c 00000d23: SWAP3 00000d24: SWAP2 00000d25: DUP2 00000d26: SWAP1 00000d27: SUB 00000d28: SWAP1 00000d29: SWAP2 00000d2a: ADD 00000d2b: SWAP1 00000d2c: LOG1 00000d2d: POP 00000d2e: POP 00000d2f: POP 00000d30: POP 00000d31: JUMP 00000d32: JUMPDEST 00000d33: ISZERO 00000d34: PUSH2 0x0460 00000d37: JUMPI 00000d38: PUSH2 0x0d40 00000d3b: DUP3 00000d3c: PUSH2 0x01be 00000d3f: JUMP 00000d40: JUMPDEST 00000d41: ISZERO 00000d42: PUSH2 0x0d4b 00000d45: JUMPI 00000d46: POP 00000d47: PUSH2 0x05dd 00000d4a: JUMP 00000d4b: JUMPDEST 00000d4c: PUSH2 0x0d53 00000d4f: PUSH2 0x0c24 00000d52: JUMP 00000d53: JUMPDEST 00000d54: PUSH1 0x01 00000d56: SLOAD 00000d57: PUSH1 0xfa 00000d59: SWAP1 00000d5a: LT 00000d5b: PUSH2 0x0d66 00000d5e: JUMPI 00000d5f: PUSH2 0x0d66 00000d62: PUSH2 0x0d7b 00000d65: JUMP 00000d66: JUMPDEST 00000d67: PUSH1 0x01 00000d69: SLOAD 00000d6a: PUSH1 0xfa 00000d6c: SWAP1 00000d6d: LT 00000d6e: PUSH2 0x0db6 00000d71: JUMPI 00000d72: POP 00000d73: PUSH2 0x05dd 00000d76: JUMP 00000d77: JUMPDEST 00000d78: PUSH2 0x0eb5 00000d7b: JUMPDEST 00000d7c: PUSH1 0x01 00000d7e: JUMPDEST 00000d7f: PUSH1 0x01 00000d81: SLOAD 00000d82: DUP2 00000d83: LT 00000d84: ISZERO 00000d85: PUSH2 0x05dd 00000d88: JUMPI 00000d89: JUMPDEST 00000d8a: PUSH1 0x01 00000d8c: SLOAD 00000d8d: DUP2 00000d8e: LT 00000d8f: DUP1 00000d90: ISZERO 00000d91: PUSH2 0x0da9 00000d94: JUMPI 00000d95: POP 00000d96: PUSH1 0x02 00000d98: DUP2 00000d99: PUSH2 0x0100 00000d9c: DUP2 00000d9d: LT 00000d9e: ISZERO 00000d9f: PUSH2 0x0002 00000da2: JUMPI 00000da3: ADD 00000da4: SLOAD 00000da5: PUSH1 0x00 00000da7: EQ 00000da8: ISZERO 00000da9: JUMPDEST 00000daa: ISZERO 00000dab: PUSH2 0x118b 00000dae: JUMPI 00000daf: PUSH1 0x01 00000db1: ADD 00000db2: PUSH2 0x0d89 00000db5: JUMP 00000db6: JUMPDEST 00000db7: PUSH1 0x01 00000db9: DUP1 00000dba: SLOAD 00000dbb: DUP2 00000dbc: ADD 00000dbd: SWAP1 00000dbe: DUP2 00000dbf: SWAP1 00000dc0: SSTORE 00000dc1: PUSH1 0x01 00000dc3: PUSH1 0xa0 00000dc5: PUSH1 0x02 00000dc7: EXP 00000dc8: SUB 00000dc9: DUP4 00000dca: AND 00000dcb: SWAP1 00000dcc: PUSH1 0x02 00000dce: SWAP1 00000dcf: PUSH2 0x0100 00000dd2: DUP2 00000dd3: LT 00000dd4: ISZERO 00000dd5: PUSH2 0x0002 00000dd8: JUMPI 00000dd9: SWAP1 00000dda: SWAP1 00000ddb: ADD 00000ddc: PUSH1 0x00 00000dde: POP 00000ddf: SSTORE 00000de0: PUSH1 0x01 00000de2: SLOAD 00000de3: PUSH1 0x01 00000de5: PUSH1 0xa0 00000de7: PUSH1 0x02 00000de9: EXP 00000dea: SUB 00000deb: DUP4 00000dec: AND 00000ded: PUSH1 0x00 00000def: DUP2 00000df0: DUP2 00000df1: MSTORE 00000df2: PUSH2 0x0102 00000df5: PUSH1 0x20 00000df7: SWAP1 00000df8: DUP2 00000df9: MSTORE 00000dfa: PUSH1 0x40 00000dfc: SWAP2 00000dfd: DUP3 00000dfe: SWAP1 00000dff: KECCAK256 00000e00: SWAP4 00000e01: SWAP1 00000e02: SWAP4 00000e03: SSTORE 00000e04: DUP1 00000e05: MLOAD 00000e06: SWAP2 00000e07: DUP3 00000e08: MSTORE 00000e09: MLOAD 00000e0a: PUSH32 0x994a936646fe87ffe4f1e469d3d6aa417d6b855598397f323de5b449f765f0c3 00000e2b: SWAP3 00000e2c: SWAP2 00000e2d: DUP2 00000e2e: SWAP1 00000e2f: SUB 00000e30: SWAP1 00000e31: SWAP2 00000e32: ADD 00000e33: SWAP1 00000e34: LOG1 00000e35: POP 00000e36: POP 00000e37: JUMP 00000e38: JUMPDEST 00000e39: ISZERO 00000e3a: PUSH2 0x0684 00000e3d: JUMPI 00000e3e: PUSH1 0x01 00000e40: PUSH1 0xa0 00000e42: PUSH1 0x02 00000e44: EXP 00000e45: SUB 00000e46: DUP4 00000e47: AND 00000e48: PUSH1 0x00 00000e4a: SWAP1 00000e4b: DUP2 00000e4c: MSTORE 00000e4d: PUSH2 0x0102 00000e50: PUSH1 0x20 00000e52: MSTORE 00000e53: PUSH1 0x40 00000e55: DUP2 00000e56: KECCAK256 00000e57: SLOAD 00000e58: SWAP3 00000e59: POP 00000e5a: DUP3 00000e5b: EQ 00000e5c: ISZERO 00000e5d: PUSH2 0x0e66 00000e60: JUMPI 00000e61: POP 00000e62: PUSH2 0x0460 00000e65: JUMP 00000e66: JUMPDEST 00000e67: PUSH1 0x01 00000e69: PUSH1 0x01 00000e6b: PUSH1 0x00 00000e6d: POP 00000e6e: SLOAD 00000e6f: SUB 00000e70: PUSH1 0x00 00000e72: PUSH1 0x00 00000e74: POP 00000e75: SLOAD 00000e76: GT 00000e77: ISZERO 00000e78: PUSH2 0x0e81 00000e7b: JUMPI 00000e7c: POP 00000e7d: PUSH2 0x0460 00000e80: JUMP 00000e81: JUMPDEST 00000e82: PUSH1 0x00 00000e84: PUSH1 0x02 00000e86: DUP4 00000e87: PUSH2 0x0100 00000e8a: DUP2 00000e8b: LT 00000e8c: ISZERO 00000e8d: PUSH2 0x0002 00000e90: JUMPI 00000e91: POP 00000e92: DUP4 00000e93: ADD 00000e94: DUP2 00000e95: SWAP1 00000e96: SSTORE 00000e97: PUSH1 0x01 00000e99: PUSH1 0xa0 00000e9b: PUSH1 0x02 00000e9d: EXP 00000e9e: SUB 00000e9f: DUP5 00000ea0: AND 00000ea1: DUP2 00000ea2: MSTORE 00000ea3: PUSH2 0x0102 00000ea6: PUSH1 0x20 00000ea8: MSTORE 00000ea9: PUSH1 0x40 00000eab: DUP2 00000eac: KECCAK256 00000ead: SSTORE 00000eae: PUSH2 0x0d77 00000eb1: PUSH2 0x0c24 00000eb4: JUMP 00000eb5: JUMPDEST 00000eb6: PUSH1 0x40 00000eb8: DUP1 00000eb9: MLOAD 00000eba: PUSH1 0x01 00000ebc: PUSH1 0xa0 00000ebe: PUSH1 0x02 00000ec0: EXP 00000ec1: SUB 00000ec2: DUP6 00000ec3: AND 00000ec4: DUP2 00000ec5: MSTORE 00000ec6: SWAP1 00000ec7: MLOAD 00000ec8: PUSH32 0x58619076adf5bb0943d100ef88d52d7c3fd691b19d3a9071b555b651fbf418da 00000ee9: SWAP2 00000eea: DUP2 00000eeb: SWAP1 00000eec: SUB 00000eed: PUSH1 0x20 00000eef: ADD 00000ef0: SWAP1 00000ef1: LOG1 00000ef2: POP 00000ef3: POP 00000ef4: POP 00000ef5: JUMP 00000ef6: JUMPDEST 00000ef7: ISZERO 00000ef8: PUSH2 0x0460 00000efb: JUMPI 00000efc: PUSH1 0x01 00000efe: SLOAD 00000eff: DUP3 00000f00: GT 00000f01: ISZERO 00000f02: PUSH2 0x0f0b 00000f05: JUMPI 00000f06: POP 00000f07: PUSH2 0x05dd 00000f0a: JUMP 00000f0b: JUMPDEST 00000f0c: PUSH1 0x00 00000f0e: DUP3 00000f0f: SWAP1 00000f10: SSTORE 00000f11: PUSH2 0x0f18 00000f14: PUSH2 0x0c24 00000f17: JUMP 00000f18: JUMPDEST 00000f19: PUSH1 0x40 00000f1b: DUP1 00000f1c: MLOAD 00000f1d: DUP4 00000f1e: DUP2 00000f1f: MSTORE 00000f20: SWAP1 00000f21: MLOAD 00000f22: PUSH32 0xacbdb084c721332ac59f9b8e392196c9eb0e4932862da8eb9beaf0dad4f550da 00000f43: SWAP2 00000f44: DUP2 00000f45: SWAP1 00000f46: SUB 00000f47: PUSH1 0x20 00000f49: ADD 00000f4a: SWAP1 00000f4b: LOG1 00000f4c: POP 00000f4d: POP 00000f4e: JUMP 00000f4f: JUMPDEST 00000f50: POP 00000f51: PUSH1 0x01 00000f53: DUP3 00000f54: ADD 00000f55: SLOAD 00000f56: PUSH1 0x02 00000f58: DUP3 00000f59: SWAP1 00000f5a: EXP 00000f5b: SWAP1 00000f5c: DUP2 00000f5d: AND 00000f5e: PUSH1 0x00 00000f60: EQ 00000f61: ISZERO 00000f62: SWAP4 00000f63: POP 00000f64: JUMPDEST 00000f65: POP 00000f66: POP 00000f67: POP 00000f68: SWAP3 00000f69: SWAP2 00000f6a: POP 00000f6b: POP 00000f6c: JUMP 00000f6d: JUMPDEST 00000f6e: ISZERO 00000f6f: PUSH2 0x0460 00000f72: JUMPI 00000f73: POP 00000f74: PUSH2 0x0105 00000f77: SSTORE 00000f78: JUMP 00000f79: JUMPDEST 00000f7a: ISZERO 00000f7b: PUSH2 0x05dd 00000f7e: JUMPI 00000f7f: PUSH1 0x00 00000f81: PUSH2 0x0106 00000f84: SSTORE 00000f85: POP 00000f86: JUMP 00000f87: JUMPDEST 00000f88: PUSH2 0x0460 00000f8b: PUSH2 0x0104 00000f8e: SLOAD 00000f8f: PUSH1 0x00 00000f91: JUMPDEST 00000f92: DUP2 00000f93: DUP2 00000f94: LT 00000f95: ISZERO 00000f96: PUSH2 0x12cf 00000f99: JUMPI 00000f9a: PUSH2 0x0104 00000f9d: DUP1 00000f9e: SLOAD 00000f9f: DUP3 00000fa0: SWAP1 00000fa1: DUP2 00000fa2: LT 00000fa3: ISZERO 00000fa4: PUSH2 0x0002 00000fa7: JUMPI 00000fa8: PUSH1 0x00 00000faa: SWAP2 00000fab: DUP3 00000fac: MSTORE 00000fad: PUSH1 0x00 00000faf: DUP1 00000fb0: MLOAD 00000fb1: PUSH1 0x20 00000fb3: PUSH2 0x12f9 00000fb6: DUP4 00000fb7: CODECOPY 00000fb8: DUP2 00000fb9: MLOAD 00000fba: SWAP2 00000fbb: MSTORE 00000fbc: ADD 00000fbd: SLOAD 00000fbe: EQ 00000fbf: PUSH2 0x1004 00000fc2: JUMPI 00000fc3: PUSH2 0x0104 00000fc6: DUP1 00000fc7: SLOAD 00000fc8: PUSH2 0x0103 00000fcb: SWAP2 00000fcc: PUSH1 0x00 00000fce: SWAP2 00000fcf: DUP5 00000fd0: SWAP1 00000fd1: DUP2 00000fd2: LT 00000fd3: ISZERO 00000fd4: PUSH2 0x0002 00000fd7: JUMPI 00000fd8: PUSH1 0x00 00000fda: DUP1 00000fdb: MLOAD 00000fdc: PUSH1 0x20 00000fde: PUSH2 0x12f9 00000fe1: DUP4 00000fe2: CODECOPY 00000fe3: DUP2 00000fe4: MLOAD 00000fe5: SWAP2 00000fe6: MSTORE 00000fe7: ADD 00000fe8: SLOAD 00000fe9: DUP3 00000fea: MSTORE 00000feb: POP 00000fec: PUSH1 0x20 00000fee: SWAP2 00000fef: SWAP1 00000ff0: SWAP2 00000ff1: MSTORE 00000ff2: PUSH1 0x40 00000ff4: DUP2 00000ff5: KECCAK256 00000ff6: DUP2 00000ff7: DUP2 00000ff8: SSTORE 00000ff9: PUSH1 0x01 00000ffb: DUP2 00000ffc: ADD 00000ffd: DUP3 00000ffe: SWAP1 00000fff: SSTORE 00001000: PUSH1 0x02 00001002: ADD 00001003: SSTORE 00001004: JUMPDEST 00001005: PUSH1 0x01 00001007: ADD 00001008: PUSH2 0x0f91 0000100b: JUMP 0000100c: JUMPDEST 0000100d: PUSH1 0x1f 0000100f: ADD 00001010: PUSH1 0x20 00001012: SWAP1 00001013: DIV 00001014: SWAP1 00001015: PUSH1 0x00 00001017: MSTORE 00001018: PUSH1 0x20 0000101a: PUSH1 0x00 0000101c: KECCAK256 0000101d: SWAP1 0000101e: DUP2 0000101f: ADD 00001020: SWAP1 00001021: PUSH2 0x0ca3 00001024: SWAP2 00001025: SWAP1 00001026: PUSH2 0x0841 00001029: JUMP 0000102a: JUMPDEST 0000102b: PUSH1 0x00 0000102d: DUP6 0000102e: DUP2 0000102f: MSTORE 00001030: PUSH2 0x0103 00001033: PUSH1 0x20 00001035: MSTORE 00001036: PUSH1 0x40 00001038: DUP2 00001039: KECCAK256 0000103a: DUP1 0000103b: SLOAD 0000103c: SWAP1 0000103d: SWAP4 0000103e: POP 0000103f: EQ 00001040: ISZERO 00001041: PUSH2 0x10b2 00001044: JUMPI 00001045: PUSH1 0x00 00001047: DUP1 00001048: SLOAD 00001049: DUP4 0000104a: SSTORE 0000104b: PUSH1 0x01 0000104d: DUP4 0000104e: DUP2 0000104f: ADD 00001050: SWAP2 00001051: SWAP1 00001052: SWAP2 00001053: SSTORE 00001054: PUSH2 0x0104 00001057: DUP1 00001058: SLOAD 00001059: SWAP2 0000105a: DUP3 0000105b: ADD 0000105c: DUP1 0000105d: DUP3 0000105e: SSTORE 0000105f: DUP3 00001060: DUP1 00001061: ISZERO 00001062: DUP3 00001063: SWAP1 00001064: GT 00001065: PUSH2 0x1081 00001068: JUMPI 00001069: DUP2 0000106a: DUP4 0000106b: PUSH1 0x00 0000106d: MSTORE 0000106e: PUSH1 0x20 00001070: PUSH1 0x00 00001072: KECCAK256 00001073: SWAP2 00001074: DUP3 00001075: ADD 00001076: SWAP2 00001077: ADD 00001078: PUSH2 0x1081 0000107b: SWAP2 0000107c: SWAP1 0000107d: PUSH2 0x0841 00001080: JUMP 00001081: JUMPDEST 00001082: POP 00001083: POP 00001084: POP 00001085: PUSH1 0x02 00001087: DUP4 00001088: ADD 00001089: DUP2 0000108a: SWAP1 0000108b: SSTORE 0000108c: PUSH2 0x0104 0000108f: DUP1 00001090: SLOAD 00001091: DUP8 00001092: SWAP3 00001093: SWAP1 00001094: DUP2 00001095: LT 00001096: ISZERO 00001097: PUSH2 0x0002 0000109a: JUMPI 0000109b: PUSH1 0x00 0000109d: SWAP2 0000109e: SWAP1 0000109f: SWAP2 000010a0: MSTORE 000010a1: PUSH1 0x00 000010a3: DUP1 000010a4: MLOAD 000010a5: PUSH1 0x20 000010a7: PUSH2 0x12f9 000010aa: DUP4 000010ab: CODECOPY 000010ac: DUP2 000010ad: MLOAD 000010ae: SWAP2 000010af: MSTORE 000010b0: ADD 000010b1: SSTORE 000010b2: JUMPDEST 000010b3: POP 000010b4: PUSH1 0x01 000010b6: DUP2 000010b7: ADD 000010b8: SLOAD 000010b9: PUSH1 0x02 000010bb: DUP4 000010bc: SWAP1 000010bd: EXP 000010be: SWAP1 000010bf: DUP2 000010c0: AND 000010c1: PUSH1 0x00 000010c3: EQ 000010c4: ISZERO 000010c5: PUSH2 0x1183 000010c8: JUMPI 000010c9: PUSH1 0x40 000010cb: DUP1 000010cc: MLOAD 000010cd: CALLER 000010ce: PUSH1 0x01 000010d0: PUSH1 0xa0 000010d2: PUSH1 0x02 000010d4: EXP 000010d5: SUB 000010d6: AND 000010d7: DUP2 000010d8: MSTORE 000010d9: PUSH1 0x20 000010db: DUP2 000010dc: ADD 000010dd: DUP8 000010de: SWAP1 000010df: MSTORE 000010e0: DUP2 000010e1: MLOAD 000010e2: PUSH32 0xe1c52dc63b719ade82e8bea94cc41a0d5d28e4aaf536adb5e9cccc9ff8c1aeda 00001103: SWAP3 00001104: SWAP2 00001105: DUP2 00001106: SWAP1 00001107: SUB 00001108: SWAP1 00001109: SWAP2 0000110a: ADD 0000110b: SWAP1 0000110c: LOG1 0000110d: DUP2 0000110e: SLOAD 0000110f: PUSH1 0x01 00001111: SWAP1 00001112: GT 00001113: PUSH2 0x1170 00001116: JUMPI 00001117: PUSH1 0x00 00001119: DUP6 0000111a: DUP2 0000111b: MSTORE 0000111c: PUSH2 0x0103 0000111f: PUSH1 0x20 00001121: MSTORE 00001122: PUSH1 0x40 00001124: SWAP1 00001125: KECCAK256 00001126: PUSH1 0x02 00001128: ADD 00001129: SLOAD 0000112a: PUSH2 0x0104 0000112d: DUP1 0000112e: SLOAD 0000112f: SWAP1 00001130: SWAP2 00001131: SWAP1 00001132: DUP2 00001133: LT 00001134: ISZERO 00001135: PUSH2 0x0002 00001138: JUMPI 00001139: PUSH1 0x40 0000113b: PUSH1 0x00 0000113d: SWAP1 0000113e: DUP2 0000113f: KECCAK256 00001140: PUSH1 0x00 00001142: DUP1 00001143: MLOAD 00001144: PUSH1 0x20 00001146: PUSH2 0x12f9 00001149: DUP4 0000114a: CODECOPY 0000114b: DUP2 0000114c: MLOAD 0000114d: SWAP2 0000114e: MSTORE 0000114f: SWAP3 00001150: SWAP1 00001151: SWAP3 00001152: ADD 00001153: DUP2 00001154: SWAP1 00001155: SSTORE 00001156: DUP1 00001157: DUP3 00001158: SSTORE 00001159: PUSH1 0x01 0000115b: DUP3 0000115c: DUP2 0000115d: ADD 0000115e: DUP3 0000115f: SWAP1 00001160: SSTORE 00001161: PUSH1 0x02 00001163: SWAP3 00001164: SWAP1 00001165: SWAP3 00001166: ADD 00001167: SSTORE 00001168: SWAP5 00001169: POP 0000116a: PUSH2 0x1183 0000116d: SWAP1 0000116e: POP 0000116f: JUMP 00001170: JUMPDEST 00001171: DUP2 00001172: SLOAD 00001173: PUSH1 0x00 00001175: NOT 00001176: ADD 00001177: DUP3 00001178: SSTORE 00001179: PUSH1 0x01 0000117b: DUP3 0000117c: ADD 0000117d: DUP1 0000117e: SLOAD 0000117f: DUP3 00001180: OR 00001181: SWAP1 00001182: SSTORE 00001183: JUMPDEST 00001184: POP 00001185: POP 00001186: POP 00001187: SWAP2 00001188: SWAP1 00001189: POP 0000118a: JUMP 0000118b: JUMPDEST 0000118c: JUMPDEST 0000118d: PUSH1 0x01 0000118f: DUP1 00001190: SLOAD 00001191: GT 00001192: DUP1 00001193: ISZERO 00001194: PUSH2 0x11ae 00001197: JUMPI 00001198: POP 00001199: PUSH1 0x01 0000119b: SLOAD 0000119c: PUSH1 0x02 0000119e: SWAP1 0000119f: PUSH2 0x0100 000011a2: DUP2 000011a3: LT 000011a4: ISZERO 000011a5: PUSH2 0x0002 000011a8: JUMPI 000011a9: ADD 000011aa: SLOAD 000011ab: PUSH1 0x00 000011ad: EQ 000011ae: JUMPDEST 000011af: ISZERO 000011b0: PUSH2 0x11c2 000011b3: JUMPI 000011b4: PUSH1 0x01 000011b6: DUP1 000011b7: SLOAD 000011b8: PUSH1 0x00 000011ba: NOT 000011bb: ADD 000011bc: SWAP1 000011bd: SSTORE 000011be: PUSH2 0x118c 000011c1: JUMP 000011c2: JUMPDEST 000011c3: PUSH1 0x01 000011c5: SLOAD 000011c6: DUP2 000011c7: LT 000011c8: DUP1 000011c9: ISZERO 000011ca: PUSH2 0x11e5 000011cd: JUMPI 000011ce: POP 000011cf: PUSH1 0x01 000011d1: SLOAD 000011d2: PUSH1 0x02 000011d4: SWAP1 000011d5: PUSH2 0x0100 000011d8: DUP2 000011d9: LT 000011da: ISZERO 000011db: PUSH2 0x0002 000011de: JUMPI 000011df: ADD 000011e0: SLOAD 000011e1: PUSH1 0x00 000011e3: EQ 000011e4: ISZERO 000011e5: JUMPDEST 000011e6: DUP1 000011e7: ISZERO 000011e8: PUSH2 0x11ff 000011eb: JUMPI 000011ec: POP 000011ed: PUSH1 0x02 000011ef: DUP2 000011f0: PUSH2 0x0100 000011f3: DUP2 000011f4: LT 000011f5: ISZERO 000011f6: PUSH2 0x0002 000011f9: JUMPI 000011fa: ADD 000011fb: SLOAD 000011fc: PUSH1 0x00 000011fe: EQ 000011ff: JUMPDEST 00001200: ISZERO 00001201: PUSH2 0x1260 00001204: JUMPI 00001205: PUSH1 0x01 00001207: SLOAD 00001208: PUSH1 0x02 0000120a: SWAP1 0000120b: PUSH2 0x0100 0000120e: DUP2 0000120f: LT 00001210: ISZERO 00001211: PUSH2 0x0002 00001214: JUMPI 00001215: DUP2 00001216: ADD 00001217: SLOAD 00001218: SWAP1 00001219: DUP3 0000121a: PUSH2 0x0100 0000121d: DUP2 0000121e: LT 0000121f: ISZERO 00001220: PUSH2 0x0002 00001223: JUMPI 00001224: SWAP1 00001225: SWAP1 00001226: ADD 00001227: PUSH1 0x00 00001229: POP 0000122a: SSTORE 0000122b: DUP1 0000122c: PUSH2 0x0102 0000122f: PUSH1 0x00 00001231: PUSH1 0x02 00001233: DUP4 00001234: PUSH2 0x0100 00001237: DUP2 00001238: LT 00001239: ISZERO 0000123a: PUSH2 0x0002 0000123d: JUMPI 0000123e: DUP2 0000123f: ADD 00001240: SLOAD 00001241: DUP3 00001242: MSTORE 00001243: PUSH1 0x20 00001245: SWAP3 00001246: SWAP1 00001247: SWAP3 00001248: MSTORE 00001249: PUSH1 0x40 0000124b: DUP2 0000124c: KECCAK256 0000124d: SWAP3 0000124e: SWAP1 0000124f: SWAP3 00001250: SSTORE 00001251: PUSH1 0x01 00001253: SLOAD 00001254: PUSH2 0x0100 00001257: DUP2 00001258: LT 00001259: ISZERO 0000125a: PUSH2 0x0002 0000125d: JUMPI 0000125e: ADD 0000125f: SSTORE 00001260: JUMPDEST 00001261: PUSH2 0x0d7e 00001264: JUMP 00001265: JUMPDEST 00001266: ISZERO 00001267: PUSH2 0x0919 0000126a: JUMPI 0000126b: PUSH2 0x0107 0000126e: SLOAD 0000126f: PUSH2 0x127b 00001272: JUMPDEST 00001273: PUSH3 0x015180 00001277: TIMESTAMP 00001278: DIV 00001279: SWAP1 0000127a: JUMP 0000127b: JUMPDEST 0000127c: GT 0000127d: ISZERO 0000127e: PUSH2 0x1294 00001281: JUMPI 00001282: PUSH1 0x00 00001284: PUSH2 0x0106 00001287: SSTORE 00001288: PUSH2 0x128f 0000128b: PUSH2 0x1272 0000128e: JUMP 0000128f: JUMPDEST 00001290: PUSH2 0x0107 00001293: SSTORE 00001294: JUMPDEST 00001295: PUSH2 0x0106 00001298: SLOAD 00001299: DUP1 0000129a: DUP4 0000129b: ADD 0000129c: LT 0000129d: DUP1 0000129e: ISZERO 0000129f: SWAP1 000012a0: PUSH2 0x12b1 000012a3: JUMPI 000012a4: POP 000012a5: PUSH2 0x0105 000012a8: SLOAD 000012a9: PUSH2 0x0106 000012ac: SLOAD 000012ad: DUP4 000012ae: ADD 000012af: GT 000012b0: ISZERO 000012b1: JUMPDEST 000012b2: ISZERO 000012b3: PUSH2 0x12c7 000012b6: JUMPI 000012b7: POP 000012b8: PUSH2 0x0106 000012bb: DUP1 000012bc: SLOAD 000012bd: DUP3 000012be: ADD 000012bf: SWAP1 000012c0: SSTORE 000012c1: PUSH1 0x01 000012c3: PUSH2 0x0919 000012c6: JUMP 000012c7: JUMPDEST 000012c8: POP 000012c9: PUSH1 0x00 000012cb: PUSH2 0x0919 000012ce: JUMP 000012cf: JUMPDEST 000012d0: PUSH2 0x0104 000012d3: DUP1 000012d4: SLOAD 000012d5: PUSH1 0x00 000012d7: DUP1 000012d8: DUP4 000012d9: SSTORE 000012da: SWAP2 000012db: SWAP1 000012dc: SWAP2 000012dd: MSTORE 000012de: PUSH2 0x0684 000012e1: SWAP1 000012e2: PUSH1 0x00 000012e4: DUP1 000012e5: MLOAD 000012e6: PUSH1 0x20 000012e8: PUSH2 0x12f9 000012eb: DUP4 000012ec: CODECOPY 000012ed: DUP2 000012ee: MLOAD 000012ef: SWAP2 000012f0: MSTORE 000012f1: SWAP1 000012f2: DUP2 000012f3: ADD 000012f4: SWAP1 000012f5: PUSH2 0x0841 000012f8: JUMP 000012f9: UNKNOWN(0x4C) 000012fa: SIGNEXTEND 000012fb: UNKNOWN(0xE6) 000012fc: MUL 000012fd: STOP 000012fe: STATICCALL 000012ff: LOG2 00001300: SDIV 00001301: MSIZE 00001302: ADDRESS 00001303: DUP13 00001304: UNKNOWN(0xB7) 00001305: UNKNOWN(0xB5) 00001306: LOG1 00001307: UNKNOWN(0xBB) 00001308: ORIGIN 00001309: SSTORE 0000130a: UNKNOWN(0xC1) 0000130b: PUSH13 0xb1cab91f525b5ae7a03d02fabe
Warning: This is a nightly build of Foundry. It is recommended to use the latest stable version. To mute this warning set `FOUNDRY_DISABLE_NIGHTLY_WARNING` in your environment.
| 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": 4872,
"type": "tx_origin_used"
}
]
}
|
| medium | other | detector | ETH value transfer possible | 40 | no | no |
viewtrace_id: 0xe9f7a3b6713d6e5ec1214b71a06adf51e4098c984624accc8982084ac3613a74
call_targets:
0x971b8456de474e836049c0671c29d97fd25708f6
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xe9f7a3b6713d6e5ec1214b71a06adf51e4098c984624accc8982084ac3613a74",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x971b8456de474e836049c0671c29d97fd25708f6"
],
"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": 332,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 659,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1111,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 8,
"guards_detected": [
{
"pc": 4872,
"type": "tx_origin_used"
}
]
}
|
| medium | other | detector | Untrusted CALL target/value reachable | 45 | no | no |
viewtrace_id: 0xe9f7a3b6713d6e5ec1214b71a06adf51e4098c984624accc8982084ac3613a74
call_targets:
0x971b8456de474e836049c0671c29d97fd25708f6
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xe9f7a3b6713d6e5ec1214b71a06adf51e4098c984624accc8982084ac3613a74",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x971b8456de474e836049c0671c29d97fd25708f6"
],
"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": 332,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 659,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1111,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 8,
"guards_detected": [
{
"pc": 4872,
"type": "tx_origin_used"
}
],
"untrusted_call_count": 8
}
|
| medium | other | detector | SELFDESTRUCT reachable | 45 | no | no |
viewtrace_id: 0xb1b7ee9eabac114f239081e0628f4c5d96306ef2e2caa7e202726d2aa60fbc2a
validation_json{
"sink": "SELFDESTRUCT",
"errors": 0,
"status": "unknown",
"attempts": 32,
"trace_id": "0xb1b7ee9eabac114f239081e0628f4c5d96306ef2e2caa7e202726d2aa60fbc2a",
"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": 4872,
"type": "tx_origin_used"
}
],
"selfdestruct_count": 1
}
|