019b477e-a90f-7143-82e6-464194c3958e
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 |
|---|---|---|---|---|
| 20549 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 20550 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 88477 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 88478 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 88479 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 88480 | 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 0x0159 0000000a: JUMPI 0000000b: PUSH4 0xffffffff 00000010: PUSH1 0xe0 00000012: PUSH1 0x02 00000014: EXP 00000015: PUSH1 0x00 00000017: CALLDATALOAD 00000018: DIV 00000019: AND 0000001a: PUSH4 0x015129a1 0000001f: DUP2 00000020: EQ 00000021: PUSH2 0x0193 00000024: JUMPI 00000025: DUP1 00000026: PUSH4 0x02500824 0000002b: EQ 0000002c: PUSH2 0x01b2 0000002f: JUMPI 00000030: DUP1 00000031: PUSH4 0x06fdde03 00000036: EQ 00000037: PUSH2 0x01cc 0000003a: JUMPI 0000003b: DUP1 0000003c: PUSH4 0x095ea7b3 00000041: EQ 00000042: PUSH2 0x0259 00000045: JUMPI 00000046: DUP1 00000047: PUSH4 0x0d5260e7 0000004c: EQ 0000004d: PUSH2 0x0289 00000050: JUMPI 00000051: DUP1 00000052: PUSH4 0x18160ddd 00000057: EQ 00000058: PUSH2 0x029b 0000005b: JUMPI 0000005c: DUP1 0000005d: PUSH4 0x23b872dd 00000062: EQ 00000063: PUSH2 0x02ba 00000066: JUMPI 00000067: DUP1 00000068: PUSH4 0x313ce567 0000006d: EQ 0000006e: PUSH2 0x02f0 00000071: JUMPI 00000072: DUP1 00000073: PUSH4 0x3fdccd8d 00000078: EQ 00000079: PUSH2 0x0313 0000007c: JUMPI 0000007d: DUP1 0000007e: PUSH4 0x41713a37 00000083: EQ 00000084: PUSH2 0x0325 00000087: JUMPI 00000088: DUP1 00000089: PUSH4 0x47f1d8d7 0000008e: EQ 0000008f: PUSH2 0x0346 00000092: JUMPI 00000093: DUP1 00000094: PUSH4 0x4b6a3334 00000099: EQ 0000009a: PUSH2 0x0365 0000009d: JUMPI 0000009e: DUP1 0000009f: PUSH4 0x5639bb3c 000000a4: EQ 000000a5: PUSH2 0x037a 000000a8: JUMPI 000000a9: DUP1 000000aa: PUSH4 0x5ff456cb 000000af: EQ 000000b0: PUSH2 0x0399 000000b3: JUMPI 000000b4: DUP1 000000b5: PUSH4 0x5ff4ae32 000000ba: EQ 000000bb: PUSH2 0x03ae 000000be: JUMPI 000000bf: DUP1 000000c0: PUSH4 0x70a08231 000000c5: EQ 000000c6: PUSH2 0x03c0 000000c9: JUMPI 000000ca: DUP1 000000cb: PUSH4 0x84c14b25 000000d0: EQ 000000d1: PUSH2 0x03eb 000000d4: JUMPI 000000d5: DUP1 000000d6: PUSH4 0x89224227 000000db: EQ 000000dc: PUSH2 0x040d 000000df: JUMPI 000000e0: DUP1 000000e1: PUSH4 0x8da5cb5b 000000e6: EQ 000000e7: PUSH2 0x041c 000000ea: JUMPI 000000eb: DUP1 000000ec: PUSH4 0x95d89b41 000000f1: EQ 000000f2: PUSH2 0x0445 000000f5: JUMPI 000000f6: DUP1 000000f7: PUSH4 0xa9059cbb 000000fc: EQ 000000fd: PUSH2 0x04d2 00000100: JUMPI 00000101: DUP1 00000102: PUSH4 0xb04247e9 00000107: EQ 00000108: PUSH2 0x0502 0000010b: JUMPI 0000010c: DUP1 0000010d: PUSH4 0xb42b14c4 00000112: EQ 00000113: PUSH2 0x052b 00000116: JUMPI 00000117: DUP1 00000118: PUSH4 0xc72be838 0000011d: EQ 0000011e: PUSH2 0x054a 00000121: JUMPI 00000122: DUP1 00000123: PUSH4 0xc91d956c 00000128: EQ 00000129: PUSH2 0x0569 0000012c: JUMPI 0000012d: DUP1 0000012e: PUSH4 0xdd62ed3e 00000133: EQ 00000134: PUSH2 0x057b 00000137: JUMPI 00000138: DUP1 00000139: PUSH4 0xea43b79f 0000013e: EQ 0000013f: PUSH2 0x05ac 00000142: JUMPI 00000143: DUP1 00000144: PUSH4 0xeea7570e 00000149: EQ 0000014a: PUSH2 0x05bb 0000014d: JUMPI 0000014e: DUP1 0000014f: PUSH4 0xf2fde38b 00000154: EQ 00000155: PUSH2 0x05da 00000158: JUMPI 00000159: JUMPDEST 0000015a: PUSH2 0x0191 0000015d: JUMPDEST 0000015e: PUSH1 0x00 00000160: SLOAD 00000161: CALLER 00000162: PUSH1 0x01 00000164: PUSH1 0xa0 00000166: PUSH1 0x02 00000168: EXP 00000169: SUB 0000016a: SWAP1 0000016b: DUP2 0000016c: AND 0000016d: SWAP2 0000016e: AND 0000016f: EQ 00000170: PUSH2 0x018e 00000173: JUMPI 00000174: PUSH1 0x0e 00000176: SLOAD 00000177: PUSH1 0xff 00000179: AND 0000017a: ISZERO 0000017b: ISZERO 0000017c: PUSH2 0x0184 0000017f: JUMPI 00000180: PUSH2 0x0000 00000183: JUMP 00000184: JUMPDEST 00000185: PUSH2 0x018c 00000188: PUSH2 0x05f5 0000018b: JUMP 0000018c: JUMPDEST 0000018d: POP 0000018e: JUMPDEST 0000018f: JUMPDEST 00000190: JUMP 00000191: JUMPDEST 00000192: STOP 00000193: JUMPDEST 00000194: CALLVALUE 00000195: PUSH2 0x0000 00000198: JUMPI 00000199: PUSH2 0x01a0 0000019c: PUSH2 0x06e7 0000019f: JUMP 000001a0: JUMPDEST 000001a1: PUSH1 0x40 000001a3: DUP1 000001a4: MLOAD 000001a5: SWAP2 000001a6: DUP3 000001a7: MSTORE 000001a8: MLOAD 000001a9: SWAP1 000001aa: DUP2 000001ab: SWAP1 000001ac: SUB 000001ad: PUSH1 0x20 000001af: ADD 000001b0: SWAP1 000001b1: RETURN 000001b2: JUMPDEST 000001b3: PUSH2 0x01a0 000001b6: PUSH2 0x05f5 000001b9: JUMP 000001ba: JUMPDEST 000001bb: PUSH1 0x40 000001bd: DUP1 000001be: MLOAD 000001bf: SWAP2 000001c0: DUP3 000001c1: MSTORE 000001c2: MLOAD 000001c3: SWAP1 000001c4: DUP2 000001c5: SWAP1 000001c6: SUB 000001c7: PUSH1 0x20 000001c9: ADD 000001ca: SWAP1 000001cb: RETURN 000001cc: JUMPDEST 000001cd: CALLVALUE 000001ce: PUSH2 0x0000 000001d1: JUMPI 000001d2: PUSH2 0x01d9 000001d5: PUSH2 0x06ed 000001d8: JUMP 000001d9: JUMPDEST 000001da: PUSH1 0x40 000001dc: DUP1 000001dd: MLOAD 000001de: PUSH1 0x20 000001e0: DUP1 000001e1: DUP3 000001e2: MSTORE 000001e3: DUP4 000001e4: MLOAD 000001e5: DUP2 000001e6: DUP4 000001e7: ADD 000001e8: MSTORE 000001e9: DUP4 000001ea: MLOAD 000001eb: SWAP2 000001ec: SWAP3 000001ed: DUP4 000001ee: SWAP3 000001ef: SWAP1 000001f0: DUP4 000001f1: ADD 000001f2: SWAP2 000001f3: DUP6 000001f4: ADD 000001f5: SWAP1 000001f6: DUP1 000001f7: DUP4 000001f8: DUP4 000001f9: DUP3 000001fa: ISZERO 000001fb: PUSH2 0x021f 000001fe: JUMPI 000001ff: JUMPDEST 00000200: DUP1 00000201: MLOAD 00000202: DUP3 00000203: MSTORE 00000204: PUSH1 0x20 00000206: DUP4 00000207: GT 00000208: ISZERO 00000209: PUSH2 0x021f 0000020c: JUMPI 0000020d: PUSH1 0x1f 0000020f: NOT 00000210: SWAP1 00000211: SWAP3 00000212: ADD 00000213: SWAP2 00000214: PUSH1 0x20 00000216: SWAP2 00000217: DUP3 00000218: ADD 00000219: SWAP2 0000021a: ADD 0000021b: PUSH2 0x01ff 0000021e: JUMP 0000021f: JUMPDEST 00000220: POP 00000221: POP 00000222: POP 00000223: SWAP1 00000224: POP 00000225: SWAP1 00000226: DUP2 00000227: ADD 00000228: SWAP1 00000229: PUSH1 0x1f 0000022b: AND 0000022c: DUP1 0000022d: ISZERO 0000022e: PUSH2 0x024b 00000231: JUMPI 00000232: DUP1 00000233: DUP3 00000234: SUB 00000235: DUP1 00000236: MLOAD 00000237: PUSH1 0x01 00000239: DUP4 0000023a: PUSH1 0x20 0000023c: SUB 0000023d: PUSH2 0x0100 00000240: EXP 00000241: SUB 00000242: NOT 00000243: AND 00000244: DUP2 00000245: MSTORE 00000246: PUSH1 0x20 00000248: ADD 00000249: SWAP2 0000024a: POP 0000024b: JUMPDEST 0000024c: POP 0000024d: SWAP3 0000024e: POP 0000024f: POP 00000250: POP 00000251: PUSH1 0x40 00000253: MLOAD 00000254: DUP1 00000255: SWAP2 00000256: SUB 00000257: SWAP1 00000258: RETURN 00000259: JUMPDEST 0000025a: CALLVALUE 0000025b: PUSH2 0x0000 0000025e: JUMPI 0000025f: PUSH2 0x0275 00000262: PUSH1 0x01 00000264: PUSH1 0xa0 00000266: PUSH1 0x02 00000268: EXP 00000269: SUB 0000026a: PUSH1 0x04 0000026c: CALLDATALOAD 0000026d: AND 0000026e: PUSH1 0x24 00000270: CALLDATALOAD 00000271: PUSH2 0x077b 00000274: JUMP 00000275: JUMPDEST 00000276: PUSH1 0x40 00000278: DUP1 00000279: MLOAD 0000027a: SWAP2 0000027b: ISZERO 0000027c: ISZERO 0000027d: DUP3 0000027e: MSTORE 0000027f: MLOAD 00000280: SWAP1 00000281: DUP2 00000282: SWAP1 00000283: SUB 00000284: PUSH1 0x20 00000286: ADD 00000287: SWAP1 00000288: RETURN 00000289: JUMPDEST 0000028a: CALLVALUE 0000028b: PUSH2 0x0000 0000028e: JUMPI 0000028f: PUSH2 0x0191 00000292: PUSH1 0x04 00000294: CALLDATALOAD 00000295: PUSH2 0x07e6 00000298: JUMP 00000299: JUMPDEST 0000029a: STOP 0000029b: JUMPDEST 0000029c: CALLVALUE 0000029d: PUSH2 0x0000 000002a0: JUMPI 000002a1: PUSH2 0x01a0 000002a4: PUSH2 0x080b 000002a7: JUMP 000002a8: JUMPDEST 000002a9: PUSH1 0x40 000002ab: DUP1 000002ac: MLOAD 000002ad: SWAP2 000002ae: DUP3 000002af: MSTORE 000002b0: MLOAD 000002b1: SWAP1 000002b2: DUP2 000002b3: SWAP1 000002b4: SUB 000002b5: PUSH1 0x20 000002b7: ADD 000002b8: SWAP1 000002b9: RETURN 000002ba: JUMPDEST 000002bb: CALLVALUE 000002bc: PUSH2 0x0000 000002bf: JUMPI 000002c0: PUSH2 0x0275 000002c3: PUSH1 0x01 000002c5: PUSH1 0xa0 000002c7: PUSH1 0x02 000002c9: EXP 000002ca: SUB 000002cb: PUSH1 0x04 000002cd: CALLDATALOAD 000002ce: DUP2 000002cf: AND 000002d0: SWAP1 000002d1: PUSH1 0x24 000002d3: CALLDATALOAD 000002d4: AND 000002d5: PUSH1 0x44 000002d7: CALLDATALOAD 000002d8: PUSH2 0x0811 000002db: JUMP 000002dc: JUMPDEST 000002dd: PUSH1 0x40 000002df: DUP1 000002e0: MLOAD 000002e1: SWAP2 000002e2: ISZERO 000002e3: ISZERO 000002e4: DUP3 000002e5: MSTORE 000002e6: MLOAD 000002e7: SWAP1 000002e8: DUP2 000002e9: SWAP1 000002ea: SUB 000002eb: PUSH1 0x20 000002ed: ADD 000002ee: SWAP1 000002ef: RETURN 000002f0: JUMPDEST 000002f1: CALLVALUE 000002f2: PUSH2 0x0000 000002f5: JUMPI 000002f6: PUSH2 0x02fd 000002f9: PUSH2 0x090e 000002fc: JUMP 000002fd: JUMPDEST 000002fe: PUSH1 0x40 00000300: DUP1 00000301: MLOAD 00000302: PUSH1 0xff 00000304: SWAP1 00000305: SWAP3 00000306: AND 00000307: DUP3 00000308: MSTORE 00000309: MLOAD 0000030a: SWAP1 0000030b: DUP2 0000030c: SWAP1 0000030d: SUB 0000030e: PUSH1 0x20 00000310: ADD 00000311: SWAP1 00000312: RETURN 00000313: JUMPDEST 00000314: CALLVALUE 00000315: PUSH2 0x0000 00000318: JUMPI 00000319: PUSH2 0x0191 0000031c: PUSH1 0x04 0000031e: CALLDATALOAD 0000031f: PUSH2 0x092f 00000322: JUMP 00000323: JUMPDEST 00000324: STOP 00000325: JUMPDEST 00000326: CALLVALUE 00000327: PUSH2 0x0000 0000032a: JUMPI 0000032b: PUSH2 0x0275 0000032e: PUSH2 0x0954 00000331: JUMP 00000332: JUMPDEST 00000333: PUSH1 0x40 00000335: DUP1 00000336: MLOAD 00000337: SWAP2 00000338: ISZERO 00000339: ISZERO 0000033a: DUP3 0000033b: MSTORE 0000033c: MLOAD 0000033d: SWAP1 0000033e: DUP2 0000033f: SWAP1 00000340: SUB 00000341: PUSH1 0x20 00000343: ADD 00000344: SWAP1 00000345: RETURN 00000346: JUMPDEST 00000347: CALLVALUE 00000348: PUSH2 0x0000 0000034b: JUMPI 0000034c: PUSH2 0x01a0 0000034f: PUSH2 0x095d 00000352: JUMP 00000353: JUMPDEST 00000354: PUSH1 0x40 00000356: DUP1 00000357: MLOAD 00000358: SWAP2 00000359: DUP3 0000035a: MSTORE 0000035b: MLOAD 0000035c: SWAP1 0000035d: DUP2 0000035e: SWAP1 0000035f: SUB 00000360: PUSH1 0x20 00000362: ADD 00000363: SWAP1 00000364: RETURN 00000365: JUMPDEST 00000366: CALLVALUE 00000367: PUSH2 0x0000 0000036a: JUMPI 0000036b: PUSH2 0x0191 0000036e: PUSH1 0x04 00000370: CALLDATALOAD 00000371: PUSH1 0x24 00000373: CALLDATALOAD 00000374: PUSH2 0x0963 00000377: JUMP 00000378: JUMPDEST 00000379: STOP 0000037a: JUMPDEST 0000037b: CALLVALUE 0000037c: PUSH2 0x0000 0000037f: JUMPI 00000380: PUSH2 0x01a0 00000383: PUSH2 0x098e 00000386: JUMP 00000387: JUMPDEST 00000388: PUSH1 0x40 0000038a: DUP1 0000038b: MLOAD 0000038c: SWAP2 0000038d: DUP3 0000038e: MSTORE 0000038f: MLOAD 00000390: SWAP1 00000391: DUP2 00000392: SWAP1 00000393: SUB 00000394: PUSH1 0x20 00000396: ADD 00000397: SWAP1 00000398: RETURN 00000399: JUMPDEST 0000039a: CALLVALUE 0000039b: PUSH2 0x0000 0000039e: JUMPI 0000039f: PUSH2 0x0191 000003a2: PUSH1 0x04 000003a4: CALLDATALOAD 000003a5: PUSH1 0x24 000003a7: CALLDATALOAD 000003a8: PUSH2 0x0994 000003ab: JUMP 000003ac: JUMPDEST 000003ad: STOP 000003ae: JUMPDEST 000003af: CALLVALUE 000003b0: PUSH2 0x0000 000003b3: JUMPI 000003b4: PUSH2 0x0191 000003b7: PUSH1 0x04 000003b9: CALLDATALOAD 000003ba: PUSH2 0x0af7 000003bd: JUMP 000003be: JUMPDEST 000003bf: STOP 000003c0: JUMPDEST 000003c1: CALLVALUE 000003c2: PUSH2 0x0000 000003c5: JUMPI 000003c6: PUSH2 0x01a0 000003c9: PUSH1 0x01 000003cb: PUSH1 0xa0 000003cd: PUSH1 0x02 000003cf: EXP 000003d0: SUB 000003d1: PUSH1 0x04 000003d3: CALLDATALOAD 000003d4: AND 000003d5: PUSH2 0x0b1c 000003d8: JUMP 000003d9: JUMPDEST 000003da: PUSH1 0x40 000003dc: DUP1 000003dd: MLOAD 000003de: SWAP2 000003df: DUP3 000003e0: MSTORE 000003e1: MLOAD 000003e2: SWAP1 000003e3: DUP2 000003e4: SWAP1 000003e5: SUB 000003e6: PUSH1 0x20 000003e8: ADD 000003e9: SWAP1 000003ea: RETURN 000003eb: JUMPDEST 000003ec: CALLVALUE 000003ed: PUSH2 0x0000 000003f0: JUMPI 000003f1: PUSH2 0x01a0 000003f4: PUSH1 0x04 000003f6: CALLDATALOAD 000003f7: PUSH2 0x0b3b 000003fa: JUMP 000003fb: JUMPDEST 000003fc: PUSH1 0x40 000003fe: DUP1 000003ff: MLOAD 00000400: SWAP2 00000401: DUP3 00000402: MSTORE 00000403: MLOAD 00000404: SWAP1 00000405: DUP2 00000406: SWAP1 00000407: SUB 00000408: PUSH1 0x20 0000040a: ADD 0000040b: SWAP1 0000040c: RETURN 0000040d: JUMPDEST 0000040e: CALLVALUE 0000040f: PUSH2 0x0000 00000412: JUMPI 00000413: PUSH2 0x0191 00000416: PUSH2 0x0c83 00000419: JUMP 0000041a: JUMPDEST 0000041b: STOP 0000041c: JUMPDEST 0000041d: CALLVALUE 0000041e: PUSH2 0x0000 00000421: JUMPI 00000422: PUSH2 0x0429 00000425: PUSH2 0x0cac 00000428: JUMP 00000429: JUMPDEST 0000042a: PUSH1 0x40 0000042c: DUP1 0000042d: MLOAD 0000042e: PUSH1 0x01 00000430: PUSH1 0xa0 00000432: PUSH1 0x02 00000434: EXP 00000435: SUB 00000436: SWAP1 00000437: SWAP3 00000438: AND 00000439: DUP3 0000043a: MSTORE 0000043b: MLOAD 0000043c: SWAP1 0000043d: DUP2 0000043e: SWAP1 0000043f: SUB 00000440: PUSH1 0x20 00000442: ADD 00000443: SWAP1 00000444: RETURN 00000445: JUMPDEST 00000446: CALLVALUE 00000447: PUSH2 0x0000 0000044a: JUMPI 0000044b: PUSH2 0x01d9 0000044e: PUSH2 0x0cbb 00000451: JUMP 00000452: JUMPDEST 00000453: PUSH1 0x40 00000455: DUP1 00000456: MLOAD 00000457: PUSH1 0x20 00000459: DUP1 0000045a: DUP3 0000045b: MSTORE 0000045c: DUP4 0000045d: MLOAD 0000045e: DUP2 0000045f: DUP4 00000460: ADD 00000461: MSTORE 00000462: DUP4 00000463: MLOAD 00000464: SWAP2 00000465: SWAP3 00000466: DUP4 00000467: SWAP3 00000468: SWAP1 00000469: DUP4 0000046a: ADD 0000046b: SWAP2 0000046c: DUP6 0000046d: ADD 0000046e: SWAP1 0000046f: DUP1 00000470: DUP4 00000471: DUP4 00000472: DUP3 00000473: ISZERO 00000474: PUSH2 0x021f 00000477: JUMPI 00000478: JUMPDEST 00000479: DUP1 0000047a: MLOAD 0000047b: DUP3 0000047c: MSTORE 0000047d: PUSH1 0x20 0000047f: DUP4 00000480: GT 00000481: ISZERO 00000482: PUSH2 0x021f 00000485: JUMPI 00000486: PUSH1 0x1f 00000488: NOT 00000489: SWAP1 0000048a: SWAP3 0000048b: ADD 0000048c: SWAP2 0000048d: PUSH1 0x20 0000048f: SWAP2 00000490: DUP3 00000491: ADD 00000492: SWAP2 00000493: ADD 00000494: PUSH2 0x01ff 00000497: JUMP 00000498: JUMPDEST 00000499: POP 0000049a: POP 0000049b: POP 0000049c: SWAP1 0000049d: POP 0000049e: SWAP1 0000049f: DUP2 000004a0: ADD 000004a1: SWAP1 000004a2: PUSH1 0x1f 000004a4: AND 000004a5: DUP1 000004a6: ISZERO 000004a7: PUSH2 0x024b 000004aa: JUMPI 000004ab: DUP1 000004ac: DUP3 000004ad: SUB 000004ae: DUP1 000004af: MLOAD 000004b0: PUSH1 0x01 000004b2: DUP4 000004b3: PUSH1 0x20 000004b5: SUB 000004b6: PUSH2 0x0100 000004b9: EXP 000004ba: SUB 000004bb: NOT 000004bc: AND 000004bd: DUP2 000004be: MSTORE 000004bf: PUSH1 0x20 000004c1: ADD 000004c2: SWAP2 000004c3: POP 000004c4: JUMPDEST 000004c5: POP 000004c6: SWAP3 000004c7: POP 000004c8: POP 000004c9: POP 000004ca: PUSH1 0x40 000004cc: MLOAD 000004cd: DUP1 000004ce: SWAP2 000004cf: SUB 000004d0: SWAP1 000004d1: RETURN 000004d2: JUMPDEST 000004d3: CALLVALUE 000004d4: PUSH2 0x0000 000004d7: JUMPI 000004d8: PUSH2 0x0275 000004db: PUSH1 0x01 000004dd: PUSH1 0xa0 000004df: PUSH1 0x02 000004e1: EXP 000004e2: SUB 000004e3: PUSH1 0x04 000004e5: CALLDATALOAD 000004e6: AND 000004e7: PUSH1 0x24 000004e9: CALLDATALOAD 000004ea: PUSH2 0x0d49 000004ed: JUMP 000004ee: JUMPDEST 000004ef: PUSH1 0x40 000004f1: DUP1 000004f2: MLOAD 000004f3: SWAP2 000004f4: ISZERO 000004f5: ISZERO 000004f6: DUP3 000004f7: MSTORE 000004f8: MLOAD 000004f9: SWAP1 000004fa: DUP2 000004fb: SWAP1 000004fc: SUB 000004fd: PUSH1 0x20 000004ff: ADD 00000500: SWAP1 00000501: RETURN 00000502: JUMPDEST 00000503: CALLVALUE 00000504: PUSH2 0x0000 00000507: JUMPI 00000508: PUSH2 0x0429 0000050b: PUSH2 0x1019 0000050e: JUMP 0000050f: JUMPDEST 00000510: PUSH1 0x40 00000512: DUP1 00000513: MLOAD 00000514: PUSH1 0x01 00000516: PUSH1 0xa0 00000518: PUSH1 0x02 0000051a: EXP 0000051b: SUB 0000051c: SWAP1 0000051d: SWAP3 0000051e: AND 0000051f: DUP3 00000520: MSTORE 00000521: MLOAD 00000522: SWAP1 00000523: DUP2 00000524: SWAP1 00000525: SUB 00000526: PUSH1 0x20 00000528: ADD 00000529: SWAP1 0000052a: RETURN 0000052b: JUMPDEST 0000052c: CALLVALUE 0000052d: PUSH2 0x0000 00000530: JUMPI 00000531: PUSH2 0x01a0 00000534: PUSH2 0x1028 00000537: JUMP 00000538: JUMPDEST 00000539: PUSH1 0x40 0000053b: DUP1 0000053c: MLOAD 0000053d: SWAP2 0000053e: DUP3 0000053f: MSTORE 00000540: MLOAD 00000541: SWAP1 00000542: DUP2 00000543: SWAP1 00000544: SUB 00000545: PUSH1 0x20 00000547: ADD 00000548: SWAP1 00000549: RETURN 0000054a: JUMPDEST 0000054b: CALLVALUE 0000054c: PUSH2 0x0000 0000054f: JUMPI 00000550: PUSH2 0x01a0 00000553: PUSH2 0x102e 00000556: JUMP 00000557: JUMPDEST 00000558: PUSH1 0x40 0000055a: DUP1 0000055b: MLOAD 0000055c: SWAP2 0000055d: DUP3 0000055e: MSTORE 0000055f: MLOAD 00000560: SWAP1 00000561: DUP2 00000562: SWAP1 00000563: SUB 00000564: PUSH1 0x20 00000566: ADD 00000567: SWAP1 00000568: RETURN 00000569: JUMPDEST 0000056a: CALLVALUE 0000056b: PUSH2 0x0000 0000056e: JUMPI 0000056f: PUSH2 0x0191 00000572: PUSH1 0x04 00000574: CALLDATALOAD 00000575: PUSH2 0x1034 00000578: JUMP 00000579: JUMPDEST 0000057a: STOP 0000057b: JUMPDEST 0000057c: CALLVALUE 0000057d: PUSH2 0x0000 00000580: JUMPI 00000581: PUSH2 0x01a0 00000584: PUSH1 0x01 00000586: PUSH1 0xa0 00000588: PUSH1 0x02 0000058a: EXP 0000058b: SUB 0000058c: PUSH1 0x04 0000058e: CALLDATALOAD 0000058f: DUP2 00000590: AND 00000591: SWAP1 00000592: PUSH1 0x24 00000594: CALLDATALOAD 00000595: AND 00000596: PUSH2 0x1059 00000599: JUMP 0000059a: JUMPDEST 0000059b: PUSH1 0x40 0000059d: DUP1 0000059e: MLOAD 0000059f: SWAP2 000005a0: DUP3 000005a1: MSTORE 000005a2: MLOAD 000005a3: SWAP1 000005a4: DUP2 000005a5: SWAP1 000005a6: SUB 000005a7: PUSH1 0x20 000005a9: ADD 000005aa: SWAP1 000005ab: RETURN 000005ac: JUMPDEST 000005ad: CALLVALUE 000005ae: PUSH2 0x0000 000005b1: JUMPI 000005b2: PUSH2 0x0191 000005b5: PUSH2 0x1086 000005b8: JUMP 000005b9: JUMPDEST 000005ba: STOP 000005bb: JUMPDEST 000005bc: CALLVALUE 000005bd: PUSH2 0x0000 000005c0: JUMPI 000005c1: PUSH2 0x01a0 000005c4: PUSH2 0x10b2 000005c7: JUMP 000005c8: JUMPDEST 000005c9: PUSH1 0x40 000005cb: DUP1 000005cc: MLOAD 000005cd: SWAP2 000005ce: DUP3 000005cf: MSTORE 000005d0: MLOAD 000005d1: SWAP1 000005d2: DUP2 000005d3: SWAP1 000005d4: SUB 000005d5: PUSH1 0x20 000005d7: ADD 000005d8: SWAP1 000005d9: RETURN 000005da: JUMPDEST 000005db: CALLVALUE 000005dc: PUSH2 0x0000 000005df: JUMPI 000005e0: PUSH2 0x0191 000005e3: PUSH1 0x01 000005e5: PUSH1 0xa0 000005e7: PUSH1 0x02 000005e9: EXP 000005ea: SUB 000005eb: PUSH1 0x04 000005ed: CALLDATALOAD 000005ee: AND 000005ef: PUSH2 0x10b8 000005f2: JUMP 000005f3: JUMPDEST 000005f4: STOP 000005f5: JUMPDEST 000005f6: PUSH1 0x00 000005f8: PUSH1 0x08 000005fa: SLOAD 000005fb: PUSH1 0x00 000005fd: EQ 000005fe: DUP1 000005ff: PUSH2 0x0609 00000602: JUMPI 00000603: POP 00000604: PUSH1 0x08 00000606: SLOAD 00000607: CALLVALUE 00000608: LT 00000609: JUMPDEST 0000060a: ISZERO 0000060b: PUSH2 0x0613 0000060e: JUMPI 0000060f: PUSH2 0x0000 00000612: JUMP 00000613: JUMPDEST 00000614: PUSH1 0x08 00000616: SLOAD 00000617: CALLVALUE 00000618: DUP2 00000619: ISZERO 0000061a: PUSH2 0x0000 0000061d: JUMPI 0000061e: PUSH1 0x01 00000620: PUSH1 0xa0 00000622: PUSH1 0x02 00000624: EXP 00000625: SUB 00000626: ADDRESS 00000627: AND 00000628: PUSH1 0x00 0000062a: SWAP1 0000062b: DUP2 0000062c: MSTORE 0000062d: PUSH1 0x02 0000062f: PUSH1 0x20 00000631: MSTORE 00000632: PUSH1 0x40 00000634: SWAP1 00000635: KECCAK256 00000636: SLOAD 00000637: SWAP2 00000638: SWAP1 00000639: DIV 0000063a: SWAP2 0000063b: POP 0000063c: DUP2 0000063d: SWAP1 0000063e: LT 0000063f: ISZERO 00000640: PUSH2 0x0648 00000643: JUMPI 00000644: PUSH2 0x0000 00000647: JUMP 00000648: JUMPDEST 00000649: PUSH1 0x01 0000064b: PUSH1 0xa0 0000064d: PUSH1 0x02 0000064f: EXP 00000650: SUB 00000651: CALLER 00000652: AND 00000653: PUSH1 0x00 00000655: SWAP1 00000656: DUP2 00000657: MSTORE 00000658: PUSH1 0x02 0000065a: PUSH1 0x20 0000065c: MSTORE 0000065d: PUSH1 0x40 0000065f: SWAP1 00000660: KECCAK256 00000661: SLOAD 00000662: PUSH2 0x066b 00000665: SWAP1 00000666: DUP3 00000667: PUSH2 0x1115 0000066a: JUMP 0000066b: JUMPDEST 0000066c: PUSH1 0x01 0000066e: PUSH1 0xa0 00000670: PUSH1 0x02 00000672: EXP 00000673: SUB 00000674: CALLER 00000675: DUP2 00000676: AND 00000677: PUSH1 0x00 00000679: SWAP1 0000067a: DUP2 0000067b: MSTORE 0000067c: PUSH1 0x02 0000067e: PUSH1 0x20 00000680: MSTORE 00000681: PUSH1 0x40 00000683: DUP1 00000684: DUP3 00000685: KECCAK256 00000686: SWAP4 00000687: SWAP1 00000688: SWAP4 00000689: SSTORE 0000068a: ADDRESS 0000068b: SWAP1 0000068c: SWAP2 0000068d: AND 0000068e: DUP2 0000068f: MSTORE 00000690: KECCAK256 00000691: SLOAD 00000692: PUSH2 0x069b 00000695: SWAP1 00000696: DUP3 00000697: PUSH2 0x113d 0000069a: JUMP 0000069b: JUMPDEST 0000069c: PUSH1 0x01 0000069e: PUSH1 0xa0 000006a0: PUSH1 0x02 000006a2: EXP 000006a3: SUB 000006a4: ADDRESS 000006a5: DUP2 000006a6: AND 000006a7: PUSH1 0x00 000006a9: DUP2 000006aa: DUP2 000006ab: MSTORE 000006ac: PUSH1 0x02 000006ae: PUSH1 0x20 000006b0: SWAP1 000006b1: DUP2 000006b2: MSTORE 000006b3: PUSH1 0x40 000006b5: SWAP2 000006b6: DUP3 000006b7: SWAP1 000006b8: KECCAK256 000006b9: SWAP5 000006ba: SWAP1 000006bb: SWAP5 000006bc: SSTORE 000006bd: DUP1 000006be: MLOAD 000006bf: DUP6 000006c0: DUP2 000006c1: MSTORE 000006c2: SWAP1 000006c3: MLOAD 000006c4: CALLER 000006c5: SWAP1 000006c6: SWAP4 000006c7: AND 000006c8: SWAP4 000006c9: SWAP2 000006ca: SWAP3 000006cb: PUSH1 0x00 000006cd: DUP1 000006ce: MLOAD 000006cf: PUSH1 0x20 000006d1: PUSH2 0x1193 000006d4: DUP4 000006d5: CODECOPY 000006d6: DUP2 000006d7: MLOAD 000006d8: SWAP2 000006d9: MSTORE 000006da: SWAP3 000006db: SWAP2 000006dc: DUP2 000006dd: SWAP1 000006de: SUB 000006df: SWAP1 000006e0: SWAP2 000006e1: ADD 000006e2: SWAP1 000006e3: LOG3 000006e4: JUMPDEST 000006e5: SWAP1 000006e6: JUMP 000006e7: JUMPDEST 000006e8: PUSH1 0x09 000006ea: SLOAD 000006eb: DUP2 000006ec: JUMP 000006ed: JUMPDEST 000006ee: PUSH1 0x04 000006f0: DUP1 000006f1: SLOAD 000006f2: PUSH1 0x40 000006f4: DUP1 000006f5: MLOAD 000006f6: PUSH1 0x20 000006f8: PUSH1 0x02 000006fa: PUSH1 0x01 000006fc: DUP6 000006fd: AND 000006fe: ISZERO 000006ff: PUSH2 0x0100 00000702: MUL 00000703: PUSH1 0x00 00000705: NOT 00000706: ADD 00000707: SWAP1 00000708: SWAP5 00000709: AND 0000070a: SWAP4 0000070b: SWAP1 0000070c: SWAP4 0000070d: DIV 0000070e: PUSH1 0x1f 00000710: DUP2 00000711: ADD 00000712: DUP5 00000713: SWAP1 00000714: DIV 00000715: DUP5 00000716: MUL 00000717: DUP3 00000718: ADD 00000719: DUP5 0000071a: ADD 0000071b: SWAP1 0000071c: SWAP3 0000071d: MSTORE 0000071e: DUP2 0000071f: DUP2 00000720: MSTORE 00000721: SWAP3 00000722: SWAP2 00000723: DUP4 00000724: ADD 00000725: DUP3 00000726: DUP3 00000727: DUP1 00000728: ISZERO 00000729: PUSH2 0x0773 0000072c: JUMPI 0000072d: DUP1 0000072e: PUSH1 0x1f 00000730: LT 00000731: PUSH2 0x0748 00000734: JUMPI 00000735: PUSH2 0x0100 00000738: DUP1 00000739: DUP4 0000073a: SLOAD 0000073b: DIV 0000073c: MUL 0000073d: DUP4 0000073e: MSTORE 0000073f: SWAP2 00000740: PUSH1 0x20 00000742: ADD 00000743: SWAP2 00000744: PUSH2 0x0773 00000747: JUMP 00000748: JUMPDEST 00000749: DUP3 0000074a: ADD 0000074b: SWAP2 0000074c: SWAP1 0000074d: PUSH1 0x00 0000074f: MSTORE 00000750: PUSH1 0x20 00000752: PUSH1 0x00 00000754: KECCAK256 00000755: SWAP1 00000756: JUMPDEST 00000757: DUP2 00000758: SLOAD 00000759: DUP2 0000075a: MSTORE 0000075b: SWAP1 0000075c: PUSH1 0x01 0000075e: ADD 0000075f: SWAP1 00000760: PUSH1 0x20 00000762: ADD 00000763: DUP1 00000764: DUP4 00000765: GT 00000766: PUSH2 0x0756 00000769: JUMPI 0000076a: DUP3 0000076b: SWAP1 0000076c: SUB 0000076d: PUSH1 0x1f 0000076f: AND 00000770: DUP3 00000771: ADD 00000772: SWAP2 00000773: JUMPDEST 00000774: POP 00000775: POP 00000776: POP 00000777: POP 00000778: POP 00000779: DUP2 0000077a: JUMP 0000077b: JUMPDEST 0000077c: PUSH1 0x01 0000077e: PUSH1 0xa0 00000780: PUSH1 0x02 00000782: EXP 00000783: SUB 00000784: CALLER 00000785: DUP2 00000786: AND 00000787: PUSH1 0x00 00000789: DUP2 0000078a: DUP2 0000078b: MSTORE 0000078c: PUSH1 0x03 0000078e: PUSH1 0x20 00000790: SWAP1 00000791: DUP2 00000792: MSTORE 00000793: PUSH1 0x40 00000795: DUP1 00000796: DUP4 00000797: KECCAK256 00000798: SWAP5 00000799: DUP8 0000079a: AND 0000079b: DUP1 0000079c: DUP5 0000079d: MSTORE 0000079e: SWAP5 0000079f: DUP3 000007a0: MSTORE 000007a1: DUP1 000007a2: DUP4 000007a3: KECCAK256 000007a4: DUP7 000007a5: SWAP1 000007a6: SSTORE 000007a7: DUP1 000007a8: MLOAD 000007a9: DUP7 000007aa: DUP2 000007ab: MSTORE 000007ac: SWAP1 000007ad: MLOAD 000007ae: SWAP3 000007af: SWAP5 000007b0: SWAP4 000007b1: SWAP3 000007b2: PUSH32 0x8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925 000007d3: SWAP3 000007d4: SWAP2 000007d5: DUP2 000007d6: SWAP1 000007d7: SUB 000007d8: SWAP1 000007d9: SWAP2 000007da: ADD 000007db: SWAP1 000007dc: LOG3 000007dd: POP 000007de: PUSH1 0x01 000007e0: JUMPDEST 000007e1: SWAP3 000007e2: SWAP2 000007e3: POP 000007e4: POP 000007e5: JUMP 000007e6: JUMPDEST 000007e7: PUSH1 0x00 000007e9: SLOAD 000007ea: CALLER 000007eb: PUSH1 0x01 000007ed: PUSH1 0xa0 000007ef: PUSH1 0x02 000007f1: EXP 000007f2: SUB 000007f3: SWAP1 000007f4: DUP2 000007f5: AND 000007f6: SWAP2 000007f7: AND 000007f8: EQ 000007f9: PUSH2 0x0801 000007fc: JUMPI 000007fd: PUSH2 0x0000 00000800: JUMP 00000801: JUMPDEST 00000802: PUSH1 0x0c 00000804: DUP2 00000805: SWAP1 00000806: SSTORE 00000807: JUMPDEST 00000808: JUMPDEST 00000809: POP 0000080a: JUMP 0000080b: JUMPDEST 0000080c: PUSH1 0x07 0000080e: SLOAD 0000080f: DUP2 00000810: JUMP 00000811: JUMPDEST 00000812: PUSH1 0x01 00000814: PUSH1 0xa0 00000816: PUSH1 0x02 00000818: EXP 00000819: SUB 0000081a: DUP4 0000081b: AND 0000081c: PUSH1 0x00 0000081e: SWAP1 0000081f: DUP2 00000820: MSTORE 00000821: PUSH1 0x02 00000823: PUSH1 0x20 00000825: MSTORE 00000826: PUSH1 0x40 00000828: DUP2 00000829: KECCAK256 0000082a: SLOAD 0000082b: DUP3 0000082c: SWAP1 0000082d: LT 0000082e: DUP1 0000082f: ISZERO 00000830: SWAP1 00000831: PUSH2 0x0861 00000834: JUMPI 00000835: POP 00000836: PUSH1 0x01 00000838: PUSH1 0xa0 0000083a: PUSH1 0x02 0000083c: EXP 0000083d: SUB 0000083e: DUP1 0000083f: DUP6 00000840: AND 00000841: PUSH1 0x00 00000843: SWAP1 00000844: DUP2 00000845: MSTORE 00000846: PUSH1 0x03 00000848: PUSH1 0x20 0000084a: SWAP1 0000084b: DUP2 0000084c: MSTORE 0000084d: PUSH1 0x40 0000084f: DUP1 00000850: DUP4 00000851: KECCAK256 00000852: CALLER 00000853: SWAP1 00000854: SWAP5 00000855: AND 00000856: DUP4 00000857: MSTORE 00000858: SWAP3 00000859: SWAP1 0000085a: MSTORE 0000085b: KECCAK256 0000085c: SLOAD 0000085d: DUP3 0000085e: SWAP1 0000085f: LT 00000860: ISZERO 00000861: JUMPDEST 00000862: DUP1 00000863: ISZERO 00000864: PUSH2 0x0886 00000867: JUMPI 00000868: POP 00000869: PUSH1 0x01 0000086b: PUSH1 0xa0 0000086d: PUSH1 0x02 0000086f: EXP 00000870: SUB 00000871: DUP4 00000872: AND 00000873: PUSH1 0x00 00000875: SWAP1 00000876: DUP2 00000877: MSTORE 00000878: PUSH1 0x02 0000087a: PUSH1 0x20 0000087c: MSTORE 0000087d: PUSH1 0x40 0000087f: SWAP1 00000880: KECCAK256 00000881: SLOAD 00000882: DUP3 00000883: DUP2 00000884: ADD 00000885: GT 00000886: JUMPDEST 00000887: ISZERO 00000888: PUSH2 0x0902 0000088b: JUMPI 0000088c: PUSH1 0x01 0000088e: PUSH1 0xa0 00000890: PUSH1 0x02 00000892: EXP 00000893: SUB 00000894: DUP1 00000895: DUP6 00000896: AND 00000897: PUSH1 0x00 00000899: DUP2 0000089a: DUP2 0000089b: MSTORE 0000089c: PUSH1 0x02 0000089e: PUSH1 0x20 000008a0: SWAP1 000008a1: DUP2 000008a2: MSTORE 000008a3: PUSH1 0x40 000008a5: DUP1 000008a6: DUP4 000008a7: KECCAK256 000008a8: DUP1 000008a9: SLOAD 000008aa: DUP9 000008ab: SWAP1 000008ac: SUB 000008ad: SWAP1 000008ae: SSTORE 000008af: DUP8 000008b0: DUP6 000008b1: AND 000008b2: DUP1 000008b3: DUP5 000008b4: MSTORE 000008b5: DUP2 000008b6: DUP5 000008b7: KECCAK256 000008b8: DUP1 000008b9: SLOAD 000008ba: DUP10 000008bb: ADD 000008bc: SWAP1 000008bd: SSTORE 000008be: DUP5 000008bf: DUP5 000008c0: MSTORE 000008c1: PUSH1 0x03 000008c3: DUP4 000008c4: MSTORE 000008c5: DUP2 000008c6: DUP5 000008c7: KECCAK256 000008c8: CALLER 000008c9: SWAP1 000008ca: SWAP7 000008cb: AND 000008cc: DUP5 000008cd: MSTORE 000008ce: SWAP5 000008cf: DUP3 000008d0: MSTORE 000008d1: SWAP2 000008d2: DUP3 000008d3: SWAP1 000008d4: KECCAK256 000008d5: DUP1 000008d6: SLOAD 000008d7: DUP8 000008d8: SWAP1 000008d9: SUB 000008da: SWAP1 000008db: SSTORE 000008dc: DUP2 000008dd: MLOAD 000008de: DUP7 000008df: DUP2 000008e0: MSTORE 000008e1: SWAP2 000008e2: MLOAD 000008e3: PUSH1 0x00 000008e5: DUP1 000008e6: MLOAD 000008e7: PUSH1 0x20 000008e9: PUSH2 0x1193 000008ec: DUP4 000008ed: CODECOPY 000008ee: DUP2 000008ef: MLOAD 000008f0: SWAP2 000008f1: MSTORE 000008f2: SWAP3 000008f3: DUP2 000008f4: SWAP1 000008f5: SUB 000008f6: SWAP1 000008f7: SWAP2 000008f8: ADD 000008f9: SWAP1 000008fa: LOG3 000008fb: POP 000008fc: PUSH1 0x01 000008fe: PUSH2 0x0906 00000901: JUMP 00000902: JUMPDEST 00000903: POP 00000904: PUSH1 0x00 00000906: JUMPDEST 00000907: JUMPDEST 00000908: SWAP4 00000909: SWAP3 0000090a: POP 0000090b: POP 0000090c: POP 0000090d: JUMP 0000090e: JUMPDEST 0000090f: PUSH1 0x06 00000911: SLOAD 00000912: PUSH21 0x010000000000000000000000000000000000000000 00000928: SWAP1 00000929: DIV 0000092a: PUSH1 0xff 0000092c: AND 0000092d: DUP2 0000092e: JUMP 0000092f: JUMPDEST 00000930: PUSH1 0x00 00000932: SLOAD 00000933: CALLER 00000934: PUSH1 0x01 00000936: PUSH1 0xa0 00000938: PUSH1 0x02 0000093a: EXP 0000093b: SUB 0000093c: SWAP1 0000093d: DUP2 0000093e: AND 0000093f: SWAP2 00000940: AND 00000941: EQ 00000942: PUSH2 0x094a 00000945: JUMPI 00000946: PUSH2 0x0000 00000949: JUMP 0000094a: JUMPDEST 0000094b: PUSH1 0x0b 0000094d: DUP2 0000094e: SWAP1 0000094f: SSTORE 00000950: JUMPDEST 00000951: JUMPDEST 00000952: POP 00000953: JUMP 00000954: JUMPDEST 00000955: PUSH1 0x0e 00000957: SLOAD 00000958: PUSH1 0xff 0000095a: AND 0000095b: DUP2 0000095c: JUMP 0000095d: JUMPDEST 0000095e: PUSH1 0x0d 00000960: SLOAD 00000961: DUP2 00000962: JUMP 00000963: JUMPDEST 00000964: PUSH1 0x00 00000966: SLOAD 00000967: CALLER 00000968: PUSH1 0x01 0000096a: PUSH1 0xa0 0000096c: PUSH1 0x02 0000096e: EXP 0000096f: SUB 00000970: SWAP1 00000971: DUP2 00000972: AND 00000973: SWAP2 00000974: AND 00000975: EQ 00000976: PUSH2 0x097e 00000979: JUMPI 0000097a: PUSH2 0x0000 0000097d: JUMP 0000097e: JUMPDEST 0000097f: PUSH1 0x08 00000981: DUP3 00000982: SWAP1 00000983: SSTORE 00000984: PUSH1 0x09 00000986: DUP2 00000987: SWAP1 00000988: SSTORE 00000989: JUMPDEST 0000098a: JUMPDEST 0000098b: POP 0000098c: POP 0000098d: JUMP 0000098e: JUMPDEST 0000098f: PUSH1 0x08 00000991: SLOAD 00000992: DUP2 00000993: JUMP 00000994: JUMPDEST 00000995: PUSH1 0x00 00000997: DUP1 00000998: SLOAD 00000999: CALLER 0000099a: PUSH1 0x01 0000099c: PUSH1 0xa0 0000099e: PUSH1 0x02 000009a0: EXP 000009a1: SUB 000009a2: SWAP1 000009a3: DUP2 000009a4: AND 000009a5: SWAP2 000009a6: AND 000009a7: EQ 000009a8: PUSH2 0x09b0 000009ab: JUMPI 000009ac: PUSH2 0x0000 000009af: JUMP 000009b0: JUMPDEST 000009b1: PUSH2 0x09c2 000009b4: DUP4 000009b5: PUSH8 0x0de0b6b3a7640000 000009be: PUSH2 0x1156 000009c1: JUMP 000009c2: JUMPDEST 000009c3: PUSH1 0x40 000009c5: MLOAD 000009c6: SWAP1 000009c7: SWAP2 000009c8: POP 000009c9: PUSH1 0x01 000009cb: PUSH1 0xa0 000009cd: PUSH1 0x02 000009cf: EXP 000009d0: SUB 000009d1: CALLER 000009d2: AND 000009d3: SWAP1 000009d4: DUP3 000009d5: ISZERO 000009d6: PUSH2 0x08fc 000009d9: MUL 000009da: SWAP1 000009db: DUP4 000009dc: SWAP1 000009dd: PUSH1 0x00 000009df: DUP2 000009e0: DUP2 000009e1: DUP2 000009e2: DUP6 000009e3: DUP9 000009e4: DUP9 000009e5: CALL 000009e6: SWAP4 000009e7: POP 000009e8: POP 000009e9: POP 000009ea: POP 000009eb: ISZERO 000009ec: ISZERO 000009ed: PUSH2 0x09f5 000009f0: JUMPI 000009f1: PUSH2 0x0000 000009f4: JUMP 000009f5: JUMPDEST 000009f6: CALLER 000009f7: PUSH1 0x01 000009f9: PUSH1 0xa0 000009fb: PUSH1 0x02 000009fd: EXP 000009fe: SUB 000009ff: AND 00000a00: ADDRESS 00000a01: PUSH1 0x01 00000a03: PUSH1 0xa0 00000a05: PUSH1 0x02 00000a07: EXP 00000a08: SUB 00000a09: AND 00000a0a: PUSH1 0x00 00000a0c: DUP1 00000a0d: MLOAD 00000a0e: PUSH1 0x20 00000a10: PUSH2 0x1193 00000a13: DUP4 00000a14: CODECOPY 00000a15: DUP2 00000a16: MLOAD 00000a17: SWAP2 00000a18: MSTORE 00000a19: DUP4 00000a1a: PUSH1 0x40 00000a1c: MLOAD 00000a1d: DUP1 00000a1e: DUP3 00000a1f: DUP2 00000a20: MSTORE 00000a21: PUSH1 0x20 00000a23: ADD 00000a24: SWAP2 00000a25: POP 00000a26: POP 00000a27: PUSH1 0x40 00000a29: MLOAD 00000a2a: DUP1 00000a2b: SWAP2 00000a2c: SUB 00000a2d: SWAP1 00000a2e: LOG3 00000a2f: JUMPDEST 00000a30: PUSH1 0x01 00000a32: PUSH1 0xa0 00000a34: PUSH1 0x02 00000a36: EXP 00000a37: SUB 00000a38: ADDRESS 00000a39: AND 00000a3a: PUSH1 0x00 00000a3c: SWAP1 00000a3d: DUP2 00000a3e: MSTORE 00000a3f: PUSH1 0x02 00000a41: PUSH1 0x20 00000a43: MSTORE 00000a44: PUSH1 0x40 00000a46: SWAP1 00000a47: KECCAK256 00000a48: SLOAD 00000a49: DUP3 00000a4a: SWAP1 00000a4b: LT 00000a4c: ISZERO 00000a4d: PUSH2 0x0a55 00000a50: JUMPI 00000a51: PUSH2 0x0000 00000a54: JUMP 00000a55: JUMPDEST 00000a56: PUSH1 0x01 00000a58: PUSH1 0xa0 00000a5a: PUSH1 0x02 00000a5c: EXP 00000a5d: SUB 00000a5e: CALLER 00000a5f: AND 00000a60: PUSH1 0x00 00000a62: SWAP1 00000a63: DUP2 00000a64: MSTORE 00000a65: PUSH1 0x02 00000a67: PUSH1 0x20 00000a69: MSTORE 00000a6a: PUSH1 0x40 00000a6c: SWAP1 00000a6d: KECCAK256 00000a6e: SLOAD 00000a6f: PUSH2 0x0a78 00000a72: SWAP1 00000a73: DUP4 00000a74: PUSH2 0x1115 00000a77: JUMP 00000a78: JUMPDEST 00000a79: PUSH1 0x01 00000a7b: PUSH1 0xa0 00000a7d: PUSH1 0x02 00000a7f: EXP 00000a80: SUB 00000a81: CALLER 00000a82: DUP2 00000a83: AND 00000a84: PUSH1 0x00 00000a86: SWAP1 00000a87: DUP2 00000a88: MSTORE 00000a89: PUSH1 0x02 00000a8b: PUSH1 0x20 00000a8d: MSTORE 00000a8e: PUSH1 0x40 00000a90: DUP1 00000a91: DUP3 00000a92: KECCAK256 00000a93: SWAP4 00000a94: SWAP1 00000a95: SWAP4 00000a96: SSTORE 00000a97: ADDRESS 00000a98: SWAP1 00000a99: SWAP2 00000a9a: AND 00000a9b: DUP2 00000a9c: MSTORE 00000a9d: KECCAK256 00000a9e: SLOAD 00000a9f: PUSH2 0x0aa8 00000aa2: SWAP1 00000aa3: DUP4 00000aa4: PUSH2 0x113d 00000aa7: JUMP 00000aa8: JUMPDEST 00000aa9: PUSH1 0x01 00000aab: PUSH1 0xa0 00000aad: PUSH1 0x02 00000aaf: EXP 00000ab0: SUB 00000ab1: ADDRESS 00000ab2: DUP2 00000ab3: AND 00000ab4: PUSH1 0x00 00000ab6: DUP2 00000ab7: DUP2 00000ab8: MSTORE 00000ab9: PUSH1 0x02 00000abb: PUSH1 0x20 00000abd: SWAP1 00000abe: DUP2 00000abf: MSTORE 00000ac0: PUSH1 0x40 00000ac2: SWAP2 00000ac3: DUP3 00000ac4: SWAP1 00000ac5: KECCAK256 00000ac6: SWAP5 00000ac7: SWAP1 00000ac8: SWAP5 00000ac9: SSTORE 00000aca: DUP1 00000acb: MLOAD 00000acc: DUP7 00000acd: DUP2 00000ace: MSTORE 00000acf: SWAP1 00000ad0: MLOAD 00000ad1: CALLER 00000ad2: SWAP1 00000ad3: SWAP4 00000ad4: AND 00000ad5: SWAP4 00000ad6: SWAP2 00000ad7: SWAP3 00000ad8: PUSH1 0x00 00000ada: DUP1 00000adb: MLOAD 00000adc: PUSH1 0x20 00000ade: PUSH2 0x1193 00000ae1: DUP4 00000ae2: CODECOPY 00000ae3: DUP2 00000ae4: MLOAD 00000ae5: SWAP2 00000ae6: MSTORE 00000ae7: SWAP3 00000ae8: SWAP2 00000ae9: DUP2 00000aea: SWAP1 00000aeb: SUB 00000aec: SWAP1 00000aed: SWAP2 00000aee: ADD 00000aef: SWAP1 00000af0: LOG3 00000af1: JUMPDEST 00000af2: JUMPDEST 00000af3: POP 00000af4: POP 00000af5: POP 00000af6: JUMP 00000af7: JUMPDEST 00000af8: PUSH1 0x00 00000afa: SLOAD 00000afb: CALLER 00000afc: PUSH1 0x01 00000afe: PUSH1 0xa0 00000b00: PUSH1 0x02 00000b02: EXP 00000b03: SUB 00000b04: SWAP1 00000b05: DUP2 00000b06: AND 00000b07: SWAP2 00000b08: AND 00000b09: EQ 00000b0a: PUSH2 0x0b12 00000b0d: JUMPI 00000b0e: PUSH2 0x0000 00000b11: JUMP 00000b12: JUMPDEST 00000b13: PUSH1 0x0a 00000b15: DUP2 00000b16: SWAP1 00000b17: SSTORE 00000b18: JUMPDEST 00000b19: JUMPDEST 00000b1a: POP 00000b1b: JUMP 00000b1c: JUMPDEST 00000b1d: PUSH1 0x01 00000b1f: PUSH1 0xa0 00000b21: PUSH1 0x02 00000b23: EXP 00000b24: SUB 00000b25: DUP2 00000b26: AND 00000b27: PUSH1 0x00 00000b29: SWAP1 00000b2a: DUP2 00000b2b: MSTORE 00000b2c: PUSH1 0x02 00000b2e: PUSH1 0x20 00000b30: MSTORE 00000b31: PUSH1 0x40 00000b33: SWAP1 00000b34: KECCAK256 00000b35: SLOAD 00000b36: JUMPDEST 00000b37: SWAP2 00000b38: SWAP1 00000b39: POP 00000b3a: JUMP 00000b3b: JUMPDEST 00000b3c: PUSH1 0x00 00000b3e: PUSH1 0x09 00000b40: SLOAD 00000b41: PUSH1 0x00 00000b43: EQ 00000b44: DUP1 00000b45: PUSH2 0x0b4f 00000b48: JUMPI 00000b49: POP 00000b4a: PUSH1 0x0b 00000b4c: SLOAD 00000b4d: DUP3 00000b4e: LT 00000b4f: JUMPDEST 00000b50: ISZERO 00000b51: PUSH2 0x0b59 00000b54: JUMPI 00000b55: PUSH2 0x0000 00000b58: JUMP 00000b59: JUMPDEST 00000b5a: PUSH1 0x01 00000b5c: PUSH1 0xa0 00000b5e: PUSH1 0x02 00000b60: EXP 00000b61: SUB 00000b62: CALLER 00000b63: AND 00000b64: PUSH1 0x00 00000b66: SWAP1 00000b67: DUP2 00000b68: MSTORE 00000b69: PUSH1 0x02 00000b6b: PUSH1 0x20 00000b6d: MSTORE 00000b6e: PUSH1 0x40 00000b70: SWAP1 00000b71: KECCAK256 00000b72: SLOAD 00000b73: DUP3 00000b74: SWAP1 00000b75: LT 00000b76: ISZERO 00000b77: PUSH2 0x0b7f 00000b7a: JUMPI 00000b7b: PUSH2 0x0000 00000b7e: JUMP 00000b7f: JUMPDEST 00000b80: PUSH2 0x0b8b 00000b83: DUP3 00000b84: PUSH1 0x09 00000b86: SLOAD 00000b87: PUSH2 0x1156 00000b8a: JUMP 00000b8b: JUMPDEST 00000b8c: SWAP1 00000b8d: POP 00000b8e: PUSH1 0x0c 00000b90: SLOAD 00000b91: PUSH2 0x0ba4 00000b94: ADDRESS 00000b95: PUSH1 0x01 00000b97: PUSH1 0xa0 00000b99: PUSH1 0x02 00000b9b: EXP 00000b9c: SUB 00000b9d: AND 00000b9e: BALANCE 00000b9f: DUP4 00000ba0: PUSH2 0x113d 00000ba3: JUMP 00000ba4: JUMPDEST 00000ba5: LT 00000ba6: ISZERO 00000ba7: PUSH2 0x0baf 00000baa: JUMPI 00000bab: PUSH2 0x0000 00000bae: JUMP 00000baf: JUMPDEST 00000bb0: PUSH1 0x40 00000bb2: MLOAD 00000bb3: PUSH1 0x01 00000bb5: PUSH1 0xa0 00000bb7: PUSH1 0x02 00000bb9: EXP 00000bba: SUB 00000bbb: CALLER 00000bbc: AND 00000bbd: SWAP1 00000bbe: DUP3 00000bbf: ISZERO 00000bc0: PUSH2 0x08fc 00000bc3: MUL 00000bc4: SWAP1 00000bc5: DUP4 00000bc6: SWAP1 00000bc7: PUSH1 0x00 00000bc9: DUP2 00000bca: DUP2 00000bcb: DUP2 00000bcc: DUP6 00000bcd: DUP9 00000bce: DUP9 00000bcf: CALL 00000bd0: SWAP4 00000bd1: POP 00000bd2: POP 00000bd3: POP 00000bd4: POP 00000bd5: ISZERO 00000bd6: ISZERO 00000bd7: PUSH2 0x0bdf 00000bda: JUMPI 00000bdb: PUSH2 0x0000 00000bde: JUMP 00000bdf: JUMPDEST 00000be0: PUSH1 0x01 00000be2: PUSH1 0xa0 00000be4: PUSH1 0x02 00000be6: EXP 00000be7: SUB 00000be8: ADDRESS 00000be9: AND 00000bea: PUSH1 0x00 00000bec: SWAP1 00000bed: DUP2 00000bee: MSTORE 00000bef: PUSH1 0x02 00000bf1: PUSH1 0x20 00000bf3: MSTORE 00000bf4: PUSH1 0x40 00000bf6: SWAP1 00000bf7: KECCAK256 00000bf8: SLOAD 00000bf9: PUSH2 0x0c02 00000bfc: SWAP1 00000bfd: DUP4 00000bfe: PUSH2 0x1115 00000c01: JUMP 00000c02: JUMPDEST 00000c03: PUSH1 0x01 00000c05: PUSH1 0xa0 00000c07: PUSH1 0x02 00000c09: EXP 00000c0a: SUB 00000c0b: ADDRESS 00000c0c: DUP2 00000c0d: AND 00000c0e: PUSH1 0x00 00000c10: SWAP1 00000c11: DUP2 00000c12: MSTORE 00000c13: PUSH1 0x02 00000c15: PUSH1 0x20 00000c17: MSTORE 00000c18: PUSH1 0x40 00000c1a: DUP1 00000c1b: DUP3 00000c1c: KECCAK256 00000c1d: SWAP4 00000c1e: SWAP1 00000c1f: SWAP4 00000c20: SSTORE 00000c21: CALLER 00000c22: SWAP1 00000c23: SWAP2 00000c24: AND 00000c25: DUP2 00000c26: MSTORE 00000c27: KECCAK256 00000c28: SLOAD 00000c29: PUSH2 0x0c32 00000c2c: SWAP1 00000c2d: DUP4 00000c2e: PUSH2 0x113d 00000c31: JUMP 00000c32: JUMPDEST 00000c33: PUSH1 0x01 00000c35: PUSH1 0xa0 00000c37: PUSH1 0x02 00000c39: EXP 00000c3a: SUB 00000c3b: CALLER 00000c3c: DUP2 00000c3d: AND 00000c3e: PUSH1 0x00 00000c40: DUP2 00000c41: DUP2 00000c42: MSTORE 00000c43: PUSH1 0x02 00000c45: PUSH1 0x20 00000c47: SWAP1 00000c48: DUP2 00000c49: MSTORE 00000c4a: PUSH1 0x40 00000c4c: SWAP2 00000c4d: DUP3 00000c4e: SWAP1 00000c4f: KECCAK256 00000c50: SWAP5 00000c51: SWAP1 00000c52: SWAP5 00000c53: SSTORE 00000c54: DUP1 00000c55: MLOAD 00000c56: DUP6 00000c57: DUP2 00000c58: MSTORE 00000c59: SWAP1 00000c5a: MLOAD 00000c5b: SWAP2 00000c5c: SWAP4 00000c5d: ADDRESS 00000c5e: SWAP1 00000c5f: SWAP4 00000c60: AND 00000c61: SWAP3 00000c62: PUSH1 0x00 00000c64: DUP1 00000c65: MLOAD 00000c66: PUSH1 0x20 00000c68: PUSH2 0x1193 00000c6b: DUP4 00000c6c: CODECOPY 00000c6d: DUP2 00000c6e: MLOAD 00000c6f: SWAP2 00000c70: MSTORE 00000c71: SWAP3 00000c72: SWAP2 00000c73: DUP3 00000c74: SWAP1 00000c75: SUB 00000c76: ADD 00000c77: SWAP1 00000c78: LOG3 00000c79: PUSH2 0x0b36 00000c7c: JUMP 00000c7d: JUMPDEST 00000c7e: JUMPDEST 00000c7f: SWAP2 00000c80: SWAP1 00000c81: POP 00000c82: JUMP 00000c83: JUMPDEST 00000c84: PUSH1 0x00 00000c86: SLOAD 00000c87: CALLER 00000c88: PUSH1 0x01 00000c8a: PUSH1 0xa0 00000c8c: PUSH1 0x02 00000c8e: EXP 00000c8f: SUB 00000c90: SWAP1 00000c91: DUP2 00000c92: AND 00000c93: SWAP2 00000c94: AND 00000c95: EQ 00000c96: PUSH2 0x0c9e 00000c99: JUMPI 00000c9a: PUSH2 0x0000 00000c9d: JUMP 00000c9e: JUMPDEST 00000c9f: PUSH1 0x0e 00000ca1: DUP1 00000ca2: SLOAD 00000ca3: PUSH1 0xff 00000ca5: NOT 00000ca6: AND 00000ca7: SWAP1 00000ca8: SSTORE 00000ca9: JUMPDEST 00000caa: JUMPDEST 00000cab: JUMP 00000cac: JUMPDEST 00000cad: PUSH1 0x00 00000caf: SLOAD 00000cb0: PUSH1 0x01 00000cb2: PUSH1 0xa0 00000cb4: PUSH1 0x02 00000cb6: EXP 00000cb7: SUB 00000cb8: AND 00000cb9: DUP2 00000cba: JUMP 00000cbb: JUMPDEST 00000cbc: PUSH1 0x05 00000cbe: DUP1 00000cbf: SLOAD 00000cc0: PUSH1 0x40 00000cc2: DUP1 00000cc3: MLOAD 00000cc4: PUSH1 0x20 00000cc6: PUSH1 0x02 00000cc8: PUSH1 0x01 00000cca: DUP6 00000ccb: AND 00000ccc: ISZERO 00000ccd: PUSH2 0x0100 00000cd0: MUL 00000cd1: PUSH1 0x00 00000cd3: NOT 00000cd4: ADD 00000cd5: SWAP1 00000cd6: SWAP5 00000cd7: AND 00000cd8: SWAP4 00000cd9: SWAP1 00000cda: SWAP4 00000cdb: DIV 00000cdc: PUSH1 0x1f 00000cde: DUP2 00000cdf: ADD 00000ce0: DUP5 00000ce1: SWAP1 00000ce2: DIV 00000ce3: DUP5 00000ce4: MUL 00000ce5: DUP3 00000ce6: ADD 00000ce7: DUP5 00000ce8: ADD 00000ce9: SWAP1 00000cea: SWAP3 00000ceb: MSTORE 00000cec: DUP2 00000ced: DUP2 00000cee: MSTORE 00000cef: SWAP3 00000cf0: SWAP2 00000cf1: DUP4 00000cf2: ADD 00000cf3: DUP3 00000cf4: DUP3 00000cf5: DUP1 00000cf6: ISZERO 00000cf7: PUSH2 0x0773 00000cfa: JUMPI 00000cfb: DUP1 00000cfc: PUSH1 0x1f 00000cfe: LT 00000cff: PUSH2 0x0748 00000d02: JUMPI 00000d03: PUSH2 0x0100 00000d06: DUP1 00000d07: DUP4 00000d08: SLOAD 00000d09: DIV 00000d0a: MUL 00000d0b: DUP4 00000d0c: MSTORE 00000d0d: SWAP2 00000d0e: PUSH1 0x20 00000d10: ADD 00000d11: SWAP2 00000d12: PUSH2 0x0773 00000d15: JUMP 00000d16: JUMPDEST 00000d17: DUP3 00000d18: ADD 00000d19: SWAP2 00000d1a: SWAP1 00000d1b: PUSH1 0x00 00000d1d: MSTORE 00000d1e: PUSH1 0x20 00000d20: PUSH1 0x00 00000d22: KECCAK256 00000d23: SWAP1 00000d24: JUMPDEST 00000d25: DUP2 00000d26: SLOAD 00000d27: DUP2 00000d28: MSTORE 00000d29: SWAP1 00000d2a: PUSH1 0x01 00000d2c: ADD 00000d2d: SWAP1 00000d2e: PUSH1 0x20 00000d30: ADD 00000d31: DUP1 00000d32: DUP4 00000d33: GT 00000d34: PUSH2 0x0756 00000d37: JUMPI 00000d38: DUP3 00000d39: SWAP1 00000d3a: SUB 00000d3b: PUSH1 0x1f 00000d3d: AND 00000d3e: DUP3 00000d3f: ADD 00000d40: SWAP2 00000d41: JUMPDEST 00000d42: POP 00000d43: POP 00000d44: POP 00000d45: POP 00000d46: POP 00000d47: DUP2 00000d48: JUMP 00000d49: JUMPDEST 00000d4a: PUSH1 0x00 00000d4c: PUSH1 0x0b 00000d4e: SLOAD 00000d4f: DUP3 00000d50: LT 00000d51: ISZERO 00000d52: PUSH2 0x0d5a 00000d55: JUMPI 00000d56: PUSH2 0x0000 00000d59: JUMP 00000d5a: JUMPDEST 00000d5b: PUSH1 0x00 00000d5d: SLOAD 00000d5e: CALLER 00000d5f: PUSH1 0x01 00000d61: PUSH1 0xa0 00000d63: PUSH1 0x02 00000d65: EXP 00000d66: SUB 00000d67: SWAP1 00000d68: DUP2 00000d69: AND 00000d6a: SWAP2 00000d6b: AND 00000d6c: EQ 00000d6d: DUP1 00000d6e: ISZERO 00000d6f: SWAP1 00000d70: PUSH2 0x0d86 00000d73: JUMPI 00000d74: POP 00000d75: PUSH1 0x06 00000d77: SLOAD 00000d78: PUSH1 0x01 00000d7a: PUSH1 0xa0 00000d7c: PUSH1 0x02 00000d7e: EXP 00000d7f: SUB 00000d80: DUP5 00000d81: DUP2 00000d82: AND 00000d83: SWAP2 00000d84: AND 00000d85: EQ 00000d86: JUMPDEST 00000d87: DUP1 00000d88: ISZERO 00000d89: PUSH2 0x0d94 00000d8c: JUMPI 00000d8d: POP 00000d8e: PUSH1 0x0e 00000d90: SLOAD 00000d91: PUSH1 0xff 00000d93: AND 00000d94: JUMPDEST 00000d95: ISZERO 00000d96: PUSH2 0x0dac 00000d99: JUMPI 00000d9a: PUSH2 0x0da2 00000d9d: DUP3 00000d9e: PUSH2 0x0b3b 00000da1: JUMP 00000da2: JUMPDEST 00000da3: POP 00000da4: PUSH1 0x01 00000da6: SWAP1 00000da7: POP 00000da8: PUSH2 0x07e0 00000dab: JUMP 00000dac: JUMPDEST 00000dad: PUSH1 0x01 00000daf: PUSH1 0xa0 00000db1: PUSH1 0x02 00000db3: EXP 00000db4: SUB 00000db5: CALLER 00000db6: AND 00000db7: PUSH1 0x00 00000db9: SWAP1 00000dba: DUP2 00000dbb: MSTORE 00000dbc: PUSH1 0x02 00000dbe: PUSH1 0x20 00000dc0: MSTORE 00000dc1: PUSH1 0x40 00000dc3: SWAP1 00000dc4: KECCAK256 00000dc5: SLOAD 00000dc6: DUP3 00000dc7: SWAP1 00000dc8: LT 00000dc9: DUP1 00000dca: ISZERO 00000dcb: SWAP1 00000dcc: PUSH2 0x0dee 00000dcf: JUMPI 00000dd0: POP 00000dd1: PUSH1 0x01 00000dd3: PUSH1 0xa0 00000dd5: PUSH1 0x02 00000dd7: EXP 00000dd8: SUB 00000dd9: DUP4 00000dda: AND 00000ddb: PUSH1 0x00 00000ddd: SWAP1 00000dde: DUP2 00000ddf: MSTORE 00000de0: PUSH1 0x02 00000de2: PUSH1 0x20 00000de4: MSTORE 00000de5: PUSH1 0x40 00000de7: SWAP1 00000de8: KECCAK256 00000de9: SLOAD 00000dea: DUP3 00000deb: DUP2 00000dec: ADD 00000ded: GT 00000dee: JUMPDEST 00000def: ISZERO 00000df0: PUSH2 0x100d 00000df3: JUMPI 00000df4: PUSH1 0x01 00000df6: PUSH1 0xa0 00000df8: PUSH1 0x02 00000dfa: EXP 00000dfb: SUB 00000dfc: CALLER 00000dfd: AND 00000dfe: PUSH1 0x00 00000e00: SWAP1 00000e01: DUP2 00000e02: MSTORE 00000e03: PUSH1 0x02 00000e05: PUSH1 0x20 00000e07: MSTORE 00000e08: PUSH1 0x40 00000e0a: SWAP1 00000e0b: KECCAK256 00000e0c: SLOAD 00000e0d: PUSH2 0x0e16 00000e10: SWAP1 00000e11: DUP4 00000e12: PUSH2 0x113d 00000e15: JUMP 00000e16: JUMPDEST 00000e17: PUSH1 0x01 00000e19: PUSH1 0xa0 00000e1b: PUSH1 0x02 00000e1d: EXP 00000e1e: SUB 00000e1f: CALLER 00000e20: AND 00000e21: PUSH1 0x00 00000e23: DUP2 00000e24: DUP2 00000e25: MSTORE 00000e26: PUSH1 0x02 00000e28: PUSH1 0x20 00000e2a: MSTORE 00000e2b: PUSH1 0x40 00000e2d: SWAP1 00000e2e: KECCAK256 00000e2f: SWAP2 00000e30: SWAP1 00000e31: SWAP2 00000e32: SSTORE 00000e33: PUSH1 0x0d 00000e35: SLOAD 00000e36: SWAP1 00000e37: BALANCE 00000e38: LT 00000e39: DUP1 00000e3a: ISZERO 00000e3b: SWAP1 00000e3c: PUSH2 0x0e51 00000e3f: JUMPI 00000e40: POP 00000e41: PUSH1 0x0d 00000e43: SLOAD 00000e44: DUP4 00000e45: PUSH1 0x01 00000e47: PUSH1 0xa0 00000e49: PUSH1 0x02 00000e4b: EXP 00000e4c: SUB 00000e4d: AND 00000e4e: BALANCE 00000e4f: LT 00000e50: ISZERO 00000e51: JUMPDEST 00000e52: ISZERO 00000e53: PUSH2 0x0ec7 00000e56: JUMPI 00000e57: PUSH1 0x01 00000e59: PUSH1 0xa0 00000e5b: PUSH1 0x02 00000e5d: EXP 00000e5e: SUB 00000e5f: DUP4 00000e60: AND 00000e61: PUSH1 0x00 00000e63: SWAP1 00000e64: DUP2 00000e65: MSTORE 00000e66: PUSH1 0x02 00000e68: PUSH1 0x20 00000e6a: MSTORE 00000e6b: PUSH1 0x40 00000e6d: SWAP1 00000e6e: KECCAK256 00000e6f: SLOAD 00000e70: PUSH2 0x0e79 00000e73: SWAP1 00000e74: DUP4 00000e75: PUSH2 0x1115 00000e78: JUMP 00000e79: JUMPDEST 00000e7a: PUSH1 0x01 00000e7c: PUSH1 0xa0 00000e7e: PUSH1 0x02 00000e80: EXP 00000e81: SUB 00000e82: DUP1 00000e83: DUP6 00000e84: AND 00000e85: PUSH1 0x00 00000e87: DUP2 00000e88: DUP2 00000e89: MSTORE 00000e8a: PUSH1 0x02 00000e8c: PUSH1 0x20 00000e8e: SWAP1 00000e8f: DUP2 00000e90: MSTORE 00000e91: PUSH1 0x40 00000e93: SWAP2 00000e94: DUP3 00000e95: SWAP1 00000e96: KECCAK256 00000e97: SWAP5 00000e98: SWAP1 00000e99: SWAP5 00000e9a: SSTORE 00000e9b: DUP1 00000e9c: MLOAD 00000e9d: DUP7 00000e9e: DUP2 00000e9f: MSTORE 00000ea0: SWAP1 00000ea1: MLOAD 00000ea2: SWAP2 00000ea3: SWAP4 00000ea4: CALLER 00000ea5: SWAP1 00000ea6: SWAP4 00000ea7: AND 00000ea8: SWAP3 00000ea9: PUSH1 0x00 00000eab: DUP1 00000eac: MLOAD 00000ead: PUSH1 0x20 00000eaf: PUSH2 0x1193 00000eb2: DUP4 00000eb3: CODECOPY 00000eb4: DUP2 00000eb5: MLOAD 00000eb6: SWAP2 00000eb7: MSTORE 00000eb8: SWAP3 00000eb9: SWAP2 00000eba: DUP3 00000ebb: SWAP1 00000ebc: SUB 00000ebd: ADD 00000ebe: SWAP1 00000ebf: LOG3 00000ec0: POP 00000ec1: PUSH1 0x01 00000ec3: PUSH2 0x07e0 00000ec6: JUMP 00000ec7: JUMPDEST 00000ec8: PUSH1 0x01 00000eca: PUSH1 0xa0 00000ecc: PUSH1 0x02 00000ece: EXP 00000ecf: SUB 00000ed0: ADDRESS 00000ed1: AND 00000ed2: PUSH1 0x00 00000ed4: SWAP1 00000ed5: DUP2 00000ed6: MSTORE 00000ed7: PUSH1 0x02 00000ed9: PUSH1 0x20 00000edb: MSTORE 00000edc: PUSH1 0x40 00000ede: SWAP1 00000edf: KECCAK256 00000ee0: SLOAD 00000ee1: PUSH1 0x0b 00000ee3: SLOAD 00000ee4: PUSH2 0x0eed 00000ee7: SWAP2 00000ee8: SWAP1 00000ee9: PUSH2 0x1115 00000eec: JUMP 00000eed: JUMPDEST 00000eee: PUSH1 0x01 00000ef0: PUSH1 0xa0 00000ef2: PUSH1 0x02 00000ef4: EXP 00000ef5: SUB 00000ef6: ADDRESS 00000ef7: DUP2 00000ef8: AND 00000ef9: PUSH1 0x00 00000efb: SWAP1 00000efc: DUP2 00000efd: MSTORE 00000efe: PUSH1 0x02 00000f00: PUSH1 0x20 00000f02: MSTORE 00000f03: PUSH1 0x40 00000f05: DUP1 00000f06: DUP3 00000f07: KECCAK256 00000f08: SWAP4 00000f09: SWAP1 00000f0a: SWAP4 00000f0b: SSTORE 00000f0c: SWAP1 00000f0d: DUP6 00000f0e: AND 00000f0f: DUP2 00000f10: MSTORE 00000f11: KECCAK256 00000f12: SLOAD 00000f13: PUSH1 0x0b 00000f15: SLOAD 00000f16: PUSH2 0x0f2a 00000f19: SWAP2 00000f1a: SWAP1 00000f1b: PUSH2 0x0f25 00000f1e: SWAP1 00000f1f: DUP6 00000f20: SWAP1 00000f21: PUSH2 0x113d 00000f24: JUMP 00000f25: JUMPDEST 00000f26: PUSH2 0x1115 00000f29: JUMP 00000f2a: JUMPDEST 00000f2b: PUSH1 0x01 00000f2d: PUSH1 0xa0 00000f2f: PUSH1 0x02 00000f31: EXP 00000f32: SUB 00000f33: DUP1 00000f34: DUP6 00000f35: AND 00000f36: PUSH1 0x00 00000f38: DUP2 00000f39: DUP2 00000f3a: MSTORE 00000f3b: PUSH1 0x02 00000f3d: PUSH1 0x20 00000f3f: MSTORE 00000f40: PUSH1 0x40 00000f42: SWAP1 00000f43: KECCAK256 00000f44: SWAP3 00000f45: SWAP1 00000f46: SWAP3 00000f47: SSTORE 00000f48: PUSH1 0x0b 00000f4a: SLOAD 00000f4b: CALLER 00000f4c: SWAP1 00000f4d: SWAP2 00000f4e: AND 00000f4f: SWAP1 00000f50: PUSH1 0x00 00000f52: DUP1 00000f53: MLOAD 00000f54: PUSH1 0x20 00000f56: PUSH2 0x1193 00000f59: DUP4 00000f5a: CODECOPY 00000f5b: DUP2 00000f5c: MLOAD 00000f5d: SWAP2 00000f5e: MSTORE 00000f5f: SWAP1 00000f60: PUSH2 0x0f6a 00000f63: SWAP1 00000f64: DUP7 00000f65: SWAP1 00000f66: PUSH2 0x113d 00000f69: JUMP 00000f6a: JUMPDEST 00000f6b: PUSH1 0x40 00000f6d: DUP1 00000f6e: MLOAD 00000f6f: SWAP2 00000f70: DUP3 00000f71: MSTORE 00000f72: MLOAD 00000f73: SWAP1 00000f74: DUP2 00000f75: SWAP1 00000f76: SUB 00000f77: PUSH1 0x20 00000f79: ADD 00000f7a: SWAP1 00000f7b: LOG3 00000f7c: PUSH1 0x0d 00000f7e: SLOAD 00000f7f: CALLER 00000f80: PUSH1 0x01 00000f82: PUSH1 0xa0 00000f84: PUSH1 0x02 00000f86: EXP 00000f87: SUB 00000f88: AND 00000f89: BALANCE 00000f8a: LT 00000f8b: ISZERO 00000f8c: PUSH2 0x0fc0 00000f8f: JUMPI 00000f90: PUSH1 0x0a 00000f92: SLOAD 00000f93: PUSH1 0x40 00000f95: MLOAD 00000f96: PUSH1 0x01 00000f98: PUSH1 0xa0 00000f9a: PUSH1 0x02 00000f9c: EXP 00000f9d: SUB 00000f9e: CALLER 00000f9f: AND 00000fa0: SWAP2 00000fa1: DUP1 00000fa2: ISZERO 00000fa3: PUSH2 0x08fc 00000fa6: MUL 00000fa7: SWAP2 00000fa8: PUSH1 0x00 00000faa: DUP2 00000fab: DUP2 00000fac: DUP2 00000fad: DUP6 00000fae: DUP9 00000faf: DUP9 00000fb0: CALL 00000fb1: SWAP4 00000fb2: POP 00000fb3: POP 00000fb4: POP 00000fb5: POP 00000fb6: ISZERO 00000fb7: ISZERO 00000fb8: PUSH2 0x0fc0 00000fbb: JUMPI 00000fbc: PUSH2 0x0000 00000fbf: JUMP 00000fc0: JUMPDEST 00000fc1: JUMPDEST 00000fc2: PUSH1 0x0d 00000fc4: SLOAD 00000fc5: DUP4 00000fc6: PUSH1 0x01 00000fc8: PUSH1 0xa0 00000fca: PUSH1 0x02 00000fcc: EXP 00000fcd: SUB 00000fce: AND 00000fcf: BALANCE 00000fd0: LT 00000fd1: ISZERO 00000fd2: PUSH2 0x1006 00000fd5: JUMPI 00000fd6: PUSH1 0x0a 00000fd8: SLOAD 00000fd9: PUSH1 0x40 00000fdb: MLOAD 00000fdc: PUSH1 0x01 00000fde: PUSH1 0xa0 00000fe0: PUSH1 0x02 00000fe2: EXP 00000fe3: SUB 00000fe4: DUP6 00000fe5: AND 00000fe6: SWAP2 00000fe7: DUP1 00000fe8: ISZERO 00000fe9: PUSH2 0x08fc 00000fec: MUL 00000fed: SWAP2 00000fee: PUSH1 0x00 00000ff0: DUP2 00000ff1: DUP2 00000ff2: DUP2 00000ff3: DUP6 00000ff4: DUP9 00000ff5: DUP9 00000ff6: CALL 00000ff7: SWAP4 00000ff8: POP 00000ff9: POP 00000ffa: POP 00000ffb: POP 00000ffc: ISZERO 00000ffd: ISZERO 00000ffe: PUSH2 0x1006 00001001: JUMPI 00001002: PUSH2 0x0000 00001005: JUMP 00001006: JUMPDEST 00001007: JUMPDEST 00001008: JUMPDEST 00001009: PUSH2 0x07e0 0000100c: JUMP 0000100d: JUMPDEST 0000100e: PUSH2 0x0000 00001011: JUMP 00001012: JUMPDEST 00001013: JUMPDEST 00001014: SWAP3 00001015: SWAP2 00001016: POP 00001017: POP 00001018: JUMP 00001019: JUMPDEST 0000101a: PUSH1 0x06 0000101c: SLOAD 0000101d: PUSH1 0x01 0000101f: PUSH1 0xa0 00001021: PUSH1 0x02 00001023: EXP 00001024: SUB 00001025: AND 00001026: DUP2 00001027: JUMP 00001028: JUMPDEST 00001029: PUSH1 0x0b 0000102b: SLOAD 0000102c: DUP2 0000102d: JUMP 0000102e: JUMPDEST 0000102f: PUSH1 0x0a 00001031: SLOAD 00001032: DUP2 00001033: JUMP 00001034: JUMPDEST 00001035: PUSH1 0x00 00001037: SLOAD 00001038: CALLER 00001039: PUSH1 0x01 0000103b: PUSH1 0xa0 0000103d: PUSH1 0x02 0000103f: EXP 00001040: SUB 00001041: SWAP1 00001042: DUP2 00001043: AND 00001044: SWAP2 00001045: AND 00001046: EQ 00001047: PUSH2 0x104f 0000104a: JUMPI 0000104b: PUSH2 0x0000 0000104e: JUMP 0000104f: JUMPDEST 00001050: PUSH1 0x0d 00001052: DUP2 00001053: SWAP1 00001054: SSTORE 00001055: JUMPDEST 00001056: JUMPDEST 00001057: POP 00001058: JUMP 00001059: JUMPDEST 0000105a: PUSH1 0x01 0000105c: PUSH1 0xa0 0000105e: PUSH1 0x02 00001060: EXP 00001061: SUB 00001062: DUP1 00001063: DUP4 00001064: AND 00001065: PUSH1 0x00 00001067: SWAP1 00001068: DUP2 00001069: MSTORE 0000106a: PUSH1 0x03 0000106c: PUSH1 0x20 0000106e: SWAP1 0000106f: DUP2 00001070: MSTORE 00001071: PUSH1 0x40 00001073: DUP1 00001074: DUP4 00001075: KECCAK256 00001076: SWAP4 00001077: DUP6 00001078: AND 00001079: DUP4 0000107a: MSTORE 0000107b: SWAP3 0000107c: SWAP1 0000107d: MSTORE 0000107e: KECCAK256 0000107f: SLOAD 00001080: JUMPDEST 00001081: SWAP3 00001082: SWAP2 00001083: POP 00001084: POP 00001085: JUMP 00001086: JUMPDEST 00001087: PUSH1 0x00 00001089: SLOAD 0000108a: CALLER 0000108b: PUSH1 0x01 0000108d: PUSH1 0xa0 0000108f: PUSH1 0x02 00001091: EXP 00001092: SUB 00001093: SWAP1 00001094: DUP2 00001095: AND 00001096: SWAP2 00001097: AND 00001098: EQ 00001099: PUSH2 0x10a1 0000109c: JUMPI 0000109d: PUSH2 0x0000 000010a0: JUMP 000010a1: JUMPDEST 000010a2: PUSH1 0x0e 000010a4: DUP1 000010a5: SLOAD 000010a6: PUSH1 0xff 000010a8: NOT 000010a9: AND 000010aa: PUSH1 0x01 000010ac: OR 000010ad: SWAP1 000010ae: SSTORE 000010af: JUMPDEST 000010b0: JUMPDEST 000010b1: JUMP 000010b2: JUMPDEST 000010b3: PUSH1 0x0c 000010b5: SLOAD 000010b6: DUP2 000010b7: JUMP 000010b8: JUMPDEST 000010b9: PUSH1 0x00 000010bb: SLOAD 000010bc: CALLER 000010bd: PUSH1 0x01 000010bf: PUSH1 0xa0 000010c1: PUSH1 0x02 000010c3: EXP 000010c4: SUB 000010c5: SWAP1 000010c6: DUP2 000010c7: AND 000010c8: SWAP2 000010c9: AND 000010ca: EQ 000010cb: PUSH2 0x10d3 000010ce: JUMPI 000010cf: PUSH2 0x0000 000010d2: JUMP 000010d3: JUMPDEST 000010d4: PUSH1 0x01 000010d6: PUSH1 0xa0 000010d8: PUSH1 0x02 000010da: EXP 000010db: SUB 000010dc: DUP2 000010dd: AND 000010de: ISZERO 000010df: ISZERO 000010e0: PUSH2 0x10e8 000010e3: JUMPI 000010e4: PUSH2 0x0000 000010e7: JUMP 000010e8: JUMPDEST 000010e9: PUSH1 0x00 000010eb: DUP1 000010ec: SLOAD 000010ed: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001102: NOT 00001103: AND 00001104: PUSH1 0x01 00001106: PUSH1 0xa0 00001108: PUSH1 0x02 0000110a: EXP 0000110b: SUB 0000110c: DUP4 0000110d: AND 0000110e: OR 0000110f: SWAP1 00001110: SSTORE 00001111: JUMPDEST 00001112: JUMPDEST 00001113: POP 00001114: JUMP 00001115: JUMPDEST 00001116: PUSH1 0x00 00001118: DUP3 00001119: DUP3 0000111a: ADD 0000111b: PUSH2 0x1132 0000111e: DUP5 0000111f: DUP3 00001120: LT 00001121: DUP1 00001122: ISZERO 00001123: SWAP1 00001124: PUSH2 0x112d 00001127: JUMPI 00001128: POP 00001129: DUP4 0000112a: DUP3 0000112b: LT 0000112c: ISZERO 0000112d: JUMPDEST 0000112e: PUSH2 0x1182 00001131: JUMP 00001132: JUMPDEST 00001133: DUP1 00001134: SWAP2 00001135: POP 00001136: JUMPDEST 00001137: POP 00001138: SWAP3 00001139: SWAP2 0000113a: POP 0000113b: POP 0000113c: JUMP 0000113d: JUMPDEST 0000113e: PUSH1 0x00 00001140: PUSH2 0x114b 00001143: DUP4 00001144: DUP4 00001145: GT 00001146: ISZERO 00001147: PUSH2 0x1182 0000114a: JUMP 0000114b: JUMPDEST 0000114c: POP 0000114d: DUP1 0000114e: DUP3 0000114f: SUB 00001150: JUMPDEST 00001151: SWAP3 00001152: SWAP2 00001153: POP 00001154: POP 00001155: JUMP 00001156: JUMPDEST 00001157: PUSH1 0x00 00001159: DUP3 0000115a: DUP3 0000115b: MUL 0000115c: PUSH2 0x1132 0000115f: DUP5 00001160: ISZERO 00001161: DUP1 00001162: PUSH2 0x112d 00001165: JUMPI 00001166: POP 00001167: DUP4 00001168: DUP6 00001169: DUP4 0000116a: DUP2 0000116b: ISZERO 0000116c: PUSH2 0x0000 0000116f: JUMPI 00001170: DIV 00001171: EQ 00001172: JUMPDEST 00001173: PUSH2 0x1182 00001176: JUMP 00001177: JUMPDEST 00001178: DUP1 00001179: SWAP2 0000117a: POP 0000117b: JUMPDEST 0000117c: POP 0000117d: SWAP3 0000117e: SWAP2 0000117f: POP 00001180: POP 00001181: JUMP 00001182: JUMPDEST 00001183: DUP1 00001184: ISZERO 00001185: ISZERO 00001186: PUSH2 0x018c 00001189: JUMPI 0000118a: PUSH2 0x0000 0000118d: JUMP 0000118e: JUMPDEST 0000118f: JUMPDEST 00001190: POP 00001191: JUMP 00001192: STOP 00001193: UNKNOWN(0xDD) 00001194: CALLCODE 00001195: MSTORE 00001196: UNKNOWN(0xAD) 00001197: SHL 00001198: UNKNOWN(0xE2) 00001199: UNKNOWN(0xC8) 0000119a: SWAP12 0000119b: PUSH10 0xc2b068fc378daa952ba7 000011a6: CALL 000011a7: PUSH4 0xc4a11628 000011ac: CREATE2 000011ad: GAS 000011ae: UNKNOWN(0x4D) 000011af: CREATE2 000011b0: UNKNOWN(0x23) 000011b1: UNKNOWN(0xB3) 000011b2: UNKNOWN(0xEF) 000011b3: LOG1 000011b4: PUSH6 0x627a7a723058 000011bb: KECCAK256 000011bc: UNKNOWN(0xDD) 000011bd: SWAP1 000011be: DUP15 000011bf: SELFBALANCE 000011c0: JUMPI 000011c1: MOD 000011c2: PC 000011c3: UNKNOWN(0xE1) 000011c4: SWAP4 000011c5: SSTORE 000011c6: UNKNOWN(0xD4) 000011c7: UNKNOWN(0xD9) 000011c8: UNKNOWN(0xD9) 000011c9: CLZ 000011ca: UNKNOWN(0xE9) 000011cb: UNKNOWN(0xD6) 000011cc: CALLDATALOAD 000011cd: LT 000011ce: SSTORE 000011cf: UNKNOWN(0xF8) 000011d0: CREATE2 000011d1: UNKNOWN(0xE7) 000011d2: UNKNOWN(0x0C) 000011d3: DUP11 000011d4: PC 000011d5: UNKNOWN(0xE1) 000011d6: DUP4 000011d7: SAR 000011d8: UNKNOWN(0xE5) 000011d9: UNKNOWN(0x27) 000011da: UNKNOWN(0x4D) 000011db: LOG2 000011dc: STOP 000011dd: UNKNOWN(0x29)
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0x845813d7934a64a45015fac370164d70ee685fea3520a666820daaa56b5cb9a0
call_targets:
0x08d32b0da63e2c3bcf8019c9c5d849d7a9d791e6
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x845813d7934a64a45015fac370164d70ee685fea3520a666820daaa56b5cb9a0",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x08d32b0da63e2c3bcf8019c9c5d849d7a9d791e6"
],
"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": "0x015129a1",
"selector": "0x015129a1",
"calldata_variants": [
"0x015129a1",
"0x015129a10000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x02500824",
"selector": "0x02500824",
"calldata_variants": [
"0x02500824",
"0x025008240000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x06fdde03",
"selector": "0x06fdde03",
"calldata_variants": [
"0x06fdde03",
"0x06fdde030000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x095ea7b3",
"selector": "0x095ea7b3",
"calldata_variants": [
"0x095ea7b3",
"0x095ea7b30000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x0d5260e7",
"selector": "0x0d5260e7",
"calldata_variants": [
"0x0d5260e7",
"0x0d5260e70000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x18160ddd",
"selector": "0x18160ddd",
"calldata_variants": [
"0x18160ddd",
"0x18160ddd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x23b872dd",
"selector": "0x23b872dd",
"calldata_variants": [
"0x23b872dd",
"0x23b872dd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x313ce567",
"selector": "0x313ce567",
"calldata_variants": [
"0x313ce567",
"0x313ce5670000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 2533,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 3023,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 4016,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 6,
"guards_detected": [],
"untrusted_call_count": 6
}
|
| high | other | detector | ETH value transfer possible | 55 | no | no |
viewtrace_id: 0x845813d7934a64a45015fac370164d70ee685fea3520a666820daaa56b5cb9a0
call_targets:
0x08d32b0da63e2c3bcf8019c9c5d849d7a9d791e6
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x845813d7934a64a45015fac370164d70ee685fea3520a666820daaa56b5cb9a0",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x08d32b0da63e2c3bcf8019c9c5d849d7a9d791e6"
],
"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": "0x015129a1",
"selector": "0x015129a1",
"calldata_variants": [
"0x015129a1",
"0x015129a10000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x02500824",
"selector": "0x02500824",
"calldata_variants": [
"0x02500824",
"0x025008240000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x06fdde03",
"selector": "0x06fdde03",
"calldata_variants": [
"0x06fdde03",
"0x06fdde030000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x095ea7b3",
"selector": "0x095ea7b3",
"calldata_variants": [
"0x095ea7b3",
"0x095ea7b30000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x0d5260e7",
"selector": "0x0d5260e7",
"calldata_variants": [
"0x0d5260e7",
"0x0d5260e70000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x18160ddd",
"selector": "0x18160ddd",
"calldata_variants": [
"0x18160ddd",
"0x18160ddd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x23b872dd",
"selector": "0x23b872dd",
"calldata_variants": [
"0x23b872dd",
"0x23b872dd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x313ce567",
"selector": "0x313ce567",
"calldata_variants": [
"0x313ce567",
"0x313ce5670000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 2533,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 3023,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 4016,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 6,
"guards_detected": []
}
|
| medium | other | detector | CREATE/CREATE2 reachable | 45 | no | no |
viewtrace_id: 0x5f772e66da1483f6127426fa47585783735e0dfe658dc48e5c78fc1e3a243331
validation_json{
"sink": "CREATE",
"errors": 0,
"status": "unknown",
"attempts": 32,
"trace_id": "0x5f772e66da1483f6127426fa47585783735e0dfe658dc48e5c78fc1e3a243331",
"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": "0x015129a1",
"selector": "0x015129a1",
"calldata_variants": [
"0x015129a1",
"0x015129a10000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x02500824",
"selector": "0x02500824",
"calldata_variants": [
"0x02500824",
"0x025008240000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x06fdde03",
"selector": "0x06fdde03",
"calldata_variants": [
"0x06fdde03",
"0x06fdde030000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x095ea7b3",
"selector": "0x095ea7b3",
"calldata_variants": [
"0x095ea7b3",
"0x095ea7b30000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x0d5260e7",
"selector": "0x0d5260e7",
"calldata_variants": [
"0x0d5260e7",
"0x0d5260e70000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x18160ddd",
"selector": "0x18160ddd",
"calldata_variants": [
"0x18160ddd",
"0x18160ddd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x23b872dd",
"selector": "0x23b872dd",
"calldata_variants": [
"0x23b872dd",
"0x23b872dd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x313ce567",
"selector": "0x313ce567",
"calldata_variants": [
"0x313ce567",
"0x313ce5670000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"create_count": 0,
"create2_count": 3
}
|