019b477e-d0bb-7133-ad93-fc72f7754c9f
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 |
|---|---|---|---|---|
| 27625 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 27626 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 91909 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 91910 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 91911 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 91912 | 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 0x00dd 0000000c: JUMPI 0000000d: PUSH1 0x00 0000000f: CALLDATALOAD 00000010: PUSH1 0xe0 00000012: SHR 00000013: DUP1 00000014: PUSH4 0x89d96917 00000019: GT 0000001a: PUSH2 0x007f 0000001d: JUMPI 0000001e: DUP1 0000001f: PUSH4 0xd076eabc 00000024: GT 00000025: PUSH2 0x0059 00000028: JUMPI 00000029: DUP1 0000002a: PUSH4 0xd076eabc 0000002f: EQ 00000030: PUSH2 0x0251 00000033: JUMPI 00000034: DUP1 00000035: PUSH4 0xefca2eed 0000003a: EQ 0000003b: PUSH2 0x027b 0000003e: JUMPI 0000003f: DUP1 00000040: PUSH4 0xf04da65b 00000045: EQ 00000046: PUSH2 0x0290 00000049: JUMPI 0000004a: DUP1 0000004b: PUSH4 0xfc0c546a 00000050: EQ 00000051: PUSH2 0x02c3 00000054: JUMPI 00000055: PUSH2 0x00dd 00000058: JUMP 00000059: JUMPDEST 0000005a: DUP1 0000005b: PUSH4 0x89d96917 00000060: EQ 00000061: PUSH2 0x01f4 00000064: JUMPI 00000065: DUP1 00000066: PUSH4 0xb88a802f 0000006b: EQ 0000006c: PUSH2 0x0227 0000006f: JUMPI 00000070: DUP1 00000071: PUSH4 0xc7e1d0b1 00000076: EQ 00000077: PUSH2 0x023c 0000007a: JUMPI 0000007b: PUSH2 0x00dd 0000007e: JUMP 0000007f: JUMPDEST 00000080: DUP1 00000081: PUSH4 0x152111f7 00000086: GT 00000087: PUSH2 0x00bb 0000008a: JUMPI 0000008b: DUP1 0000008c: PUSH4 0x152111f7 00000091: EQ 00000092: PUSH2 0x017f 00000095: JUMPI 00000096: DUP1 00000097: PUSH4 0x29cc05cf 0000009c: EQ 0000009d: PUSH2 0x0189 000000a0: JUMPI 000000a1: DUP1 000000a2: PUSH4 0x3c6e6789 000000a7: EQ 000000a8: PUSH2 0x01ca 000000ab: JUMPI 000000ac: DUP1 000000ad: PUSH4 0x80bb4055 000000b2: EQ 000000b3: PUSH2 0x01df 000000b6: JUMPI 000000b7: PUSH2 0x00dd 000000ba: JUMP 000000bb: JUMPDEST 000000bc: DUP1 000000bd: PUSH4 0x058df06d 000000c2: EQ 000000c3: PUSH2 0x00e2 000000c6: JUMPI 000000c7: DUP1 000000c8: PUSH4 0x0700037d 000000cd: EQ 000000ce: PUSH2 0x011e 000000d1: JUMPI 000000d2: DUP1 000000d3: PUSH4 0x0e15561a 000000d8: EQ 000000d9: PUSH2 0x016a 000000dc: JUMPI 000000dd: JUMPDEST 000000de: PUSH1 0x00 000000e0: DUP1 000000e1: REVERT 000000e2: JUMPDEST 000000e3: CALLVALUE 000000e4: DUP1 000000e5: ISZERO 000000e6: PUSH2 0x00ee 000000e9: JUMPI 000000ea: PUSH1 0x00 000000ec: DUP1 000000ed: REVERT 000000ee: JUMPDEST 000000ef: POP 000000f0: PUSH2 0x010c 000000f3: PUSH1 0x04 000000f5: DUP1 000000f6: CALLDATASIZE 000000f7: SUB 000000f8: PUSH1 0x20 000000fa: DUP2 000000fb: LT 000000fc: ISZERO 000000fd: PUSH2 0x0105 00000100: JUMPI 00000101: PUSH1 0x00 00000103: DUP1 00000104: REVERT 00000105: JUMPDEST 00000106: POP 00000107: CALLDATALOAD 00000108: PUSH2 0x02f4 0000010b: JUMP 0000010c: JUMPDEST 0000010d: PUSH1 0x40 0000010f: DUP1 00000110: MLOAD 00000111: SWAP2 00000112: DUP3 00000113: MSTORE 00000114: MLOAD 00000115: SWAP1 00000116: DUP2 00000117: SWAP1 00000118: SUB 00000119: PUSH1 0x20 0000011b: ADD 0000011c: SWAP1 0000011d: RETURN 0000011e: JUMPDEST 0000011f: CALLVALUE 00000120: DUP1 00000121: ISZERO 00000122: PUSH2 0x012a 00000125: JUMPI 00000126: PUSH1 0x00 00000128: DUP1 00000129: REVERT 0000012a: JUMPDEST 0000012b: POP 0000012c: PUSH2 0x0151 0000012f: PUSH1 0x04 00000131: DUP1 00000132: CALLDATASIZE 00000133: SUB 00000134: PUSH1 0x20 00000136: DUP2 00000137: LT 00000138: ISZERO 00000139: PUSH2 0x0141 0000013c: JUMPI 0000013d: PUSH1 0x00 0000013f: DUP1 00000140: REVERT 00000141: JUMPDEST 00000142: POP 00000143: CALLDATALOAD 00000144: PUSH1 0x01 00000146: PUSH1 0x01 00000148: PUSH1 0xa0 0000014a: SHL 0000014b: SUB 0000014c: AND 0000014d: PUSH2 0x0306 00000150: JUMP 00000151: JUMPDEST 00000152: PUSH1 0x40 00000154: DUP1 00000155: MLOAD 00000156: SWAP3 00000157: DUP4 00000158: MSTORE 00000159: PUSH1 0x20 0000015b: DUP4 0000015c: ADD 0000015d: SWAP2 0000015e: SWAP1 0000015f: SWAP2 00000160: MSTORE 00000161: DUP1 00000162: MLOAD 00000163: SWAP2 00000164: DUP3 00000165: SWAP1 00000166: SUB 00000167: ADD 00000168: SWAP1 00000169: RETURN 0000016a: JUMPDEST 0000016b: CALLVALUE 0000016c: DUP1 0000016d: ISZERO 0000016e: PUSH2 0x0176 00000171: JUMPI 00000172: PUSH1 0x00 00000174: DUP1 00000175: REVERT 00000176: JUMPDEST 00000177: POP 00000178: PUSH2 0x010c 0000017b: PUSH2 0x031f 0000017e: JUMP 0000017f: JUMPDEST 00000180: PUSH2 0x0187 00000183: PUSH2 0x0325 00000186: JUMP 00000187: JUMPDEST 00000188: STOP 00000189: JUMPDEST 0000018a: CALLVALUE 0000018b: DUP1 0000018c: ISZERO 0000018d: PUSH2 0x0195 00000190: JUMPI 00000191: PUSH1 0x00 00000193: DUP1 00000194: REVERT 00000195: JUMPDEST 00000196: POP 00000197: PUSH2 0x0187 0000019a: PUSH1 0x04 0000019c: DUP1 0000019d: CALLDATASIZE 0000019e: SUB 0000019f: PUSH1 0x60 000001a1: DUP2 000001a2: LT 000001a3: ISZERO 000001a4: PUSH2 0x01ac 000001a7: JUMPI 000001a8: PUSH1 0x00 000001aa: DUP1 000001ab: REVERT 000001ac: JUMPDEST 000001ad: POP 000001ae: PUSH1 0x01 000001b0: PUSH1 0x01 000001b2: PUSH1 0xa0 000001b4: SHL 000001b5: SUB 000001b6: DUP2 000001b7: CALLDATALOAD 000001b8: AND 000001b9: SWAP1 000001ba: PUSH1 0x20 000001bc: DUP2 000001bd: ADD 000001be: CALLDATALOAD 000001bf: SWAP1 000001c0: PUSH1 0x40 000001c2: ADD 000001c3: CALLDATALOAD 000001c4: ISZERO 000001c5: ISZERO 000001c6: PUSH2 0x0330 000001c9: JUMP 000001ca: JUMPDEST 000001cb: CALLVALUE 000001cc: DUP1 000001cd: ISZERO 000001ce: PUSH2 0x01d6 000001d1: JUMPI 000001d2: PUSH1 0x00 000001d4: DUP1 000001d5: REVERT 000001d6: JUMPDEST 000001d7: POP 000001d8: PUSH2 0x010c 000001db: PUSH2 0x038b 000001de: JUMP 000001df: JUMPDEST 000001e0: CALLVALUE 000001e1: DUP1 000001e2: ISZERO 000001e3: PUSH2 0x01eb 000001e6: JUMPI 000001e7: PUSH1 0x00 000001e9: DUP1 000001ea: REVERT 000001eb: JUMPDEST 000001ec: POP 000001ed: PUSH2 0x010c 000001f0: PUSH2 0x0391 000001f3: JUMP 000001f4: JUMPDEST 000001f5: CALLVALUE 000001f6: DUP1 000001f7: ISZERO 000001f8: PUSH2 0x0200 000001fb: JUMPI 000001fc: PUSH1 0x00 000001fe: DUP1 000001ff: REVERT 00000200: JUMPDEST 00000201: POP 00000202: PUSH2 0x010c 00000205: PUSH1 0x04 00000207: DUP1 00000208: CALLDATASIZE 00000209: SUB 0000020a: PUSH1 0x20 0000020c: DUP2 0000020d: LT 0000020e: ISZERO 0000020f: PUSH2 0x0217 00000212: JUMPI 00000213: PUSH1 0x00 00000215: DUP1 00000216: REVERT 00000217: JUMPDEST 00000218: POP 00000219: CALLDATALOAD 0000021a: PUSH1 0x01 0000021c: PUSH1 0x01 0000021e: PUSH1 0xa0 00000220: SHL 00000221: SUB 00000222: AND 00000223: PUSH2 0x0397 00000226: JUMP 00000227: JUMPDEST 00000228: CALLVALUE 00000229: DUP1 0000022a: ISZERO 0000022b: PUSH2 0x0233 0000022e: JUMPI 0000022f: PUSH1 0x00 00000231: DUP1 00000232: REVERT 00000233: JUMPDEST 00000234: POP 00000235: PUSH2 0x0187 00000238: PUSH2 0x0416 0000023b: JUMP 0000023c: JUMPDEST 0000023d: CALLVALUE 0000023e: DUP1 0000023f: ISZERO 00000240: PUSH2 0x0248 00000243: JUMPI 00000244: PUSH1 0x00 00000246: DUP1 00000247: REVERT 00000248: JUMPDEST 00000249: POP 0000024a: PUSH2 0x010c 0000024d: PUSH2 0x0454 00000250: JUMP 00000251: JUMPDEST 00000252: CALLVALUE 00000253: DUP1 00000254: ISZERO 00000255: PUSH2 0x025d 00000258: JUMPI 00000259: PUSH1 0x00 0000025b: DUP1 0000025c: REVERT 0000025d: JUMPDEST 0000025e: POP 0000025f: PUSH2 0x010c 00000262: PUSH1 0x04 00000264: DUP1 00000265: CALLDATASIZE 00000266: SUB 00000267: PUSH1 0x20 00000269: DUP2 0000026a: LT 0000026b: ISZERO 0000026c: PUSH2 0x0274 0000026f: JUMPI 00000270: PUSH1 0x00 00000272: DUP1 00000273: REVERT 00000274: JUMPDEST 00000275: POP 00000276: CALLDATALOAD 00000277: PUSH2 0x045a 0000027a: JUMP 0000027b: JUMPDEST 0000027c: CALLVALUE 0000027d: DUP1 0000027e: ISZERO 0000027f: PUSH2 0x0287 00000282: JUMPI 00000283: PUSH1 0x00 00000285: DUP1 00000286: REVERT 00000287: JUMPDEST 00000288: POP 00000289: PUSH2 0x010c 0000028c: PUSH2 0x048f 0000028f: JUMP 00000290: JUMPDEST 00000291: CALLVALUE 00000292: DUP1 00000293: ISZERO 00000294: PUSH2 0x029c 00000297: JUMPI 00000298: PUSH1 0x00 0000029a: DUP1 0000029b: REVERT 0000029c: JUMPDEST 0000029d: POP 0000029e: PUSH2 0x010c 000002a1: PUSH1 0x04 000002a3: DUP1 000002a4: CALLDATASIZE 000002a5: SUB 000002a6: PUSH1 0x20 000002a8: DUP2 000002a9: LT 000002aa: ISZERO 000002ab: PUSH2 0x02b3 000002ae: JUMPI 000002af: PUSH1 0x00 000002b1: DUP1 000002b2: REVERT 000002b3: JUMPDEST 000002b4: POP 000002b5: CALLDATALOAD 000002b6: PUSH1 0x01 000002b8: PUSH1 0x01 000002ba: PUSH1 0xa0 000002bc: SHL 000002bd: SUB 000002be: AND 000002bf: PUSH2 0x0495 000002c2: JUMP 000002c3: JUMPDEST 000002c4: CALLVALUE 000002c5: DUP1 000002c6: ISZERO 000002c7: PUSH2 0x02cf 000002ca: JUMPI 000002cb: PUSH1 0x00 000002cd: DUP1 000002ce: REVERT 000002cf: JUMPDEST 000002d0: POP 000002d1: PUSH2 0x02d8 000002d4: PUSH2 0x04b0 000002d7: JUMP 000002d8: JUMPDEST 000002d9: PUSH1 0x40 000002db: DUP1 000002dc: MLOAD 000002dd: PUSH1 0x01 000002df: PUSH1 0x01 000002e1: PUSH1 0xa0 000002e3: SHL 000002e4: SUB 000002e5: SWAP1 000002e6: SWAP3 000002e7: AND 000002e8: DUP3 000002e9: MSTORE 000002ea: MLOAD 000002eb: SWAP1 000002ec: DUP2 000002ed: SWAP1 000002ee: SUB 000002ef: PUSH1 0x20 000002f1: ADD 000002f2: SWAP1 000002f3: RETURN 000002f4: JUMPDEST 000002f5: PUSH1 0x08 000002f7: PUSH1 0x20 000002f9: MSTORE 000002fa: PUSH1 0x00 000002fc: SWAP1 000002fd: DUP2 000002fe: MSTORE 000002ff: PUSH1 0x40 00000301: SWAP1 00000302: KECCAK256 00000303: SLOAD 00000304: DUP2 00000305: JUMP 00000306: JUMPDEST 00000307: PUSH1 0x04 00000309: PUSH1 0x20 0000030b: MSTORE 0000030c: PUSH1 0x00 0000030e: SWAP1 0000030f: DUP2 00000310: MSTORE 00000311: PUSH1 0x40 00000313: SWAP1 00000314: KECCAK256 00000315: DUP1 00000316: SLOAD 00000317: PUSH1 0x01 00000319: SWAP1 0000031a: SWAP2 0000031b: ADD 0000031c: SLOAD 0000031d: DUP3 0000031e: JUMP 0000031f: JUMPDEST 00000320: PUSH1 0x07 00000322: SLOAD 00000323: DUP2 00000324: JUMP 00000325: JUMPDEST 00000326: PUSH2 0x032e 00000329: CALLVALUE 0000032a: PUSH2 0x04bf 0000032d: JUMP 0000032e: JUMPDEST 0000032f: JUMP 00000330: JUMPDEST 00000331: PUSH1 0x00 00000333: SLOAD 00000334: PUSH1 0x01 00000336: PUSH1 0x01 00000338: PUSH1 0xa0 0000033a: SHL 0000033b: SUB 0000033c: AND 0000033d: CALLER 0000033e: EQ 0000033f: PUSH2 0x037b 00000342: JUMPI 00000343: PUSH1 0x40 00000345: DUP1 00000346: MLOAD 00000347: PUSH3 0x461bcd 0000034b: PUSH1 0xe5 0000034d: SHL 0000034e: DUP2 0000034f: MSTORE 00000350: PUSH1 0x20 00000352: PUSH1 0x04 00000354: DUP3 00000355: ADD 00000356: MSTORE 00000357: PUSH1 0x09 00000359: PUSH1 0x24 0000035b: DUP3 0000035c: ADD 0000035d: MSTORE 0000035e: PUSH9 0x27a7262caa27a5a2a7 00000368: PUSH1 0xb9 0000036a: SHL 0000036b: PUSH1 0x44 0000036d: DUP3 0000036e: ADD 0000036f: MSTORE 00000370: SWAP1 00000371: MLOAD 00000372: SWAP1 00000373: DUP2 00000374: SWAP1 00000375: SUB 00000376: PUSH1 0x64 00000378: ADD 00000379: SWAP1 0000037a: REVERT 0000037b: JUMPDEST 0000037c: PUSH2 0x0386 0000037f: DUP4 00000380: DUP4 00000381: DUP4 00000382: PUSH2 0x05e0 00000385: JUMP 00000386: JUMPDEST 00000387: POP 00000388: POP 00000389: POP 0000038a: JUMP 0000038b: JUMPDEST 0000038c: PUSH1 0x02 0000038e: SLOAD 0000038f: DUP2 00000390: JUMP 00000391: JUMPDEST 00000392: PUSH1 0x01 00000394: SLOAD 00000395: DUP2 00000396: JUMP 00000397: JUMPDEST 00000398: PUSH1 0x01 0000039a: PUSH1 0x01 0000039c: PUSH1 0xa0 0000039e: SHL 0000039f: SUB 000003a0: DUP2 000003a1: AND 000003a2: PUSH1 0x00 000003a4: SWAP1 000003a5: DUP2 000003a6: MSTORE 000003a7: PUSH1 0x03 000003a9: PUSH1 0x20 000003ab: MSTORE 000003ac: PUSH1 0x40 000003ae: DUP2 000003af: KECCAK256 000003b0: SLOAD 000003b1: PUSH2 0x03bc 000003b4: JUMPI 000003b5: POP 000003b6: PUSH1 0x00 000003b8: PUSH2 0x0411 000003bb: JUMP 000003bc: JUMPDEST 000003bd: PUSH1 0x01 000003bf: PUSH1 0x01 000003c1: PUSH1 0xa0 000003c3: SHL 000003c4: SUB 000003c5: DUP3 000003c6: AND 000003c7: PUSH1 0x00 000003c9: SWAP1 000003ca: DUP2 000003cb: MSTORE 000003cc: PUSH1 0x03 000003ce: PUSH1 0x20 000003d0: MSTORE 000003d1: PUSH1 0x40 000003d3: DUP2 000003d4: KECCAK256 000003d5: SLOAD 000003d6: PUSH2 0x03de 000003d9: SWAP1 000003da: PUSH2 0x0682 000003dd: JUMP 000003de: JUMPDEST 000003df: PUSH1 0x01 000003e1: PUSH1 0x01 000003e3: PUSH1 0xa0 000003e5: SHL 000003e6: SUB 000003e7: DUP5 000003e8: AND 000003e9: PUSH1 0x00 000003eb: SWAP1 000003ec: DUP2 000003ed: MSTORE 000003ee: PUSH1 0x04 000003f0: PUSH1 0x20 000003f2: MSTORE 000003f3: PUSH1 0x40 000003f5: SWAP1 000003f6: KECCAK256 000003f7: SLOAD 000003f8: SWAP1 000003f9: SWAP2 000003fa: POP 000003fb: DUP1 000003fc: DUP3 000003fd: GT 000003fe: PUSH2 0x040c 00000401: JUMPI 00000402: PUSH1 0x00 00000404: SWAP3 00000405: POP 00000406: POP 00000407: POP 00000408: PUSH2 0x0411 0000040b: JUMP 0000040c: JUMPDEST 0000040d: SWAP1 0000040e: SUB 0000040f: SWAP1 00000410: POP 00000411: JUMPDEST 00000412: SWAP2 00000413: SWAP1 00000414: POP 00000415: JUMP 00000416: JUMPDEST 00000417: PUSH2 0x041f 0000041a: CALLER 0000041b: PUSH2 0x06a7 0000041e: JUMP 0000041f: JUMPDEST 00000420: PUSH1 0x40 00000422: DUP1 00000423: MLOAD 00000424: CALLER 00000425: DUP2 00000426: MSTORE 00000427: SWAP1 00000428: MLOAD 00000429: PUSH32 0x63e32091e4445d16e29c33a6b264577c2d86694021aa4e6f4dd590048f5792e8 0000044a: SWAP2 0000044b: DUP2 0000044c: SWAP1 0000044d: SUB 0000044e: PUSH1 0x20 00000450: ADD 00000451: SWAP1 00000452: LOG1 00000453: JUMP 00000454: JUMPDEST 00000455: PUSH1 0x05 00000457: SLOAD 00000458: DUP2 00000459: JUMP 0000045a: JUMPDEST 0000045b: PUSH1 0x00 0000045d: DUP1 0000045e: PUSH2 0x0466 00000461: DUP4 00000462: PUSH2 0x086a 00000465: JUMP 00000466: JUMPDEST 00000467: SWAP3 00000468: POP 00000469: POP 0000046a: POP 0000046b: PUSH3 0x015180 0000046f: DUP4 00000470: DUP2 00000471: PUSH2 0x0476 00000474: JUMPI 00000475: INVALID 00000476: JUMPDEST 00000477: MOD 00000478: PUSH3 0x015180 0000047c: PUSH1 0x00 0000047e: NOT 0000047f: SWAP1 00000480: SWAP3 00000481: ADD 00000482: SWAP2 00000483: SWAP1 00000484: SWAP2 00000485: MUL 00000486: DUP4 00000487: SUB 00000488: SUB 00000489: SWAP1 0000048a: POP 0000048b: SWAP2 0000048c: SWAP1 0000048d: POP 0000048e: JUMP 0000048f: JUMPDEST 00000490: PUSH1 0x06 00000492: SLOAD 00000493: DUP2 00000494: JUMP 00000495: JUMPDEST 00000496: PUSH1 0x01 00000498: PUSH1 0x01 0000049a: PUSH1 0xa0 0000049c: SHL 0000049d: SUB 0000049e: AND 0000049f: PUSH1 0x00 000004a1: SWAP1 000004a2: DUP2 000004a3: MSTORE 000004a4: PUSH1 0x03 000004a6: PUSH1 0x20 000004a8: MSTORE 000004a9: PUSH1 0x40 000004ab: SWAP1 000004ac: KECCAK256 000004ad: SLOAD 000004ae: SWAP1 000004af: JUMP 000004b0: JUMPDEST 000004b1: PUSH1 0x00 000004b3: SLOAD 000004b4: PUSH1 0x01 000004b6: PUSH1 0x01 000004b8: PUSH1 0xa0 000004ba: SHL 000004bb: SUB 000004bc: AND 000004bd: DUP2 000004be: JUMP 000004bf: JUMPDEST 000004c0: PUSH1 0x00 000004c2: DUP2 000004c3: GT 000004c4: PUSH2 0x0506 000004c7: JUMPI 000004c8: PUSH1 0x40 000004ca: DUP1 000004cb: MLOAD 000004cc: PUSH3 0x461bcd 000004d0: PUSH1 0xe5 000004d2: SHL 000004d3: DUP2 000004d4: MSTORE 000004d5: PUSH1 0x20 000004d7: PUSH1 0x04 000004d9: DUP3 000004da: ADD 000004db: MSTORE 000004dc: PUSH1 0x0f 000004de: PUSH1 0x24 000004e0: DUP3 000004e1: ADD 000004e2: MSTORE 000004e3: PUSH15 0x0888aa09ea692a87440dcde408aa89 000004f3: PUSH1 0x8b 000004f5: SHL 000004f6: PUSH1 0x44 000004f8: DUP3 000004f9: ADD 000004fa: MSTORE 000004fb: SWAP1 000004fc: MLOAD 000004fd: SWAP1 000004fe: DUP2 000004ff: SWAP1 00000500: SUB 00000501: PUSH1 0x64 00000503: ADD 00000504: SWAP1 00000505: REVERT 00000506: JUMPDEST 00000507: PUSH1 0x00 00000509: PUSH1 0x02 0000050b: SLOAD 0000050c: GT 0000050d: PUSH2 0x0552 00000510: JUMPI 00000511: PUSH1 0x40 00000513: DUP1 00000514: MLOAD 00000515: PUSH3 0x461bcd 00000519: PUSH1 0xe5 0000051b: SHL 0000051c: DUP2 0000051d: MSTORE 0000051e: PUSH1 0x20 00000520: PUSH1 0x04 00000522: DUP3 00000523: ADD 00000524: MSTORE 00000525: PUSH1 0x12 00000527: PUSH1 0x24 00000529: DUP3 0000052a: ADD 0000052b: MSTORE 0000052c: PUSH18 0x4445504f5349543a206e6f20736861726573 0000053f: PUSH1 0x70 00000541: SHL 00000542: PUSH1 0x44 00000544: DUP3 00000545: ADD 00000546: MSTORE 00000547: SWAP1 00000548: MLOAD 00000549: SWAP1 0000054a: DUP2 0000054b: SWAP1 0000054c: SUB 0000054d: PUSH1 0x64 0000054f: ADD 00000550: SWAP1 00000551: REVERT 00000552: JUMPDEST 00000553: PUSH1 0x07 00000555: DUP1 00000556: SLOAD 00000557: DUP3 00000558: ADD 00000559: SWAP1 0000055a: SSTORE 0000055b: PUSH1 0x00 0000055d: PUSH2 0x0565 00000560: TIMESTAMP 00000561: PUSH2 0x045a 00000564: JUMP 00000565: JUMPDEST 00000566: PUSH1 0x00 00000568: DUP2 00000569: DUP2 0000056a: MSTORE 0000056b: PUSH1 0x08 0000056d: PUSH1 0x20 0000056f: MSTORE 00000570: PUSH1 0x40 00000572: SWAP1 00000573: KECCAK256 00000574: DUP1 00000575: SLOAD 00000576: DUP5 00000577: ADD 00000578: SWAP1 00000579: SSTORE 0000057a: PUSH1 0x02 0000057c: SLOAD 0000057d: SWAP1 0000057e: SWAP2 0000057f: POP 00000580: PUSH15 0xc097ce7bc90715b34b9f1000000000 00000590: DUP4 00000591: MUL 00000592: DUP2 00000593: PUSH2 0x0598 00000596: JUMPI 00000597: INVALID 00000598: JUMPDEST 00000599: PUSH1 0x05 0000059b: DUP1 0000059c: SLOAD 0000059d: SWAP3 0000059e: SWAP1 0000059f: SWAP2 000005a0: DIV 000005a1: SWAP2 000005a2: SWAP1 000005a3: SWAP2 000005a4: ADD 000005a5: SWAP1 000005a6: SSTORE 000005a7: PUSH1 0x40 000005a9: DUP1 000005aa: MLOAD 000005ab: DUP4 000005ac: DUP2 000005ad: MSTORE 000005ae: SWAP1 000005af: MLOAD 000005b0: CALLER 000005b1: SWAP2 000005b2: PUSH32 0xb9ad861b752f80117b35bea6dec99933d8a5ae360f2839ee8784b750d5613409 000005d3: SWAP2 000005d4: SWAP1 000005d5: DUP2 000005d6: SWAP1 000005d7: SUB 000005d8: PUSH1 0x20 000005da: ADD 000005db: SWAP1 000005dc: LOG2 000005dd: POP 000005de: POP 000005df: JUMP 000005e0: JUMPDEST 000005e1: DUP1 000005e2: ISZERO 000005e3: PUSH2 0x0634 000005e6: JUMPI 000005e7: PUSH2 0x05f0 000005ea: DUP4 000005eb: DUP4 000005ec: PUSH2 0x0889 000005ef: JUMP 000005f0: JUMPDEST 000005f1: PUSH1 0x40 000005f3: DUP1 000005f4: MLOAD 000005f5: DUP4 000005f6: DUP2 000005f7: MSTORE 000005f8: SWAP1 000005f9: MLOAD 000005fa: PUSH1 0x01 000005fc: PUSH1 0x01 000005fe: PUSH1 0xa0 00000600: SHL 00000601: SUB 00000602: DUP6 00000603: AND 00000604: SWAP2 00000605: PUSH32 0xae0577e1c96b26fbc0b9df702431f5470979d001d24f136eded791b8b6521d6f 00000626: SWAP2 00000627: SWAP1 00000628: DUP2 00000629: SWAP1 0000062a: SUB 0000062b: PUSH1 0x20 0000062d: ADD 0000062e: SWAP1 0000062f: LOG2 00000630: PUSH2 0x0386 00000633: JUMP 00000634: JUMPDEST 00000635: PUSH2 0x063e 00000638: DUP4 00000639: DUP4 0000063a: PUSH2 0x0991 0000063d: JUMP 0000063e: JUMPDEST 0000063f: PUSH1 0x40 00000641: DUP1 00000642: MLOAD 00000643: DUP4 00000644: DUP2 00000645: MSTORE 00000646: SWAP1 00000647: MLOAD 00000648: PUSH1 0x01 0000064a: PUSH1 0x01 0000064c: PUSH1 0xa0 0000064e: SHL 0000064f: SUB 00000650: DUP6 00000651: AND 00000652: SWAP2 00000653: PUSH32 0xba8f3777cf908803bf1f3dd58e7f4b7d3de4dbe3c234c4ccab0975d98f7cd388 00000674: SWAP2 00000675: SWAP1 00000676: DUP2 00000677: SWAP1 00000678: SUB 00000679: PUSH1 0x20 0000067b: ADD 0000067c: SWAP1 0000067d: LOG2 0000067e: POP 0000067f: POP 00000680: POP 00000681: JUMP 00000682: JUMPDEST 00000683: PUSH1 0x00 00000685: PUSH15 0xc097ce7bc90715b34b9f1000000000 00000695: PUSH1 0x05 00000697: SLOAD 00000698: DUP4 00000699: MUL 0000069a: DUP2 0000069b: PUSH2 0x06a0 0000069e: JUMPI 0000069f: INVALID 000006a0: JUMPDEST 000006a1: DIV 000006a2: SWAP3 000006a3: SWAP2 000006a4: POP 000006a5: POP 000006a6: JUMP 000006a7: JUMPDEST 000006a8: PUSH1 0x01 000006aa: PUSH1 0x01 000006ac: PUSH1 0xa0 000006ae: SHL 000006af: SUB 000006b0: DUP2 000006b1: AND 000006b2: PUSH1 0x00 000006b4: SWAP1 000006b5: DUP2 000006b6: MSTORE 000006b7: PUSH1 0x03 000006b9: PUSH1 0x20 000006bb: MSTORE 000006bc: PUSH1 0x40 000006be: SWAP1 000006bf: KECCAK256 000006c0: SLOAD 000006c1: PUSH2 0x06c9 000006c4: JUMPI 000006c5: PUSH2 0x0867 000006c8: JUMP 000006c9: JUMPDEST 000006ca: PUSH1 0x00 000006cc: PUSH2 0x06d4 000006cf: DUP3 000006d0: PUSH2 0x0397 000006d3: JUMP 000006d4: JUMPDEST 000006d5: PUSH1 0x01 000006d7: PUSH1 0x01 000006d9: PUSH1 0xa0 000006db: SHL 000006dc: SUB 000006dd: DUP4 000006de: AND 000006df: PUSH1 0x00 000006e1: SWAP1 000006e2: DUP2 000006e3: MSTORE 000006e4: PUSH1 0x04 000006e6: PUSH1 0x20 000006e8: SWAP1 000006e9: DUP2 000006ea: MSTORE 000006eb: PUSH1 0x40 000006ed: DUP1 000006ee: DUP4 000006ef: KECCAK256 000006f0: PUSH1 0x01 000006f2: ADD 000006f3: DUP1 000006f4: SLOAD 000006f5: DUP6 000006f6: ADD 000006f7: SWAP1 000006f8: SSTORE 000006f9: PUSH1 0x03 000006fb: SWAP1 000006fc: SWAP2 000006fd: MSTORE 000006fe: SWAP1 000006ff: KECCAK256 00000700: SLOAD 00000701: SWAP1 00000702: SWAP2 00000703: POP 00000704: PUSH2 0x070c 00000707: SWAP1 00000708: PUSH2 0x0682 0000070b: JUMP 0000070c: JUMPDEST 0000070d: PUSH1 0x01 0000070f: PUSH1 0x01 00000711: PUSH1 0xa0 00000713: SHL 00000714: SUB 00000715: DUP4 00000716: AND 00000717: PUSH1 0x00 00000719: SWAP1 0000071a: DUP2 0000071b: MSTORE 0000071c: PUSH1 0x04 0000071e: PUSH1 0x20 00000720: MSTORE 00000721: PUSH1 0x40 00000723: SWAP1 00000724: KECCAK256 00000725: SSTORE 00000726: DUP1 00000727: ISZERO 00000728: PUSH2 0x0865 0000072b: JUMPI 0000072c: PUSH1 0x06 0000072e: DUP1 0000072f: SLOAD 00000730: DUP3 00000731: ADD 00000732: SWAP1 00000733: SSTORE 00000734: PUSH1 0x40 00000736: MLOAD 00000737: SELFBALANCE 00000738: SWAP1 00000739: PUSH1 0x00 0000073b: SWAP1 0000073c: PUSH1 0x01 0000073e: PUSH1 0x01 00000740: PUSH1 0xa0 00000742: SHL 00000743: SUB 00000744: DUP6 00000745: AND 00000746: SWAP1 00000747: DUP5 00000748: SWAP1 00000749: DUP4 0000074a: DUP2 0000074b: DUP2 0000074c: DUP2 0000074d: DUP6 0000074e: DUP8 0000074f: GAS 00000750: CALL 00000751: SWAP3 00000752: POP 00000753: POP 00000754: POP 00000755: RETURNDATASIZE 00000756: DUP1 00000757: PUSH1 0x00 00000759: DUP2 0000075a: EQ 0000075b: PUSH2 0x0780 0000075e: JUMPI 0000075f: PUSH1 0x40 00000761: MLOAD 00000762: SWAP2 00000763: POP 00000764: PUSH1 0x1f 00000766: NOT 00000767: PUSH1 0x3f 00000769: RETURNDATASIZE 0000076a: ADD 0000076b: AND 0000076c: DUP3 0000076d: ADD 0000076e: PUSH1 0x40 00000770: MSTORE 00000771: RETURNDATASIZE 00000772: DUP3 00000773: MSTORE 00000774: RETURNDATASIZE 00000775: PUSH1 0x00 00000777: PUSH1 0x20 00000779: DUP5 0000077a: ADD 0000077b: RETURNDATACOPY 0000077c: PUSH2 0x0785 0000077f: JUMP 00000780: JUMPDEST 00000781: PUSH1 0x60 00000783: SWAP2 00000784: POP 00000785: JUMPDEST 00000786: POP 00000787: POP 00000788: SWAP1 00000789: POP 0000078a: DUP1 0000078b: PUSH2 0x07db 0000078e: JUMPI 0000078f: PUSH1 0x40 00000791: DUP1 00000792: MLOAD 00000793: PUSH3 0x461bcd 00000797: PUSH1 0xe5 00000799: SHL 0000079a: DUP2 0000079b: MSTORE 0000079c: PUSH1 0x20 0000079e: PUSH1 0x04 000007a0: DUP3 000007a1: ADD 000007a2: MSTORE 000007a3: PUSH1 0x1a 000007a5: PUSH1 0x24 000007a7: DUP3 000007a8: ADD 000007a9: MSTORE 000007aa: PUSH32 0x444953543a20636f756c64206e6f742064697374726962757465000000000000 000007cb: PUSH1 0x44 000007cd: DUP3 000007ce: ADD 000007cf: MSTORE 000007d0: SWAP1 000007d1: MLOAD 000007d2: SWAP1 000007d3: DUP2 000007d4: SWAP1 000007d5: SUB 000007d6: PUSH1 0x64 000007d8: ADD 000007d9: SWAP1 000007da: REVERT 000007db: JUMPDEST 000007dc: DUP3 000007dd: DUP3 000007de: SUB 000007df: SELFBALANCE 000007e0: LT 000007e1: ISZERO 000007e2: PUSH2 0x0823 000007e5: JUMPI 000007e6: PUSH1 0x40 000007e8: DUP1 000007e9: MLOAD 000007ea: PUSH3 0x461bcd 000007ee: PUSH1 0xe5 000007f0: SHL 000007f1: DUP2 000007f2: MSTORE 000007f3: PUSH1 0x20 000007f5: PUSH1 0x04 000007f7: DUP3 000007f8: ADD 000007f9: MSTORE 000007fa: PUSH1 0x0e 000007fc: PUSH1 0x24 000007fe: DUP3 000007ff: ADD 00000800: MSTORE 00000801: PUSH14 0x08892a6a87440e8dede40daeac6d 00000810: PUSH1 0x93 00000812: SHL 00000813: PUSH1 0x44 00000815: DUP3 00000816: ADD 00000817: MSTORE 00000818: SWAP1 00000819: MLOAD 0000081a: SWAP1 0000081b: DUP2 0000081c: SWAP1 0000081d: SUB 0000081e: PUSH1 0x64 00000820: ADD 00000821: SWAP1 00000822: REVERT 00000823: JUMPDEST 00000824: PUSH1 0x40 00000826: DUP1 00000827: MLOAD 00000828: DUP5 00000829: DUP2 0000082a: MSTORE 0000082b: SWAP1 0000082c: MLOAD 0000082d: PUSH1 0x01 0000082f: PUSH1 0x01 00000831: PUSH1 0xa0 00000833: SHL 00000834: SUB 00000835: DUP7 00000836: AND 00000837: SWAP2 00000838: PUSH32 0xe8b160e373db99a103e0a2abfa029b9c3fc8b328984a1ead8a65ae68ae646db7 00000859: SWAP2 0000085a: SWAP1 0000085b: DUP2 0000085c: SWAP1 0000085d: SUB 0000085e: PUSH1 0x20 00000860: ADD 00000861: SWAP1 00000862: LOG2 00000863: POP 00000864: POP 00000865: JUMPDEST 00000866: POP 00000867: JUMPDEST 00000868: POP 00000869: JUMP 0000086a: JUMPDEST 0000086b: PUSH1 0x00 0000086d: DUP1 0000086e: DUP1 0000086f: PUSH2 0x087c 00000872: PUSH3 0x015180 00000876: DUP6 00000877: DIV 00000878: PUSH2 0x0a60 0000087b: JUMP 0000087c: JUMPDEST 0000087d: SWAP2 0000087e: SWAP7 0000087f: SWAP1 00000880: SWAP6 00000881: POP 00000882: SWAP1 00000883: SWAP4 00000884: POP 00000885: SWAP2 00000886: POP 00000887: POP 00000888: JUMP 00000889: JUMPDEST 0000088a: PUSH1 0x01 0000088c: PUSH1 0x01 0000088e: PUSH1 0xa0 00000890: SHL 00000891: SUB 00000892: DUP3 00000893: AND 00000894: PUSH1 0x00 00000896: SWAP1 00000897: DUP2 00000898: MSTORE 00000899: PUSH1 0x03 0000089b: PUSH1 0x20 0000089d: MSTORE 0000089e: PUSH1 0x40 000008a0: SWAP1 000008a1: KECCAK256 000008a2: SLOAD 000008a3: ISZERO 000008a4: DUP1 000008a5: ISZERO 000008a6: SWAP1 000008a7: PUSH2 0x08c8 000008aa: JUMPI 000008ab: POP 000008ac: PUSH1 0x01 000008ae: PUSH1 0x01 000008b0: PUSH1 0xa0 000008b2: SHL 000008b3: SUB 000008b4: DUP3 000008b5: AND 000008b6: PUSH1 0x00 000008b8: SWAP1 000008b9: DUP2 000008ba: MSTORE 000008bb: PUSH1 0x03 000008bd: PUSH1 0x20 000008bf: MSTORE 000008c0: PUSH1 0x40 000008c2: SWAP1 000008c3: KECCAK256 000008c4: SLOAD 000008c5: DUP2 000008c6: GT 000008c7: ISZERO 000008c8: JUMPDEST 000008c9: PUSH2 0x090d 000008cc: JUMPI 000008cd: PUSH1 0x40 000008cf: DUP1 000008d0: MLOAD 000008d1: PUSH3 0x461bcd 000008d5: PUSH1 0xe5 000008d7: SHL 000008d8: DUP2 000008d9: MSTORE 000008da: PUSH1 0x20 000008dc: PUSH1 0x04 000008de: DUP3 000008df: ADD 000008e0: MSTORE 000008e1: PUSH1 0x11 000008e3: PUSH1 0x24 000008e5: DUP3 000008e6: ADD 000008e7: MSTORE 000008e8: PUSH17 0x52454d4f56453a206e6f20736861726573 000008fa: PUSH1 0x78 000008fc: SHL 000008fd: PUSH1 0x44 000008ff: DUP3 00000900: ADD 00000901: MSTORE 00000902: SWAP1 00000903: MLOAD 00000904: SWAP1 00000905: DUP2 00000906: SWAP1 00000907: SUB 00000908: PUSH1 0x64 0000090a: ADD 0000090b: SWAP1 0000090c: REVERT 0000090d: JUMPDEST 0000090e: PUSH2 0x0916 00000911: DUP3 00000912: PUSH2 0x06a7 00000915: JUMP 00000916: JUMPDEST 00000917: PUSH1 0x02 00000919: DUP1 0000091a: SLOAD 0000091b: DUP3 0000091c: SWAP1 0000091d: SUB 0000091e: SWAP1 0000091f: SSTORE 00000920: PUSH1 0x01 00000922: PUSH1 0x01 00000924: PUSH1 0xa0 00000926: SHL 00000927: SUB 00000928: DUP3 00000929: AND 0000092a: PUSH1 0x00 0000092c: SWAP1 0000092d: DUP2 0000092e: MSTORE 0000092f: PUSH1 0x03 00000931: PUSH1 0x20 00000933: MSTORE 00000934: PUSH1 0x40 00000936: SWAP1 00000937: KECCAK256 00000938: DUP1 00000939: SLOAD 0000093a: DUP3 0000093b: SWAP1 0000093c: SUB 0000093d: SWAP1 0000093e: DUP2 0000093f: SWAP1 00000940: SSTORE 00000941: PUSH2 0x094f 00000944: JUMPI 00000945: PUSH1 0x01 00000947: DUP1 00000948: SLOAD 00000949: PUSH1 0x00 0000094b: NOT 0000094c: ADD 0000094d: SWAP1 0000094e: SSTORE 0000094f: JUMPDEST 00000950: PUSH1 0x01 00000952: PUSH1 0x01 00000954: PUSH1 0xa0 00000956: SHL 00000957: SUB 00000958: DUP3 00000959: AND 0000095a: PUSH1 0x00 0000095c: SWAP1 0000095d: DUP2 0000095e: MSTORE 0000095f: PUSH1 0x03 00000961: PUSH1 0x20 00000963: MSTORE 00000964: PUSH1 0x40 00000966: SWAP1 00000967: KECCAK256 00000968: SLOAD 00000969: PUSH2 0x0971 0000096c: SWAP1 0000096d: PUSH2 0x0682 00000970: JUMP 00000971: JUMPDEST 00000972: PUSH1 0x01 00000974: PUSH1 0x01 00000976: PUSH1 0xa0 00000978: SHL 00000979: SUB 0000097a: SWAP1 0000097b: SWAP3 0000097c: AND 0000097d: PUSH1 0x00 0000097f: SWAP1 00000980: DUP2 00000981: MSTORE 00000982: PUSH1 0x04 00000984: PUSH1 0x20 00000986: MSTORE 00000987: PUSH1 0x40 00000989: SWAP1 0000098a: KECCAK256 0000098b: SWAP2 0000098c: SWAP1 0000098d: SWAP2 0000098e: SSTORE 0000098f: POP 00000990: JUMP 00000991: JUMPDEST 00000992: PUSH1 0x01 00000994: PUSH1 0x01 00000996: PUSH1 0xa0 00000998: SHL 00000999: SUB 0000099a: DUP3 0000099b: AND 0000099c: PUSH1 0x00 0000099e: SWAP1 0000099f: DUP2 000009a0: MSTORE 000009a1: PUSH1 0x03 000009a3: PUSH1 0x20 000009a5: MSTORE 000009a6: PUSH1 0x40 000009a8: SWAP1 000009a9: KECCAK256 000009aa: SLOAD 000009ab: ISZERO 000009ac: PUSH2 0x09b8 000009af: JUMPI 000009b0: PUSH2 0x09b8 000009b3: DUP3 000009b4: PUSH2 0x06a7 000009b7: JUMP 000009b8: JUMPDEST 000009b9: PUSH1 0x01 000009bb: PUSH1 0x01 000009bd: PUSH1 0xa0 000009bf: SHL 000009c0: SUB 000009c1: DUP3 000009c2: AND 000009c3: PUSH1 0x00 000009c5: SWAP1 000009c6: DUP2 000009c7: MSTORE 000009c8: PUSH1 0x03 000009ca: PUSH1 0x20 000009cc: MSTORE 000009cd: PUSH1 0x40 000009cf: SWAP1 000009d0: KECCAK256 000009d1: DUP1 000009d2: SLOAD 000009d3: PUSH1 0x02 000009d5: DUP1 000009d6: SLOAD 000009d7: DUP5 000009d8: ADD 000009d9: SWAP1 000009da: SSTORE 000009db: DUP2 000009dc: SLOAD 000009dd: DUP4 000009de: ADD 000009df: DUP3 000009e0: SSTORE 000009e1: TIMESTAMP 000009e2: PUSH1 0x01 000009e4: SWAP1 000009e5: SWAP3 000009e6: ADD 000009e7: SWAP2 000009e8: SWAP1 000009e9: SWAP2 000009ea: SSTORE 000009eb: DUP1 000009ec: ISZERO 000009ed: DUP1 000009ee: ISZERO 000009ef: PUSH2 0x0a0f 000009f2: JUMPI 000009f3: POP 000009f4: PUSH1 0x01 000009f6: PUSH1 0x01 000009f8: PUSH1 0xa0 000009fa: SHL 000009fb: SUB 000009fc: DUP4 000009fd: AND 000009fe: PUSH1 0x00 00000a00: SWAP1 00000a01: DUP2 00000a02: MSTORE 00000a03: PUSH1 0x03 00000a05: PUSH1 0x20 00000a07: MSTORE 00000a08: PUSH1 0x40 00000a0a: SWAP1 00000a0b: KECCAK256 00000a0c: SLOAD 00000a0d: ISZERO 00000a0e: ISZERO 00000a0f: JUMPDEST 00000a10: ISZERO 00000a11: PUSH2 0x0a1d 00000a14: JUMPI 00000a15: PUSH1 0x01 00000a17: DUP1 00000a18: SLOAD 00000a19: DUP2 00000a1a: ADD 00000a1b: SWAP1 00000a1c: SSTORE 00000a1d: JUMPDEST 00000a1e: PUSH1 0x01 00000a20: PUSH1 0x01 00000a22: PUSH1 0xa0 00000a24: SHL 00000a25: SUB 00000a26: DUP4 00000a27: AND 00000a28: PUSH1 0x00 00000a2a: SWAP1 00000a2b: DUP2 00000a2c: MSTORE 00000a2d: PUSH1 0x03 00000a2f: PUSH1 0x20 00000a31: MSTORE 00000a32: PUSH1 0x40 00000a34: SWAP1 00000a35: KECCAK256 00000a36: SLOAD 00000a37: PUSH2 0x0a3f 00000a3a: SWAP1 00000a3b: PUSH2 0x0682 00000a3e: JUMP 00000a3f: JUMPDEST 00000a40: PUSH1 0x01 00000a42: PUSH1 0x01 00000a44: PUSH1 0xa0 00000a46: SHL 00000a47: SUB 00000a48: SWAP1 00000a49: SWAP4 00000a4a: AND 00000a4b: PUSH1 0x00 00000a4d: SWAP1 00000a4e: DUP2 00000a4f: MSTORE 00000a50: PUSH1 0x04 00000a52: PUSH1 0x20 00000a54: MSTORE 00000a55: PUSH1 0x40 00000a57: SWAP1 00000a58: KECCAK256 00000a59: SWAP3 00000a5a: SWAP1 00000a5b: SWAP3 00000a5c: SSTORE 00000a5d: POP 00000a5e: POP 00000a5f: JUMP 00000a60: JUMPDEST 00000a61: PUSH1 0x00 00000a63: DUP1 00000a64: DUP1 00000a65: DUP4 00000a66: PUSH3 0x264965 00000a6a: DUP2 00000a6b: ADD 00000a6c: DUP3 00000a6d: PUSH3 0x023ab1 00000a71: PUSH1 0x04 00000a73: DUP4 00000a74: MUL 00000a75: SDIV 00000a76: SWAP1 00000a77: POP 00000a78: PUSH1 0x04 00000a7a: PUSH1 0x03 00000a7c: PUSH3 0x023ab1 00000a80: DUP4 00000a81: MUL 00000a82: ADD 00000a83: SDIV 00000a84: SWAP1 00000a85: SWAP2 00000a86: SUB 00000a87: SWAP1 00000a88: PUSH1 0x00 00000a8a: PUSH3 0x164b09 00000a8e: PUSH2 0x0fa0 00000a91: PUSH1 0x01 00000a93: DUP6 00000a94: ADD 00000a95: MUL 00000a96: SDIV 00000a97: SWAP1 00000a98: POP 00000a99: PUSH1 0x04 00000a9b: PUSH2 0x05b5 00000a9e: DUP3 00000a9f: MUL 00000aa0: SDIV 00000aa1: DUP4 00000aa2: SUB 00000aa3: PUSH1 0x1f 00000aa5: ADD 00000aa6: SWAP3 00000aa7: POP 00000aa8: PUSH1 0x00 00000aaa: PUSH2 0x098f 00000aad: DUP5 00000aae: PUSH1 0x50 00000ab0: MUL 00000ab1: DUP2 00000ab2: PUSH2 0x0ab7 00000ab5: JUMPI 00000ab6: INVALID 00000ab7: JUMPDEST 00000ab8: SDIV 00000ab9: SWAP1 00000aba: POP 00000abb: PUSH1 0x00 00000abd: PUSH1 0x50 00000abf: PUSH2 0x098f 00000ac2: DUP4 00000ac3: MUL 00000ac4: SDIV 00000ac5: DUP6 00000ac6: SUB 00000ac7: SWAP1 00000ac8: POP 00000ac9: PUSH1 0x0b 00000acb: DUP3 00000acc: SDIV 00000acd: PUSH1 0x30 00000acf: NOT 00000ad0: SWAP5 00000ad1: SWAP1 00000ad2: SWAP5 00000ad3: ADD 00000ad4: PUSH1 0x64 00000ad6: MUL 00000ad7: SWAP3 00000ad8: SWAP1 00000ad9: SWAP3 00000ada: ADD 00000adb: DUP4 00000adc: ADD 00000add: SWAP10 00000ade: PUSH1 0x02 00000ae0: PUSH1 0x0c 00000ae2: SWAP1 00000ae3: SWAP5 00000ae4: MUL 00000ae5: SWAP1 00000ae6: SWAP2 00000ae7: SUB 00000ae8: SWAP3 00000ae9: SWAP1 00000aea: SWAP3 00000aeb: ADD 00000aec: SWAP8 00000aed: POP 00000aee: SWAP6 00000aef: POP 00000af0: SWAP4 00000af1: POP 00000af2: POP 00000af3: POP 00000af4: POP 00000af5: JUMP 00000af6: INVALID 00000af7: LOG1 00000af8: PUSH5 0x736f6c6343 00000afe: STOP 00000aff: SMOD 00000b00: MOD 00000b01: STOP 00000b02: EXP
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0x694ad60fd94470bdeecb1f954d99125989b206560b6d4626d71a2078d072edbd
call_targets:
0x300648a601c584e6379fa0d6a31cbbfcca6177e4
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x694ad60fd94470bdeecb1f954d99125989b206560b6d4626d71a2078d072edbd",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x300648a601c584e6379fa0d6a31cbbfcca6177e4"
],
"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": "0xd076eabc",
"selector": "0xd076eabc",
"calldata_variants": [
"0xd076eabc",
"0xd076eabc0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xefca2eed",
"selector": "0xefca2eed",
"calldata_variants": [
"0xefca2eed",
"0xefca2eed0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf04da65b",
"selector": "0xf04da65b",
"calldata_variants": [
"0xf04da65b",
"0xf04da65b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xfc0c546a",
"selector": "0xfc0c546a",
"calldata_variants": [
"0xfc0c546a",
"0xfc0c546a0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x89d96917",
"selector": "0x89d96917",
"calldata_variants": [
"0x89d96917",
"0x89d969170000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xb88a802f",
"selector": "0xb88a802f",
"calldata_variants": [
"0xb88a802f",
"0xb88a802f0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc7e1d0b1",
"selector": "0xc7e1d0b1",
"calldata_variants": [
"0xc7e1d0b1",
"0xc7e1d0b10000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x152111f7",
"selector": "0x152111f7",
"calldata_variants": [
"0x152111f7",
"0x152111f70000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1872,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 1,
"guards_detected": [],
"untrusted_call_count": 1
}
|
| high | other | detector | ETH value transfer possible | 55 | no | no |
viewtrace_id: 0x694ad60fd94470bdeecb1f954d99125989b206560b6d4626d71a2078d072edbd
call_targets:
0x300648a601c584e6379fa0d6a31cbbfcca6177e4
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x694ad60fd94470bdeecb1f954d99125989b206560b6d4626d71a2078d072edbd",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x300648a601c584e6379fa0d6a31cbbfcca6177e4"
],
"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": "0xd076eabc",
"selector": "0xd076eabc",
"calldata_variants": [
"0xd076eabc",
"0xd076eabc0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xefca2eed",
"selector": "0xefca2eed",
"calldata_variants": [
"0xefca2eed",
"0xefca2eed0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf04da65b",
"selector": "0xf04da65b",
"calldata_variants": [
"0xf04da65b",
"0xf04da65b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xfc0c546a",
"selector": "0xfc0c546a",
"calldata_variants": [
"0xfc0c546a",
"0xfc0c546a0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x89d96917",
"selector": "0x89d96917",
"calldata_variants": [
"0x89d96917",
"0x89d969170000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xb88a802f",
"selector": "0xb88a802f",
"calldata_variants": [
"0xb88a802f",
"0xb88a802f0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc7e1d0b1",
"selector": "0xc7e1d0b1",
"calldata_variants": [
"0xc7e1d0b1",
"0xc7e1d0b10000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x152111f7",
"selector": "0x152111f7",
"calldata_variants": [
"0x152111f7",
"0x152111f70000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1872,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 1,
"guards_detected": []
}
|