019b477e-c450-727d-857e-bc16e57c9ae3
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 |
|---|---|---|---|---|
| 25387 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 25388 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 90781 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 90782 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 90783 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 90784 | 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 0x0095 0000000c: JUMPI 0000000d: PUSH1 0x00 0000000f: CALLDATALOAD 00000010: PUSH1 0xe0 00000012: SHR 00000013: DUP1 00000014: PUSH4 0x9852595c 00000019: GT 0000001a: PUSH2 0x0059 0000001d: JUMPI 0000001e: DUP1 0000001f: PUSH4 0x9852595c 00000024: EQ 00000025: PUSH2 0x01c7 00000028: JUMPI 00000029: DUP1 0000002a: PUSH4 0xce7c2ac2 0000002f: EQ 00000030: PUSH2 0x01fd 00000033: JUMPI 00000034: DUP1 00000035: PUSH4 0xd79779b2 0000003a: EQ 0000003b: PUSH2 0x0233 0000003e: JUMPI 0000003f: DUP1 00000040: PUSH4 0xe33b7de3 00000045: EQ 00000046: PUSH2 0x0269 00000049: JUMPI 0000004a: DUP1 0000004b: PUSH4 0xf5cfed99 00000050: EQ 00000051: PUSH2 0x027e 00000054: JUMPI 00000055: PUSH1 0x00 00000057: DUP1 00000058: REVERT 00000059: JUMPDEST 0000005a: DUP1 0000005b: PUSH4 0x19165587 00000060: EQ 00000061: PUSH2 0x00e3 00000064: JUMPI 00000065: DUP1 00000066: PUSH4 0x3a98ef39 0000006b: EQ 0000006c: PUSH2 0x0105 0000006f: JUMPI 00000070: DUP1 00000071: PUSH4 0x406072a9 00000076: EQ 00000077: PUSH2 0x0129 0000007a: JUMPI 0000007b: DUP1 0000007c: PUSH4 0x48b75044 00000081: EQ 00000082: PUSH2 0x016f 00000085: JUMPI 00000086: DUP1 00000087: PUSH4 0x8b83209b 0000008c: EQ 0000008d: PUSH2 0x018f 00000090: JUMPI 00000091: PUSH1 0x00 00000093: DUP1 00000094: REVERT 00000095: JUMPDEST 00000096: CALLDATASIZE 00000097: PUSH2 0x00de 0000009a: JUMPI 0000009b: PUSH32 0x6ef95f06320e7a25a04a175ca677b7052bdd97131872c2192525a629f51be770 000000bc: CALLER 000000bd: PUSH1 0x40 000000bf: DUP1 000000c0: MLOAD 000000c1: PUSH1 0x01 000000c3: PUSH1 0x01 000000c5: PUSH1 0xa0 000000c7: SHL 000000c8: SUB 000000c9: SWAP1 000000ca: SWAP3 000000cb: AND 000000cc: DUP3 000000cd: MSTORE 000000ce: CALLVALUE 000000cf: PUSH1 0x20 000000d1: DUP4 000000d2: ADD 000000d3: MSTORE 000000d4: ADD 000000d5: PUSH1 0x40 000000d7: MLOAD 000000d8: DUP1 000000d9: SWAP2 000000da: SUB 000000db: SWAP1 000000dc: LOG1 000000dd: STOP 000000de: JUMPDEST 000000df: PUSH1 0x00 000000e1: DUP1 000000e2: REVERT 000000e3: JUMPDEST 000000e4: CALLVALUE 000000e5: DUP1 000000e6: ISZERO 000000e7: PUSH2 0x00ef 000000ea: JUMPI 000000eb: PUSH1 0x00 000000ed: DUP1 000000ee: REVERT 000000ef: JUMPDEST 000000f0: POP 000000f1: PUSH2 0x0103 000000f4: PUSH2 0x00fe 000000f7: CALLDATASIZE 000000f8: PUSH1 0x04 000000fa: PUSH2 0x09d7 000000fd: JUMP 000000fe: JUMPDEST 000000ff: PUSH2 0x029e 00000102: JUMP 00000103: JUMPDEST 00000104: STOP 00000105: JUMPDEST 00000106: CALLVALUE 00000107: DUP1 00000108: ISZERO 00000109: PUSH2 0x0111 0000010c: JUMPI 0000010d: PUSH1 0x00 0000010f: DUP1 00000110: REVERT 00000111: JUMPDEST 00000112: POP 00000113: PUSH1 0x00 00000115: SLOAD 00000116: JUMPDEST 00000117: PUSH1 0x40 00000119: MLOAD 0000011a: SWAP1 0000011b: DUP2 0000011c: MSTORE 0000011d: PUSH1 0x20 0000011f: ADD 00000120: JUMPDEST 00000121: PUSH1 0x40 00000123: MLOAD 00000124: DUP1 00000125: SWAP2 00000126: SUB 00000127: SWAP1 00000128: RETURN 00000129: JUMPDEST 0000012a: CALLVALUE 0000012b: DUP1 0000012c: ISZERO 0000012d: PUSH2 0x0135 00000130: JUMPI 00000131: PUSH1 0x00 00000133: DUP1 00000134: REVERT 00000135: JUMPDEST 00000136: POP 00000137: PUSH2 0x0116 0000013a: PUSH2 0x0144 0000013d: CALLDATASIZE 0000013e: PUSH1 0x04 00000140: PUSH2 0x09f4 00000143: JUMP 00000144: JUMPDEST 00000145: PUSH1 0x01 00000147: PUSH1 0x01 00000149: PUSH1 0xa0 0000014b: SHL 0000014c: SUB 0000014d: SWAP2 0000014e: DUP3 0000014f: AND 00000150: PUSH1 0x00 00000152: SWAP1 00000153: DUP2 00000154: MSTORE 00000155: PUSH1 0x06 00000157: PUSH1 0x20 00000159: SWAP1 0000015a: DUP2 0000015b: MSTORE 0000015c: PUSH1 0x40 0000015e: DUP1 0000015f: DUP4 00000160: KECCAK256 00000161: SWAP4 00000162: SWAP1 00000163: SWAP5 00000164: AND 00000165: DUP3 00000166: MSTORE 00000167: SWAP2 00000168: SWAP1 00000169: SWAP2 0000016a: MSTORE 0000016b: KECCAK256 0000016c: SLOAD 0000016d: SWAP1 0000016e: JUMP 0000016f: JUMPDEST 00000170: CALLVALUE 00000171: DUP1 00000172: ISZERO 00000173: PUSH2 0x017b 00000176: JUMPI 00000177: PUSH1 0x00 00000179: DUP1 0000017a: REVERT 0000017b: JUMPDEST 0000017c: POP 0000017d: PUSH2 0x0103 00000180: PUSH2 0x018a 00000183: CALLDATASIZE 00000184: PUSH1 0x04 00000186: PUSH2 0x09f4 00000189: JUMP 0000018a: JUMPDEST 0000018b: PUSH2 0x03d5 0000018e: JUMP 0000018f: JUMPDEST 00000190: CALLVALUE 00000191: DUP1 00000192: ISZERO 00000193: PUSH2 0x019b 00000196: JUMPI 00000197: PUSH1 0x00 00000199: DUP1 0000019a: REVERT 0000019b: JUMPDEST 0000019c: POP 0000019d: PUSH2 0x01af 000001a0: PUSH2 0x01aa 000001a3: CALLDATASIZE 000001a4: PUSH1 0x04 000001a6: PUSH2 0x0a2d 000001a9: JUMP 000001aa: JUMPDEST 000001ab: PUSH2 0x05ae 000001ae: JUMP 000001af: JUMPDEST 000001b0: PUSH1 0x40 000001b2: MLOAD 000001b3: PUSH1 0x01 000001b5: PUSH1 0x01 000001b7: PUSH1 0xa0 000001b9: SHL 000001ba: SUB 000001bb: SWAP1 000001bc: SWAP2 000001bd: AND 000001be: DUP2 000001bf: MSTORE 000001c0: PUSH1 0x20 000001c2: ADD 000001c3: PUSH2 0x0120 000001c6: JUMP 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 0x0116 000001d8: PUSH2 0x01e2 000001db: CALLDATASIZE 000001dc: PUSH1 0x04 000001de: PUSH2 0x09d7 000001e1: JUMP 000001e2: JUMPDEST 000001e3: PUSH1 0x01 000001e5: PUSH1 0x01 000001e7: PUSH1 0xa0 000001e9: SHL 000001ea: SUB 000001eb: AND 000001ec: PUSH1 0x00 000001ee: SWAP1 000001ef: DUP2 000001f0: MSTORE 000001f1: PUSH1 0x03 000001f3: PUSH1 0x20 000001f5: MSTORE 000001f6: PUSH1 0x40 000001f8: SWAP1 000001f9: KECCAK256 000001fa: SLOAD 000001fb: SWAP1 000001fc: JUMP 000001fd: JUMPDEST 000001fe: CALLVALUE 000001ff: DUP1 00000200: ISZERO 00000201: PUSH2 0x0209 00000204: JUMPI 00000205: PUSH1 0x00 00000207: DUP1 00000208: REVERT 00000209: JUMPDEST 0000020a: POP 0000020b: PUSH2 0x0116 0000020e: PUSH2 0x0218 00000211: CALLDATASIZE 00000212: PUSH1 0x04 00000214: PUSH2 0x09d7 00000217: JUMP 00000218: JUMPDEST 00000219: PUSH1 0x01 0000021b: PUSH1 0x01 0000021d: PUSH1 0xa0 0000021f: SHL 00000220: SUB 00000221: AND 00000222: PUSH1 0x00 00000224: SWAP1 00000225: DUP2 00000226: MSTORE 00000227: PUSH1 0x02 00000229: PUSH1 0x20 0000022b: MSTORE 0000022c: PUSH1 0x40 0000022e: SWAP1 0000022f: KECCAK256 00000230: SLOAD 00000231: SWAP1 00000232: JUMP 00000233: JUMPDEST 00000234: CALLVALUE 00000235: DUP1 00000236: ISZERO 00000237: PUSH2 0x023f 0000023a: JUMPI 0000023b: PUSH1 0x00 0000023d: DUP1 0000023e: REVERT 0000023f: JUMPDEST 00000240: POP 00000241: PUSH2 0x0116 00000244: PUSH2 0x024e 00000247: CALLDATASIZE 00000248: PUSH1 0x04 0000024a: PUSH2 0x09d7 0000024d: JUMP 0000024e: JUMPDEST 0000024f: PUSH1 0x01 00000251: PUSH1 0x01 00000253: PUSH1 0xa0 00000255: SHL 00000256: SUB 00000257: AND 00000258: PUSH1 0x00 0000025a: SWAP1 0000025b: DUP2 0000025c: MSTORE 0000025d: PUSH1 0x05 0000025f: PUSH1 0x20 00000261: MSTORE 00000262: PUSH1 0x40 00000264: SWAP1 00000265: KECCAK256 00000266: SLOAD 00000267: SWAP1 00000268: JUMP 00000269: JUMPDEST 0000026a: CALLVALUE 0000026b: DUP1 0000026c: ISZERO 0000026d: PUSH2 0x0275 00000270: JUMPI 00000271: PUSH1 0x00 00000273: DUP1 00000274: REVERT 00000275: JUMPDEST 00000276: POP 00000277: PUSH1 0x01 00000279: SLOAD 0000027a: PUSH2 0x0116 0000027d: JUMP 0000027e: JUMPDEST 0000027f: CALLVALUE 00000280: DUP1 00000281: ISZERO 00000282: PUSH2 0x028a 00000285: JUMPI 00000286: PUSH1 0x00 00000288: DUP1 00000289: REVERT 0000028a: JUMPDEST 0000028b: POP 0000028c: PUSH2 0x0116 0000028f: PUSH2 0x0299 00000292: CALLDATASIZE 00000293: PUSH1 0x04 00000295: PUSH2 0x09d7 00000298: JUMP 00000299: JUMPDEST 0000029a: PUSH2 0x05de 0000029d: JUMP 0000029e: JUMPDEST 0000029f: PUSH1 0x01 000002a1: PUSH1 0x01 000002a3: PUSH1 0xa0 000002a5: SHL 000002a6: SUB 000002a7: DUP2 000002a8: AND 000002a9: PUSH1 0x00 000002ab: SWAP1 000002ac: DUP2 000002ad: MSTORE 000002ae: PUSH1 0x02 000002b0: PUSH1 0x20 000002b2: MSTORE 000002b3: PUSH1 0x40 000002b5: SWAP1 000002b6: KECCAK256 000002b7: SLOAD 000002b8: PUSH2 0x02dc 000002bb: JUMPI 000002bc: PUSH1 0x40 000002be: MLOAD 000002bf: PUSH3 0x461bcd 000002c3: PUSH1 0xe5 000002c5: SHL 000002c6: DUP2 000002c7: MSTORE 000002c8: PUSH1 0x04 000002ca: ADD 000002cb: PUSH2 0x02d3 000002ce: SWAP1 000002cf: PUSH2 0x0a46 000002d2: JUMP 000002d3: JUMPDEST 000002d4: PUSH1 0x40 000002d6: MLOAD 000002d7: DUP1 000002d8: SWAP2 000002d9: SUB 000002da: SWAP1 000002db: REVERT 000002dc: JUMPDEST 000002dd: PUSH1 0x00 000002df: PUSH2 0x02e7 000002e2: PUSH1 0x01 000002e4: SLOAD 000002e5: SWAP1 000002e6: JUMP 000002e7: JUMPDEST 000002e8: PUSH2 0x02f1 000002eb: SWAP1 000002ec: SELFBALANCE 000002ed: PUSH2 0x0aa2 000002f0: JUMP 000002f1: JUMPDEST 000002f2: SWAP1 000002f3: POP 000002f4: PUSH1 0x00 000002f6: PUSH2 0x031e 000002f9: DUP4 000002fa: DUP4 000002fb: PUSH2 0x0319 000002fe: DUP7 000002ff: PUSH1 0x01 00000301: PUSH1 0x01 00000303: PUSH1 0xa0 00000305: SHL 00000306: SUB 00000307: AND 00000308: PUSH1 0x00 0000030a: SWAP1 0000030b: DUP2 0000030c: MSTORE 0000030d: PUSH1 0x03 0000030f: PUSH1 0x20 00000311: MSTORE 00000312: PUSH1 0x40 00000314: SWAP1 00000315: KECCAK256 00000316: SLOAD 00000317: SWAP1 00000318: JUMP 00000319: JUMPDEST 0000031a: PUSH2 0x0644 0000031d: JUMP 0000031e: JUMPDEST 0000031f: SWAP1 00000320: POP 00000321: DUP1 00000322: PUSH2 0x033d 00000325: JUMPI 00000326: PUSH1 0x40 00000328: MLOAD 00000329: PUSH3 0x461bcd 0000032d: PUSH1 0xe5 0000032f: SHL 00000330: DUP2 00000331: MSTORE 00000332: PUSH1 0x04 00000334: ADD 00000335: PUSH2 0x02d3 00000338: SWAP1 00000339: PUSH2 0x0aba 0000033c: JUMP 0000033d: JUMPDEST 0000033e: PUSH1 0x01 00000340: PUSH1 0x01 00000342: PUSH1 0xa0 00000344: SHL 00000345: SUB 00000346: DUP4 00000347: AND 00000348: PUSH1 0x00 0000034a: SWAP1 0000034b: DUP2 0000034c: MSTORE 0000034d: PUSH1 0x03 0000034f: PUSH1 0x20 00000351: MSTORE 00000352: PUSH1 0x40 00000354: DUP2 00000355: KECCAK256 00000356: DUP1 00000357: SLOAD 00000358: DUP4 00000359: SWAP3 0000035a: SWAP1 0000035b: PUSH2 0x0365 0000035e: SWAP1 0000035f: DUP5 00000360: SWAP1 00000361: PUSH2 0x0aa2 00000364: JUMP 00000365: JUMPDEST 00000366: SWAP3 00000367: POP 00000368: POP 00000369: DUP2 0000036a: SWAP1 0000036b: SSTORE 0000036c: POP 0000036d: DUP1 0000036e: PUSH1 0x01 00000370: PUSH1 0x00 00000372: DUP3 00000373: DUP3 00000374: SLOAD 00000375: PUSH2 0x037e 00000378: SWAP2 00000379: SWAP1 0000037a: PUSH2 0x0aa2 0000037d: JUMP 0000037e: JUMPDEST 0000037f: SWAP1 00000380: SWAP2 00000381: SSTORE 00000382: POP 00000383: PUSH2 0x038e 00000386: SWAP1 00000387: POP 00000388: DUP4 00000389: DUP3 0000038a: PUSH2 0x0689 0000038d: JUMP 0000038e: JUMPDEST 0000038f: PUSH1 0x40 00000391: DUP1 00000392: MLOAD 00000393: PUSH1 0x01 00000395: PUSH1 0x01 00000397: PUSH1 0xa0 00000399: SHL 0000039a: SUB 0000039b: DUP6 0000039c: AND 0000039d: DUP2 0000039e: MSTORE 0000039f: PUSH1 0x20 000003a1: DUP2 000003a2: ADD 000003a3: DUP4 000003a4: SWAP1 000003a5: MSTORE 000003a6: PUSH32 0xdf20fd1e76bc69d672e4814fafb2c449bba3a5369d8359adf9e05e6fde87b056 000003c7: SWAP2 000003c8: ADD 000003c9: PUSH1 0x40 000003cb: MLOAD 000003cc: DUP1 000003cd: SWAP2 000003ce: SUB 000003cf: SWAP1 000003d0: LOG1 000003d1: POP 000003d2: POP 000003d3: POP 000003d4: JUMP 000003d5: JUMPDEST 000003d6: PUSH1 0x01 000003d8: PUSH1 0x01 000003da: PUSH1 0xa0 000003dc: SHL 000003dd: SUB 000003de: DUP2 000003df: AND 000003e0: PUSH1 0x00 000003e2: SWAP1 000003e3: DUP2 000003e4: MSTORE 000003e5: PUSH1 0x02 000003e7: PUSH1 0x20 000003e9: MSTORE 000003ea: PUSH1 0x40 000003ec: SWAP1 000003ed: KECCAK256 000003ee: SLOAD 000003ef: PUSH2 0x040a 000003f2: JUMPI 000003f3: PUSH1 0x40 000003f5: MLOAD 000003f6: PUSH3 0x461bcd 000003fa: PUSH1 0xe5 000003fc: SHL 000003fd: DUP2 000003fe: MSTORE 000003ff: PUSH1 0x04 00000401: ADD 00000402: PUSH2 0x02d3 00000405: SWAP1 00000406: PUSH2 0x0a46 00000409: JUMP 0000040a: JUMPDEST 0000040b: PUSH1 0x01 0000040d: PUSH1 0x01 0000040f: PUSH1 0xa0 00000411: SHL 00000412: SUB 00000413: DUP3 00000414: AND 00000415: PUSH1 0x00 00000417: SWAP1 00000418: DUP2 00000419: MSTORE 0000041a: PUSH1 0x05 0000041c: PUSH1 0x20 0000041e: MSTORE 0000041f: PUSH1 0x40 00000421: DUP2 00000422: KECCAK256 00000423: SLOAD 00000424: PUSH1 0x40 00000426: MLOAD 00000427: PUSH4 0x70a08231 0000042c: PUSH1 0xe0 0000042e: SHL 0000042f: DUP2 00000430: MSTORE 00000431: ADDRESS 00000432: PUSH1 0x04 00000434: DUP3 00000435: ADD 00000436: MSTORE 00000437: PUSH1 0x01 00000439: PUSH1 0x01 0000043b: PUSH1 0xa0 0000043d: SHL 0000043e: SUB 0000043f: DUP6 00000440: AND 00000441: SWAP1 00000442: PUSH4 0x70a08231 00000447: SWAP1 00000448: PUSH1 0x24 0000044a: ADD 0000044b: PUSH1 0x20 0000044d: PUSH1 0x40 0000044f: MLOAD 00000450: DUP1 00000451: DUP4 00000452: SUB 00000453: DUP2 00000454: DUP7 00000455: GAS 00000456: STATICCALL 00000457: ISZERO 00000458: DUP1 00000459: ISZERO 0000045a: PUSH2 0x0467 0000045d: JUMPI 0000045e: RETURNDATASIZE 0000045f: PUSH1 0x00 00000461: DUP1 00000462: RETURNDATACOPY 00000463: RETURNDATASIZE 00000464: PUSH1 0x00 00000466: REVERT 00000467: JUMPDEST 00000468: POP 00000469: POP 0000046a: POP 0000046b: POP 0000046c: PUSH1 0x40 0000046e: MLOAD 0000046f: RETURNDATASIZE 00000470: PUSH1 0x1f 00000472: NOT 00000473: PUSH1 0x1f 00000475: DUP3 00000476: ADD 00000477: AND 00000478: DUP3 00000479: ADD 0000047a: DUP1 0000047b: PUSH1 0x40 0000047d: MSTORE 0000047e: POP 0000047f: DUP2 00000480: ADD 00000481: SWAP1 00000482: PUSH2 0x048b 00000485: SWAP2 00000486: SWAP1 00000487: PUSH2 0x0b05 0000048a: JUMP 0000048b: JUMPDEST 0000048c: PUSH2 0x0495 0000048f: SWAP2 00000490: SWAP1 00000491: PUSH2 0x0aa2 00000494: JUMP 00000495: JUMPDEST 00000496: SWAP1 00000497: POP 00000498: PUSH1 0x00 0000049a: PUSH2 0x04ce 0000049d: DUP4 0000049e: DUP4 0000049f: PUSH2 0x0319 000004a2: DUP8 000004a3: DUP8 000004a4: PUSH1 0x01 000004a6: PUSH1 0x01 000004a8: PUSH1 0xa0 000004aa: SHL 000004ab: SUB 000004ac: SWAP2 000004ad: DUP3 000004ae: AND 000004af: PUSH1 0x00 000004b1: SWAP1 000004b2: DUP2 000004b3: MSTORE 000004b4: PUSH1 0x06 000004b6: PUSH1 0x20 000004b8: SWAP1 000004b9: DUP2 000004ba: MSTORE 000004bb: PUSH1 0x40 000004bd: DUP1 000004be: DUP4 000004bf: KECCAK256 000004c0: SWAP4 000004c1: SWAP1 000004c2: SWAP5 000004c3: AND 000004c4: DUP3 000004c5: MSTORE 000004c6: SWAP2 000004c7: SWAP1 000004c8: SWAP2 000004c9: MSTORE 000004ca: KECCAK256 000004cb: SLOAD 000004cc: SWAP1 000004cd: JUMP 000004ce: JUMPDEST 000004cf: SWAP1 000004d0: POP 000004d1: DUP1 000004d2: PUSH2 0x04ed 000004d5: JUMPI 000004d6: PUSH1 0x40 000004d8: MLOAD 000004d9: PUSH3 0x461bcd 000004dd: PUSH1 0xe5 000004df: SHL 000004e0: DUP2 000004e1: MSTORE 000004e2: PUSH1 0x04 000004e4: ADD 000004e5: PUSH2 0x02d3 000004e8: SWAP1 000004e9: PUSH2 0x0aba 000004ec: JUMP 000004ed: JUMPDEST 000004ee: PUSH1 0x01 000004f0: PUSH1 0x01 000004f2: PUSH1 0xa0 000004f4: SHL 000004f5: SUB 000004f6: DUP1 000004f7: DUP6 000004f8: AND 000004f9: PUSH1 0x00 000004fb: SWAP1 000004fc: DUP2 000004fd: MSTORE 000004fe: PUSH1 0x06 00000500: PUSH1 0x20 00000502: SWAP1 00000503: DUP2 00000504: MSTORE 00000505: PUSH1 0x40 00000507: DUP1 00000508: DUP4 00000509: KECCAK256 0000050a: SWAP4 0000050b: DUP8 0000050c: AND 0000050d: DUP4 0000050e: MSTORE 0000050f: SWAP3 00000510: SWAP1 00000511: MSTORE 00000512: SWAP1 00000513: DUP2 00000514: KECCAK256 00000515: DUP1 00000516: SLOAD 00000517: DUP4 00000518: SWAP3 00000519: SWAP1 0000051a: PUSH2 0x0524 0000051d: SWAP1 0000051e: DUP5 0000051f: SWAP1 00000520: PUSH2 0x0aa2 00000523: JUMP 00000524: JUMPDEST 00000525: SWAP1 00000526: SWAP2 00000527: SSTORE 00000528: POP 00000529: POP 0000052a: PUSH1 0x01 0000052c: PUSH1 0x01 0000052e: PUSH1 0xa0 00000530: SHL 00000531: SUB 00000532: DUP5 00000533: AND 00000534: PUSH1 0x00 00000536: SWAP1 00000537: DUP2 00000538: MSTORE 00000539: PUSH1 0x05 0000053b: PUSH1 0x20 0000053d: MSTORE 0000053e: PUSH1 0x40 00000540: DUP2 00000541: KECCAK256 00000542: DUP1 00000543: SLOAD 00000544: DUP4 00000545: SWAP3 00000546: SWAP1 00000547: PUSH2 0x0551 0000054a: SWAP1 0000054b: DUP5 0000054c: SWAP1 0000054d: PUSH2 0x0aa2 00000550: JUMP 00000551: JUMPDEST 00000552: SWAP1 00000553: SWAP2 00000554: SSTORE 00000555: POP 00000556: PUSH2 0x0562 00000559: SWAP1 0000055a: POP 0000055b: DUP5 0000055c: DUP5 0000055d: DUP4 0000055e: PUSH2 0x07a7 00000561: JUMP 00000562: JUMPDEST 00000563: PUSH1 0x40 00000565: DUP1 00000566: MLOAD 00000567: PUSH1 0x01 00000569: PUSH1 0x01 0000056b: PUSH1 0xa0 0000056d: SHL 0000056e: SUB 0000056f: DUP6 00000570: DUP2 00000571: AND 00000572: DUP3 00000573: MSTORE 00000574: PUSH1 0x20 00000576: DUP3 00000577: ADD 00000578: DUP5 00000579: SWAP1 0000057a: MSTORE 0000057b: DUP7 0000057c: AND 0000057d: SWAP2 0000057e: PUSH32 0x3be5b7a71e84ed12875d241991c70855ac5817d847039e17a9d895c1ceb0f18a 0000059f: SWAP2 000005a0: ADD 000005a1: PUSH1 0x40 000005a3: MLOAD 000005a4: DUP1 000005a5: SWAP2 000005a6: SUB 000005a7: SWAP1 000005a8: LOG2 000005a9: POP 000005aa: POP 000005ab: POP 000005ac: POP 000005ad: JUMP 000005ae: JUMPDEST 000005af: PUSH1 0x00 000005b1: PUSH1 0x04 000005b3: DUP3 000005b4: DUP2 000005b5: SLOAD 000005b6: DUP2 000005b7: LT 000005b8: PUSH2 0x05c3 000005bb: JUMPI 000005bc: PUSH2 0x05c3 000005bf: PUSH2 0x0b1e 000005c2: JUMP 000005c3: JUMPDEST 000005c4: PUSH1 0x00 000005c6: SWAP2 000005c7: DUP3 000005c8: MSTORE 000005c9: PUSH1 0x20 000005cb: SWAP1 000005cc: SWAP2 000005cd: KECCAK256 000005ce: ADD 000005cf: SLOAD 000005d0: PUSH1 0x01 000005d2: PUSH1 0x01 000005d4: PUSH1 0xa0 000005d6: SHL 000005d7: SUB 000005d8: AND 000005d9: SWAP3 000005da: SWAP2 000005db: POP 000005dc: POP 000005dd: JUMP 000005de: JUMPDEST 000005df: PUSH1 0x01 000005e1: PUSH1 0x01 000005e3: PUSH1 0xa0 000005e5: SHL 000005e6: SUB 000005e7: DUP2 000005e8: AND 000005e9: PUSH1 0x00 000005eb: SWAP1 000005ec: DUP2 000005ed: MSTORE 000005ee: PUSH1 0x03 000005f0: PUSH1 0x20 000005f2: MSTORE 000005f3: PUSH1 0x40 000005f5: DUP2 000005f6: KECCAK256 000005f7: SLOAD 000005f8: PUSH1 0x00 000005fa: SLOAD 000005fb: PUSH1 0x01 000005fd: PUSH1 0x01 000005ff: PUSH1 0xa0 00000601: SHL 00000602: SUB 00000603: DUP5 00000604: AND 00000605: PUSH1 0x00 00000607: SWAP1 00000608: DUP2 00000609: MSTORE 0000060a: PUSH1 0x02 0000060c: PUSH1 0x20 0000060e: MSTORE 0000060f: PUSH1 0x40 00000611: SWAP1 00000612: KECCAK256 00000613: SLOAD 00000614: PUSH1 0x01 00000616: SLOAD 00000617: PUSH2 0x0620 0000061a: SWAP1 0000061b: SELFBALANCE 0000061c: PUSH2 0x0aa2 0000061f: JUMP 00000620: JUMPDEST 00000621: PUSH2 0x062a 00000624: SWAP2 00000625: SWAP1 00000626: PUSH2 0x0b34 00000629: JUMP 0000062a: JUMPDEST 0000062b: PUSH2 0x0634 0000062e: SWAP2 0000062f: SWAP1 00000630: PUSH2 0x0b53 00000633: JUMP 00000634: JUMPDEST 00000635: PUSH2 0x063e 00000638: SWAP2 00000639: SWAP1 0000063a: PUSH2 0x0b75 0000063d: JUMP 0000063e: JUMPDEST 0000063f: SWAP3 00000640: SWAP2 00000641: POP 00000642: POP 00000643: JUMP 00000644: JUMPDEST 00000645: PUSH1 0x00 00000647: DUP1 00000648: SLOAD 00000649: PUSH1 0x01 0000064b: PUSH1 0x01 0000064d: PUSH1 0xa0 0000064f: SHL 00000650: SUB 00000651: DUP6 00000652: AND 00000653: DUP3 00000654: MSTORE 00000655: PUSH1 0x02 00000657: PUSH1 0x20 00000659: MSTORE 0000065a: PUSH1 0x40 0000065c: DUP3 0000065d: KECCAK256 0000065e: SLOAD 0000065f: DUP4 00000660: SWAP2 00000661: SWAP1 00000662: PUSH2 0x066b 00000665: SWAP1 00000666: DUP7 00000667: PUSH2 0x0b34 0000066a: JUMP 0000066b: JUMPDEST 0000066c: PUSH2 0x0675 0000066f: SWAP2 00000670: SWAP1 00000671: PUSH2 0x0b53 00000674: JUMP 00000675: JUMPDEST 00000676: PUSH2 0x067f 00000679: SWAP2 0000067a: SWAP1 0000067b: PUSH2 0x0b75 0000067e: JUMP 0000067f: JUMPDEST 00000680: SWAP1 00000681: POP 00000682: JUMPDEST 00000683: SWAP4 00000684: SWAP3 00000685: POP 00000686: POP 00000687: POP 00000688: JUMP 00000689: JUMPDEST 0000068a: DUP1 0000068b: SELFBALANCE 0000068c: LT 0000068d: ISZERO 0000068e: PUSH2 0x06d9 00000691: JUMPI 00000692: PUSH1 0x40 00000694: MLOAD 00000695: PUSH3 0x461bcd 00000699: PUSH1 0xe5 0000069b: SHL 0000069c: DUP2 0000069d: MSTORE 0000069e: PUSH1 0x20 000006a0: PUSH1 0x04 000006a2: DUP3 000006a3: ADD 000006a4: MSTORE 000006a5: PUSH1 0x1d 000006a7: PUSH1 0x24 000006a9: DUP3 000006aa: ADD 000006ab: MSTORE 000006ac: PUSH32 0x416464726573733a20696e73756666696369656e742062616c616e6365000000 000006cd: PUSH1 0x44 000006cf: DUP3 000006d0: ADD 000006d1: MSTORE 000006d2: PUSH1 0x64 000006d4: ADD 000006d5: PUSH2 0x02d3 000006d8: JUMP 000006d9: JUMPDEST 000006da: PUSH1 0x00 000006dc: DUP3 000006dd: PUSH1 0x01 000006df: PUSH1 0x01 000006e1: PUSH1 0xa0 000006e3: SHL 000006e4: SUB 000006e5: AND 000006e6: DUP3 000006e7: PUSH1 0x40 000006e9: MLOAD 000006ea: PUSH1 0x00 000006ec: PUSH1 0x40 000006ee: MLOAD 000006ef: DUP1 000006f0: DUP4 000006f1: SUB 000006f2: DUP2 000006f3: DUP6 000006f4: DUP8 000006f5: GAS 000006f6: CALL 000006f7: SWAP3 000006f8: POP 000006f9: POP 000006fa: POP 000006fb: RETURNDATASIZE 000006fc: DUP1 000006fd: PUSH1 0x00 000006ff: DUP2 00000700: EQ 00000701: PUSH2 0x0726 00000704: JUMPI 00000705: PUSH1 0x40 00000707: MLOAD 00000708: SWAP2 00000709: POP 0000070a: PUSH1 0x1f 0000070c: NOT 0000070d: PUSH1 0x3f 0000070f: RETURNDATASIZE 00000710: ADD 00000711: AND 00000712: DUP3 00000713: ADD 00000714: PUSH1 0x40 00000716: MSTORE 00000717: RETURNDATASIZE 00000718: DUP3 00000719: MSTORE 0000071a: RETURNDATASIZE 0000071b: PUSH1 0x00 0000071d: PUSH1 0x20 0000071f: DUP5 00000720: ADD 00000721: RETURNDATACOPY 00000722: PUSH2 0x072b 00000725: JUMP 00000726: JUMPDEST 00000727: PUSH1 0x60 00000729: SWAP2 0000072a: POP 0000072b: JUMPDEST 0000072c: POP 0000072d: POP 0000072e: SWAP1 0000072f: POP 00000730: DUP1 00000731: PUSH2 0x07a2 00000734: JUMPI 00000735: PUSH1 0x40 00000737: MLOAD 00000738: PUSH3 0x461bcd 0000073c: PUSH1 0xe5 0000073e: SHL 0000073f: DUP2 00000740: MSTORE 00000741: PUSH1 0x20 00000743: PUSH1 0x04 00000745: DUP3 00000746: ADD 00000747: MSTORE 00000748: PUSH1 0x3a 0000074a: PUSH1 0x24 0000074c: DUP3 0000074d: ADD 0000074e: MSTORE 0000074f: PUSH32 0x416464726573733a20756e61626c6520746f2073656e642076616c75652c2072 00000770: PUSH1 0x44 00000772: DUP3 00000773: ADD 00000774: MSTORE 00000775: PUSH32 0x6563697069656e74206d61792068617665207265766572746564000000000000 00000796: PUSH1 0x64 00000798: DUP3 00000799: ADD 0000079a: MSTORE 0000079b: PUSH1 0x84 0000079d: ADD 0000079e: PUSH2 0x02d3 000007a1: JUMP 000007a2: JUMPDEST 000007a3: POP 000007a4: POP 000007a5: POP 000007a6: JUMP 000007a7: JUMPDEST 000007a8: PUSH1 0x40 000007aa: DUP1 000007ab: MLOAD 000007ac: PUSH1 0x01 000007ae: PUSH1 0x01 000007b0: PUSH1 0xa0 000007b2: SHL 000007b3: SUB 000007b4: DUP5 000007b5: DUP2 000007b6: AND 000007b7: PUSH1 0x24 000007b9: DUP4 000007ba: ADD 000007bb: MSTORE 000007bc: PUSH1 0x44 000007be: DUP1 000007bf: DUP4 000007c0: ADD 000007c1: DUP6 000007c2: SWAP1 000007c3: MSTORE 000007c4: DUP4 000007c5: MLOAD 000007c6: DUP1 000007c7: DUP5 000007c8: SUB 000007c9: SWAP1 000007ca: SWAP2 000007cb: ADD 000007cc: DUP2 000007cd: MSTORE 000007ce: PUSH1 0x64 000007d0: SWAP1 000007d1: SWAP3 000007d2: ADD 000007d3: DUP4 000007d4: MSTORE 000007d5: PUSH1 0x20 000007d7: DUP1 000007d8: DUP4 000007d9: ADD 000007da: DUP1 000007db: MLOAD 000007dc: PUSH1 0x01 000007de: PUSH1 0x01 000007e0: PUSH1 0xe0 000007e2: SHL 000007e3: SUB 000007e4: AND 000007e5: PUSH4 0xa9059cbb 000007ea: PUSH1 0xe0 000007ec: SHL 000007ed: OR 000007ee: SWAP1 000007ef: MSTORE 000007f0: DUP4 000007f1: MLOAD 000007f2: DUP1 000007f3: DUP6 000007f4: ADD 000007f5: SWAP1 000007f6: SWAP5 000007f7: MSTORE 000007f8: DUP1 000007f9: DUP5 000007fa: MSTORE 000007fb: PUSH32 0x5361666545524332303a206c6f772d6c6576656c2063616c6c206661696c6564 0000081c: SWAP1 0000081d: DUP5 0000081e: ADD 0000081f: MSTORE 00000820: PUSH2 0x07a2 00000823: SWAP3 00000824: DUP7 00000825: SWAP3 00000826: SWAP2 00000827: PUSH1 0x00 00000829: SWAP2 0000082a: PUSH2 0x0837 0000082d: SWAP2 0000082e: DUP6 0000082f: AND 00000830: SWAP1 00000831: DUP5 00000832: SWAP1 00000833: PUSH2 0x08b4 00000836: JUMP 00000837: JUMPDEST 00000838: DUP1 00000839: MLOAD 0000083a: SWAP1 0000083b: SWAP2 0000083c: POP 0000083d: ISZERO 0000083e: PUSH2 0x07a2 00000841: JUMPI 00000842: DUP1 00000843: DUP1 00000844: PUSH1 0x20 00000846: ADD 00000847: SWAP1 00000848: MLOAD 00000849: DUP2 0000084a: ADD 0000084b: SWAP1 0000084c: PUSH2 0x0855 0000084f: SWAP2 00000850: SWAP1 00000851: PUSH2 0x0b8c 00000854: JUMP 00000855: JUMPDEST 00000856: PUSH2 0x07a2 00000859: JUMPI 0000085a: PUSH1 0x40 0000085c: MLOAD 0000085d: PUSH3 0x461bcd 00000861: PUSH1 0xe5 00000863: SHL 00000864: DUP2 00000865: MSTORE 00000866: PUSH1 0x20 00000868: PUSH1 0x04 0000086a: DUP3 0000086b: ADD 0000086c: MSTORE 0000086d: PUSH1 0x2a 0000086f: PUSH1 0x24 00000871: DUP3 00000872: ADD 00000873: MSTORE 00000874: PUSH32 0x5361666545524332303a204552433230206f7065726174696f6e20646964206e 00000895: PUSH1 0x44 00000897: DUP3 00000898: ADD 00000899: MSTORE 0000089a: PUSH10 0x1bdd081cdd58d8d95959 000008a5: PUSH1 0xb2 000008a7: SHL 000008a8: PUSH1 0x64 000008aa: DUP3 000008ab: ADD 000008ac: MSTORE 000008ad: PUSH1 0x84 000008af: ADD 000008b0: PUSH2 0x02d3 000008b3: JUMP 000008b4: JUMPDEST 000008b5: PUSH1 0x60 000008b7: PUSH2 0x067f 000008ba: DUP5 000008bb: DUP5 000008bc: PUSH1 0x00 000008be: DUP6 000008bf: DUP6 000008c0: DUP5 000008c1: EXTCODESIZE 000008c2: PUSH2 0x090d 000008c5: JUMPI 000008c6: PUSH1 0x40 000008c8: MLOAD 000008c9: PUSH3 0x461bcd 000008cd: PUSH1 0xe5 000008cf: SHL 000008d0: DUP2 000008d1: MSTORE 000008d2: PUSH1 0x20 000008d4: PUSH1 0x04 000008d6: DUP3 000008d7: ADD 000008d8: MSTORE 000008d9: PUSH1 0x1d 000008db: PUSH1 0x24 000008dd: DUP3 000008de: ADD 000008df: MSTORE 000008e0: PUSH32 0x416464726573733a2063616c6c20746f206e6f6e2d636f6e7472616374000000 00000901: PUSH1 0x44 00000903: DUP3 00000904: ADD 00000905: MSTORE 00000906: PUSH1 0x64 00000908: ADD 00000909: PUSH2 0x02d3 0000090c: JUMP 0000090d: JUMPDEST 0000090e: PUSH1 0x00 00000910: DUP1 00000911: DUP7 00000912: PUSH1 0x01 00000914: PUSH1 0x01 00000916: PUSH1 0xa0 00000918: SHL 00000919: SUB 0000091a: AND 0000091b: DUP6 0000091c: DUP8 0000091d: PUSH1 0x40 0000091f: MLOAD 00000920: PUSH2 0x0929 00000923: SWAP2 00000924: SWAP1 00000925: PUSH2 0x0bde 00000928: JUMP 00000929: JUMPDEST 0000092a: PUSH1 0x00 0000092c: PUSH1 0x40 0000092e: MLOAD 0000092f: DUP1 00000930: DUP4 00000931: SUB 00000932: DUP2 00000933: DUP6 00000934: DUP8 00000935: GAS 00000936: CALL 00000937: SWAP3 00000938: POP 00000939: POP 0000093a: POP 0000093b: RETURNDATASIZE 0000093c: DUP1 0000093d: PUSH1 0x00 0000093f: DUP2 00000940: EQ 00000941: PUSH2 0x0966 00000944: JUMPI 00000945: PUSH1 0x40 00000947: MLOAD 00000948: SWAP2 00000949: POP 0000094a: PUSH1 0x1f 0000094c: NOT 0000094d: PUSH1 0x3f 0000094f: RETURNDATASIZE 00000950: ADD 00000951: AND 00000952: DUP3 00000953: ADD 00000954: PUSH1 0x40 00000956: MSTORE 00000957: RETURNDATASIZE 00000958: DUP3 00000959: MSTORE 0000095a: RETURNDATASIZE 0000095b: PUSH1 0x00 0000095d: PUSH1 0x20 0000095f: DUP5 00000960: ADD 00000961: RETURNDATACOPY 00000962: PUSH2 0x096b 00000965: JUMP 00000966: JUMPDEST 00000967: PUSH1 0x60 00000969: SWAP2 0000096a: POP 0000096b: JUMPDEST 0000096c: POP 0000096d: SWAP2 0000096e: POP 0000096f: SWAP2 00000970: POP 00000971: PUSH2 0x097b 00000974: DUP3 00000975: DUP3 00000976: DUP7 00000977: PUSH2 0x0986 0000097a: JUMP 0000097b: JUMPDEST 0000097c: SWAP8 0000097d: SWAP7 0000097e: POP 0000097f: POP 00000980: POP 00000981: POP 00000982: POP 00000983: POP 00000984: POP 00000985: JUMP 00000986: JUMPDEST 00000987: PUSH1 0x60 00000989: DUP4 0000098a: ISZERO 0000098b: PUSH2 0x0995 0000098e: JUMPI 0000098f: POP 00000990: DUP2 00000991: PUSH2 0x0682 00000994: JUMP 00000995: JUMPDEST 00000996: DUP3 00000997: MLOAD 00000998: ISZERO 00000999: PUSH2 0x09a5 0000099c: JUMPI 0000099d: DUP3 0000099e: MLOAD 0000099f: DUP1 000009a0: DUP5 000009a1: PUSH1 0x20 000009a3: ADD 000009a4: REVERT 000009a5: JUMPDEST 000009a6: DUP2 000009a7: PUSH1 0x40 000009a9: MLOAD 000009aa: PUSH3 0x461bcd 000009ae: PUSH1 0xe5 000009b0: SHL 000009b1: DUP2 000009b2: MSTORE 000009b3: PUSH1 0x04 000009b5: ADD 000009b6: PUSH2 0x02d3 000009b9: SWAP2 000009ba: SWAP1 000009bb: PUSH2 0x0bfa 000009be: JUMP 000009bf: JUMPDEST 000009c0: PUSH1 0x01 000009c2: PUSH1 0x01 000009c4: PUSH1 0xa0 000009c6: SHL 000009c7: SUB 000009c8: DUP2 000009c9: AND 000009ca: DUP2 000009cb: EQ 000009cc: PUSH2 0x09d4 000009cf: JUMPI 000009d0: PUSH1 0x00 000009d2: DUP1 000009d3: REVERT 000009d4: JUMPDEST 000009d5: POP 000009d6: JUMP 000009d7: JUMPDEST 000009d8: PUSH1 0x00 000009da: PUSH1 0x20 000009dc: DUP3 000009dd: DUP5 000009de: SUB 000009df: SLT 000009e0: ISZERO 000009e1: PUSH2 0x09e9 000009e4: JUMPI 000009e5: PUSH1 0x00 000009e7: DUP1 000009e8: REVERT 000009e9: JUMPDEST 000009ea: DUP2 000009eb: CALLDATALOAD 000009ec: PUSH2 0x0682 000009ef: DUP2 000009f0: PUSH2 0x09bf 000009f3: JUMP 000009f4: JUMPDEST 000009f5: PUSH1 0x00 000009f7: DUP1 000009f8: PUSH1 0x40 000009fa: DUP4 000009fb: DUP6 000009fc: SUB 000009fd: SLT 000009fe: ISZERO 000009ff: PUSH2 0x0a07 00000a02: JUMPI 00000a03: PUSH1 0x00 00000a05: DUP1 00000a06: REVERT 00000a07: JUMPDEST 00000a08: DUP3 00000a09: CALLDATALOAD 00000a0a: PUSH2 0x0a12 00000a0d: DUP2 00000a0e: PUSH2 0x09bf 00000a11: JUMP 00000a12: JUMPDEST 00000a13: SWAP2 00000a14: POP 00000a15: PUSH1 0x20 00000a17: DUP4 00000a18: ADD 00000a19: CALLDATALOAD 00000a1a: PUSH2 0x0a22 00000a1d: DUP2 00000a1e: PUSH2 0x09bf 00000a21: JUMP 00000a22: JUMPDEST 00000a23: DUP1 00000a24: SWAP2 00000a25: POP 00000a26: POP 00000a27: SWAP3 00000a28: POP 00000a29: SWAP3 00000a2a: SWAP1 00000a2b: POP 00000a2c: JUMP 00000a2d: JUMPDEST 00000a2e: PUSH1 0x00 00000a30: PUSH1 0x20 00000a32: DUP3 00000a33: DUP5 00000a34: SUB 00000a35: SLT 00000a36: ISZERO 00000a37: PUSH2 0x0a3f 00000a3a: JUMPI 00000a3b: PUSH1 0x00 00000a3d: DUP1 00000a3e: REVERT 00000a3f: JUMPDEST 00000a40: POP 00000a41: CALLDATALOAD 00000a42: SWAP2 00000a43: SWAP1 00000a44: POP 00000a45: JUMP 00000a46: JUMPDEST 00000a47: PUSH1 0x20 00000a49: DUP1 00000a4a: DUP3 00000a4b: MSTORE 00000a4c: PUSH1 0x26 00000a4e: SWAP1 00000a4f: DUP3 00000a50: ADD 00000a51: MSTORE 00000a52: PUSH32 0x5061796d656e7453706c69747465723a206163636f756e7420686173206e6f20 00000a73: PUSH1 0x40 00000a75: DUP3 00000a76: ADD 00000a77: MSTORE 00000a78: PUSH6 0x736861726573 00000a7f: PUSH1 0xd0 00000a81: SHL 00000a82: PUSH1 0x60 00000a84: DUP3 00000a85: ADD 00000a86: MSTORE 00000a87: PUSH1 0x80 00000a89: ADD 00000a8a: SWAP1 00000a8b: JUMP 00000a8c: JUMPDEST 00000a8d: PUSH4 0x4e487b71 00000a92: PUSH1 0xe0 00000a94: SHL 00000a95: PUSH1 0x00 00000a97: MSTORE 00000a98: PUSH1 0x11 00000a9a: PUSH1 0x04 00000a9c: MSTORE 00000a9d: PUSH1 0x24 00000a9f: PUSH1 0x00 00000aa1: REVERT 00000aa2: JUMPDEST 00000aa3: PUSH1 0x00 00000aa5: DUP3 00000aa6: NOT 00000aa7: DUP3 00000aa8: GT 00000aa9: ISZERO 00000aaa: PUSH2 0x0ab5 00000aad: JUMPI 00000aae: PUSH2 0x0ab5 00000ab1: PUSH2 0x0a8c 00000ab4: JUMP 00000ab5: JUMPDEST 00000ab6: POP 00000ab7: ADD 00000ab8: SWAP1 00000ab9: JUMP 00000aba: JUMPDEST 00000abb: PUSH1 0x20 00000abd: DUP1 00000abe: DUP3 00000abf: MSTORE 00000ac0: PUSH1 0x2b 00000ac2: SWAP1 00000ac3: DUP3 00000ac4: ADD 00000ac5: MSTORE 00000ac6: PUSH32 0x5061796d656e7453706c69747465723a206163636f756e74206973206e6f7420 00000ae7: PUSH1 0x40 00000ae9: DUP3 00000aea: ADD 00000aeb: MSTORE 00000aec: PUSH11 0x191d59481c185e5b595b9d 00000af8: PUSH1 0xaa 00000afa: SHL 00000afb: PUSH1 0x60 00000afd: DUP3 00000afe: ADD 00000aff: MSTORE 00000b00: PUSH1 0x80 00000b02: ADD 00000b03: SWAP1 00000b04: JUMP 00000b05: JUMPDEST 00000b06: PUSH1 0x00 00000b08: PUSH1 0x20 00000b0a: DUP3 00000b0b: DUP5 00000b0c: SUB 00000b0d: SLT 00000b0e: ISZERO 00000b0f: PUSH2 0x0b17 00000b12: JUMPI 00000b13: PUSH1 0x00 00000b15: DUP1 00000b16: REVERT 00000b17: JUMPDEST 00000b18: POP 00000b19: MLOAD 00000b1a: SWAP2 00000b1b: SWAP1 00000b1c: POP 00000b1d: JUMP 00000b1e: JUMPDEST 00000b1f: PUSH4 0x4e487b71 00000b24: PUSH1 0xe0 00000b26: SHL 00000b27: PUSH1 0x00 00000b29: MSTORE 00000b2a: PUSH1 0x32 00000b2c: PUSH1 0x04 00000b2e: MSTORE 00000b2f: PUSH1 0x24 00000b31: PUSH1 0x00 00000b33: REVERT 00000b34: JUMPDEST 00000b35: PUSH1 0x00 00000b37: DUP2 00000b38: PUSH1 0x00 00000b3a: NOT 00000b3b: DIV 00000b3c: DUP4 00000b3d: GT 00000b3e: DUP3 00000b3f: ISZERO 00000b40: ISZERO 00000b41: AND 00000b42: ISZERO 00000b43: PUSH2 0x0b4e 00000b46: JUMPI 00000b47: PUSH2 0x0b4e 00000b4a: PUSH2 0x0a8c 00000b4d: JUMP 00000b4e: JUMPDEST 00000b4f: POP 00000b50: MUL 00000b51: SWAP1 00000b52: JUMP 00000b53: JUMPDEST 00000b54: PUSH1 0x00 00000b56: DUP3 00000b57: PUSH2 0x0b70 00000b5a: JUMPI 00000b5b: PUSH4 0x4e487b71 00000b60: PUSH1 0xe0 00000b62: SHL 00000b63: PUSH1 0x00 00000b65: MSTORE 00000b66: PUSH1 0x12 00000b68: PUSH1 0x04 00000b6a: MSTORE 00000b6b: PUSH1 0x24 00000b6d: PUSH1 0x00 00000b6f: REVERT 00000b70: JUMPDEST 00000b71: POP 00000b72: DIV 00000b73: SWAP1 00000b74: JUMP 00000b75: JUMPDEST 00000b76: PUSH1 0x00 00000b78: DUP3 00000b79: DUP3 00000b7a: LT 00000b7b: ISZERO 00000b7c: PUSH2 0x0b87 00000b7f: JUMPI 00000b80: PUSH2 0x0b87 00000b83: PUSH2 0x0a8c 00000b86: JUMP 00000b87: JUMPDEST 00000b88: POP 00000b89: SUB 00000b8a: SWAP1 00000b8b: JUMP 00000b8c: JUMPDEST 00000b8d: PUSH1 0x00 00000b8f: PUSH1 0x20 00000b91: DUP3 00000b92: DUP5 00000b93: SUB 00000b94: SLT 00000b95: ISZERO 00000b96: PUSH2 0x0b9e 00000b99: JUMPI 00000b9a: PUSH1 0x00 00000b9c: DUP1 00000b9d: REVERT 00000b9e: JUMPDEST 00000b9f: DUP2 00000ba0: MLOAD 00000ba1: DUP1 00000ba2: ISZERO 00000ba3: ISZERO 00000ba4: DUP2 00000ba5: EQ 00000ba6: PUSH2 0x0682 00000ba9: JUMPI 00000baa: PUSH1 0x00 00000bac: DUP1 00000bad: REVERT 00000bae: JUMPDEST 00000baf: PUSH1 0x00 00000bb1: JUMPDEST 00000bb2: DUP4 00000bb3: DUP2 00000bb4: LT 00000bb5: ISZERO 00000bb6: PUSH2 0x0bc9 00000bb9: JUMPI 00000bba: DUP2 00000bbb: DUP2 00000bbc: ADD 00000bbd: MLOAD 00000bbe: DUP4 00000bbf: DUP3 00000bc0: ADD 00000bc1: MSTORE 00000bc2: PUSH1 0x20 00000bc4: ADD 00000bc5: PUSH2 0x0bb1 00000bc8: JUMP 00000bc9: JUMPDEST 00000bca: DUP4 00000bcb: DUP2 00000bcc: GT 00000bcd: ISZERO 00000bce: PUSH2 0x0bd8 00000bd1: JUMPI 00000bd2: PUSH1 0x00 00000bd4: DUP5 00000bd5: DUP5 00000bd6: ADD 00000bd7: MSTORE 00000bd8: JUMPDEST 00000bd9: POP 00000bda: POP 00000bdb: POP 00000bdc: POP 00000bdd: JUMP 00000bde: JUMPDEST 00000bdf: PUSH1 0x00 00000be1: DUP3 00000be2: MLOAD 00000be3: PUSH2 0x0bf0 00000be6: DUP2 00000be7: DUP5 00000be8: PUSH1 0x20 00000bea: DUP8 00000beb: ADD 00000bec: PUSH2 0x0bae 00000bef: JUMP 00000bf0: JUMPDEST 00000bf1: SWAP2 00000bf2: SWAP1 00000bf3: SWAP2 00000bf4: ADD 00000bf5: SWAP3 00000bf6: SWAP2 00000bf7: POP 00000bf8: POP 00000bf9: JUMP 00000bfa: JUMPDEST 00000bfb: PUSH1 0x20 00000bfd: DUP2 00000bfe: MSTORE 00000bff: PUSH1 0x00 00000c01: DUP3 00000c02: MLOAD 00000c03: DUP1 00000c04: PUSH1 0x20 00000c06: DUP5 00000c07: ADD 00000c08: MSTORE 00000c09: PUSH2 0x0c19 00000c0c: DUP2 00000c0d: PUSH1 0x40 00000c0f: DUP6 00000c10: ADD 00000c11: PUSH1 0x20 00000c13: DUP8 00000c14: ADD 00000c15: PUSH2 0x0bae 00000c18: JUMP 00000c19: JUMPDEST 00000c1a: PUSH1 0x1f 00000c1c: ADD 00000c1d: PUSH1 0x1f 00000c1f: NOT 00000c20: AND 00000c21: SWAP2 00000c22: SWAP1 00000c23: SWAP2 00000c24: ADD 00000c25: PUSH1 0x40 00000c27: ADD 00000c28: SWAP3 00000c29: SWAP2 00000c2a: POP 00000c2b: POP 00000c2c: JUMP 00000c2d: INVALID 00000c2e: LOG2 00000c2f: PUSH5 0x6970667358 00000c35: UNKNOWN(0x22) 00000c36: SLT 00000c37: KECCAK256 00000c38: UNKNOWN(0xA9) 00000c39: NOT 00000c3a: CALLDATASIZE 00000c3b: CALL 00000c3c: UNKNOWN(0xCD) 00000c3d: UNKNOWN(0xC7) 00000c3e: UNKNOWN(0xC1) 00000c3f: UNKNOWN(0xB6) 00000c40: TSTORE 00000c41: UNKNOWN(0xAD) 00000c42: MUL 00000c43: UNKNOWN(0xE9) 00000c44: DUP9 00000c45: PUSH30
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0xe94c2dacdeea727409365ee3aec8768ad798e600dd9a4eb70a0dfce95ec1cee9
call_targets:
0xd8cdf872d42c71acecc5872815ccd125bc482d3a
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xe94c2dacdeea727409365ee3aec8768ad798e600dd9a4eb70a0dfce95ec1cee9",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xd8cdf872d42c71acecc5872815ccd125bc482d3a"
],
"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": "0x9852595c",
"selector": "0x9852595c",
"calldata_variants": [
"0x9852595c",
"0x9852595c0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xce7c2ac2",
"selector": "0xce7c2ac2",
"calldata_variants": [
"0xce7c2ac2",
"0xce7c2ac20000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd79779b2",
"selector": "0xd79779b2",
"calldata_variants": [
"0xd79779b2",
"0xd79779b20000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe33b7de3",
"selector": "0xe33b7de3",
"calldata_variants": [
"0xe33b7de3",
"0xe33b7de30000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf5cfed99",
"selector": "0xf5cfed99",
"calldata_variants": [
"0xf5cfed99",
"0xf5cfed990000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x19165587",
"selector": "0x19165587",
"calldata_variants": [
"0x19165587",
"0x191655870000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3a98ef39",
"selector": "0x3a98ef39",
"calldata_variants": [
"0x3a98ef39",
"0x3a98ef390000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x406072a9",
"selector": "0x406072a9",
"calldata_variants": [
"0x406072a9",
"0x406072a90000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1782,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2358,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 3131,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 3,
"guards_detected": [],
"untrusted_call_count": 3
}
|
| high | other | detector | ETH value transfer possible | 55 | no | no |
viewtrace_id: 0xe94c2dacdeea727409365ee3aec8768ad798e600dd9a4eb70a0dfce95ec1cee9
call_targets:
0xd8cdf872d42c71acecc5872815ccd125bc482d3a
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xe94c2dacdeea727409365ee3aec8768ad798e600dd9a4eb70a0dfce95ec1cee9",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xd8cdf872d42c71acecc5872815ccd125bc482d3a"
],
"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": "0x9852595c",
"selector": "0x9852595c",
"calldata_variants": [
"0x9852595c",
"0x9852595c0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xce7c2ac2",
"selector": "0xce7c2ac2",
"calldata_variants": [
"0xce7c2ac2",
"0xce7c2ac20000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd79779b2",
"selector": "0xd79779b2",
"calldata_variants": [
"0xd79779b2",
"0xd79779b20000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe33b7de3",
"selector": "0xe33b7de3",
"calldata_variants": [
"0xe33b7de3",
"0xe33b7de30000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf5cfed99",
"selector": "0xf5cfed99",
"calldata_variants": [
"0xf5cfed99",
"0xf5cfed990000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x19165587",
"selector": "0x19165587",
"calldata_variants": [
"0x19165587",
"0x191655870000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3a98ef39",
"selector": "0x3a98ef39",
"calldata_variants": [
"0x3a98ef39",
"0x3a98ef390000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x406072a9",
"selector": "0x406072a9",
"calldata_variants": [
"0x406072a9",
"0x406072a90000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1782,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2358,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 3131,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 3,
"guards_detected": []
}
|