019b477e-c35b-7151-874c-bf52040ca59f
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 |
|---|---|---|---|---|
| 25209 | artifact.fetch | complete | 1 / 3 | 4 months ago |
| 25210 | tool.cast_disasm | complete | 1 / 3 | 4 months ago |
| 68254 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 68255 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 68256 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 68257 | validation.fork | complete | 1 / 3 | 2 weeks ago |
No slither job recorded yet.
No codex job recorded yet.
00000000: PUSH1 0x80 00000002: PUSH1 0x40 00000004: MSTORE 00000005: PUSH1 0x04 00000007: CALLDATASIZE 00000008: LT 00000009: PUSH2 0x01c2 0000000c: JUMPI 0000000d: PUSH1 0x00 0000000f: CALLDATALOAD 00000010: PUSH1 0xe0 00000012: SHR 00000013: DUP1 00000014: PUSH4 0x715018a6 00000019: GT 0000001a: PUSH2 0x00f7 0000001d: JUMPI 0000001e: DUP1 0000001f: PUSH4 0xbf610d7e 00000024: GT 00000025: PUSH2 0x0095 00000028: JUMPI 00000029: DUP1 0000002a: PUSH4 0xe615393a 0000002f: GT 00000030: PUSH2 0x0064 00000033: JUMPI 00000034: DUP1 00000035: PUSH4 0xe615393a 0000003a: EQ 0000003b: PUSH2 0x0455 0000003e: JUMPI 0000003f: DUP1 00000040: PUSH4 0xeb91d37e 00000045: EQ 00000046: PUSH2 0x0475 00000049: JUMPI 0000004a: DUP1 0000004b: PUSH4 0xf2fde38b 00000050: EQ 00000051: PUSH2 0x048a 00000054: JUMPI 00000055: DUP1 00000056: PUSH4 0xf73972e0 0000005b: EQ 0000005c: PUSH2 0x04aa 0000005f: JUMPI 00000060: PUSH1 0x00 00000062: DUP1 00000063: REVERT 00000064: JUMPDEST 00000065: DUP1 00000066: PUSH4 0xbf610d7e 0000006b: EQ 0000006c: PUSH2 0x0404 0000006f: JUMPI 00000070: DUP1 00000071: PUSH4 0xc74dff9a 00000076: EQ 00000077: PUSH2 0x0417 0000007a: JUMPI 0000007b: DUP1 0000007c: PUSH4 0xd364d7c2 00000081: EQ 00000082: PUSH2 0x042c 00000085: JUMPI 00000086: DUP1 00000087: PUSH4 0xd6fbf202 0000008c: EQ 0000008d: PUSH2 0x043f 00000090: JUMPI 00000091: PUSH1 0x00 00000093: DUP1 00000094: REVERT 00000095: JUMPDEST 00000096: DUP1 00000097: PUSH4 0x8da5cb5b 0000009c: GT 0000009d: PUSH2 0x00d1 000000a0: JUMPI 000000a1: DUP1 000000a2: PUSH4 0x8da5cb5b 000000a7: EQ 000000a8: PUSH2 0x03a4 000000ab: JUMPI 000000ac: DUP1 000000ad: PUSH4 0x9bfde41a 000000b2: EQ 000000b3: PUSH2 0x03c2 000000b6: JUMPI 000000b7: DUP1 000000b8: PUSH4 0x9d1b464a 000000bd: EQ 000000be: PUSH2 0x03d8 000000c1: JUMPI 000000c2: DUP1 000000c3: PUSH4 0xb226f8f4 000000c8: EQ 000000c9: PUSH2 0x03ee 000000cc: JUMPI 000000cd: PUSH1 0x00 000000cf: DUP1 000000d0: REVERT 000000d1: JUMPDEST 000000d2: DUP1 000000d3: PUSH4 0x715018a6 000000d8: EQ 000000d9: PUSH2 0x0355 000000dc: JUMPI 000000dd: DUP1 000000de: PUSH4 0x7bfbae19 000000e3: EQ 000000e4: PUSH2 0x036a 000000e7: JUMPI 000000e8: DUP1 000000e9: PUSH4 0x7f649783 000000ee: EQ 000000ef: PUSH2 0x0384 000000f2: JUMPI 000000f3: PUSH1 0x00 000000f5: DUP1 000000f6: REVERT 000000f7: JUMPDEST 000000f8: DUP1 000000f9: PUSH4 0x3ccfd60b 000000fe: GT 000000ff: PUSH2 0x0164 00000102: JUMPI 00000103: DUP1 00000104: PUSH4 0x61bc221a 00000109: GT 0000010a: PUSH2 0x013e 0000010d: JUMPI 0000010e: DUP1 0000010f: PUSH4 0x61bc221a 00000114: EQ 00000115: PUSH2 0x02e7 00000118: JUMPI 00000119: DUP1 0000011a: PUSH4 0x69095dc3 0000011f: EQ 00000120: PUSH2 0x02fd 00000123: JUMPI 00000124: DUP1 00000125: PUSH4 0x6992d229 0000012a: EQ 0000012b: PUSH2 0x0313 0000012e: JUMPI 0000012f: DUP1 00000130: PUSH4 0x6a627842 00000135: EQ 00000136: PUSH2 0x0342 00000139: JUMPI 0000013a: PUSH1 0x00 0000013c: DUP1 0000013d: REVERT 0000013e: JUMPDEST 0000013f: DUP1 00000140: PUSH4 0x3ccfd60b 00000145: EQ 00000146: PUSH2 0x027a 00000149: JUMPI 0000014a: DUP1 0000014b: PUSH4 0x484b973c 00000150: EQ 00000151: PUSH2 0x028f 00000154: JUMPI 00000155: DUP1 00000156: PUSH4 0x5bf8633a 0000015b: EQ 0000015c: PUSH2 0x02af 0000015f: JUMPI 00000160: PUSH1 0x00 00000162: DUP1 00000163: REVERT 00000164: JUMPDEST 00000165: DUP1 00000166: PUSH4 0x2d29fd34 0000016b: GT 0000016c: PUSH2 0x01a0 0000016f: JUMPI 00000170: DUP1 00000171: PUSH4 0x2d29fd34 00000176: EQ 00000177: PUSH2 0x0206 0000017a: JUMPI 0000017b: DUP1 0000017c: PUSH4 0x32cb6b0c 00000181: EQ 00000182: PUSH2 0x021b 00000185: JUMPI 00000186: DUP1 00000187: PUSH4 0x36d41e03 0000018c: EQ 0000018d: PUSH2 0x0244 00000190: JUMPI 00000191: DUP1 00000192: PUSH4 0x36dc3481 00000197: EQ 00000198: PUSH2 0x0264 0000019b: JUMPI 0000019c: PUSH1 0x00 0000019e: DUP1 0000019f: REVERT 000001a0: JUMPDEST 000001a1: DUP1 000001a2: PUSH4 0x0b7b4bef 000001a7: EQ 000001a8: PUSH2 0x01c7 000001ab: JUMPI 000001ac: DUP1 000001ad: PUSH4 0x0c1c972a 000001b2: EQ 000001b3: PUSH2 0x01de 000001b6: JUMPI 000001b7: DUP1 000001b8: PUSH4 0x0e1519ee 000001bd: EQ 000001be: PUSH2 0x01f3 000001c1: JUMPI 000001c2: JUMPDEST 000001c3: PUSH1 0x00 000001c5: DUP1 000001c6: REVERT 000001c7: JUMPDEST 000001c8: CALLVALUE 000001c9: DUP1 000001ca: ISZERO 000001cb: PUSH2 0x01d3 000001ce: JUMPI 000001cf: PUSH1 0x00 000001d1: DUP1 000001d2: REVERT 000001d3: JUMPDEST 000001d4: POP 000001d5: PUSH2 0x01dc 000001d8: PUSH2 0x04bf 000001db: JUMP 000001dc: JUMPDEST 000001dd: STOP 000001de: JUMPDEST 000001df: CALLVALUE 000001e0: DUP1 000001e1: ISZERO 000001e2: PUSH2 0x01ea 000001e5: JUMPI 000001e6: PUSH1 0x00 000001e8: DUP1 000001e9: REVERT 000001ea: JUMPDEST 000001eb: POP 000001ec: PUSH2 0x01dc 000001ef: PUSH2 0x0521 000001f2: JUMP 000001f3: JUMPDEST 000001f4: PUSH2 0x01dc 000001f7: PUSH2 0x0201 000001fa: CALLDATASIZE 000001fb: PUSH1 0x04 000001fd: PUSH2 0x1223 00000200: JUMP 00000201: JUMPDEST 00000202: PUSH2 0x057c 00000205: JUMP 00000206: JUMPDEST 00000207: CALLVALUE 00000208: DUP1 00000209: ISZERO 0000020a: PUSH2 0x0212 0000020d: JUMPI 0000020e: PUSH1 0x00 00000210: DUP1 00000211: REVERT 00000212: JUMPDEST 00000213: POP 00000214: PUSH2 0x01dc 00000217: PUSH2 0x0749 0000021a: JUMP 0000021b: JUMPDEST 0000021c: CALLVALUE 0000021d: DUP1 0000021e: ISZERO 0000021f: PUSH2 0x0227 00000222: JUMPI 00000223: PUSH1 0x00 00000225: DUP1 00000226: REVERT 00000227: JUMPDEST 00000228: POP 00000229: PUSH2 0x0231 0000022c: PUSH1 0x02 0000022e: SLOAD 0000022f: DUP2 00000230: JUMP 00000231: JUMPDEST 00000232: PUSH1 0x40 00000234: MLOAD 00000235: SWAP1 00000236: DUP2 00000237: MSTORE 00000238: PUSH1 0x20 0000023a: ADD 0000023b: JUMPDEST 0000023c: PUSH1 0x40 0000023e: MLOAD 0000023f: DUP1 00000240: SWAP2 00000241: SUB 00000242: SWAP1 00000243: RETURN 00000244: JUMPDEST 00000245: CALLVALUE 00000246: DUP1 00000247: ISZERO 00000248: PUSH2 0x0250 0000024b: JUMPI 0000024c: PUSH1 0x00 0000024e: DUP1 0000024f: REVERT 00000250: JUMPDEST 00000251: POP 00000252: PUSH2 0x01dc 00000255: PUSH2 0x025f 00000258: CALLDATASIZE 00000259: PUSH1 0x04 0000025b: PUSH2 0x123e 0000025e: JUMP 0000025f: JUMPDEST 00000260: PUSH2 0x079f 00000263: JUMP 00000264: JUMPDEST 00000265: CALLVALUE 00000266: DUP1 00000267: ISZERO 00000268: PUSH2 0x0270 0000026b: JUMPI 0000026c: PUSH1 0x00 0000026e: DUP1 0000026f: REVERT 00000270: JUMPDEST 00000271: POP 00000272: PUSH2 0x0231 00000275: PUSH1 0x08 00000277: SLOAD 00000278: DUP2 00000279: JUMP 0000027a: JUMPDEST 0000027b: CALLVALUE 0000027c: DUP1 0000027d: ISZERO 0000027e: PUSH2 0x0286 00000281: JUMPI 00000282: PUSH1 0x00 00000284: DUP1 00000285: REVERT 00000286: JUMPDEST 00000287: POP 00000288: PUSH2 0x01dc 0000028b: PUSH2 0x085e 0000028e: JUMP 0000028f: JUMPDEST 00000290: CALLVALUE 00000291: DUP1 00000292: ISZERO 00000293: PUSH2 0x029b 00000296: JUMPI 00000297: PUSH1 0x00 00000299: DUP1 0000029a: REVERT 0000029b: JUMPDEST 0000029c: POP 0000029d: PUSH2 0x01dc 000002a0: PUSH2 0x02aa 000002a3: CALLDATASIZE 000002a4: PUSH1 0x04 000002a6: PUSH2 0x12b3 000002a9: JUMP 000002aa: JUMPDEST 000002ab: PUSH2 0x08cd 000002ae: JUMP 000002af: JUMPDEST 000002b0: CALLVALUE 000002b1: DUP1 000002b2: ISZERO 000002b3: PUSH2 0x02bb 000002b6: JUMPI 000002b7: PUSH1 0x00 000002b9: DUP1 000002ba: REVERT 000002bb: JUMPDEST 000002bc: POP 000002bd: PUSH1 0x01 000002bf: SLOAD 000002c0: PUSH2 0x02cf 000002c3: SWAP1 000002c4: PUSH1 0x01 000002c6: PUSH1 0x01 000002c8: PUSH1 0xa0 000002ca: SHL 000002cb: SUB 000002cc: AND 000002cd: DUP2 000002ce: JUMP 000002cf: JUMPDEST 000002d0: PUSH1 0x40 000002d2: MLOAD 000002d3: PUSH1 0x01 000002d5: PUSH1 0x01 000002d7: PUSH1 0xa0 000002d9: SHL 000002da: SUB 000002db: SWAP1 000002dc: SWAP2 000002dd: AND 000002de: DUP2 000002df: MSTORE 000002e0: PUSH1 0x20 000002e2: ADD 000002e3: PUSH2 0x023b 000002e6: JUMP 000002e7: JUMPDEST 000002e8: CALLVALUE 000002e9: DUP1 000002ea: ISZERO 000002eb: PUSH2 0x02f3 000002ee: JUMPI 000002ef: PUSH1 0x00 000002f1: DUP1 000002f2: REVERT 000002f3: JUMPDEST 000002f4: POP 000002f5: PUSH2 0x0231 000002f8: PUSH1 0x0a 000002fa: SLOAD 000002fb: DUP2 000002fc: JUMP 000002fd: JUMPDEST 000002fe: CALLVALUE 000002ff: DUP1 00000300: ISZERO 00000301: PUSH2 0x0309 00000304: JUMPI 00000305: PUSH1 0x00 00000307: DUP1 00000308: REVERT 00000309: JUMPDEST 0000030a: POP 0000030b: PUSH2 0x0231 0000030e: PUSH1 0x0e 00000310: SLOAD 00000311: DUP2 00000312: JUMP 00000313: JUMPDEST 00000314: CALLVALUE 00000315: DUP1 00000316: ISZERO 00000317: PUSH2 0x031f 0000031a: JUMPI 0000031b: PUSH1 0x00 0000031d: DUP1 0000031e: REVERT 0000031f: JUMPDEST 00000320: POP 00000321: PUSH1 0x04 00000323: SLOAD 00000324: PUSH2 0x0332 00000327: SWAP1 00000328: PUSH2 0x0100 0000032b: SWAP1 0000032c: DIV 0000032d: PUSH1 0xff 0000032f: AND 00000330: DUP2 00000331: JUMP 00000332: JUMPDEST 00000333: PUSH1 0x40 00000335: MLOAD 00000336: SWAP1 00000337: ISZERO 00000338: ISZERO 00000339: DUP2 0000033a: MSTORE 0000033b: PUSH1 0x20 0000033d: ADD 0000033e: PUSH2 0x023b 00000341: JUMP 00000342: JUMPDEST 00000343: PUSH2 0x01dc 00000346: PUSH2 0x0350 00000349: CALLDATASIZE 0000034a: PUSH1 0x04 0000034c: PUSH2 0x1223 0000034f: JUMP 00000350: JUMPDEST 00000351: PUSH2 0x0a0a 00000354: JUMP 00000355: JUMPDEST 00000356: CALLVALUE 00000357: DUP1 00000358: ISZERO 00000359: PUSH2 0x0361 0000035c: JUMPI 0000035d: PUSH1 0x00 0000035f: DUP1 00000360: REVERT 00000361: JUMPDEST 00000362: POP 00000363: PUSH2 0x01dc 00000366: PUSH2 0x0c09 00000369: JUMP 0000036a: JUMPDEST 0000036b: CALLVALUE 0000036c: DUP1 0000036d: ISZERO 0000036e: PUSH2 0x0376 00000371: JUMPI 00000372: PUSH1 0x00 00000374: DUP1 00000375: REVERT 00000376: JUMPDEST 00000377: POP 00000378: PUSH1 0x04 0000037a: SLOAD 0000037b: PUSH2 0x0332 0000037e: SWAP1 0000037f: PUSH1 0xff 00000381: AND 00000382: DUP2 00000383: JUMP 00000384: JUMPDEST 00000385: CALLVALUE 00000386: DUP1 00000387: ISZERO 00000388: PUSH2 0x0390 0000038b: JUMPI 0000038c: PUSH1 0x00 0000038e: DUP1 0000038f: REVERT 00000390: JUMPDEST 00000391: POP 00000392: PUSH2 0x01dc 00000395: PUSH2 0x039f 00000398: CALLDATASIZE 00000399: PUSH1 0x04 0000039b: PUSH2 0x123e 0000039e: JUMP 0000039f: JUMPDEST 000003a0: PUSH2 0x0c3f 000003a3: JUMP 000003a4: JUMPDEST 000003a5: CALLVALUE 000003a6: DUP1 000003a7: ISZERO 000003a8: PUSH2 0x03b0 000003ab: JUMPI 000003ac: PUSH1 0x00 000003ae: DUP1 000003af: REVERT 000003b0: JUMPDEST 000003b1: POP 000003b2: PUSH1 0x00 000003b4: SLOAD 000003b5: PUSH1 0x01 000003b7: PUSH1 0x01 000003b9: PUSH1 0xa0 000003bb: SHL 000003bc: SUB 000003bd: AND 000003be: PUSH2 0x02cf 000003c1: JUMP 000003c2: JUMPDEST 000003c3: CALLVALUE 000003c4: DUP1 000003c5: ISZERO 000003c6: PUSH2 0x03ce 000003c9: JUMPI 000003ca: PUSH1 0x00 000003cc: DUP1 000003cd: REVERT 000003ce: JUMPDEST 000003cf: POP 000003d0: PUSH2 0x0231 000003d3: PUSH1 0x07 000003d5: SLOAD 000003d6: DUP2 000003d7: JUMP 000003d8: JUMPDEST 000003d9: CALLVALUE 000003da: DUP1 000003db: ISZERO 000003dc: PUSH2 0x03e4 000003df: JUMPI 000003e0: PUSH1 0x00 000003e2: DUP1 000003e3: REVERT 000003e4: JUMPDEST 000003e5: POP 000003e6: PUSH2 0x0231 000003e9: PUSH1 0x05 000003eb: SLOAD 000003ec: DUP2 000003ed: JUMP 000003ee: JUMPDEST 000003ef: CALLVALUE 000003f0: DUP1 000003f1: ISZERO 000003f2: PUSH2 0x03fa 000003f5: JUMPI 000003f6: PUSH1 0x00 000003f8: DUP1 000003f9: REVERT 000003fa: JUMPDEST 000003fb: POP 000003fc: PUSH2 0x0231 000003ff: PUSH1 0x09 00000401: SLOAD 00000402: DUP2 00000403: JUMP 00000404: JUMPDEST 00000405: PUSH2 0x01dc 00000408: PUSH2 0x0412 0000040b: CALLDATASIZE 0000040c: PUSH1 0x04 0000040e: PUSH2 0x1223 00000411: JUMP 00000412: JUMPDEST 00000413: PUSH2 0x0cf9 00000416: JUMP 00000417: JUMPDEST 00000418: CALLVALUE 00000419: DUP1 0000041a: ISZERO 0000041b: PUSH2 0x0423 0000041e: JUMPI 0000041f: PUSH1 0x00 00000421: DUP1 00000422: REVERT 00000423: JUMPDEST 00000424: POP 00000425: PUSH2 0x01dc 00000428: PUSH2 0x0ea7 0000042b: JUMP 0000042c: JUMPDEST 0000042d: PUSH2 0x01dc 00000430: PUSH2 0x043a 00000433: CALLDATASIZE 00000434: PUSH1 0x04 00000436: PUSH2 0x12dd 00000439: JUMP 0000043a: JUMPDEST 0000043b: PUSH2 0x0f02 0000043e: JUMP 0000043f: JUMPDEST 00000440: CALLVALUE 00000441: DUP1 00000442: ISZERO 00000443: PUSH2 0x044b 00000446: JUMPI 00000447: PUSH1 0x00 00000449: DUP1 0000044a: REVERT 0000044b: JUMPDEST 0000044c: POP 0000044d: PUSH2 0x0231 00000450: PUSH1 0x03 00000452: SLOAD 00000453: DUP2 00000454: JUMP 00000455: JUMPDEST 00000456: CALLVALUE 00000457: DUP1 00000458: ISZERO 00000459: PUSH2 0x0461 0000045c: JUMPI 0000045d: PUSH1 0x00 0000045f: DUP1 00000460: REVERT 00000461: JUMPDEST 00000462: POP 00000463: PUSH1 0x04 00000465: SLOAD 00000466: PUSH2 0x0332 00000469: SWAP1 0000046a: PUSH3 0x010000 0000046e: SWAP1 0000046f: DIV 00000470: PUSH1 0xff 00000472: AND 00000473: DUP2 00000474: JUMP 00000475: JUMPDEST 00000476: CALLVALUE 00000477: DUP1 00000478: ISZERO 00000479: PUSH2 0x0481 0000047c: JUMPI 0000047d: PUSH1 0x00 0000047f: DUP1 00000480: REVERT 00000481: JUMPDEST 00000482: POP 00000483: PUSH2 0x0231 00000486: PUSH2 0x1045 00000489: JUMP 0000048a: JUMPDEST 0000048b: CALLVALUE 0000048c: DUP1 0000048d: ISZERO 0000048e: PUSH2 0x0496 00000491: JUMPI 00000492: PUSH1 0x00 00000494: DUP1 00000495: REVERT 00000496: JUMPDEST 00000497: POP 00000498: PUSH2 0x01dc 0000049b: PUSH2 0x04a5 0000049e: CALLDATASIZE 0000049f: PUSH1 0x04 000004a1: PUSH2 0x1223 000004a4: JUMP 000004a5: JUMPDEST 000004a6: PUSH2 0x109c 000004a9: JUMP 000004aa: JUMPDEST 000004ab: CALLVALUE 000004ac: DUP1 000004ad: ISZERO 000004ae: PUSH2 0x04b6 000004b1: JUMPI 000004b2: PUSH1 0x00 000004b4: DUP1 000004b5: REVERT 000004b6: JUMPDEST 000004b7: POP 000004b8: PUSH2 0x01dc 000004bb: PUSH2 0x1137 000004be: JUMP 000004bf: JUMPDEST 000004c0: PUSH1 0x00 000004c2: SLOAD 000004c3: PUSH1 0x01 000004c5: PUSH1 0x01 000004c7: PUSH1 0xa0 000004c9: SHL 000004ca: SUB 000004cb: AND 000004cc: CALLER 000004cd: EQ 000004ce: DUP1 000004cf: PUSH2 0x04eb 000004d2: JUMPI 000004d3: POP 000004d4: PUSH20 0xcd1b5613e06a6d66f5106cf13e103c9b98253b0c 000004e9: CALLER 000004ea: EQ 000004eb: JUMPDEST 000004ec: PUSH2 0x0510 000004ef: JUMPI 000004f0: PUSH1 0x40 000004f2: MLOAD 000004f3: PUSH3 0x461bcd 000004f7: PUSH1 0xe5 000004f9: SHL 000004fa: DUP2 000004fb: MSTORE 000004fc: PUSH1 0x04 000004fe: ADD 000004ff: PUSH2 0x0507 00000502: SWAP1 00000503: PUSH2 0x12f6 00000506: JUMP 00000507: JUMPDEST 00000508: PUSH1 0x40 0000050a: MLOAD 0000050b: DUP1 0000050c: SWAP2 0000050d: SUB 0000050e: SWAP1 0000050f: REVERT 00000510: JUMPDEST 00000511: PUSH1 0x04 00000513: DUP1 00000514: SLOAD 00000515: PUSH2 0xff00 00000518: NOT 00000519: AND 0000051a: PUSH2 0x0100 0000051d: OR 0000051e: SWAP1 0000051f: SSTORE 00000520: JUMP 00000521: JUMPDEST 00000522: PUSH1 0x00 00000524: SLOAD 00000525: PUSH1 0x01 00000527: PUSH1 0x01 00000529: PUSH1 0xa0 0000052b: SHL 0000052c: SUB 0000052d: AND 0000052e: CALLER 0000052f: EQ 00000530: DUP1 00000531: PUSH2 0x054d 00000534: JUMPI 00000535: POP 00000536: PUSH20 0xcd1b5613e06a6d66f5106cf13e103c9b98253b0c 0000054b: CALLER 0000054c: EQ 0000054d: JUMPDEST 0000054e: PUSH2 0x0569 00000551: JUMPI 00000552: PUSH1 0x40 00000554: MLOAD 00000555: PUSH3 0x461bcd 00000559: PUSH1 0xe5 0000055b: SHL 0000055c: DUP2 0000055d: MSTORE 0000055e: PUSH1 0x04 00000560: ADD 00000561: PUSH2 0x0507 00000564: SWAP1 00000565: PUSH2 0x12f6 00000568: JUMP 00000569: JUMPDEST 0000056a: PUSH1 0x04 0000056c: DUP1 0000056d: SLOAD 0000056e: PUSH1 0xff 00000570: NOT 00000571: AND 00000572: PUSH1 0x01 00000574: OR 00000575: SWAP1 00000576: SSTORE 00000577: TIMESTAMP 00000578: PUSH1 0x06 0000057a: SSTORE 0000057b: JUMP 0000057c: JUMPDEST 0000057d: PUSH1 0x04 0000057f: SLOAD 00000580: PUSH3 0x010000 00000584: SWAP1 00000585: DIV 00000586: PUSH1 0xff 00000588: AND 00000589: PUSH2 0x05a4 0000058c: JUMPI 0000058d: PUSH1 0x40 0000058f: MLOAD 00000590: PUSH3 0x461bcd 00000594: PUSH1 0xe5 00000596: SHL 00000597: DUP2 00000598: MSTORE 00000599: PUSH1 0x04 0000059b: ADD 0000059c: PUSH2 0x0507 0000059f: SWAP1 000005a0: PUSH2 0x132b 000005a3: JUMP 000005a4: JUMPDEST 000005a5: CALLER 000005a6: PUSH1 0x00 000005a8: SWAP1 000005a9: DUP2 000005aa: MSTORE 000005ab: PUSH1 0x0c 000005ad: PUSH1 0x20 000005af: MSTORE 000005b0: PUSH1 0x40 000005b2: SWAP1 000005b3: KECCAK256 000005b4: SLOAD 000005b5: PUSH1 0xff 000005b7: AND 000005b8: PUSH2 0x0603 000005bb: JUMPI 000005bc: PUSH1 0x40 000005be: MLOAD 000005bf: PUSH3 0x461bcd 000005c3: PUSH1 0xe5 000005c5: SHL 000005c6: DUP2 000005c7: MSTORE 000005c8: PUSH1 0x20 000005ca: PUSH1 0x04 000005cc: DUP3 000005cd: ADD 000005ce: MSTORE 000005cf: PUSH1 0x1a 000005d1: PUSH1 0x24 000005d3: DUP3 000005d4: ADD 000005d5: MSTORE 000005d6: PUSH32 0x53656e646572206973206e6f742077686974656c697374656421000000000000 000005f7: PUSH1 0x44 000005f9: DUP3 000005fa: ADD 000005fb: MSTORE 000005fc: PUSH1 0x64 000005fe: ADD 000005ff: PUSH2 0x0507 00000602: JUMP 00000603: JUMPDEST 00000604: CALLER 00000605: PUSH1 0x00 00000607: SWAP1 00000608: DUP2 00000609: MSTORE 0000060a: PUSH1 0x0d 0000060c: PUSH1 0x20 0000060e: MSTORE 0000060f: PUSH1 0x40 00000611: SWAP1 00000612: KECCAK256 00000613: SLOAD 00000614: PUSH1 0xff 00000616: AND 00000617: ISZERO 00000618: PUSH2 0x0633 0000061b: JUMPI 0000061c: PUSH1 0x40 0000061e: MLOAD 0000061f: PUSH3 0x461bcd 00000623: PUSH1 0xe5 00000625: SHL 00000626: DUP2 00000627: MSTORE 00000628: PUSH1 0x04 0000062a: ADD 0000062b: PUSH2 0x0507 0000062e: SWAP1 0000062f: PUSH2 0x136e 00000632: JUMP 00000633: JUMPDEST 00000634: PUSH1 0x02 00000636: SLOAD 00000637: PUSH1 0x0a 00000639: SLOAD 0000063a: PUSH2 0x0644 0000063d: SWAP1 0000063e: PUSH1 0x01 00000640: PUSH2 0x13bb 00000643: JUMP 00000644: JUMPDEST 00000645: GT 00000646: ISZERO 00000647: PUSH2 0x0662 0000064a: JUMPI 0000064b: PUSH1 0x40 0000064d: MLOAD 0000064e: PUSH3 0x461bcd 00000652: PUSH1 0xe5 00000654: SHL 00000655: DUP2 00000656: MSTORE 00000657: PUSH1 0x04 00000659: ADD 0000065a: PUSH2 0x0507 0000065d: SWAP1 0000065e: PUSH2 0x13d3 00000661: JUMP 00000662: JUMPDEST 00000663: CALLVALUE 00000664: PUSH1 0x09 00000666: SLOAD 00000667: GT 00000668: ISZERO 00000669: PUSH2 0x0684 0000066c: JUMPI 0000066d: PUSH1 0x40 0000066f: MLOAD 00000670: PUSH3 0x461bcd 00000674: PUSH1 0xe5 00000676: SHL 00000677: DUP2 00000678: MSTORE 00000679: PUSH1 0x04 0000067b: ADD 0000067c: PUSH2 0x0507 0000067f: SWAP1 00000680: PUSH2 0x1408 00000683: JUMP 00000684: JUMPDEST 00000685: PUSH1 0x01 00000687: SLOAD 00000688: PUSH1 0x40 0000068a: MLOAD 0000068b: PUSH4 0x0355d309 00000690: PUSH1 0xe1 00000692: SHL 00000693: DUP2 00000694: MSTORE 00000695: PUSH1 0x01 00000697: PUSH1 0x01 00000699: PUSH1 0xa0 0000069b: SHL 0000069c: SUB 0000069d: DUP4 0000069e: DUP2 0000069f: AND 000006a0: PUSH1 0x04 000006a2: DUP4 000006a3: ADD 000006a4: MSTORE 000006a5: SWAP1 000006a6: SWAP2 000006a7: AND 000006a8: SWAP1 000006a9: DUP2 000006aa: SWAP1 000006ab: PUSH4 0x06aba612 000006b0: SWAP1 000006b1: PUSH1 0x24 000006b3: ADD 000006b4: PUSH1 0x00 000006b6: PUSH1 0x40 000006b8: MLOAD 000006b9: DUP1 000006ba: DUP4 000006bb: SUB 000006bc: DUP2 000006bd: PUSH1 0x00 000006bf: DUP8 000006c0: DUP1 000006c1: EXTCODESIZE 000006c2: ISZERO 000006c3: DUP1 000006c4: ISZERO 000006c5: PUSH2 0x06cd 000006c8: JUMPI 000006c9: PUSH1 0x00 000006cb: DUP1 000006cc: REVERT 000006cd: JUMPDEST 000006ce: POP 000006cf: GAS 000006d0: CALL 000006d1: ISZERO 000006d2: DUP1 000006d3: ISZERO 000006d4: PUSH2 0x06e1 000006d7: JUMPI 000006d8: RETURNDATASIZE 000006d9: PUSH1 0x00 000006db: DUP1 000006dc: RETURNDATACOPY 000006dd: RETURNDATASIZE 000006de: PUSH1 0x00 000006e0: REVERT 000006e1: JUMPDEST 000006e2: POP 000006e3: POP 000006e4: POP 000006e5: POP 000006e6: PUSH1 0x01 000006e8: PUSH1 0x0d 000006ea: PUSH1 0x00 000006ec: PUSH2 0x06f2 000006ef: CALLER 000006f0: SWAP1 000006f1: JUMP 000006f2: JUMPDEST 000006f3: PUSH1 0x01 000006f5: PUSH1 0x01 000006f7: PUSH1 0xa0 000006f9: SHL 000006fa: SUB 000006fb: AND 000006fc: DUP2 000006fd: MSTORE 000006fe: PUSH1 0x20 00000700: DUP2 00000701: ADD 00000702: SWAP2 00000703: SWAP1 00000704: SWAP2 00000705: MSTORE 00000706: PUSH1 0x40 00000708: ADD 00000709: PUSH1 0x00 0000070b: SWAP1 0000070c: DUP2 0000070d: KECCAK256 0000070e: DUP1 0000070f: SLOAD 00000710: PUSH1 0xff 00000712: NOT 00000713: AND 00000714: SWAP3 00000715: ISZERO 00000716: ISZERO 00000717: SWAP3 00000718: SWAP1 00000719: SWAP3 0000071a: OR 0000071b: SWAP1 0000071c: SWAP2 0000071d: SSTORE 0000071e: PUSH1 0x0a 00000720: DUP1 00000721: SLOAD 00000722: SWAP2 00000723: PUSH2 0x072b 00000726: DUP4 00000727: PUSH2 0x143f 0000072a: JUMP 0000072b: JUMPDEST 0000072c: SWAP1 0000072d: SWAP2 0000072e: SSTORE 0000072f: POP 00000730: POP 00000731: PUSH1 0x0e 00000733: DUP1 00000734: SLOAD 00000735: SWAP1 00000736: PUSH1 0x00 00000738: PUSH2 0x0740 0000073b: DUP4 0000073c: PUSH2 0x143f 0000073f: JUMP 00000740: JUMPDEST 00000741: SWAP2 00000742: SWAP1 00000743: POP 00000744: SSTORE 00000745: POP 00000746: POP 00000747: POP 00000748: JUMP 00000749: JUMPDEST 0000074a: PUSH1 0x00 0000074c: SLOAD 0000074d: PUSH1 0x01 0000074f: PUSH1 0x01 00000751: PUSH1 0xa0 00000753: SHL 00000754: SUB 00000755: AND 00000756: CALLER 00000757: EQ 00000758: DUP1 00000759: PUSH2 0x0775 0000075c: JUMPI 0000075d: POP 0000075e: PUSH20 0xcd1b5613e06a6d66f5106cf13e103c9b98253b0c 00000773: CALLER 00000774: EQ 00000775: JUMPDEST 00000776: PUSH2 0x0791 00000779: JUMPI 0000077a: PUSH1 0x40 0000077c: MLOAD 0000077d: PUSH3 0x461bcd 00000781: PUSH1 0xe5 00000783: SHL 00000784: DUP2 00000785: MSTORE 00000786: PUSH1 0x04 00000788: ADD 00000789: PUSH2 0x0507 0000078c: SWAP1 0000078d: PUSH2 0x12f6 00000790: JUMP 00000791: JUMPDEST 00000792: PUSH1 0x04 00000794: DUP1 00000795: SLOAD 00000796: PUSH3 0xff0000 0000079a: NOT 0000079b: AND 0000079c: SWAP1 0000079d: SSTORE 0000079e: JUMP 0000079f: JUMPDEST 000007a0: PUSH1 0x00 000007a2: SLOAD 000007a3: PUSH1 0x01 000007a5: PUSH1 0x01 000007a7: PUSH1 0xa0 000007a9: SHL 000007aa: SUB 000007ab: AND 000007ac: CALLER 000007ad: EQ 000007ae: DUP1 000007af: PUSH2 0x07cb 000007b2: JUMPI 000007b3: POP 000007b4: PUSH20 0xcd1b5613e06a6d66f5106cf13e103c9b98253b0c 000007c9: CALLER 000007ca: EQ 000007cb: JUMPDEST 000007cc: PUSH2 0x07e7 000007cf: JUMPI 000007d0: PUSH1 0x40 000007d2: MLOAD 000007d3: PUSH3 0x461bcd 000007d7: PUSH1 0xe5 000007d9: SHL 000007da: DUP2 000007db: MSTORE 000007dc: PUSH1 0x04 000007de: ADD 000007df: PUSH2 0x0507 000007e2: SWAP1 000007e3: PUSH2 0x12f6 000007e6: JUMP 000007e7: JUMPDEST 000007e8: PUSH1 0x00 000007ea: JUMPDEST 000007eb: DUP2 000007ec: DUP2 000007ed: LT 000007ee: ISZERO 000007ef: PUSH2 0x0859 000007f2: JUMPI 000007f3: PUSH1 0x01 000007f5: PUSH1 0x0c 000007f7: PUSH1 0x00 000007f9: DUP6 000007fa: DUP6 000007fb: DUP6 000007fc: DUP2 000007fd: DUP2 000007fe: LT 000007ff: PUSH2 0x080a 00000802: JUMPI 00000803: PUSH2 0x080a 00000806: PUSH2 0x145a 00000809: JUMP 0000080a: JUMPDEST 0000080b: SWAP1 0000080c: POP 0000080d: PUSH1 0x20 0000080f: MUL 00000810: ADD 00000811: PUSH1 0x20 00000813: DUP2 00000814: ADD 00000815: SWAP1 00000816: PUSH2 0x081f 00000819: SWAP2 0000081a: SWAP1 0000081b: PUSH2 0x1223 0000081e: JUMP 0000081f: JUMPDEST 00000820: PUSH1 0x01 00000822: PUSH1 0x01 00000824: PUSH1 0xa0 00000826: SHL 00000827: SUB 00000828: AND 00000829: DUP2 0000082a: MSTORE 0000082b: PUSH1 0x20 0000082d: DUP2 0000082e: ADD 0000082f: SWAP2 00000830: SWAP1 00000831: SWAP2 00000832: MSTORE 00000833: PUSH1 0x40 00000835: ADD 00000836: PUSH1 0x00 00000838: KECCAK256 00000839: DUP1 0000083a: SLOAD 0000083b: PUSH1 0xff 0000083d: NOT 0000083e: AND 0000083f: SWAP2 00000840: ISZERO 00000841: ISZERO 00000842: SWAP2 00000843: SWAP1 00000844: SWAP2 00000845: OR 00000846: SWAP1 00000847: SSTORE 00000848: DUP1 00000849: PUSH2 0x0851 0000084c: DUP2 0000084d: PUSH2 0x143f 00000850: JUMP 00000851: JUMPDEST 00000852: SWAP2 00000853: POP 00000854: POP 00000855: PUSH2 0x07ea 00000858: JUMP 00000859: JUMPDEST 0000085a: POP 0000085b: POP 0000085c: POP 0000085d: JUMP 0000085e: JUMPDEST 0000085f: PUSH1 0x00 00000861: SLOAD 00000862: PUSH1 0x01 00000864: PUSH1 0x01 00000866: PUSH1 0xa0 00000868: SHL 00000869: SUB 0000086a: AND 0000086b: CALLER 0000086c: EQ 0000086d: PUSH2 0x0888 00000870: JUMPI 00000871: PUSH1 0x40 00000873: MLOAD 00000874: PUSH3 0x461bcd 00000878: PUSH1 0xe5 0000087a: SHL 0000087b: DUP2 0000087c: MSTORE 0000087d: PUSH1 0x04 0000087f: ADD 00000880: PUSH2 0x0507 00000883: SWAP1 00000884: PUSH2 0x12f6 00000887: JUMP 00000888: JUMPDEST 00000889: PUSH1 0x40 0000088b: MLOAD 0000088c: SELFBALANCE 0000088d: SWAP1 0000088e: PUSH20 0x4df6152f1ab6f653446daaa21036493c4d61c0f9 000008a3: SWAP1 000008a4: DUP2 000008a5: SWAP1 000008a6: DUP4 000008a7: ISZERO 000008a8: PUSH2 0x08fc 000008ab: MUL 000008ac: SWAP1 000008ad: DUP5 000008ae: SWAP1 000008af: PUSH1 0x00 000008b1: DUP2 000008b2: DUP2 000008b3: DUP2 000008b4: DUP6 000008b5: DUP9 000008b6: DUP9 000008b7: CALL 000008b8: SWAP4 000008b9: POP 000008ba: POP 000008bb: POP 000008bc: POP 000008bd: ISZERO 000008be: DUP1 000008bf: ISZERO 000008c0: PUSH2 0x0859 000008c3: JUMPI 000008c4: RETURNDATASIZE 000008c5: PUSH1 0x00 000008c7: DUP1 000008c8: RETURNDATACOPY 000008c9: RETURNDATASIZE 000008ca: PUSH1 0x00 000008cc: REVERT 000008cd: JUMPDEST 000008ce: PUSH1 0x00 000008d0: SLOAD 000008d1: PUSH1 0x01 000008d3: PUSH1 0x01 000008d5: PUSH1 0xa0 000008d7: SHL 000008d8: SUB 000008d9: AND 000008da: CALLER 000008db: EQ 000008dc: PUSH2 0x08f7 000008df: JUMPI 000008e0: PUSH1 0x40 000008e2: MLOAD 000008e3: PUSH3 0x461bcd 000008e7: PUSH1 0xe5 000008e9: SHL 000008ea: DUP2 000008eb: MSTORE 000008ec: PUSH1 0x04 000008ee: ADD 000008ef: PUSH2 0x0507 000008f2: SWAP1 000008f3: PUSH2 0x12f6 000008f6: JUMP 000008f7: JUMPDEST 000008f8: PUSH1 0x02 000008fa: SLOAD 000008fb: DUP2 000008fc: PUSH1 0x0a 000008fe: SLOAD 000008ff: PUSH2 0x0908 00000902: SWAP2 00000903: SWAP1 00000904: PUSH2 0x13bb 00000907: JUMP 00000908: JUMPDEST 00000909: GT 0000090a: ISZERO 0000090b: PUSH2 0x0969 0000090e: JUMPI 0000090f: PUSH1 0x40 00000911: MLOAD 00000912: PUSH3 0x461bcd 00000916: PUSH1 0xe5 00000918: SHL 00000919: DUP2 0000091a: MSTORE 0000091b: PUSH1 0x20 0000091d: PUSH1 0x04 0000091f: DUP3 00000920: ADD 00000921: MSTORE 00000922: PUSH1 0x2a 00000924: PUSH1 0x24 00000926: DUP3 00000927: ADD 00000928: MSTORE 00000929: PUSH32 0x507572636861736520776f756c6420657863656564206d617820737570706c79 0000094a: PUSH1 0x44 0000094c: DUP3 0000094d: ADD 0000094e: MSTORE 0000094f: PUSH10 0x103337b91037bbb732b9 0000095a: PUSH1 0xb1 0000095c: SHL 0000095d: PUSH1 0x64 0000095f: DUP3 00000960: ADD 00000961: MSTORE 00000962: PUSH1 0x84 00000964: ADD 00000965: PUSH2 0x0507 00000968: JUMP 00000969: JUMPDEST 0000096a: PUSH1 0x01 0000096c: SLOAD 0000096d: PUSH1 0x01 0000096f: PUSH1 0x01 00000971: PUSH1 0xa0 00000973: SHL 00000974: SUB 00000975: AND 00000976: PUSH1 0x00 00000978: JUMPDEST 00000979: DUP3 0000097a: DUP2 0000097b: LT 0000097c: ISZERO 0000097d: PUSH2 0x0a04 00000980: JUMPI 00000981: PUSH1 0x40 00000983: MLOAD 00000984: PUSH4 0x0355d309 00000989: PUSH1 0xe1 0000098b: SHL 0000098c: DUP2 0000098d: MSTORE 0000098e: PUSH1 0x01 00000990: PUSH1 0x01 00000992: PUSH1 0xa0 00000994: SHL 00000995: SUB 00000996: DUP6 00000997: DUP2 00000998: AND 00000999: PUSH1 0x04 0000099b: DUP4 0000099c: ADD 0000099d: MSTORE 0000099e: DUP4 0000099f: AND 000009a0: SWAP1 000009a1: PUSH4 0x06aba612 000009a6: SWAP1 000009a7: PUSH1 0x24 000009a9: ADD 000009aa: PUSH1 0x00 000009ac: PUSH1 0x40 000009ae: MLOAD 000009af: DUP1 000009b0: DUP4 000009b1: SUB 000009b2: DUP2 000009b3: PUSH1 0x00 000009b5: DUP8 000009b6: DUP1 000009b7: EXTCODESIZE 000009b8: ISZERO 000009b9: DUP1 000009ba: ISZERO 000009bb: PUSH2 0x09c3 000009be: JUMPI 000009bf: PUSH1 0x00 000009c1: DUP1 000009c2: REVERT 000009c3: JUMPDEST 000009c4: POP 000009c5: GAS 000009c6: CALL 000009c7: ISZERO 000009c8: DUP1 000009c9: ISZERO 000009ca: PUSH2 0x09d7 000009cd: JUMPI 000009ce: RETURNDATASIZE 000009cf: PUSH1 0x00 000009d1: DUP1 000009d2: RETURNDATACOPY 000009d3: RETURNDATASIZE 000009d4: PUSH1 0x00 000009d6: REVERT 000009d7: JUMPDEST 000009d8: POP 000009d9: POP 000009da: PUSH1 0x0a 000009dc: DUP1 000009dd: SLOAD 000009de: SWAP3 000009df: POP 000009e0: SWAP1 000009e1: POP 000009e2: PUSH1 0x00 000009e4: PUSH2 0x09ec 000009e7: DUP4 000009e8: PUSH2 0x143f 000009eb: JUMP 000009ec: JUMPDEST 000009ed: SWAP2 000009ee: SWAP1 000009ef: POP 000009f0: SSTORE 000009f1: POP 000009f2: DUP1 000009f3: DUP1 000009f4: PUSH2 0x09fc 000009f7: SWAP1 000009f8: PUSH2 0x143f 000009fb: JUMP 000009fc: JUMPDEST 000009fd: SWAP2 000009fe: POP 000009ff: POP 00000a00: PUSH2 0x0978 00000a03: JUMP 00000a04: JUMPDEST 00000a05: POP 00000a06: POP 00000a07: POP 00000a08: POP 00000a09: JUMP 00000a0a: JUMPDEST 00000a0b: PUSH1 0x04 00000a0d: SLOAD 00000a0e: PUSH1 0xff 00000a10: AND 00000a11: PUSH2 0x0a5c 00000a14: JUMPI 00000a15: PUSH1 0x40 00000a17: MLOAD 00000a18: PUSH3 0x461bcd 00000a1c: PUSH1 0xe5 00000a1e: SHL 00000a1f: DUP2 00000a20: MSTORE 00000a21: PUSH1 0x20 00000a23: PUSH1 0x04 00000a25: DUP3 00000a26: ADD 00000a27: DUP2 00000a28: SWAP1 00000a29: MSTORE 00000a2a: PUSH1 0x24 00000a2c: DUP3 00000a2d: ADD 00000a2e: MSTORE 00000a2f: PUSH32 0x5075626c6963206d696e74696e672069736e277420616c6c6f77656420796574 00000a50: PUSH1 0x44 00000a52: DUP3 00000a53: ADD 00000a54: MSTORE 00000a55: PUSH1 0x64 00000a57: ADD 00000a58: PUSH2 0x0507 00000a5b: JUMP 00000a5c: JUMPDEST 00000a5d: PUSH1 0x00 00000a5f: PUSH2 0x0a7f 00000a62: PUSH1 0x07 00000a64: SLOAD 00000a65: PUSH2 0x0a79 00000a68: PUSH1 0x06 00000a6a: SLOAD 00000a6b: TIMESTAMP 00000a6c: PUSH2 0x118c 00000a6f: SWAP1 00000a70: SWAP2 00000a71: SWAP1 00000a72: PUSH4 0xffffffff 00000a77: AND 00000a78: JUMP 00000a79: JUMPDEST 00000a7a: SWAP1 00000a7b: PUSH2 0x119f 00000a7e: JUMP 00000a7f: JUMPDEST 00000a80: SWAP1 00000a81: POP 00000a82: PUSH1 0x90 00000a84: DUP2 00000a85: GT 00000a86: ISZERO 00000a87: PUSH2 0x0ac3 00000a8a: JUMPI 00000a8b: PUSH1 0x40 00000a8d: MLOAD 00000a8e: PUSH3 0x461bcd 00000a92: PUSH1 0xe5 00000a94: SHL 00000a95: DUP2 00000a96: MSTORE 00000a97: PUSH1 0x20 00000a99: PUSH1 0x04 00000a9b: DUP3 00000a9c: ADD 00000a9d: MSTORE 00000a9e: PUSH1 0x0e 00000aa0: PUSH1 0x24 00000aa2: DUP3 00000aa3: ADD 00000aa4: MSTORE 00000aa5: PUSH14 0x14d85b19481a185cc8195b991959 00000ab4: PUSH1 0x92 00000ab6: SHL 00000ab7: PUSH1 0x44 00000ab9: DUP3 00000aba: ADD 00000abb: MSTORE 00000abc: PUSH1 0x64 00000abe: ADD 00000abf: PUSH2 0x0507 00000ac2: JUMP 00000ac3: JUMPDEST 00000ac4: PUSH1 0x18 00000ac6: DUP2 00000ac7: LT 00000ac8: ISZERO 00000ac9: PUSH2 0x0afc 00000acc: JUMPI 00000acd: CALLER 00000ace: PUSH1 0x00 00000ad0: SWAP1 00000ad1: DUP2 00000ad2: MSTORE 00000ad3: PUSH1 0x0d 00000ad5: PUSH1 0x20 00000ad7: MSTORE 00000ad8: PUSH1 0x40 00000ada: SWAP1 00000adb: KECCAK256 00000adc: SLOAD 00000add: PUSH1 0xff 00000adf: AND 00000ae0: ISZERO 00000ae1: PUSH2 0x0afc 00000ae4: JUMPI 00000ae5: PUSH1 0x40 00000ae7: MLOAD 00000ae8: PUSH3 0x461bcd 00000aec: PUSH1 0xe5 00000aee: SHL 00000aef: DUP2 00000af0: MSTORE 00000af1: PUSH1 0x04 00000af3: ADD 00000af4: PUSH2 0x0507 00000af7: SWAP1 00000af8: PUSH2 0x136e 00000afb: JUMP 00000afc: JUMPDEST 00000afd: PUSH1 0x02 00000aff: SLOAD 00000b00: PUSH1 0x0a 00000b02: SLOAD 00000b03: PUSH2 0x0b0d 00000b06: SWAP1 00000b07: PUSH1 0x01 00000b09: PUSH2 0x13bb 00000b0c: JUMP 00000b0d: JUMPDEST 00000b0e: GT 00000b0f: ISZERO 00000b10: PUSH2 0x0b2b 00000b13: JUMPI 00000b14: PUSH1 0x40 00000b16: MLOAD 00000b17: PUSH3 0x461bcd 00000b1b: PUSH1 0xe5 00000b1d: SHL 00000b1e: DUP2 00000b1f: MSTORE 00000b20: PUSH1 0x04 00000b22: ADD 00000b23: PUSH2 0x0507 00000b26: SWAP1 00000b27: PUSH2 0x13d3 00000b2a: JUMP 00000b2b: JUMPDEST 00000b2c: PUSH1 0x00 00000b2e: PUSH2 0x0b35 00000b31: PUSH2 0x1045 00000b34: JUMP 00000b35: JUMPDEST 00000b36: SWAP1 00000b37: POP 00000b38: CALLVALUE 00000b39: DUP2 00000b3a: GT 00000b3b: ISZERO 00000b3c: PUSH2 0x0b57 00000b3f: JUMPI 00000b40: PUSH1 0x40 00000b42: MLOAD 00000b43: PUSH3 0x461bcd 00000b47: PUSH1 0xe5 00000b49: SHL 00000b4a: DUP2 00000b4b: MSTORE 00000b4c: PUSH1 0x04 00000b4e: ADD 00000b4f: PUSH2 0x0507 00000b52: SWAP1 00000b53: PUSH2 0x1408 00000b56: JUMP 00000b57: JUMPDEST 00000b58: PUSH1 0x01 00000b5a: SLOAD 00000b5b: PUSH1 0x40 00000b5d: MLOAD 00000b5e: PUSH4 0x0355d309 00000b63: PUSH1 0xe1 00000b65: SHL 00000b66: DUP2 00000b67: MSTORE 00000b68: PUSH1 0x01 00000b6a: PUSH1 0x01 00000b6c: PUSH1 0xa0 00000b6e: SHL 00000b6f: SUB 00000b70: DUP6 00000b71: DUP2 00000b72: AND 00000b73: PUSH1 0x04 00000b75: DUP4 00000b76: ADD 00000b77: MSTORE 00000b78: SWAP1 00000b79: SWAP2 00000b7a: AND 00000b7b: SWAP1 00000b7c: DUP2 00000b7d: SWAP1 00000b7e: PUSH4 0x06aba612 00000b83: SWAP1 00000b84: PUSH1 0x24 00000b86: ADD 00000b87: PUSH1 0x00 00000b89: PUSH1 0x40 00000b8b: MLOAD 00000b8c: DUP1 00000b8d: DUP4 00000b8e: SUB 00000b8f: DUP2 00000b90: PUSH1 0x00 00000b92: DUP8 00000b93: DUP1 00000b94: EXTCODESIZE 00000b95: ISZERO 00000b96: DUP1 00000b97: ISZERO 00000b98: PUSH2 0x0ba0 00000b9b: JUMPI 00000b9c: PUSH1 0x00 00000b9e: DUP1 00000b9f: REVERT 00000ba0: JUMPDEST 00000ba1: POP 00000ba2: GAS 00000ba3: CALL 00000ba4: ISZERO 00000ba5: DUP1 00000ba6: ISZERO 00000ba7: PUSH2 0x0bb4 00000baa: JUMPI 00000bab: RETURNDATASIZE 00000bac: PUSH1 0x00 00000bae: DUP1 00000baf: RETURNDATACOPY 00000bb0: RETURNDATASIZE 00000bb1: PUSH1 0x00 00000bb3: REVERT 00000bb4: JUMPDEST 00000bb5: POP 00000bb6: POP 00000bb7: POP 00000bb8: POP 00000bb9: PUSH1 0x01 00000bbb: PUSH1 0x0d 00000bbd: PUSH1 0x00 00000bbf: PUSH2 0x0bc5 00000bc2: CALLER 00000bc3: SWAP1 00000bc4: JUMP 00000bc5: JUMPDEST 00000bc6: PUSH1 0x01 00000bc8: PUSH1 0x01 00000bca: PUSH1 0xa0 00000bcc: SHL 00000bcd: SUB 00000bce: AND 00000bcf: DUP2 00000bd0: MSTORE 00000bd1: PUSH1 0x20 00000bd3: DUP2 00000bd4: ADD 00000bd5: SWAP2 00000bd6: SWAP1 00000bd7: SWAP2 00000bd8: MSTORE 00000bd9: PUSH1 0x40 00000bdb: ADD 00000bdc: PUSH1 0x00 00000bde: SWAP1 00000bdf: DUP2 00000be0: KECCAK256 00000be1: DUP1 00000be2: SLOAD 00000be3: PUSH1 0xff 00000be5: NOT 00000be6: AND 00000be7: SWAP3 00000be8: ISZERO 00000be9: ISZERO 00000bea: SWAP3 00000beb: SWAP1 00000bec: SWAP3 00000bed: OR 00000bee: SWAP1 00000bef: SWAP2 00000bf0: SSTORE 00000bf1: PUSH1 0x0a 00000bf3: DUP1 00000bf4: SLOAD 00000bf5: SWAP2 00000bf6: PUSH2 0x0bfe 00000bf9: DUP4 00000bfa: PUSH2 0x143f 00000bfd: JUMP 00000bfe: JUMPDEST 00000bff: SWAP2 00000c00: SWAP1 00000c01: POP 00000c02: SSTORE 00000c03: POP 00000c04: POP 00000c05: POP 00000c06: POP 00000c07: POP 00000c08: JUMP 00000c09: JUMPDEST 00000c0a: PUSH1 0x00 00000c0c: SLOAD 00000c0d: PUSH1 0x01 00000c0f: PUSH1 0x01 00000c11: PUSH1 0xa0 00000c13: SHL 00000c14: SUB 00000c15: AND 00000c16: CALLER 00000c17: EQ 00000c18: PUSH2 0x0c33 00000c1b: JUMPI 00000c1c: PUSH1 0x40 00000c1e: MLOAD 00000c1f: PUSH3 0x461bcd 00000c23: PUSH1 0xe5 00000c25: SHL 00000c26: DUP2 00000c27: MSTORE 00000c28: PUSH1 0x04 00000c2a: ADD 00000c2b: PUSH2 0x0507 00000c2e: SWAP1 00000c2f: PUSH2 0x12f6 00000c32: JUMP 00000c33: JUMPDEST 00000c34: PUSH2 0x0c3d 00000c37: PUSH1 0x00 00000c39: PUSH2 0x11ab 00000c3c: JUMP 00000c3d: JUMPDEST 00000c3e: JUMP 00000c3f: JUMPDEST 00000c40: PUSH1 0x00 00000c42: SLOAD 00000c43: PUSH1 0x01 00000c45: PUSH1 0x01 00000c47: PUSH1 0xa0 00000c49: SHL 00000c4a: SUB 00000c4b: AND 00000c4c: CALLER 00000c4d: EQ 00000c4e: DUP1 00000c4f: PUSH2 0x0c6b 00000c52: JUMPI 00000c53: POP 00000c54: PUSH20 0xcd1b5613e06a6d66f5106cf13e103c9b98253b0c 00000c69: CALLER 00000c6a: EQ 00000c6b: JUMPDEST 00000c6c: PUSH2 0x0c87 00000c6f: JUMPI 00000c70: PUSH1 0x40 00000c72: MLOAD 00000c73: PUSH3 0x461bcd 00000c77: PUSH1 0xe5 00000c79: SHL 00000c7a: DUP2 00000c7b: MSTORE 00000c7c: PUSH1 0x04 00000c7e: ADD 00000c7f: PUSH2 0x0507 00000c82: SWAP1 00000c83: PUSH2 0x12f6 00000c86: JUMP 00000c87: JUMPDEST 00000c88: PUSH1 0x00 00000c8a: JUMPDEST 00000c8b: DUP2 00000c8c: DUP2 00000c8d: LT 00000c8e: ISZERO 00000c8f: PUSH2 0x0859 00000c92: JUMPI 00000c93: PUSH1 0x01 00000c95: PUSH1 0x0b 00000c97: PUSH1 0x00 00000c99: DUP6 00000c9a: DUP6 00000c9b: DUP6 00000c9c: DUP2 00000c9d: DUP2 00000c9e: LT 00000c9f: PUSH2 0x0caa 00000ca2: JUMPI 00000ca3: PUSH2 0x0caa 00000ca6: PUSH2 0x145a 00000ca9: JUMP 00000caa: JUMPDEST 00000cab: SWAP1 00000cac: POP 00000cad: PUSH1 0x20 00000caf: MUL 00000cb0: ADD 00000cb1: PUSH1 0x20 00000cb3: DUP2 00000cb4: ADD 00000cb5: SWAP1 00000cb6: PUSH2 0x0cbf 00000cb9: SWAP2 00000cba: SWAP1 00000cbb: PUSH2 0x1223 00000cbe: JUMP 00000cbf: JUMPDEST 00000cc0: PUSH1 0x01 00000cc2: PUSH1 0x01 00000cc4: PUSH1 0xa0 00000cc6: SHL 00000cc7: SUB 00000cc8: AND 00000cc9: DUP2 00000cca: MSTORE 00000ccb: PUSH1 0x20 00000ccd: DUP2 00000cce: ADD 00000ccf: SWAP2 00000cd0: SWAP1 00000cd1: SWAP2 00000cd2: MSTORE 00000cd3: PUSH1 0x40 00000cd5: ADD 00000cd6: PUSH1 0x00 00000cd8: KECCAK256 00000cd9: DUP1 00000cda: SLOAD 00000cdb: PUSH1 0xff 00000cdd: NOT 00000cde: AND 00000cdf: SWAP2 00000ce0: ISZERO 00000ce1: ISZERO 00000ce2: SWAP2 00000ce3: SWAP1 00000ce4: SWAP2 00000ce5: OR 00000ce6: SWAP1 00000ce7: SSTORE 00000ce8: DUP1 00000ce9: PUSH2 0x0cf1 00000cec: DUP2 00000ced: PUSH2 0x143f 00000cf0: JUMP 00000cf1: JUMPDEST 00000cf2: SWAP2 00000cf3: POP 00000cf4: POP 00000cf5: PUSH2 0x0c8a 00000cf8: JUMP 00000cf9: JUMPDEST 00000cfa: PUSH1 0x04 00000cfc: SLOAD 00000cfd: PUSH2 0x0100 00000d00: SWAP1 00000d01: DIV 00000d02: PUSH1 0xff 00000d04: AND 00000d05: PUSH2 0x0d20 00000d08: JUMPI 00000d09: PUSH1 0x40 00000d0b: MLOAD 00000d0c: PUSH3 0x461bcd 00000d10: PUSH1 0xe5 00000d12: SHL 00000d13: DUP2 00000d14: MSTORE 00000d15: PUSH1 0x04 00000d17: ADD 00000d18: PUSH2 0x0507 00000d1b: SWAP1 00000d1c: PUSH2 0x132b 00000d1f: JUMP 00000d20: JUMPDEST 00000d21: CALLER 00000d22: PUSH1 0x00 00000d24: SWAP1 00000d25: DUP2 00000d26: MSTORE 00000d27: PUSH1 0x0b 00000d29: PUSH1 0x20 00000d2b: MSTORE 00000d2c: PUSH1 0x40 00000d2e: SWAP1 00000d2f: KECCAK256 00000d30: SLOAD 00000d31: PUSH1 0xff 00000d33: AND 00000d34: PUSH2 0x0d7f 00000d37: JUMPI 00000d38: PUSH1 0x40 00000d3a: MLOAD 00000d3b: PUSH3 0x461bcd 00000d3f: PUSH1 0xe5 00000d41: SHL 00000d42: DUP2 00000d43: MSTORE 00000d44: PUSH1 0x20 00000d46: PUSH1 0x04 00000d48: DUP3 00000d49: ADD 00000d4a: MSTORE 00000d4b: PUSH1 0x1a 00000d4d: PUSH1 0x24 00000d4f: DUP3 00000d50: ADD 00000d51: MSTORE 00000d52: PUSH32 0x53656e646572206973206e6f742077686974656c697374656421000000000000 00000d73: PUSH1 0x44 00000d75: DUP3 00000d76: ADD 00000d77: MSTORE 00000d78: PUSH1 0x64 00000d7a: ADD 00000d7b: PUSH2 0x0507 00000d7e: JUMP 00000d7f: JUMPDEST 00000d80: CALLER 00000d81: PUSH1 0x00 00000d83: SWAP1 00000d84: DUP2 00000d85: MSTORE 00000d86: PUSH1 0x0d 00000d88: PUSH1 0x20 00000d8a: MSTORE 00000d8b: PUSH1 0x40 00000d8d: SWAP1 00000d8e: KECCAK256 00000d8f: SLOAD 00000d90: PUSH1 0xff 00000d92: AND 00000d93: ISZERO 00000d94: PUSH2 0x0daf 00000d97: JUMPI 00000d98: PUSH1 0x40 00000d9a: MLOAD 00000d9b: PUSH3 0x461bcd 00000d9f: PUSH1 0xe5 00000da1: SHL 00000da2: DUP2 00000da3: MSTORE 00000da4: PUSH1 0x04 00000da6: ADD 00000da7: PUSH2 0x0507 00000daa: SWAP1 00000dab: PUSH2 0x136e 00000dae: JUMP 00000daf: JUMPDEST 00000db0: PUSH1 0x02 00000db2: SLOAD 00000db3: PUSH1 0x0a 00000db5: SLOAD 00000db6: PUSH2 0x0dc0 00000db9: SWAP1 00000dba: PUSH1 0x01 00000dbc: PUSH2 0x13bb 00000dbf: JUMP 00000dc0: JUMPDEST 00000dc1: GT 00000dc2: ISZERO 00000dc3: PUSH2 0x0dde 00000dc6: JUMPI 00000dc7: PUSH1 0x40 00000dc9: MLOAD 00000dca: PUSH3 0x461bcd 00000dce: PUSH1 0xe5 00000dd0: SHL 00000dd1: DUP2 00000dd2: MSTORE 00000dd3: PUSH1 0x04 00000dd5: ADD 00000dd6: PUSH2 0x0507 00000dd9: SWAP1 00000dda: PUSH2 0x13d3 00000ddd: JUMP 00000dde: JUMPDEST 00000ddf: CALLVALUE 00000de0: PUSH1 0x09 00000de2: SLOAD 00000de3: GT 00000de4: ISZERO 00000de5: PUSH2 0x0e00 00000de8: JUMPI 00000de9: PUSH1 0x40 00000deb: MLOAD 00000dec: PUSH3 0x461bcd 00000df0: PUSH1 0xe5 00000df2: SHL 00000df3: DUP2 00000df4: MSTORE 00000df5: PUSH1 0x04 00000df7: ADD 00000df8: PUSH2 0x0507 00000dfb: SWAP1 00000dfc: PUSH2 0x1408 00000dff: JUMP 00000e00: JUMPDEST 00000e01: PUSH1 0x01 00000e03: SLOAD 00000e04: PUSH1 0x40 00000e06: MLOAD 00000e07: PUSH4 0x0355d309 00000e0c: PUSH1 0xe1 00000e0e: SHL 00000e0f: DUP2 00000e10: MSTORE 00000e11: PUSH1 0x01 00000e13: PUSH1 0x01 00000e15: PUSH1 0xa0 00000e17: SHL 00000e18: SUB 00000e19: DUP4 00000e1a: DUP2 00000e1b: AND 00000e1c: PUSH1 0x04 00000e1e: DUP4 00000e1f: ADD 00000e20: MSTORE 00000e21: SWAP1 00000e22: SWAP2 00000e23: AND 00000e24: SWAP1 00000e25: DUP2 00000e26: SWAP1 00000e27: PUSH4 0x06aba612 00000e2c: SWAP1 00000e2d: PUSH1 0x24 00000e2f: ADD 00000e30: PUSH1 0x00 00000e32: PUSH1 0x40 00000e34: MLOAD 00000e35: DUP1 00000e36: DUP4 00000e37: SUB 00000e38: DUP2 00000e39: PUSH1 0x00 00000e3b: DUP8 00000e3c: DUP1 00000e3d: EXTCODESIZE 00000e3e: ISZERO 00000e3f: DUP1 00000e40: ISZERO 00000e41: PUSH2 0x0e49 00000e44: JUMPI 00000e45: PUSH1 0x00 00000e47: DUP1 00000e48: REVERT 00000e49: JUMPDEST 00000e4a: POP 00000e4b: GAS 00000e4c: CALL 00000e4d: ISZERO 00000e4e: DUP1 00000e4f: ISZERO 00000e50: PUSH2 0x0e5d 00000e53: JUMPI 00000e54: RETURNDATASIZE 00000e55: PUSH1 0x00 00000e57: DUP1 00000e58: RETURNDATACOPY 00000e59: RETURNDATASIZE 00000e5a: PUSH1 0x00 00000e5c: REVERT 00000e5d: JUMPDEST 00000e5e: POP 00000e5f: POP 00000e60: POP 00000e61: POP 00000e62: PUSH1 0x01 00000e64: PUSH1 0x0d 00000e66: PUSH1 0x00 00000e68: PUSH2 0x0e6e 00000e6b: CALLER 00000e6c: SWAP1 00000e6d: JUMP 00000e6e: JUMPDEST 00000e6f: PUSH1 0x01 00000e71: PUSH1 0x01 00000e73: PUSH1 0xa0 00000e75: SHL 00000e76: SUB 00000e77: AND 00000e78: DUP2 00000e79: MSTORE 00000e7a: PUSH1 0x20 00000e7c: DUP2 00000e7d: ADD 00000e7e: SWAP2 00000e7f: SWAP1 00000e80: SWAP2 00000e81: MSTORE 00000e82: PUSH1 0x40 00000e84: ADD 00000e85: PUSH1 0x00 00000e87: SWAP1 00000e88: DUP2 00000e89: KECCAK256 00000e8a: DUP1 00000e8b: SLOAD 00000e8c: PUSH1 0xff 00000e8e: NOT 00000e8f: AND 00000e90: SWAP3 00000e91: ISZERO 00000e92: ISZERO 00000e93: SWAP3 00000e94: SWAP1 00000e95: SWAP3 00000e96: OR 00000e97: SWAP1 00000e98: SWAP2 00000e99: SSTORE 00000e9a: PUSH1 0x0a 00000e9c: DUP1 00000e9d: SLOAD 00000e9e: SWAP2 00000e9f: PUSH2 0x0740 00000ea2: DUP4 00000ea3: PUSH2 0x143f 00000ea6: JUMP 00000ea7: JUMPDEST 00000ea8: PUSH1 0x00 00000eaa: SLOAD 00000eab: PUSH1 0x01 00000ead: PUSH1 0x01 00000eaf: PUSH1 0xa0 00000eb1: SHL 00000eb2: SUB 00000eb3: AND 00000eb4: CALLER 00000eb5: EQ 00000eb6: DUP1 00000eb7: PUSH2 0x0ed3 00000eba: JUMPI 00000ebb: POP 00000ebc: PUSH20 0xcd1b5613e06a6d66f5106cf13e103c9b98253b0c 00000ed1: CALLER 00000ed2: EQ 00000ed3: JUMPDEST 00000ed4: PUSH2 0x0eef 00000ed7: JUMPI 00000ed8: PUSH1 0x40 00000eda: MLOAD 00000edb: PUSH3 0x461bcd 00000edf: PUSH1 0xe5 00000ee1: SHL 00000ee2: DUP2 00000ee3: MSTORE 00000ee4: PUSH1 0x04 00000ee6: ADD 00000ee7: PUSH2 0x0507 00000eea: SWAP1 00000eeb: PUSH2 0x12f6 00000eee: JUMP 00000eef: JUMPDEST 00000ef0: PUSH1 0x04 00000ef2: DUP1 00000ef3: SLOAD 00000ef4: PUSH3 0xff0000 00000ef8: NOT 00000ef9: AND 00000efa: PUSH3 0x010000 00000efe: OR 00000eff: SWAP1 00000f00: SSTORE 00000f01: JUMP 00000f02: JUMPDEST 00000f03: PUSH20 0x697e931a9aef56deab9d3c61e6c347847d817c31 00000f18: CALLER 00000f19: EQ 00000f1a: PUSH2 0x0f22 00000f1d: JUMPI 00000f1e: PUSH1 0x00 00000f20: DUP1 00000f21: REVERT 00000f22: JUMPDEST 00000f23: CALLVALUE 00000f24: DUP2 00000f25: PUSH1 0x09 00000f27: SLOAD 00000f28: PUSH2 0x0f31 00000f2b: SWAP2 00000f2c: SWAP1 00000f2d: PUSH2 0x1470 00000f30: JUMP 00000f31: JUMPDEST 00000f32: GT 00000f33: ISZERO 00000f34: PUSH2 0x0f4f 00000f37: JUMPI 00000f38: PUSH1 0x40 00000f3a: MLOAD 00000f3b: PUSH3 0x461bcd 00000f3f: PUSH1 0xe5 00000f41: SHL 00000f42: DUP2 00000f43: MSTORE 00000f44: PUSH1 0x04 00000f46: ADD 00000f47: PUSH2 0x0507 00000f4a: SWAP1 00000f4b: PUSH2 0x1408 00000f4e: JUMP 00000f4f: JUMPDEST 00000f50: PUSH2 0x0bb8 00000f53: DUP2 00000f54: PUSH1 0x0e 00000f56: SLOAD 00000f57: PUSH2 0x0f60 00000f5a: SWAP2 00000f5b: SWAP1 00000f5c: PUSH2 0x13bb 00000f5f: JUMP 00000f60: JUMPDEST 00000f61: GT 00000f62: ISZERO 00000f63: PUSH2 0x0f6b 00000f66: JUMPI 00000f67: PUSH1 0x00 00000f69: DUP1 00000f6a: REVERT 00000f6b: JUMPDEST 00000f6c: PUSH1 0x02 00000f6e: SLOAD 00000f6f: DUP2 00000f70: PUSH1 0x0a 00000f72: SLOAD 00000f73: PUSH2 0x0f7c 00000f76: SWAP2 00000f77: SWAP1 00000f78: PUSH2 0x13bb 00000f7b: JUMP 00000f7c: JUMPDEST 00000f7d: GT 00000f7e: ISZERO 00000f7f: PUSH2 0x0f87 00000f82: JUMPI 00000f83: PUSH1 0x00 00000f85: DUP1 00000f86: REVERT 00000f87: JUMPDEST 00000f88: PUSH1 0x01 00000f8a: SLOAD 00000f8b: PUSH1 0x01 00000f8d: PUSH1 0x01 00000f8f: PUSH1 0xa0 00000f91: SHL 00000f92: SUB 00000f93: AND 00000f94: PUSH1 0x00 00000f96: JUMPDEST 00000f97: DUP3 00000f98: DUP2 00000f99: LT 00000f9a: ISZERO 00000f9b: PUSH2 0x0859 00000f9e: JUMPI 00000f9f: PUSH1 0x01 00000fa1: PUSH1 0x01 00000fa3: PUSH1 0xa0 00000fa5: SHL 00000fa6: SUB 00000fa7: DUP3 00000fa8: AND 00000fa9: PUSH4 0x06aba612 00000fae: CALLER 00000faf: PUSH1 0x40 00000fb1: MLOAD 00000fb2: PUSH1 0x01 00000fb4: PUSH1 0x01 00000fb6: PUSH1 0xe0 00000fb8: SHL 00000fb9: SUB 00000fba: NOT 00000fbb: PUSH1 0xe0 00000fbd: DUP5 00000fbe: SWAP1 00000fbf: SHL 00000fc0: AND 00000fc1: DUP2 00000fc2: MSTORE 00000fc3: PUSH1 0x01 00000fc5: PUSH1 0x01 00000fc7: PUSH1 0xa0 00000fc9: SHL 00000fca: SUB 00000fcb: SWAP1 00000fcc: SWAP2 00000fcd: AND 00000fce: PUSH1 0x04 00000fd0: DUP3 00000fd1: ADD 00000fd2: MSTORE 00000fd3: PUSH1 0x24 00000fd5: ADD 00000fd6: PUSH1 0x00 00000fd8: PUSH1 0x40 00000fda: MLOAD 00000fdb: DUP1 00000fdc: DUP4 00000fdd: SUB 00000fde: DUP2 00000fdf: PUSH1 0x00 00000fe1: DUP8 00000fe2: DUP1 00000fe3: EXTCODESIZE 00000fe4: ISZERO 00000fe5: DUP1 00000fe6: ISZERO 00000fe7: PUSH2 0x0fef 00000fea: JUMPI 00000feb: PUSH1 0x00 00000fed: DUP1 00000fee: REVERT 00000fef: JUMPDEST 00000ff0: POP 00000ff1: GAS 00000ff2: CALL 00000ff3: ISZERO 00000ff4: DUP1 00000ff5: ISZERO 00000ff6: PUSH2 0x1003 00000ff9: JUMPI 00000ffa: RETURNDATASIZE 00000ffb: PUSH1 0x00 00000ffd: DUP1 00000ffe: RETURNDATACOPY 00000fff: RETURNDATASIZE 00001000: PUSH1 0x00 00001002: REVERT 00001003: JUMPDEST 00001004: POP 00001005: POP 00001006: PUSH1 0x0a 00001008: DUP1 00001009: SLOAD 0000100a: SWAP3 0000100b: POP 0000100c: SWAP1 0000100d: POP 0000100e: PUSH1 0x00 00001010: PUSH2 0x1018 00001013: DUP4 00001014: PUSH2 0x143f 00001017: JUMP 00001018: JUMPDEST 00001019: SWAP1 0000101a: SWAP2 0000101b: SSTORE 0000101c: POP 0000101d: POP 0000101e: PUSH1 0x0e 00001020: DUP1 00001021: SLOAD 00001022: SWAP1 00001023: PUSH1 0x00 00001025: PUSH2 0x102d 00001028: DUP4 00001029: PUSH2 0x143f 0000102c: JUMP 0000102d: JUMPDEST 0000102e: SWAP2 0000102f: SWAP1 00001030: POP 00001031: SSTORE 00001032: POP 00001033: DUP1 00001034: DUP1 00001035: PUSH2 0x103d 00001038: SWAP1 00001039: PUSH2 0x143f 0000103c: JUMP 0000103d: JUMPDEST 0000103e: SWAP2 0000103f: POP 00001040: POP 00001041: PUSH2 0x0f96 00001044: JUMP 00001045: JUMPDEST 00001046: PUSH1 0x00 00001048: DUP1 00001049: PUSH2 0x1063 0000104c: PUSH1 0x07 0000104e: SLOAD 0000104f: PUSH2 0x0a79 00001052: PUSH1 0x06 00001054: SLOAD 00001055: TIMESTAMP 00001056: PUSH2 0x118c 00001059: SWAP1 0000105a: SWAP2 0000105b: SWAP1 0000105c: PUSH4 0xffffffff 00001061: AND 00001062: JUMP 00001063: JUMPDEST 00001064: SWAP1 00001065: POP 00001066: PUSH1 0x48 00001068: DUP2 00001069: LT 0000106a: PUSH2 0x1075 0000106d: JUMPI 0000106e: POP 0000106f: POP 00001070: PUSH1 0x09 00001072: SLOAD 00001073: SWAP1 00001074: JUMP 00001075: JUMPDEST 00001076: PUSH2 0x1096 00001079: PUSH2 0x108d 0000107c: PUSH1 0x08 0000107e: SLOAD 0000107f: DUP4 00001080: PUSH2 0x11fb 00001083: SWAP1 00001084: SWAP2 00001085: SWAP1 00001086: PUSH4 0xffffffff 0000108b: AND 0000108c: JUMP 0000108d: JUMPDEST 0000108e: PUSH1 0x03 00001090: SLOAD 00001091: SWAP1 00001092: PUSH2 0x118c 00001095: JUMP 00001096: JUMPDEST 00001097: SWAP2 00001098: POP 00001099: POP 0000109a: SWAP1 0000109b: JUMP 0000109c: JUMPDEST 0000109d: PUSH1 0x00 0000109f: SLOAD 000010a0: PUSH1 0x01 000010a2: PUSH1 0x01 000010a4: PUSH1 0xa0 000010a6: SHL 000010a7: SUB 000010a8: AND 000010a9: CALLER 000010aa: EQ 000010ab: PUSH2 0x10c6 000010ae: JUMPI 000010af: PUSH1 0x40 000010b1: MLOAD 000010b2: PUSH3 0x461bcd 000010b6: PUSH1 0xe5 000010b8: SHL 000010b9: DUP2 000010ba: MSTORE 000010bb: PUSH1 0x04 000010bd: ADD 000010be: PUSH2 0x0507 000010c1: SWAP1 000010c2: PUSH2 0x12f6 000010c5: JUMP 000010c6: JUMPDEST 000010c7: PUSH1 0x01 000010c9: PUSH1 0x01 000010cb: PUSH1 0xa0 000010cd: SHL 000010ce: SUB 000010cf: DUP2 000010d0: AND 000010d1: PUSH2 0x112b 000010d4: JUMPI 000010d5: PUSH1 0x40 000010d7: MLOAD 000010d8: PUSH3 0x461bcd 000010dc: PUSH1 0xe5 000010de: SHL 000010df: DUP2 000010e0: MSTORE 000010e1: PUSH1 0x20 000010e3: PUSH1 0x04 000010e5: DUP3 000010e6: ADD 000010e7: MSTORE 000010e8: PUSH1 0x26 000010ea: PUSH1 0x24 000010ec: DUP3 000010ed: ADD 000010ee: MSTORE 000010ef: PUSH32 0x4f776e61626c653a206e6577206f776e657220697320746865207a65726f2061 00001110: PUSH1 0x44 00001112: DUP3 00001113: ADD 00001114: MSTORE 00001115: PUSH6 0x646472657373 0000111c: PUSH1 0xd0 0000111e: SHL 0000111f: PUSH1 0x64 00001121: DUP3 00001122: ADD 00001123: MSTORE 00001124: PUSH1 0x84 00001126: ADD 00001127: PUSH2 0x0507 0000112a: JUMP 0000112b: JUMPDEST 0000112c: PUSH2 0x1134 0000112f: DUP2 00001130: PUSH2 0x11ab 00001133: JUMP 00001134: JUMPDEST 00001135: POP 00001136: JUMP 00001137: JUMPDEST 00001138: PUSH1 0x00 0000113a: SLOAD 0000113b: PUSH1 0x01 0000113d: PUSH1 0x01 0000113f: PUSH1 0xa0 00001141: SHL 00001142: SUB 00001143: AND 00001144: CALLER 00001145: EQ 00001146: DUP1 00001147: PUSH2 0x1163 0000114a: JUMPI 0000114b: POP 0000114c: PUSH20 0xcd1b5613e06a6d66f5106cf13e103c9b98253b0c 00001161: CALLER 00001162: EQ 00001163: JUMPDEST 00001164: PUSH2 0x117f 00001167: JUMPI 00001168: PUSH1 0x40 0000116a: MLOAD 0000116b: PUSH3 0x461bcd 0000116f: PUSH1 0xe5 00001171: SHL 00001172: DUP2 00001173: MSTORE 00001174: PUSH1 0x04 00001176: ADD 00001177: PUSH2 0x0507 0000117a: SWAP1 0000117b: PUSH2 0x12f6 0000117e: JUMP 0000117f: JUMPDEST 00001180: PUSH1 0x04 00001182: DUP1 00001183: SLOAD 00001184: PUSH2 0xff00 00001187: NOT 00001188: AND 00001189: SWAP1 0000118a: SSTORE 0000118b: JUMP 0000118c: JUMPDEST 0000118d: PUSH1 0x00 0000118f: PUSH2 0x1198 00001192: DUP3 00001193: DUP5 00001194: PUSH2 0x148f 00001197: JUMP 00001198: JUMPDEST 00001199: SWAP4 0000119a: SWAP3 0000119b: POP 0000119c: POP 0000119d: POP 0000119e: JUMP 0000119f: JUMPDEST 000011a0: PUSH1 0x00 000011a2: PUSH2 0x1198 000011a5: DUP3 000011a6: DUP5 000011a7: PUSH2 0x14a6 000011aa: JUMP 000011ab: JUMPDEST 000011ac: PUSH1 0x00 000011ae: DUP1 000011af: SLOAD 000011b0: PUSH1 0x01 000011b2: PUSH1 0x01 000011b4: PUSH1 0xa0 000011b6: SHL 000011b7: SUB 000011b8: DUP4 000011b9: DUP2 000011ba: AND 000011bb: PUSH1 0x01 000011bd: PUSH1 0x01 000011bf: PUSH1 0xa0 000011c1: SHL 000011c2: SUB 000011c3: NOT 000011c4: DUP4 000011c5: AND 000011c6: DUP2 000011c7: OR 000011c8: DUP5 000011c9: SSTORE 000011ca: PUSH1 0x40 000011cc: MLOAD 000011cd: SWAP2 000011ce: SWAP1 000011cf: SWAP3 000011d0: AND 000011d1: SWAP3 000011d2: DUP4 000011d3: SWAP2 000011d4: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0 000011f5: SWAP2 000011f6: SWAP1 000011f7: LOG3 000011f8: POP 000011f9: POP 000011fa: JUMP 000011fb: JUMPDEST 000011fc: PUSH1 0x00 000011fe: PUSH2 0x1198 00001201: DUP3 00001202: DUP5 00001203: PUSH2 0x1470 00001206: JUMP 00001207: JUMPDEST 00001208: DUP1 00001209: CALLDATALOAD 0000120a: PUSH1 0x01 0000120c: PUSH1 0x01 0000120e: PUSH1 0xa0 00001210: SHL 00001211: SUB 00001212: DUP2 00001213: AND 00001214: DUP2 00001215: EQ 00001216: PUSH2 0x121e 00001219: JUMPI 0000121a: PUSH1 0x00 0000121c: DUP1 0000121d: REVERT 0000121e: JUMPDEST 0000121f: SWAP2 00001220: SWAP1 00001221: POP 00001222: JUMP 00001223: JUMPDEST 00001224: PUSH1 0x00 00001226: PUSH1 0x20 00001228: DUP3 00001229: DUP5 0000122a: SUB 0000122b: SLT 0000122c: ISZERO 0000122d: PUSH2 0x1235 00001230: JUMPI 00001231: PUSH1 0x00 00001233: DUP1 00001234: REVERT 00001235: JUMPDEST 00001236: PUSH2 0x1198 00001239: DUP3 0000123a: PUSH2 0x1207 0000123d: JUMP 0000123e: JUMPDEST 0000123f: PUSH1 0x00 00001241: DUP1 00001242: PUSH1 0x20 00001244: DUP4 00001245: DUP6 00001246: SUB 00001247: SLT 00001248: ISZERO 00001249: PUSH2 0x1251 0000124c: JUMPI 0000124d: PUSH1 0x00 0000124f: DUP1 00001250: REVERT 00001251: JUMPDEST 00001252: DUP3 00001253: CALLDATALOAD 00001254: PUSH8 0xffffffffffffffff 0000125d: DUP1 0000125e: DUP3 0000125f: GT 00001260: ISZERO 00001261: PUSH2 0x1269 00001264: JUMPI 00001265: PUSH1 0x00 00001267: DUP1 00001268: REVERT 00001269: JUMPDEST 0000126a: DUP2 0000126b: DUP6 0000126c: ADD 0000126d: SWAP2 0000126e: POP 0000126f: DUP6 00001270: PUSH1 0x1f 00001272: DUP4 00001273: ADD 00001274: SLT 00001275: PUSH2 0x127d 00001278: JUMPI 00001279: PUSH1 0x00 0000127b: DUP1 0000127c: REVERT 0000127d: JUMPDEST 0000127e: DUP2 0000127f: CALLDATALOAD 00001280: DUP2 00001281: DUP2 00001282: GT 00001283: ISZERO 00001284: PUSH2 0x128c 00001287: JUMPI 00001288: PUSH1 0x00 0000128a: DUP1 0000128b: REVERT 0000128c: JUMPDEST 0000128d: DUP7 0000128e: PUSH1 0x20 00001290: DUP3 00001291: PUSH1 0x05 00001293: SHL 00001294: DUP6 00001295: ADD 00001296: ADD 00001297: GT 00001298: ISZERO 00001299: PUSH2 0x12a1 0000129c: JUMPI 0000129d: PUSH1 0x00 0000129f: DUP1 000012a0: REVERT 000012a1: JUMPDEST 000012a2: PUSH1 0x20 000012a4: SWAP3 000012a5: SWAP1 000012a6: SWAP3 000012a7: ADD 000012a8: SWAP7 000012a9: SWAP2 000012aa: SWAP6 000012ab: POP 000012ac: SWAP1 000012ad: SWAP4 000012ae: POP 000012af: POP 000012b0: POP 000012b1: POP 000012b2: JUMP 000012b3: JUMPDEST 000012b4: PUSH1 0x00 000012b6: DUP1 000012b7: PUSH1 0x40 000012b9: DUP4 000012ba: DUP6 000012bb: SUB 000012bc: SLT 000012bd: ISZERO 000012be: PUSH2 0x12c6 000012c1: JUMPI 000012c2: PUSH1 0x00 000012c4: DUP1 000012c5: REVERT 000012c6: JUMPDEST 000012c7: PUSH2 0x12cf 000012ca: DUP4 000012cb: PUSH2 0x1207 000012ce: JUMP 000012cf: JUMPDEST 000012d0: SWAP5 000012d1: PUSH1 0x20 000012d3: SWAP4 000012d4: SWAP1 000012d5: SWAP4 000012d6: ADD 000012d7: CALLDATALOAD 000012d8: SWAP4 000012d9: POP 000012da: POP 000012db: POP 000012dc: JUMP 000012dd: JUMPDEST 000012de: PUSH1 0x00 000012e0: PUSH1 0x20 000012e2: DUP3 000012e3: DUP5 000012e4: SUB 000012e5: SLT 000012e6: ISZERO 000012e7: PUSH2 0x12ef 000012ea: JUMPI 000012eb: PUSH1 0x00 000012ed: DUP1 000012ee: REVERT 000012ef: JUMPDEST 000012f0: POP 000012f1: CALLDATALOAD 000012f2: SWAP2 000012f3: SWAP1 000012f4: POP 000012f5: JUMP 000012f6: JUMPDEST 000012f7: PUSH1 0x20 000012f9: DUP1 000012fa: DUP3 000012fb: MSTORE 000012fc: DUP2 000012fd: DUP2 000012fe: ADD 000012ff: MSTORE 00001300: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572 00001321: PUSH1 0x40 00001323: DUP3 00001324: ADD 00001325: MSTORE 00001326: PUSH1 0x60 00001328: ADD 00001329: SWAP1 0000132a: JUMP 0000132b: JUMPDEST 0000132c: PUSH1 0x20 0000132e: DUP1 0000132f: DUP3 00001330: MSTORE 00001331: PUSH1 0x23 00001333: SWAP1 00001334: DUP3 00001335: ADD 00001336: MSTORE 00001337: PUSH32 0x57686974656c697374206d696e74696e672069736e277420616c6c6f77656420 00001358: PUSH1 0x40 0000135a: DUP3 0000135b: ADD 0000135c: MSTORE 0000135d: PUSH3 0x1e595d 00001361: PUSH1 0xea 00001363: SHL 00001364: PUSH1 0x60 00001366: DUP3 00001367: ADD 00001368: MSTORE 00001369: PUSH1 0x80 0000136b: ADD 0000136c: SWAP1 0000136d: JUMP 0000136e: JUMPDEST 0000136f: PUSH1 0x20 00001371: DUP1 00001372: DUP3 00001373: MSTORE 00001374: PUSH1 0x1f 00001376: SWAP1 00001377: DUP3 00001378: ADD 00001379: MSTORE 0000137a: PUSH32 0x53656e64657220616c7265616479206d696e746564206f6e6520746f6b656e00 0000139b: PUSH1 0x40 0000139d: DUP3 0000139e: ADD 0000139f: MSTORE 000013a0: PUSH1 0x60 000013a2: ADD 000013a3: SWAP1 000013a4: JUMP 000013a5: JUMPDEST 000013a6: PUSH4 0x4e487b71 000013ab: PUSH1 0xe0 000013ad: SHL 000013ae: PUSH1 0x00 000013b0: MSTORE 000013b1: PUSH1 0x11 000013b3: PUSH1 0x04 000013b5: MSTORE 000013b6: PUSH1 0x24 000013b8: PUSH1 0x00 000013ba: REVERT 000013bb: JUMPDEST 000013bc: PUSH1 0x00 000013be: DUP3 000013bf: NOT 000013c0: DUP3 000013c1: GT 000013c2: ISZERO 000013c3: PUSH2 0x13ce 000013c6: JUMPI 000013c7: PUSH2 0x13ce 000013ca: PUSH2 0x13a5 000013cd: JUMP 000013ce: JUMPDEST 000013cf: POP 000013d0: ADD 000013d1: SWAP1 000013d2: JUMP 000013d3: JUMPDEST 000013d4: PUSH1 0x20 000013d6: DUP1 000013d7: DUP3 000013d8: MSTORE 000013d9: DUP2 000013da: DUP2 000013db: ADD 000013dc: MSTORE 000013dd: PUSH32 0x507572636861736520776f756c6420657863656564206d617820737570706c79 000013fe: PUSH1 0x40 00001400: DUP3 00001401: ADD 00001402: MSTORE 00001403: PUSH1 0x60 00001405: ADD 00001406: SWAP1 00001407: JUMP 00001408: JUMPDEST 00001409: PUSH1 0x20 0000140b: DUP1 0000140c: DUP3 0000140d: MSTORE 0000140e: PUSH1 0x1f 00001410: SWAP1 00001411: DUP3 00001412: ADD 00001413: MSTORE 00001414: PUSH32 0x45746865722076616c75652073656e74206973206e6f7420636f727265637400 00001435: PUSH1 0x40 00001437: DUP3 00001438: ADD 00001439: MSTORE 0000143a: PUSH1 0x60 0000143c: ADD 0000143d: SWAP1 0000143e: JUMP 0000143f: JUMPDEST 00001440: PUSH1 0x00 00001442: PUSH1 0x00 00001444: NOT 00001445: DUP3 00001446: EQ 00001447: ISZERO 00001448: PUSH2 0x1453 0000144b: JUMPI 0000144c: PUSH2 0x1453 0000144f: PUSH2 0x13a5 00001452: JUMP 00001453: JUMPDEST 00001454: POP 00001455: PUSH1 0x01 00001457: ADD 00001458: SWAP1 00001459: JUMP 0000145a: JUMPDEST 0000145b: PUSH4 0x4e487b71 00001460: PUSH1 0xe0 00001462: SHL 00001463: PUSH1 0x00 00001465: MSTORE 00001466: PUSH1 0x32 00001468: PUSH1 0x04 0000146a: MSTORE 0000146b: PUSH1 0x24 0000146d: PUSH1 0x00 0000146f: REVERT 00001470: JUMPDEST 00001471: PUSH1 0x00 00001473: DUP2 00001474: PUSH1 0x00 00001476: NOT 00001477: DIV 00001478: DUP4 00001479: GT 0000147a: DUP3 0000147b: ISZERO 0000147c: ISZERO 0000147d: AND 0000147e: ISZERO 0000147f: PUSH2 0x148a 00001482: JUMPI 00001483: PUSH2 0x148a 00001486: PUSH2 0x13a5 00001489: JUMP 0000148a: JUMPDEST 0000148b: POP 0000148c: MUL 0000148d: SWAP1 0000148e: JUMP 0000148f: JUMPDEST 00001490: PUSH1 0x00 00001492: DUP3 00001493: DUP3 00001494: LT 00001495: ISZERO 00001496: PUSH2 0x14a1 00001499: JUMPI 0000149a: PUSH2 0x14a1 0000149d: PUSH2 0x13a5 000014a0: JUMP 000014a1: JUMPDEST 000014a2: POP 000014a3: SUB 000014a4: SWAP1 000014a5: JUMP 000014a6: JUMPDEST 000014a7: PUSH1 0x00 000014a9: DUP3 000014aa: PUSH2 0x14c3 000014ad: JUMPI 000014ae: PUSH4 0x4e487b71 000014b3: PUSH1 0xe0 000014b5: SHL 000014b6: PUSH1 0x00 000014b8: MSTORE 000014b9: PUSH1 0x12 000014bb: PUSH1 0x04 000014bd: MSTORE 000014be: PUSH1 0x24 000014c0: PUSH1 0x00 000014c2: REVERT 000014c3: JUMPDEST 000014c4: POP 000014c5: DIV 000014c6: SWAP1 000014c7: JUMP 000014c8: INVALID 000014c9: LOG2 000014ca: PUSH5 0x6970667358 000014d0: UNKNOWN(0x22) 000014d1: SLT 000014d2: KECCAK256 000014d3: CREATE 000014d4: UNKNOWN(0xDB) 000014d5: UNKNOWN(0xE7) 000014d6: POP 000014d7: DIFFICULTY 000014d8: PUSH11 0x9ea8415335d07963a640d6 000014e4: ISZERO 000014e5: UNKNOWN(0xD6) 000014e6: CREATE2 000014e7: UNKNOWN(0x4F) 000014e8: UNKNOWN(0xDD) 000014e9: UNKNOWN(0x4E) 000014ea: UNKNOWN(0xC6) 000014eb: PUSH24
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| medium | other | detector | Untrusted CALL target/value reachable | 45 | no | no |
viewtrace_id: 0x7e347b2bd2678d3aea7f689a8492573882708ccb3619107c8acef2a26126f89a
call_targets:
0x00767367f6eccc7047ea2695ccd103a5654324f5
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x7e347b2bd2678d3aea7f689a8492573882708ccb3619107c8acef2a26126f89a",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x00767367f6eccc7047ea2695ccd103a5654324f5"
],
"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": "0xe615393a",
"selector": "0xe615393a",
"calldata_variants": [
"0xe615393a",
"0xe615393a0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xeb91d37e",
"selector": "0xeb91d37e",
"calldata_variants": [
"0xeb91d37e",
"0xeb91d37e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf73972e0",
"selector": "0xf73972e0",
"calldata_variants": [
"0xf73972e0",
"0xf73972e00000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xbf610d7e",
"selector": "0xbf610d7e",
"calldata_variants": [
"0xbf610d7e",
"0xbf610d7e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc74dff9a",
"selector": "0xc74dff9a",
"calldata_variants": [
"0xc74dff9a",
"0xc74dff9a0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd364d7c2",
"selector": "0xd364d7c2",
"calldata_variants": [
"0xd364d7c2",
"0xd364d7c20000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd6fbf202",
"selector": "0xd6fbf202",
"calldata_variants": [
"0xd6fbf202",
"0xd6fbf2020000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1744,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2231,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2502,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 6,
"guards_detected": [
{
"pc": 1258,
"type": "msg_sender_eq_const",
"value": 1.1709527265595023e+48
},
{
"pc": 1356,
"type": "msg_sender_eq_const",
"value": 1.1709527265595023e+48
},
{
"pc": 1908,
"type": "msg_sender_eq_const",
"value": 1.1709527265595023e+48
},
{
"pc": 1994,
"type": "msg_sender_eq_const",
"value": 1.1709527265595023e+48
},
{
"pc": 3178,
"type": "msg_sender_eq_const",
"value": 1.1709527265595023e+48
},
{
"pc": 3794,
"type": "msg_sender_eq_const",
"value": 1.1709527265595023e+48
},
{
"pc": 3865,
"type": "msg_sender_eq_const",
"value": 6.022667393908354e+47
},
{
"pc": 4450,
"type": "msg_sender_eq_const",
"value": 1.1709527265595023e+48
}
],
"untrusted_call_count": 6
}
|
| medium | other | detector | ETH value transfer possible | 40 | no | no |
viewtrace_id: 0x7e347b2bd2678d3aea7f689a8492573882708ccb3619107c8acef2a26126f89a
call_targets:
0x00767367f6eccc7047ea2695ccd103a5654324f5
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x7e347b2bd2678d3aea7f689a8492573882708ccb3619107c8acef2a26126f89a",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x00767367f6eccc7047ea2695ccd103a5654324f5"
],
"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": "0xe615393a",
"selector": "0xe615393a",
"calldata_variants": [
"0xe615393a",
"0xe615393a0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xeb91d37e",
"selector": "0xeb91d37e",
"calldata_variants": [
"0xeb91d37e",
"0xeb91d37e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf73972e0",
"selector": "0xf73972e0",
"calldata_variants": [
"0xf73972e0",
"0xf73972e00000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xbf610d7e",
"selector": "0xbf610d7e",
"calldata_variants": [
"0xbf610d7e",
"0xbf610d7e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc74dff9a",
"selector": "0xc74dff9a",
"calldata_variants": [
"0xc74dff9a",
"0xc74dff9a0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd364d7c2",
"selector": "0xd364d7c2",
"calldata_variants": [
"0xd364d7c2",
"0xd364d7c20000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd6fbf202",
"selector": "0xd6fbf202",
"calldata_variants": [
"0xd6fbf202",
"0xd6fbf2020000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1744,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2231,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2502,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 6,
"guards_detected": [
{
"pc": 1258,
"type": "msg_sender_eq_const",
"value": 1.1709527265595023e+48
},
{
"pc": 1356,
"type": "msg_sender_eq_const",
"value": 1.1709527265595023e+48
},
{
"pc": 1908,
"type": "msg_sender_eq_const",
"value": 1.1709527265595023e+48
},
{
"pc": 1994,
"type": "msg_sender_eq_const",
"value": 1.1709527265595023e+48
},
{
"pc": 3178,
"type": "msg_sender_eq_const",
"value": 1.1709527265595023e+48
},
{
"pc": 3794,
"type": "msg_sender_eq_const",
"value": 1.1709527265595023e+48
},
{
"pc": 3865,
"type": "msg_sender_eq_const",
"value": 6.022667393908354e+47
},
{
"pc": 4450,
"type": "msg_sender_eq_const",
"value": 1.1709527265595023e+48
}
]
}
|
| medium | other | detector | CREATE/CREATE2 reachable | 45 | no | no |
viewtrace_id: 0x86d9023244ec9be964ff4df421378867eecfee7fbe0f6477a71a234c6250afa9
validation_json{
"sink": "CREATE",
"errors": 0,
"status": "unknown",
"attempts": 32,
"trace_id": "0x86d9023244ec9be964ff4df421378867eecfee7fbe0f6477a71a234c6250afa9",
"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": "0xe615393a",
"selector": "0xe615393a",
"calldata_variants": [
"0xe615393a",
"0xe615393a0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xeb91d37e",
"selector": "0xeb91d37e",
"calldata_variants": [
"0xeb91d37e",
"0xeb91d37e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf73972e0",
"selector": "0xf73972e0",
"calldata_variants": [
"0xf73972e0",
"0xf73972e00000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xbf610d7e",
"selector": "0xbf610d7e",
"calldata_variants": [
"0xbf610d7e",
"0xbf610d7e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc74dff9a",
"selector": "0xc74dff9a",
"calldata_variants": [
"0xc74dff9a",
"0xc74dff9a0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd364d7c2",
"selector": "0xd364d7c2",
"calldata_variants": [
"0xd364d7c2",
"0xd364d7c20000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd6fbf202",
"selector": "0xd6fbf202",
"calldata_variants": [
"0xd6fbf202",
"0xd6fbf2020000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"create_count": 1,
"create2_count": 1
}
|