019b477e-c315-7344-92f9-d54ea7345a3e
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 |
|---|---|---|---|---|
| 25159 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 25160 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 91201 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 91202 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 91203 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 91204 | 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 0x015f 0000000c: JUMPI 0000000d: PUSH1 0x00 0000000f: CALLDATALOAD 00000010: PUSH1 0xe0 00000012: SHR 00000013: DUP1 00000014: PUSH4 0x8da5cb5b 00000019: GT 0000001a: PUSH2 0x00c0 0000001d: JUMPI 0000001e: DUP1 0000001f: PUSH4 0xe8b7155d 00000024: GT 00000025: PUSH2 0x0074 00000028: JUMPI 00000029: DUP1 0000002a: PUSH4 0xf2fde38b 0000002f: GT 00000030: PUSH2 0x0059 00000033: JUMPI 00000034: DUP1 00000035: PUSH4 0xf2fde38b 0000003a: EQ 0000003b: PUSH2 0x038d 0000003e: JUMPI 0000003f: DUP1 00000040: PUSH4 0xf7c2beb6 00000045: EQ 00000046: PUSH2 0x03ad 00000049: JUMPI 0000004a: DUP1 0000004b: PUSH4 0xf8e93ef9 00000050: EQ 00000051: PUSH2 0x03cd 00000054: JUMPI 00000055: PUSH1 0x00 00000057: DUP1 00000058: REVERT 00000059: JUMPDEST 0000005a: DUP1 0000005b: PUSH4 0xe8b7155d 00000060: EQ 00000061: PUSH2 0x034c 00000064: JUMPI 00000065: DUP1 00000066: PUSH4 0xeff3c4e7 0000006b: EQ 0000006c: PUSH2 0x036c 0000006f: JUMPI 00000070: PUSH1 0x00 00000072: DUP1 00000073: REVERT 00000074: JUMPDEST 00000075: DUP1 00000076: PUSH4 0x996517cf 0000007b: GT 0000007c: PUSH2 0x00a5 0000007f: JUMPI 00000080: DUP1 00000081: PUSH4 0x996517cf 00000086: EQ 00000087: PUSH2 0x0300 0000008a: JUMPI 0000008b: DUP1 0000008c: PUSH4 0x9e6a1d7d 00000091: EQ 00000092: PUSH2 0x0316 00000095: JUMPI 00000096: DUP1 00000097: PUSH4 0xa0f44c92 0000009c: EQ 0000009d: PUSH2 0x0336 000000a0: JUMPI 000000a1: PUSH1 0x00 000000a3: DUP1 000000a4: REVERT 000000a5: JUMPDEST 000000a6: DUP1 000000a7: PUSH4 0x8da5cb5b 000000ac: EQ 000000ad: PUSH2 0x02c2 000000b0: JUMPI 000000b1: DUP1 000000b2: PUSH4 0x96d69165 000000b7: EQ 000000b8: PUSH2 0x02e0 000000bb: JUMPI 000000bc: PUSH1 0x00 000000be: DUP1 000000bf: REVERT 000000c0: JUMPDEST 000000c1: DUP1 000000c2: PUSH4 0x6a61e5fc 000000c7: GT 000000c8: PUSH2 0x0117 000000cb: JUMPI 000000cc: DUP1 000000cd: PUSH4 0x749679c3 000000d2: GT 000000d3: PUSH2 0x00fc 000000d6: JUMPI 000000d7: DUP1 000000d8: PUSH4 0x749679c3 000000dd: EQ 000000de: PUSH2 0x025e 000000e1: JUMPI 000000e2: DUP1 000000e3: PUSH4 0x7ff9b596 000000e8: EQ 000000e9: PUSH2 0x027e 000000ec: JUMPI 000000ed: DUP1 000000ee: PUSH4 0x8d557d52 000000f3: EQ 000000f4: PUSH2 0x02a2 000000f7: JUMPI 000000f8: PUSH1 0x00 000000fa: DUP1 000000fb: REVERT 000000fc: JUMPDEST 000000fd: DUP1 000000fe: PUSH4 0x6a61e5fc 00000103: EQ 00000104: PUSH2 0x0229 00000107: JUMPI 00000108: DUP1 00000109: PUSH4 0x715018a6 0000010e: EQ 0000010f: PUSH2 0x0249 00000112: JUMPI 00000113: PUSH1 0x00 00000115: DUP1 00000116: REVERT 00000117: JUMPDEST 00000118: DUP1 00000119: PUSH4 0x3ccfd60b 0000011e: GT 0000011f: PUSH2 0x0148 00000122: JUMPI 00000123: DUP1 00000124: PUSH4 0x3ccfd60b 00000129: EQ 0000012a: PUSH2 0x01d2 0000012d: JUMPI 0000012e: DUP1 0000012f: PUSH4 0x477b8020 00000134: EQ 00000135: PUSH2 0x01e9 00000138: JUMPI 00000139: DUP1 0000013a: PUSH4 0x53a3c608 0000013f: EQ 00000140: PUSH2 0x0209 00000143: JUMPI 00000144: PUSH1 0x00 00000146: DUP1 00000147: REVERT 00000148: JUMPDEST 00000149: DUP1 0000014a: PUSH4 0x24bbbbae 0000014f: EQ 00000150: PUSH2 0x0164 00000153: JUMPI 00000154: DUP1 00000155: PUSH4 0x328d9765 0000015a: EQ 0000015b: PUSH2 0x01a1 0000015e: JUMPI 0000015f: JUMPDEST 00000160: PUSH1 0x00 00000162: DUP1 00000163: REVERT 00000164: JUMPDEST 00000165: CALLVALUE 00000166: DUP1 00000167: ISZERO 00000168: PUSH2 0x0170 0000016b: JUMPI 0000016c: PUSH1 0x00 0000016e: DUP1 0000016f: REVERT 00000170: JUMPDEST 00000171: POP 00000172: PUSH1 0x05 00000174: SLOAD 00000175: PUSH2 0x0184 00000178: SWAP1 00000179: PUSH1 0x01 0000017b: PUSH1 0x01 0000017d: PUSH1 0xa0 0000017f: SHL 00000180: SUB 00000181: AND 00000182: DUP2 00000183: JUMP 00000184: JUMPDEST 00000185: PUSH1 0x40 00000187: MLOAD 00000188: PUSH1 0x01 0000018a: PUSH1 0x01 0000018c: PUSH1 0xa0 0000018e: SHL 0000018f: SUB 00000190: SWAP1 00000191: SWAP2 00000192: AND 00000193: DUP2 00000194: MSTORE 00000195: PUSH1 0x20 00000197: ADD 00000198: JUMPDEST 00000199: PUSH1 0x40 0000019b: MLOAD 0000019c: DUP1 0000019d: SWAP2 0000019e: SUB 0000019f: SWAP1 000001a0: RETURN 000001a1: JUMPDEST 000001a2: CALLVALUE 000001a3: DUP1 000001a4: ISZERO 000001a5: PUSH2 0x01ad 000001a8: JUMPI 000001a9: PUSH1 0x00 000001ab: DUP1 000001ac: REVERT 000001ad: JUMPDEST 000001ae: POP 000001af: PUSH1 0x05 000001b1: SLOAD 000001b2: PUSH2 0x01c2 000001b5: SWAP1 000001b6: PUSH1 0x01 000001b8: PUSH1 0xa8 000001ba: SHL 000001bb: SWAP1 000001bc: DIV 000001bd: PUSH1 0xff 000001bf: AND 000001c0: DUP2 000001c1: JUMP 000001c2: JUMPDEST 000001c3: PUSH1 0x40 000001c5: MLOAD 000001c6: SWAP1 000001c7: ISZERO 000001c8: ISZERO 000001c9: DUP2 000001ca: MSTORE 000001cb: PUSH1 0x20 000001cd: ADD 000001ce: PUSH2 0x0198 000001d1: JUMP 000001d2: JUMPDEST 000001d3: CALLVALUE 000001d4: DUP1 000001d5: ISZERO 000001d6: PUSH2 0x01de 000001d9: JUMPI 000001da: PUSH1 0x00 000001dc: DUP1 000001dd: REVERT 000001de: JUMPDEST 000001df: POP 000001e0: PUSH2 0x01e7 000001e3: PUSH2 0x03e0 000001e6: JUMP 000001e7: JUMPDEST 000001e8: STOP 000001e9: JUMPDEST 000001ea: CALLVALUE 000001eb: DUP1 000001ec: ISZERO 000001ed: PUSH2 0x01f5 000001f0: JUMPI 000001f1: PUSH1 0x00 000001f3: DUP1 000001f4: REVERT 000001f5: JUMPDEST 000001f6: POP 000001f7: PUSH1 0x03 000001f9: SLOAD 000001fa: PUSH2 0x0184 000001fd: SWAP1 000001fe: PUSH1 0x01 00000200: PUSH1 0x01 00000202: PUSH1 0xa0 00000204: SHL 00000205: SUB 00000206: AND 00000207: DUP2 00000208: JUMP 00000209: JUMPDEST 0000020a: CALLVALUE 0000020b: DUP1 0000020c: ISZERO 0000020d: PUSH2 0x0215 00000210: JUMPI 00000211: PUSH1 0x00 00000213: DUP1 00000214: REVERT 00000215: JUMPDEST 00000216: POP 00000217: PUSH2 0x01e7 0000021a: PUSH2 0x0224 0000021d: CALLDATASIZE 0000021e: PUSH1 0x04 00000220: PUSH2 0x13a0 00000223: JUMP 00000224: JUMPDEST 00000225: PUSH2 0x0529 00000228: JUMP 00000229: JUMPDEST 0000022a: CALLVALUE 0000022b: DUP1 0000022c: ISZERO 0000022d: PUSH2 0x0235 00000230: JUMPI 00000231: PUSH1 0x00 00000233: DUP1 00000234: REVERT 00000235: JUMPDEST 00000236: POP 00000237: PUSH2 0x01e7 0000023a: PUSH2 0x0244 0000023d: CALLDATASIZE 0000023e: PUSH1 0x04 00000240: PUSH2 0x13c9 00000243: JUMP 00000244: JUMPDEST 00000245: PUSH2 0x061d 00000248: JUMP 00000249: JUMPDEST 0000024a: CALLVALUE 0000024b: DUP1 0000024c: ISZERO 0000024d: PUSH2 0x0255 00000250: JUMPI 00000251: PUSH1 0x00 00000253: DUP1 00000254: REVERT 00000255: JUMPDEST 00000256: POP 00000257: PUSH2 0x01e7 0000025a: PUSH2 0x06cc 0000025d: JUMP 0000025e: JUMPDEST 0000025f: CALLVALUE 00000260: DUP1 00000261: ISZERO 00000262: PUSH2 0x026a 00000265: JUMPI 00000266: PUSH1 0x00 00000268: DUP1 00000269: REVERT 0000026a: JUMPDEST 0000026b: POP 0000026c: PUSH1 0x04 0000026e: SLOAD 0000026f: PUSH2 0x0184 00000272: SWAP1 00000273: PUSH1 0x01 00000275: PUSH1 0x01 00000277: PUSH1 0xa0 00000279: SHL 0000027a: SUB 0000027b: AND 0000027c: DUP2 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 0x0294 0000028f: PUSH1 0x06 00000291: SLOAD 00000292: DUP2 00000293: JUMP 00000294: JUMPDEST 00000295: PUSH1 0x40 00000297: MLOAD 00000298: SWAP1 00000299: DUP2 0000029a: MSTORE 0000029b: PUSH1 0x20 0000029d: ADD 0000029e: PUSH2 0x0198 000002a1: JUMP 000002a2: JUMPDEST 000002a3: CALLVALUE 000002a4: DUP1 000002a5: ISZERO 000002a6: PUSH2 0x02ae 000002a9: JUMPI 000002aa: PUSH1 0x00 000002ac: DUP1 000002ad: REVERT 000002ae: JUMPDEST 000002af: POP 000002b0: PUSH2 0x01e7 000002b3: PUSH2 0x02bd 000002b6: CALLDATASIZE 000002b7: PUSH1 0x04 000002b9: PUSH2 0x13a0 000002bc: JUMP 000002bd: JUMPDEST 000002be: PUSH2 0x0732 000002c1: JUMP 000002c2: JUMPDEST 000002c3: CALLVALUE 000002c4: DUP1 000002c5: ISZERO 000002c6: PUSH2 0x02ce 000002c9: JUMPI 000002ca: PUSH1 0x00 000002cc: DUP1 000002cd: REVERT 000002ce: JUMPDEST 000002cf: POP 000002d0: PUSH1 0x00 000002d2: SLOAD 000002d3: PUSH1 0x01 000002d5: PUSH1 0x01 000002d7: PUSH1 0xa0 000002d9: SHL 000002da: SUB 000002db: AND 000002dc: PUSH2 0x0184 000002df: JUMP 000002e0: JUMPDEST 000002e1: CALLVALUE 000002e2: DUP1 000002e3: ISZERO 000002e4: PUSH2 0x02ec 000002e7: JUMPI 000002e8: PUSH1 0x00 000002ea: DUP1 000002eb: REVERT 000002ec: JUMPDEST 000002ed: POP 000002ee: PUSH2 0x01e7 000002f1: PUSH2 0x02fb 000002f4: CALLDATASIZE 000002f5: PUSH1 0x04 000002f7: PUSH2 0x13f7 000002fa: JUMP 000002fb: JUMPDEST 000002fc: PUSH2 0x0826 000002ff: JUMP 00000300: JUMPDEST 00000301: CALLVALUE 00000302: DUP1 00000303: ISZERO 00000304: PUSH2 0x030c 00000307: JUMPI 00000308: PUSH1 0x00 0000030a: DUP1 0000030b: REVERT 0000030c: JUMPDEST 0000030d: POP 0000030e: PUSH2 0x0294 00000311: PUSH1 0x07 00000313: SLOAD 00000314: DUP2 00000315: JUMP 00000316: JUMPDEST 00000317: CALLVALUE 00000318: DUP1 00000319: ISZERO 0000031a: PUSH2 0x0322 0000031d: JUMPI 0000031e: PUSH1 0x00 00000320: DUP1 00000321: REVERT 00000322: JUMPDEST 00000323: POP 00000324: PUSH2 0x01e7 00000327: PUSH2 0x0331 0000032a: CALLDATASIZE 0000032b: PUSH1 0x04 0000032d: PUSH2 0x13c9 00000330: JUMP 00000331: JUMPDEST 00000332: PUSH2 0x0905 00000335: JUMP 00000336: JUMPDEST 00000337: CALLVALUE 00000338: DUP1 00000339: ISZERO 0000033a: PUSH2 0x0342 0000033d: JUMPI 0000033e: PUSH1 0x00 00000340: DUP1 00000341: REVERT 00000342: JUMPDEST 00000343: POP 00000344: PUSH2 0x0294 00000347: PUSH1 0x08 00000349: SLOAD 0000034a: DUP2 0000034b: JUMP 0000034c: JUMPDEST 0000034d: CALLVALUE 0000034e: DUP1 0000034f: ISZERO 00000350: PUSH2 0x0358 00000353: JUMPI 00000354: PUSH1 0x00 00000356: DUP1 00000357: REVERT 00000358: JUMPDEST 00000359: POP 0000035a: PUSH1 0x02 0000035c: SLOAD 0000035d: PUSH2 0x0184 00000360: SWAP1 00000361: PUSH1 0x01 00000363: PUSH1 0x01 00000365: PUSH1 0xa0 00000367: SHL 00000368: SUB 00000369: AND 0000036a: DUP2 0000036b: JUMP 0000036c: JUMPDEST 0000036d: CALLVALUE 0000036e: DUP1 0000036f: ISZERO 00000370: PUSH2 0x0378 00000373: JUMPI 00000374: PUSH1 0x00 00000376: DUP1 00000377: REVERT 00000378: JUMPDEST 00000379: POP 0000037a: PUSH1 0x05 0000037c: SLOAD 0000037d: PUSH2 0x01c2 00000380: SWAP1 00000381: PUSH1 0x01 00000383: PUSH1 0xa0 00000385: SHL 00000386: SWAP1 00000387: DIV 00000388: PUSH1 0xff 0000038a: AND 0000038b: DUP2 0000038c: JUMP 0000038d: JUMPDEST 0000038e: CALLVALUE 0000038f: DUP1 00000390: ISZERO 00000391: PUSH2 0x0399 00000394: JUMPI 00000395: PUSH1 0x00 00000397: DUP1 00000398: REVERT 00000399: JUMPDEST 0000039a: POP 0000039b: PUSH2 0x01e7 0000039e: PUSH2 0x03a8 000003a1: CALLDATASIZE 000003a2: PUSH1 0x04 000003a4: PUSH2 0x13f7 000003a7: JUMP 000003a8: JUMPDEST 000003a9: PUSH2 0x09c1 000003ac: JUMP 000003ad: JUMPDEST 000003ae: CALLVALUE 000003af: DUP1 000003b0: ISZERO 000003b1: PUSH2 0x03b9 000003b4: JUMPI 000003b5: PUSH1 0x00 000003b7: DUP1 000003b8: REVERT 000003b9: JUMPDEST 000003ba: POP 000003bb: PUSH2 0x01e7 000003be: PUSH2 0x03c8 000003c1: CALLDATASIZE 000003c2: PUSH1 0x04 000003c4: PUSH2 0x13f7 000003c7: JUMP 000003c8: JUMPDEST 000003c9: PUSH2 0x0aa3 000003cc: JUMP 000003cd: JUMPDEST 000003ce: PUSH2 0x01e7 000003d1: PUSH2 0x03db 000003d4: CALLDATASIZE 000003d5: PUSH1 0x04 000003d7: PUSH2 0x1414 000003da: JUMP 000003db: JUMPDEST 000003dc: PUSH2 0x0b82 000003df: JUMP 000003e0: JUMPDEST 000003e1: PUSH1 0x00 000003e3: SLOAD 000003e4: PUSH1 0x01 000003e6: PUSH1 0x01 000003e8: PUSH1 0xa0 000003ea: SHL 000003eb: SUB 000003ec: AND 000003ed: CALLER 000003ee: EQ 000003ef: PUSH2 0x043f 000003f2: JUMPI 000003f3: PUSH1 0x40 000003f5: MLOAD 000003f6: PUSH3 0x461bcd 000003fa: PUSH1 0xe5 000003fc: SHL 000003fd: DUP2 000003fe: MSTORE 000003ff: PUSH1 0x20 00000401: PUSH1 0x04 00000403: DUP3 00000404: ADD 00000405: DUP2 00000406: SWAP1 00000407: MSTORE 00000408: PUSH1 0x24 0000040a: DUP3 0000040b: ADD 0000040c: MSTORE 0000040d: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572 0000042e: PUSH1 0x44 00000430: DUP3 00000431: ADD 00000432: MSTORE 00000433: PUSH1 0x64 00000435: ADD 00000436: JUMPDEST 00000437: PUSH1 0x40 00000439: MLOAD 0000043a: DUP1 0000043b: SWAP2 0000043c: SUB 0000043d: SWAP1 0000043e: REVERT 0000043f: JUMPDEST 00000440: SELFBALANCE 00000441: DUP1 00000442: PUSH2 0x0482 00000445: JUMPI 00000446: PUSH1 0x40 00000448: MLOAD 00000449: PUSH3 0x461bcd 0000044d: PUSH1 0xe5 0000044f: SHL 00000450: DUP2 00000451: MSTORE 00000452: PUSH1 0x20 00000454: PUSH1 0x04 00000456: DUP3 00000457: ADD 00000458: MSTORE 00000459: PUSH1 0x12 0000045b: PUSH1 0x24 0000045d: DUP3 0000045e: ADD 0000045f: MSTORE 00000460: PUSH18 0x496e73756666696369656e742046756e6473 00000473: PUSH1 0x70 00000475: SHL 00000476: PUSH1 0x44 00000478: DUP3 00000479: ADD 0000047a: MSTORE 0000047b: PUSH1 0x64 0000047d: ADD 0000047e: PUSH2 0x0436 00000481: JUMP 00000482: JUMPDEST 00000483: PUSH1 0x05 00000485: SLOAD 00000486: PUSH1 0x40 00000488: MLOAD 00000489: PUSH1 0x00 0000048b: SWAP2 0000048c: PUSH1 0x01 0000048e: PUSH1 0x01 00000490: PUSH1 0xa0 00000492: SHL 00000493: SUB 00000494: AND 00000495: SWAP1 00000496: DUP4 00000497: SWAP1 00000498: DUP4 00000499: DUP2 0000049a: DUP2 0000049b: DUP2 0000049c: DUP6 0000049d: DUP8 0000049e: GAS 0000049f: CALL 000004a0: SWAP3 000004a1: POP 000004a2: POP 000004a3: POP 000004a4: RETURNDATASIZE 000004a5: DUP1 000004a6: PUSH1 0x00 000004a8: DUP2 000004a9: EQ 000004aa: PUSH2 0x04cf 000004ad: JUMPI 000004ae: PUSH1 0x40 000004b0: MLOAD 000004b1: SWAP2 000004b2: POP 000004b3: PUSH1 0x1f 000004b5: NOT 000004b6: PUSH1 0x3f 000004b8: RETURNDATASIZE 000004b9: ADD 000004ba: AND 000004bb: DUP3 000004bc: ADD 000004bd: PUSH1 0x40 000004bf: MSTORE 000004c0: RETURNDATASIZE 000004c1: DUP3 000004c2: MSTORE 000004c3: RETURNDATASIZE 000004c4: PUSH1 0x00 000004c6: PUSH1 0x20 000004c8: DUP5 000004c9: ADD 000004ca: RETURNDATACOPY 000004cb: PUSH2 0x04d4 000004ce: JUMP 000004cf: JUMPDEST 000004d0: PUSH1 0x60 000004d2: SWAP2 000004d3: POP 000004d4: JUMPDEST 000004d5: POP 000004d6: POP 000004d7: SWAP1 000004d8: POP 000004d9: DUP1 000004da: PUSH2 0x0525 000004dd: JUMPI 000004de: PUSH1 0x40 000004e0: MLOAD 000004e1: PUSH3 0x461bcd 000004e5: PUSH1 0xe5 000004e7: SHL 000004e8: DUP2 000004e9: MSTORE 000004ea: PUSH1 0x20 000004ec: PUSH1 0x04 000004ee: DUP3 000004ef: ADD 000004f0: MSTORE 000004f1: PUSH1 0x1c 000004f3: PUSH1 0x24 000004f5: DUP3 000004f6: ADD 000004f7: MSTORE 000004f8: PUSH32 0x4661696c656420546f204469737472696275746520546f20506f6f6c00000000 00000519: PUSH1 0x44 0000051b: DUP3 0000051c: ADD 0000051d: MSTORE 0000051e: PUSH1 0x64 00000520: ADD 00000521: PUSH2 0x0436 00000524: JUMP 00000525: JUMPDEST 00000526: POP 00000527: POP 00000528: JUMP 00000529: JUMPDEST 0000052a: PUSH1 0x00 0000052c: SLOAD 0000052d: PUSH1 0x01 0000052f: PUSH1 0x01 00000531: PUSH1 0xa0 00000533: SHL 00000534: SUB 00000535: AND 00000536: CALLER 00000537: EQ 00000538: PUSH2 0x0583 0000053b: JUMPI 0000053c: PUSH1 0x40 0000053e: MLOAD 0000053f: PUSH3 0x461bcd 00000543: PUSH1 0xe5 00000545: SHL 00000546: DUP2 00000547: MSTORE 00000548: PUSH1 0x20 0000054a: PUSH1 0x04 0000054c: DUP3 0000054d: ADD 0000054e: DUP2 0000054f: SWAP1 00000550: MSTORE 00000551: PUSH1 0x24 00000553: DUP3 00000554: ADD 00000555: MSTORE 00000556: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572 00000577: PUSH1 0x44 00000579: DUP3 0000057a: ADD 0000057b: MSTORE 0000057c: PUSH1 0x64 0000057e: ADD 0000057f: PUSH2 0x0436 00000582: JUMP 00000583: JUMPDEST 00000584: PUSH1 0x05 00000586: SLOAD 00000587: PUSH1 0xff 00000589: PUSH1 0x01 0000058b: PUSH1 0xa0 0000058d: SHL 0000058e: SWAP1 0000058f: SWAP2 00000590: DIV 00000591: AND 00000592: ISZERO 00000593: ISZERO 00000594: DUP2 00000595: ISZERO 00000596: ISZERO 00000597: EQ 00000598: ISZERO 00000599: PUSH2 0x05e4 0000059c: JUMPI 0000059d: PUSH1 0x40 0000059f: MLOAD 000005a0: PUSH3 0x461bcd 000005a4: PUSH1 0xe5 000005a6: SHL 000005a7: DUP2 000005a8: MSTORE 000005a9: PUSH1 0x20 000005ab: PUSH1 0x04 000005ad: DUP3 000005ae: ADD 000005af: MSTORE 000005b0: PUSH1 0x1c 000005b2: PUSH1 0x24 000005b4: DUP3 000005b5: ADD 000005b6: MSTORE 000005b7: PUSH32 0x4964656e746963616c20537461746520486173204265656e2053657400000000 000005d8: PUSH1 0x44 000005da: DUP3 000005db: ADD 000005dc: MSTORE 000005dd: PUSH1 0x64 000005df: ADD 000005e0: PUSH2 0x0436 000005e3: JUMP 000005e4: JUMPDEST 000005e5: PUSH1 0x05 000005e7: DUP1 000005e8: SLOAD 000005e9: SWAP2 000005ea: ISZERO 000005eb: ISZERO 000005ec: PUSH1 0x01 000005ee: PUSH1 0xa0 000005f0: SHL 000005f1: MUL 000005f2: PUSH32 0xffffffffffffffffffffff00ffffffffffffffffffffffffffffffffffffffff 00000613: SWAP1 00000614: SWAP3 00000615: AND 00000616: SWAP2 00000617: SWAP1 00000618: SWAP2 00000619: OR 0000061a: SWAP1 0000061b: SSTORE 0000061c: JUMP 0000061d: JUMPDEST 0000061e: PUSH1 0x00 00000620: SLOAD 00000621: PUSH1 0x01 00000623: PUSH1 0x01 00000625: PUSH1 0xa0 00000627: SHL 00000628: SUB 00000629: AND 0000062a: CALLER 0000062b: EQ 0000062c: PUSH2 0x0677 0000062f: JUMPI 00000630: PUSH1 0x40 00000632: MLOAD 00000633: PUSH3 0x461bcd 00000637: PUSH1 0xe5 00000639: SHL 0000063a: DUP2 0000063b: MSTORE 0000063c: PUSH1 0x20 0000063e: PUSH1 0x04 00000640: DUP3 00000641: ADD 00000642: DUP2 00000643: SWAP1 00000644: MSTORE 00000645: PUSH1 0x24 00000647: DUP3 00000648: ADD 00000649: MSTORE 0000064a: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572 0000066b: PUSH1 0x44 0000066d: DUP3 0000066e: ADD 0000066f: MSTORE 00000670: PUSH1 0x64 00000672: ADD 00000673: PUSH2 0x0436 00000676: JUMP 00000677: JUMPDEST 00000678: PUSH1 0x00 0000067a: DUP2 0000067b: GT 0000067c: PUSH2 0x06c7 0000067f: JUMPI 00000680: PUSH1 0x40 00000682: MLOAD 00000683: PUSH3 0x461bcd 00000687: PUSH1 0xe5 00000689: SHL 0000068a: DUP2 0000068b: MSTORE 0000068c: PUSH1 0x20 0000068e: PUSH1 0x04 00000690: DUP3 00000691: ADD 00000692: MSTORE 00000693: PUSH1 0x0d 00000695: PUSH1 0x24 00000697: DUP3 00000698: ADD 00000699: MSTORE 0000069a: PUSH32 0x496e76616c696420507269636500000000000000000000000000000000000000 000006bb: PUSH1 0x44 000006bd: DUP3 000006be: ADD 000006bf: MSTORE 000006c0: PUSH1 0x64 000006c2: ADD 000006c3: PUSH2 0x0436 000006c6: JUMP 000006c7: JUMPDEST 000006c8: PUSH1 0x06 000006ca: SSTORE 000006cb: JUMP 000006cc: JUMPDEST 000006cd: PUSH1 0x00 000006cf: SLOAD 000006d0: PUSH1 0x01 000006d2: PUSH1 0x01 000006d4: PUSH1 0xa0 000006d6: SHL 000006d7: SUB 000006d8: AND 000006d9: CALLER 000006da: EQ 000006db: PUSH2 0x0726 000006de: JUMPI 000006df: PUSH1 0x40 000006e1: MLOAD 000006e2: PUSH3 0x461bcd 000006e6: PUSH1 0xe5 000006e8: SHL 000006e9: DUP2 000006ea: MSTORE 000006eb: PUSH1 0x20 000006ed: PUSH1 0x04 000006ef: DUP3 000006f0: ADD 000006f1: DUP2 000006f2: SWAP1 000006f3: MSTORE 000006f4: PUSH1 0x24 000006f6: DUP3 000006f7: ADD 000006f8: MSTORE 000006f9: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572 0000071a: PUSH1 0x44 0000071c: DUP3 0000071d: ADD 0000071e: MSTORE 0000071f: PUSH1 0x64 00000721: ADD 00000722: PUSH2 0x0436 00000725: JUMP 00000726: JUMPDEST 00000727: PUSH2 0x0730 0000072a: PUSH1 0x00 0000072c: PUSH2 0x1343 0000072f: JUMP 00000730: JUMPDEST 00000731: JUMP 00000732: JUMPDEST 00000733: PUSH1 0x00 00000735: SLOAD 00000736: PUSH1 0x01 00000738: PUSH1 0x01 0000073a: PUSH1 0xa0 0000073c: SHL 0000073d: SUB 0000073e: AND 0000073f: CALLER 00000740: EQ 00000741: PUSH2 0x078c 00000744: JUMPI 00000745: PUSH1 0x40 00000747: MLOAD 00000748: PUSH3 0x461bcd 0000074c: PUSH1 0xe5 0000074e: SHL 0000074f: DUP2 00000750: MSTORE 00000751: PUSH1 0x20 00000753: PUSH1 0x04 00000755: DUP3 00000756: ADD 00000757: DUP2 00000758: SWAP1 00000759: MSTORE 0000075a: PUSH1 0x24 0000075c: DUP3 0000075d: ADD 0000075e: MSTORE 0000075f: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572 00000780: PUSH1 0x44 00000782: DUP3 00000783: ADD 00000784: MSTORE 00000785: PUSH1 0x64 00000787: ADD 00000788: PUSH2 0x0436 0000078b: JUMP 0000078c: JUMPDEST 0000078d: PUSH1 0x05 0000078f: SLOAD 00000790: PUSH1 0xff 00000792: PUSH1 0x01 00000794: PUSH1 0xa8 00000796: SHL 00000797: SWAP1 00000798: SWAP2 00000799: DIV 0000079a: AND 0000079b: ISZERO 0000079c: ISZERO 0000079d: DUP2 0000079e: ISZERO 0000079f: ISZERO 000007a0: EQ 000007a1: ISZERO 000007a2: PUSH2 0x07ed 000007a5: JUMPI 000007a6: PUSH1 0x40 000007a8: MLOAD 000007a9: PUSH3 0x461bcd 000007ad: PUSH1 0xe5 000007af: SHL 000007b0: DUP2 000007b1: MSTORE 000007b2: PUSH1 0x20 000007b4: PUSH1 0x04 000007b6: DUP3 000007b7: ADD 000007b8: MSTORE 000007b9: PUSH1 0x1c 000007bb: PUSH1 0x24 000007bd: DUP3 000007be: ADD 000007bf: MSTORE 000007c0: PUSH32 0x4964656e746963616c20537461746520486173204265656e2053657400000000 000007e1: PUSH1 0x44 000007e3: DUP3 000007e4: ADD 000007e5: MSTORE 000007e6: PUSH1 0x64 000007e8: ADD 000007e9: PUSH2 0x0436 000007ec: JUMP 000007ed: JUMPDEST 000007ee: PUSH1 0x05 000007f0: DUP1 000007f1: SLOAD 000007f2: SWAP2 000007f3: ISZERO 000007f4: ISZERO 000007f5: PUSH1 0x01 000007f7: PUSH1 0xa8 000007f9: SHL 000007fa: MUL 000007fb: PUSH32 0xffffffffffffffffffff00ffffffffffffffffffffffffffffffffffffffffff 0000081c: SWAP1 0000081d: SWAP3 0000081e: AND 0000081f: SWAP2 00000820: SWAP1 00000821: SWAP2 00000822: OR 00000823: SWAP1 00000824: SSTORE 00000825: JUMP 00000826: JUMPDEST 00000827: PUSH1 0x00 00000829: SLOAD 0000082a: PUSH1 0x01 0000082c: PUSH1 0x01 0000082e: PUSH1 0xa0 00000830: SHL 00000831: SUB 00000832: AND 00000833: CALLER 00000834: EQ 00000835: PUSH2 0x0880 00000838: JUMPI 00000839: PUSH1 0x40 0000083b: MLOAD 0000083c: PUSH3 0x461bcd 00000840: PUSH1 0xe5 00000842: SHL 00000843: DUP2 00000844: MSTORE 00000845: PUSH1 0x20 00000847: PUSH1 0x04 00000849: DUP3 0000084a: ADD 0000084b: DUP2 0000084c: SWAP1 0000084d: MSTORE 0000084e: PUSH1 0x24 00000850: DUP3 00000851: ADD 00000852: MSTORE 00000853: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572 00000874: PUSH1 0x44 00000876: DUP3 00000877: ADD 00000878: MSTORE 00000879: PUSH1 0x64 0000087b: ADD 0000087c: PUSH2 0x0436 0000087f: JUMP 00000880: JUMPDEST 00000881: PUSH1 0x01 00000883: PUSH1 0x01 00000885: PUSH1 0xa0 00000887: SHL 00000888: SUB 00000889: DUP2 0000088a: AND 0000088b: PUSH2 0x08d6 0000088e: JUMPI 0000088f: PUSH1 0x40 00000891: MLOAD 00000892: PUSH3 0x461bcd 00000896: PUSH1 0xe5 00000898: SHL 00000899: DUP2 0000089a: MSTORE 0000089b: PUSH1 0x20 0000089d: PUSH1 0x04 0000089f: DUP3 000008a0: ADD 000008a1: MSTORE 000008a2: PUSH1 0x0f 000008a4: PUSH1 0x24 000008a6: DUP3 000008a7: ADD 000008a8: MSTORE 000008a9: PUSH32 0x496e76616c696420416464726573730000000000000000000000000000000000 000008ca: PUSH1 0x44 000008cc: DUP3 000008cd: ADD 000008ce: MSTORE 000008cf: PUSH1 0x64 000008d1: ADD 000008d2: PUSH2 0x0436 000008d5: JUMP 000008d6: JUMPDEST 000008d7: PUSH1 0x03 000008d9: DUP1 000008da: SLOAD 000008db: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000008f0: NOT 000008f1: AND 000008f2: PUSH1 0x01 000008f4: PUSH1 0x01 000008f6: PUSH1 0xa0 000008f8: SHL 000008f9: SUB 000008fa: SWAP3 000008fb: SWAP1 000008fc: SWAP3 000008fd: AND 000008fe: SWAP2 000008ff: SWAP1 00000900: SWAP2 00000901: OR 00000902: SWAP1 00000903: SSTORE 00000904: JUMP 00000905: JUMPDEST 00000906: PUSH1 0x00 00000908: SLOAD 00000909: PUSH1 0x01 0000090b: PUSH1 0x01 0000090d: PUSH1 0xa0 0000090f: SHL 00000910: SUB 00000911: AND 00000912: CALLER 00000913: EQ 00000914: PUSH2 0x095f 00000917: JUMPI 00000918: PUSH1 0x40 0000091a: MLOAD 0000091b: PUSH3 0x461bcd 0000091f: PUSH1 0xe5 00000921: SHL 00000922: DUP2 00000923: MSTORE 00000924: PUSH1 0x20 00000926: PUSH1 0x04 00000928: DUP3 00000929: ADD 0000092a: DUP2 0000092b: SWAP1 0000092c: MSTORE 0000092d: PUSH1 0x24 0000092f: DUP3 00000930: ADD 00000931: MSTORE 00000932: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572 00000953: PUSH1 0x44 00000955: DUP3 00000956: ADD 00000957: MSTORE 00000958: PUSH1 0x64 0000095a: ADD 0000095b: PUSH2 0x0436 0000095e: JUMP 0000095f: JUMPDEST 00000960: PUSH1 0x00 00000962: DUP2 00000963: GT 00000964: DUP1 00000965: ISZERO 00000966: PUSH2 0x0970 00000969: JUMPI 0000096a: POP 0000096b: PUSH1 0x14 0000096d: DUP2 0000096e: GT 0000096f: ISZERO 00000970: JUMPDEST 00000971: PUSH2 0x09bc 00000974: JUMPI 00000975: PUSH1 0x40 00000977: MLOAD 00000978: PUSH3 0x461bcd 0000097c: PUSH1 0xe5 0000097e: SHL 0000097f: DUP2 00000980: MSTORE 00000981: PUSH1 0x20 00000983: PUSH1 0x04 00000985: DUP3 00000986: ADD 00000987: MSTORE 00000988: PUSH1 0x17 0000098a: PUSH1 0x24 0000098c: DUP3 0000098d: ADD 0000098e: MSTORE 0000098f: PUSH32 0x496e76616c69642056616c756520466f72204c696d6974000000000000000000 000009b0: PUSH1 0x44 000009b2: DUP3 000009b3: ADD 000009b4: MSTORE 000009b5: PUSH1 0x64 000009b7: ADD 000009b8: PUSH2 0x0436 000009bb: JUMP 000009bc: JUMPDEST 000009bd: PUSH1 0x07 000009bf: SSTORE 000009c0: JUMP 000009c1: JUMPDEST 000009c2: PUSH1 0x00 000009c4: SLOAD 000009c5: PUSH1 0x01 000009c7: PUSH1 0x01 000009c9: PUSH1 0xa0 000009cb: SHL 000009cc: SUB 000009cd: AND 000009ce: CALLER 000009cf: EQ 000009d0: PUSH2 0x0a1b 000009d3: JUMPI 000009d4: PUSH1 0x40 000009d6: MLOAD 000009d7: PUSH3 0x461bcd 000009db: PUSH1 0xe5 000009dd: SHL 000009de: DUP2 000009df: MSTORE 000009e0: PUSH1 0x20 000009e2: PUSH1 0x04 000009e4: DUP3 000009e5: ADD 000009e6: DUP2 000009e7: SWAP1 000009e8: MSTORE 000009e9: PUSH1 0x24 000009eb: DUP3 000009ec: ADD 000009ed: MSTORE 000009ee: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572 00000a0f: PUSH1 0x44 00000a11: DUP3 00000a12: ADD 00000a13: MSTORE 00000a14: PUSH1 0x64 00000a16: ADD 00000a17: PUSH2 0x0436 00000a1a: JUMP 00000a1b: JUMPDEST 00000a1c: PUSH1 0x01 00000a1e: PUSH1 0x01 00000a20: PUSH1 0xa0 00000a22: SHL 00000a23: SUB 00000a24: DUP2 00000a25: AND 00000a26: PUSH2 0x0a97 00000a29: JUMPI 00000a2a: PUSH1 0x40 00000a2c: MLOAD 00000a2d: PUSH3 0x461bcd 00000a31: PUSH1 0xe5 00000a33: SHL 00000a34: DUP2 00000a35: MSTORE 00000a36: PUSH1 0x20 00000a38: PUSH1 0x04 00000a3a: DUP3 00000a3b: ADD 00000a3c: MSTORE 00000a3d: PUSH1 0x26 00000a3f: PUSH1 0x24 00000a41: DUP3 00000a42: ADD 00000a43: MSTORE 00000a44: PUSH32 0x4f776e61626c653a206e6577206f776e657220697320746865207a65726f2061 00000a65: PUSH1 0x44 00000a67: DUP3 00000a68: ADD 00000a69: MSTORE 00000a6a: PUSH32 0x6464726573730000000000000000000000000000000000000000000000000000 00000a8b: PUSH1 0x64 00000a8d: DUP3 00000a8e: ADD 00000a8f: MSTORE 00000a90: PUSH1 0x84 00000a92: ADD 00000a93: PUSH2 0x0436 00000a96: JUMP 00000a97: JUMPDEST 00000a98: PUSH2 0x0aa0 00000a9b: DUP2 00000a9c: PUSH2 0x1343 00000a9f: JUMP 00000aa0: JUMPDEST 00000aa1: POP 00000aa2: JUMP 00000aa3: JUMPDEST 00000aa4: PUSH1 0x00 00000aa6: SLOAD 00000aa7: PUSH1 0x01 00000aa9: PUSH1 0x01 00000aab: PUSH1 0xa0 00000aad: SHL 00000aae: SUB 00000aaf: AND 00000ab0: CALLER 00000ab1: EQ 00000ab2: PUSH2 0x0afd 00000ab5: JUMPI 00000ab6: PUSH1 0x40 00000ab8: MLOAD 00000ab9: PUSH3 0x461bcd 00000abd: PUSH1 0xe5 00000abf: SHL 00000ac0: DUP2 00000ac1: MSTORE 00000ac2: PUSH1 0x20 00000ac4: PUSH1 0x04 00000ac6: DUP3 00000ac7: ADD 00000ac8: DUP2 00000ac9: SWAP1 00000aca: MSTORE 00000acb: PUSH1 0x24 00000acd: DUP3 00000ace: ADD 00000acf: MSTORE 00000ad0: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572 00000af1: PUSH1 0x44 00000af3: DUP3 00000af4: ADD 00000af5: MSTORE 00000af6: PUSH1 0x64 00000af8: ADD 00000af9: PUSH2 0x0436 00000afc: JUMP 00000afd: JUMPDEST 00000afe: PUSH1 0x01 00000b00: PUSH1 0x01 00000b02: PUSH1 0xa0 00000b04: SHL 00000b05: SUB 00000b06: DUP2 00000b07: AND 00000b08: PUSH2 0x0b53 00000b0b: JUMPI 00000b0c: PUSH1 0x40 00000b0e: MLOAD 00000b0f: PUSH3 0x461bcd 00000b13: PUSH1 0xe5 00000b15: SHL 00000b16: DUP2 00000b17: MSTORE 00000b18: PUSH1 0x20 00000b1a: PUSH1 0x04 00000b1c: DUP3 00000b1d: ADD 00000b1e: MSTORE 00000b1f: PUSH1 0x0f 00000b21: PUSH1 0x24 00000b23: DUP3 00000b24: ADD 00000b25: MSTORE 00000b26: PUSH32 0x496e76616c696420416464726573730000000000000000000000000000000000 00000b47: PUSH1 0x44 00000b49: DUP3 00000b4a: ADD 00000b4b: MSTORE 00000b4c: PUSH1 0x64 00000b4e: ADD 00000b4f: PUSH2 0x0436 00000b52: JUMP 00000b53: JUMPDEST 00000b54: PUSH1 0x05 00000b56: DUP1 00000b57: SLOAD 00000b58: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b6d: NOT 00000b6e: AND 00000b6f: PUSH1 0x01 00000b71: PUSH1 0x01 00000b73: PUSH1 0xa0 00000b75: SHL 00000b76: SUB 00000b77: SWAP3 00000b78: SWAP1 00000b79: SWAP3 00000b7a: AND 00000b7b: SWAP2 00000b7c: SWAP1 00000b7d: SWAP2 00000b7e: OR 00000b7f: SWAP1 00000b80: SSTORE 00000b81: JUMP 00000b82: JUMPDEST 00000b83: PUSH1 0x02 00000b85: PUSH1 0x01 00000b87: SLOAD 00000b88: EQ 00000b89: ISZERO 00000b8a: PUSH2 0x0bd5 00000b8d: JUMPI 00000b8e: PUSH1 0x40 00000b90: MLOAD 00000b91: PUSH3 0x461bcd 00000b95: PUSH1 0xe5 00000b97: SHL 00000b98: DUP2 00000b99: MSTORE 00000b9a: PUSH1 0x20 00000b9c: PUSH1 0x04 00000b9e: DUP3 00000b9f: ADD 00000ba0: MSTORE 00000ba1: PUSH1 0x1f 00000ba3: PUSH1 0x24 00000ba5: DUP3 00000ba6: ADD 00000ba7: MSTORE 00000ba8: PUSH32 0x5265656e7472616e637947756172643a207265656e7472616e742063616c6c00 00000bc9: PUSH1 0x44 00000bcb: DUP3 00000bcc: ADD 00000bcd: MSTORE 00000bce: PUSH1 0x64 00000bd0: ADD 00000bd1: PUSH2 0x0436 00000bd4: JUMP 00000bd5: JUMPDEST 00000bd6: PUSH1 0x02 00000bd8: PUSH1 0x01 00000bda: DUP2 00000bdb: SWAP1 00000bdc: SSTORE 00000bdd: SLOAD 00000bde: PUSH1 0x08 00000be0: SLOAD 00000be1: PUSH1 0x40 00000be3: MLOAD 00000be4: PUSH32 0x3784102f00000000000000000000000000000000000000000000000000000000 00000c05: DUP2 00000c06: MSTORE 00000c07: PUSH1 0x04 00000c09: DUP2 00000c0a: ADD 00000c0b: SWAP2 00000c0c: SWAP1 00000c0d: SWAP2 00000c0e: MSTORE 00000c0f: PUSH1 0x00 00000c11: SWAP2 00000c12: PUSH1 0x01 00000c14: PUSH1 0x01 00000c16: PUSH1 0xa0 00000c18: SHL 00000c19: SUB 00000c1a: AND 00000c1b: SWAP1 00000c1c: PUSH4 0x3784102f 00000c21: SWAP1 00000c22: PUSH1 0x24 00000c24: ADD 00000c25: PUSH1 0x20 00000c27: PUSH1 0x40 00000c29: MLOAD 00000c2a: DUP1 00000c2b: DUP4 00000c2c: SUB 00000c2d: DUP2 00000c2e: DUP7 00000c2f: DUP1 00000c30: EXTCODESIZE 00000c31: ISZERO 00000c32: DUP1 00000c33: ISZERO 00000c34: PUSH2 0x0c3c 00000c37: JUMPI 00000c38: PUSH1 0x00 00000c3a: DUP1 00000c3b: REVERT 00000c3c: JUMPDEST 00000c3d: POP 00000c3e: GAS 00000c3f: STATICCALL 00000c40: ISZERO 00000c41: DUP1 00000c42: ISZERO 00000c43: PUSH2 0x0c50 00000c46: JUMPI 00000c47: RETURNDATASIZE 00000c48: PUSH1 0x00 00000c4a: DUP1 00000c4b: RETURNDATACOPY 00000c4c: RETURNDATASIZE 00000c4d: PUSH1 0x00 00000c4f: REVERT 00000c50: JUMPDEST 00000c51: POP 00000c52: POP 00000c53: POP 00000c54: POP 00000c55: PUSH1 0x40 00000c57: MLOAD 00000c58: RETURNDATASIZE 00000c59: PUSH1 0x1f 00000c5b: NOT 00000c5c: PUSH1 0x1f 00000c5e: DUP3 00000c5f: ADD 00000c60: AND 00000c61: DUP3 00000c62: ADD 00000c63: DUP1 00000c64: PUSH1 0x40 00000c66: MSTORE 00000c67: POP 00000c68: DUP2 00000c69: ADD 00000c6a: SWAP1 00000c6b: PUSH2 0x0c74 00000c6e: SWAP2 00000c6f: SWAP1 00000c70: PUSH2 0x1489 00000c73: JUMP 00000c74: JUMPDEST 00000c75: PUSH1 0x02 00000c77: SLOAD 00000c78: PUSH1 0x08 00000c7a: SLOAD 00000c7b: PUSH1 0x40 00000c7d: MLOAD 00000c7e: PUSH32 0x9d7f4ebf00000000000000000000000000000000000000000000000000000000 00000c9f: DUP2 00000ca0: MSTORE 00000ca1: SWAP3 00000ca2: SWAP4 00000ca3: POP 00000ca4: PUSH1 0x00 00000ca6: SWAP3 00000ca7: PUSH1 0x01 00000ca9: PUSH1 0x01 00000cab: PUSH1 0xa0 00000cad: SHL 00000cae: SUB 00000caf: SWAP1 00000cb0: SWAP3 00000cb1: AND 00000cb2: SWAP2 00000cb3: PUSH4 0x9d7f4ebf 00000cb8: SWAP2 00000cb9: PUSH2 0x0cc8 00000cbc: SWAP2 00000cbd: PUSH1 0x04 00000cbf: ADD 00000cc0: SWAP1 00000cc1: DUP2 00000cc2: MSTORE 00000cc3: PUSH1 0x20 00000cc5: ADD 00000cc6: SWAP1 00000cc7: JUMP 00000cc8: JUMPDEST 00000cc9: PUSH1 0x20 00000ccb: PUSH1 0x40 00000ccd: MLOAD 00000cce: DUP1 00000ccf: DUP4 00000cd0: SUB 00000cd1: DUP2 00000cd2: DUP7 00000cd3: DUP1 00000cd4: EXTCODESIZE 00000cd5: ISZERO 00000cd6: DUP1 00000cd7: ISZERO 00000cd8: PUSH2 0x0ce0 00000cdb: JUMPI 00000cdc: PUSH1 0x00 00000cde: DUP1 00000cdf: REVERT 00000ce0: JUMPDEST 00000ce1: POP 00000ce2: GAS 00000ce3: STATICCALL 00000ce4: ISZERO 00000ce5: DUP1 00000ce6: ISZERO 00000ce7: PUSH2 0x0cf4 00000cea: JUMPI 00000ceb: RETURNDATASIZE 00000cec: PUSH1 0x00 00000cee: DUP1 00000cef: RETURNDATACOPY 00000cf0: RETURNDATASIZE 00000cf1: PUSH1 0x00 00000cf3: REVERT 00000cf4: JUMPDEST 00000cf5: POP 00000cf6: POP 00000cf7: POP 00000cf8: POP 00000cf9: PUSH1 0x40 00000cfb: MLOAD 00000cfc: RETURNDATASIZE 00000cfd: PUSH1 0x1f 00000cff: NOT 00000d00: PUSH1 0x1f 00000d02: DUP3 00000d03: ADD 00000d04: AND 00000d05: DUP3 00000d06: ADD 00000d07: DUP1 00000d08: PUSH1 0x40 00000d0a: MSTORE 00000d0b: POP 00000d0c: DUP2 00000d0d: ADD 00000d0e: SWAP1 00000d0f: PUSH2 0x0d18 00000d12: SWAP2 00000d13: SWAP1 00000d14: PUSH2 0x1489 00000d17: JUMP 00000d18: JUMPDEST 00000d19: SWAP1 00000d1a: POP 00000d1b: PUSH1 0x00 00000d1d: PUSH2 0x0d26 00000d20: DUP3 00000d21: DUP5 00000d22: PUSH2 0x14b8 00000d25: JUMP 00000d26: JUMPDEST 00000d27: SWAP1 00000d28: POP 00000d29: PUSH1 0x07 00000d2b: SLOAD 00000d2c: DUP2 00000d2d: GT 00000d2e: PUSH2 0x0d37 00000d31: JUMPI 00000d32: DUP1 00000d33: PUSH2 0x0d3b 00000d36: JUMP 00000d37: JUMPDEST 00000d38: PUSH1 0x07 00000d3a: SLOAD 00000d3b: JUMPDEST 00000d3c: SWAP1 00000d3d: POP 00000d3e: PUSH1 0x00 00000d40: DUP2 00000d41: GT 00000d42: PUSH2 0x0d8d 00000d45: JUMPI 00000d46: PUSH1 0x40 00000d48: MLOAD 00000d49: PUSH3 0x461bcd 00000d4d: PUSH1 0xe5 00000d4f: SHL 00000d50: DUP2 00000d51: MSTORE 00000d52: PUSH1 0x20 00000d54: PUSH1 0x04 00000d56: DUP3 00000d57: ADD 00000d58: MSTORE 00000d59: PUSH1 0x08 00000d5b: PUSH1 0x24 00000d5d: DUP3 00000d5e: ADD 00000d5f: MSTORE 00000d60: PUSH32 0x536f6c64204f7574000000000000000000000000000000000000000000000000 00000d81: PUSH1 0x44 00000d83: DUP3 00000d84: ADD 00000d85: MSTORE 00000d86: PUSH1 0x64 00000d88: ADD 00000d89: PUSH2 0x0436 00000d8c: JUMP 00000d8d: JUMPDEST 00000d8e: PUSH1 0x00 00000d90: DUP1 00000d91: DUP6 00000d92: ISZERO 00000d93: PUSH2 0x1032 00000d96: JUMPI 00000d97: PUSH1 0x05 00000d99: SLOAD 00000d9a: PUSH1 0x01 00000d9c: PUSH1 0xa8 00000d9e: SHL 00000d9f: SWAP1 00000da0: DIV 00000da1: PUSH1 0xff 00000da3: AND 00000da4: PUSH2 0x0def 00000da7: JUMPI 00000da8: PUSH1 0x40 00000daa: MLOAD 00000dab: PUSH3 0x461bcd 00000daf: PUSH1 0xe5 00000db1: SHL 00000db2: DUP2 00000db3: MSTORE 00000db4: PUSH1 0x20 00000db6: PUSH1 0x04 00000db8: DUP3 00000db9: ADD 00000dba: MSTORE 00000dbb: PUSH1 0x1a 00000dbd: PUSH1 0x24 00000dbf: DUP3 00000dc0: ADD 00000dc1: MSTORE 00000dc2: PUSH32 0x5072696f72697479204d696e74696e6720497320436c6f736564000000000000 00000de3: PUSH1 0x44 00000de5: DUP3 00000de6: ADD 00000de7: MSTORE 00000de8: PUSH1 0x64 00000dea: ADD 00000deb: PUSH2 0x0436 00000dee: JUMP 00000def: JUMPDEST 00000df0: DUP6 00000df1: SWAP2 00000df2: POP 00000df3: DUP3 00000df4: DUP3 00000df5: GT 00000df6: PUSH2 0x0dff 00000df9: JUMPI 00000dfa: DUP2 00000dfb: PUSH2 0x0e01 00000dfe: JUMP 00000dff: JUMPDEST 00000e00: DUP3 00000e01: JUMPDEST 00000e02: SWAP2 00000e03: POP 00000e04: PUSH1 0x00 00000e06: JUMPDEST 00000e07: DUP3 00000e08: DUP2 00000e09: LT 00000e0a: ISZERO 00000e0b: PUSH2 0x0f4e 00000e0e: JUMPI 00000e0f: PUSH1 0x04 00000e11: SLOAD 00000e12: PUSH1 0x00 00000e14: SWAP1 00000e15: DUP2 00000e16: SWAP1 00000e17: PUSH1 0x01 00000e19: PUSH1 0x01 00000e1b: PUSH1 0xa0 00000e1d: SHL 00000e1e: SUB 00000e1f: AND 00000e20: PUSH4 0x29f5faf7 00000e25: DUP12 00000e26: DUP12 00000e27: DUP7 00000e28: DUP2 00000e29: DUP2 00000e2a: LT 00000e2b: PUSH2 0x0e36 00000e2e: JUMPI 00000e2f: PUSH2 0x0e36 00000e32: PUSH2 0x14cf 00000e35: JUMP 00000e36: JUMPDEST 00000e37: SWAP1 00000e38: POP 00000e39: PUSH1 0x20 00000e3b: MUL 00000e3c: ADD 00000e3d: CALLDATALOAD 00000e3e: PUSH1 0x40 00000e40: MLOAD 00000e41: DUP3 00000e42: PUSH4 0xffffffff 00000e47: AND 00000e48: PUSH1 0xe0 00000e4a: SHL 00000e4b: DUP2 00000e4c: MSTORE 00000e4d: PUSH1 0x04 00000e4f: ADD 00000e50: PUSH2 0x0e5b 00000e53: SWAP2 00000e54: DUP2 00000e55: MSTORE 00000e56: PUSH1 0x20 00000e58: ADD 00000e59: SWAP1 00000e5a: JUMP 00000e5b: JUMPDEST 00000e5c: PUSH1 0x60 00000e5e: PUSH1 0x40 00000e60: MLOAD 00000e61: DUP1 00000e62: DUP4 00000e63: SUB 00000e64: DUP2 00000e65: DUP7 00000e66: DUP1 00000e67: EXTCODESIZE 00000e68: ISZERO 00000e69: DUP1 00000e6a: ISZERO 00000e6b: PUSH2 0x0e73 00000e6e: JUMPI 00000e6f: PUSH1 0x00 00000e71: DUP1 00000e72: REVERT 00000e73: JUMPDEST 00000e74: POP 00000e75: GAS 00000e76: STATICCALL 00000e77: ISZERO 00000e78: DUP1 00000e79: ISZERO 00000e7a: PUSH2 0x0e87 00000e7d: JUMPI 00000e7e: RETURNDATASIZE 00000e7f: PUSH1 0x00 00000e81: DUP1 00000e82: RETURNDATACOPY 00000e83: RETURNDATASIZE 00000e84: PUSH1 0x00 00000e86: REVERT 00000e87: JUMPDEST 00000e88: POP 00000e89: POP 00000e8a: POP 00000e8b: POP 00000e8c: PUSH1 0x40 00000e8e: MLOAD 00000e8f: RETURNDATASIZE 00000e90: PUSH1 0x1f 00000e92: NOT 00000e93: PUSH1 0x1f 00000e95: DUP3 00000e96: ADD 00000e97: AND 00000e98: DUP3 00000e99: ADD 00000e9a: DUP1 00000e9b: PUSH1 0x40 00000e9d: MSTORE 00000e9e: POP 00000e9f: DUP2 00000ea0: ADD 00000ea1: SWAP1 00000ea2: PUSH2 0x0eab 00000ea5: SWAP2 00000ea6: SWAP1 00000ea7: PUSH2 0x14e5 00000eaa: JUMP 00000eab: JUMPDEST 00000eac: SWAP2 00000ead: SWAP4 00000eae: POP 00000eaf: SWAP1 00000eb0: SWAP2 00000eb1: POP 00000eb2: POP 00000eb3: PUSH1 0x01 00000eb5: PUSH1 0x01 00000eb7: PUSH1 0xa0 00000eb9: SHL 00000eba: SUB 00000ebb: DUP3 00000ebc: AND 00000ebd: CALLER 00000ebe: EQ 00000ebf: PUSH2 0x0f0a 00000ec2: JUMPI 00000ec3: PUSH1 0x40 00000ec5: MLOAD 00000ec6: PUSH3 0x461bcd 00000eca: PUSH1 0xe5 00000ecc: SHL 00000ecd: DUP2 00000ece: MSTORE 00000ecf: PUSH1 0x20 00000ed1: PUSH1 0x04 00000ed3: DUP3 00000ed4: ADD 00000ed5: MSTORE 00000ed6: PUSH1 0x16 00000ed8: PUSH1 0x24 00000eda: DUP3 00000edb: ADD 00000edc: MSTORE 00000edd: PUSH32 0x496e76616c696420506173732053706563696669656400000000000000000000 00000efe: PUSH1 0x44 00000f00: DUP3 00000f01: ADD 00000f02: MSTORE 00000f03: PUSH1 0x64 00000f05: ADD 00000f06: PUSH2 0x0436 00000f09: JUMP 00000f0a: JUMPDEST 00000f0b: PUSH1 0x64 00000f0d: PUSH2 0x0f16 00000f10: DUP3 00000f11: DUP3 00000f12: PUSH2 0x14b8 00000f15: JUMP 00000f16: JUMPDEST 00000f17: PUSH1 0x06 00000f19: SLOAD 00000f1a: PUSH2 0x0f23 00000f1d: SWAP2 00000f1e: SWAP1 00000f1f: PUSH2 0x151c 00000f22: JUMP 00000f23: JUMPDEST 00000f24: PUSH2 0x0f2d 00000f27: SWAP2 00000f28: SWAP1 00000f29: PUSH2 0x153b 00000f2c: JUMP 00000f2d: JUMPDEST 00000f2e: PUSH2 0x0f37 00000f31: SWAP1 00000f32: DUP6 00000f33: PUSH2 0x155d 00000f36: JUMP 00000f37: JUMPDEST 00000f38: SWAP4 00000f39: POP 00000f3a: POP 00000f3b: POP 00000f3c: DUP1 00000f3d: DUP1 00000f3e: PUSH2 0x0f46 00000f41: SWAP1 00000f42: PUSH2 0x1575 00000f45: JUMP 00000f46: JUMPDEST 00000f47: SWAP2 00000f48: POP 00000f49: POP 00000f4a: PUSH2 0x0e06 00000f4d: JUMP 00000f4e: JUMPDEST 00000f4f: POP 00000f50: DUP1 00000f51: CALLVALUE 00000f52: LT 00000f53: ISZERO 00000f54: PUSH2 0x0f94 00000f57: JUMPI 00000f58: PUSH1 0x40 00000f5a: MLOAD 00000f5b: PUSH3 0x461bcd 00000f5f: PUSH1 0xe5 00000f61: SHL 00000f62: DUP2 00000f63: MSTORE 00000f64: PUSH1 0x20 00000f66: PUSH1 0x04 00000f68: DUP3 00000f69: ADD 00000f6a: MSTORE 00000f6b: PUSH1 0x12 00000f6d: PUSH1 0x24 00000f6f: DUP3 00000f70: ADD 00000f71: MSTORE 00000f72: PUSH18 0x496e73756666696369656e742046756e6473 00000f85: PUSH1 0x70 00000f87: SHL 00000f88: PUSH1 0x44 00000f8a: DUP3 00000f8b: ADD 00000f8c: MSTORE 00000f8d: PUSH1 0x64 00000f8f: ADD 00000f90: PUSH2 0x0436 00000f93: JUMP 00000f94: JUMPDEST 00000f95: PUSH1 0x00 00000f97: JUMPDEST 00000f98: DUP3 00000f99: DUP2 00000f9a: LT 00000f9b: ISZERO 00000f9c: PUSH2 0x102c 00000f9f: JUMPI 00000fa0: PUSH1 0x04 00000fa2: SLOAD 00000fa3: PUSH1 0x01 00000fa5: PUSH1 0x01 00000fa7: PUSH1 0xa0 00000fa9: SHL 00000faa: SUB 00000fab: AND 00000fac: PUSH4 0x7b47ec1a 00000fb1: DUP10 00000fb2: DUP10 00000fb3: DUP5 00000fb4: DUP2 00000fb5: DUP2 00000fb6: LT 00000fb7: PUSH2 0x0fc2 00000fba: JUMPI 00000fbb: PUSH2 0x0fc2 00000fbe: PUSH2 0x14cf 00000fc1: JUMP 00000fc2: JUMPDEST 00000fc3: SWAP1 00000fc4: POP 00000fc5: PUSH1 0x20 00000fc7: MUL 00000fc8: ADD 00000fc9: CALLDATALOAD 00000fca: PUSH1 0x40 00000fcc: MLOAD 00000fcd: DUP3 00000fce: PUSH4 0xffffffff 00000fd3: AND 00000fd4: PUSH1 0xe0 00000fd6: SHL 00000fd7: DUP2 00000fd8: MSTORE 00000fd9: PUSH1 0x04 00000fdb: ADD 00000fdc: PUSH2 0x0fe7 00000fdf: SWAP2 00000fe0: DUP2 00000fe1: MSTORE 00000fe2: PUSH1 0x20 00000fe4: ADD 00000fe5: SWAP1 00000fe6: JUMP 00000fe7: JUMPDEST 00000fe8: PUSH1 0x00 00000fea: PUSH1 0x40 00000fec: MLOAD 00000fed: DUP1 00000fee: DUP4 00000fef: SUB 00000ff0: DUP2 00000ff1: PUSH1 0x00 00000ff3: DUP8 00000ff4: DUP1 00000ff5: EXTCODESIZE 00000ff6: ISZERO 00000ff7: DUP1 00000ff8: ISZERO 00000ff9: PUSH2 0x1001 00000ffc: JUMPI 00000ffd: PUSH1 0x00 00000fff: DUP1 00001000: REVERT 00001001: JUMPDEST 00001002: POP 00001003: GAS 00001004: CALL 00001005: ISZERO 00001006: DUP1 00001007: ISZERO 00001008: PUSH2 0x1015 0000100b: JUMPI 0000100c: RETURNDATASIZE 0000100d: PUSH1 0x00 0000100f: DUP1 00001010: RETURNDATACOPY 00001011: RETURNDATASIZE 00001012: PUSH1 0x00 00001014: REVERT 00001015: JUMPDEST 00001016: POP 00001017: POP 00001018: POP 00001019: POP 0000101a: DUP1 0000101b: DUP1 0000101c: PUSH2 0x1024 0000101f: SWAP1 00001020: PUSH2 0x1575 00001023: JUMP 00001024: JUMPDEST 00001025: SWAP2 00001026: POP 00001027: POP 00001028: PUSH2 0x0f97 0000102b: JUMP 0000102c: JUMPDEST 0000102d: POP 0000102e: PUSH2 0x1103 00001031: JUMP 00001032: JUMPDEST 00001033: PUSH1 0x05 00001035: SLOAD 00001036: PUSH1 0x01 00001038: PUSH1 0xa0 0000103a: SHL 0000103b: SWAP1 0000103c: DIV 0000103d: PUSH1 0xff 0000103f: AND 00001040: PUSH2 0x108b 00001043: JUMPI 00001044: PUSH1 0x40 00001046: MLOAD 00001047: PUSH3 0x461bcd 0000104b: PUSH1 0xe5 0000104d: SHL 0000104e: DUP2 0000104f: MSTORE 00001050: PUSH1 0x20 00001052: PUSH1 0x04 00001054: DUP3 00001055: ADD 00001056: MSTORE 00001057: PUSH1 0x15 00001059: PUSH1 0x24 0000105b: DUP3 0000105c: ADD 0000105d: MSTORE 0000105e: PUSH32 0x5075626c69732053616c6520497320436c6f7365640000000000000000000000 0000107f: PUSH1 0x44 00001081: DUP3 00001082: ADD 00001083: MSTORE 00001084: PUSH1 0x64 00001086: ADD 00001087: PUSH2 0x0436 0000108a: JUMP 0000108b: JUMPDEST 0000108c: PUSH1 0x06 0000108e: SLOAD 0000108f: CALLVALUE 00001090: LT 00001091: ISZERO 00001092: PUSH2 0x10d2 00001095: JUMPI 00001096: PUSH1 0x40 00001098: MLOAD 00001099: PUSH3 0x461bcd 0000109d: PUSH1 0xe5 0000109f: SHL 000010a0: DUP2 000010a1: MSTORE 000010a2: PUSH1 0x20 000010a4: PUSH1 0x04 000010a6: DUP3 000010a7: ADD 000010a8: MSTORE 000010a9: PUSH1 0x12 000010ab: PUSH1 0x24 000010ad: DUP3 000010ae: ADD 000010af: MSTORE 000010b0: PUSH18 0x496e73756666696369656e742046756e6473 000010c3: PUSH1 0x70 000010c5: SHL 000010c6: PUSH1 0x44 000010c8: DUP3 000010c9: ADD 000010ca: MSTORE 000010cb: PUSH1 0x64 000010cd: ADD 000010ce: PUSH2 0x0436 000010d1: JUMP 000010d2: JUMPDEST 000010d3: PUSH1 0x06 000010d5: SLOAD 000010d6: PUSH2 0x10df 000010d9: SWAP1 000010da: CALLVALUE 000010db: PUSH2 0x153b 000010de: JUMP 000010df: JUMPDEST 000010e0: SWAP2 000010e1: POP 000010e2: DUP3 000010e3: DUP3 000010e4: GT 000010e5: PUSH2 0x10ee 000010e8: JUMPI 000010e9: DUP2 000010ea: PUSH2 0x10f0 000010ed: JUMP 000010ee: JUMPDEST 000010ef: DUP3 000010f0: JUMPDEST 000010f1: SWAP2 000010f2: POP 000010f3: PUSH1 0x06 000010f5: SLOAD 000010f6: DUP3 000010f7: PUSH2 0x1100 000010fa: SWAP2 000010fb: SWAP1 000010fc: PUSH2 0x151c 000010ff: JUMP 00001100: JUMPDEST 00001101: SWAP1 00001102: POP 00001103: JUMPDEST 00001104: PUSH1 0x02 00001106: SLOAD 00001107: PUSH1 0x08 00001109: SLOAD 0000110a: PUSH1 0x40 0000110c: MLOAD 0000110d: PUSH32 0xf9058b5200000000000000000000000000000000000000000000000000000000 0000112e: DUP2 0000112f: MSTORE 00001130: CALLER 00001131: PUSH1 0x04 00001133: DUP3 00001134: ADD 00001135: MSTORE 00001136: PUSH1 0x24 00001138: DUP2 00001139: ADD 0000113a: SWAP2 0000113b: SWAP1 0000113c: SWAP2 0000113d: MSTORE 0000113e: PUSH1 0x44 00001140: DUP2 00001141: ADD 00001142: DUP5 00001143: SWAP1 00001144: MSTORE 00001145: PUSH1 0x64 00001147: DUP2 00001148: ADD 00001149: DUP6 0000114a: SWAP1 0000114b: MSTORE 0000114c: PUSH1 0x01 0000114e: PUSH1 0x01 00001150: PUSH1 0xa0 00001152: SHL 00001153: SUB 00001154: SWAP1 00001155: SWAP2 00001156: AND 00001157: SWAP1 00001158: PUSH4 0xf9058b52 0000115d: SWAP1 0000115e: PUSH1 0x84 00001160: ADD 00001161: PUSH1 0x00 00001163: PUSH1 0x40 00001165: MLOAD 00001166: DUP1 00001167: DUP4 00001168: SUB 00001169: DUP2 0000116a: PUSH1 0x00 0000116c: DUP8 0000116d: DUP1 0000116e: EXTCODESIZE 0000116f: ISZERO 00001170: DUP1 00001171: ISZERO 00001172: PUSH2 0x117a 00001175: JUMPI 00001176: PUSH1 0x00 00001178: DUP1 00001179: REVERT 0000117a: JUMPDEST 0000117b: POP 0000117c: GAS 0000117d: CALL 0000117e: ISZERO 0000117f: DUP1 00001180: ISZERO 00001181: PUSH2 0x118e 00001184: JUMPI 00001185: RETURNDATASIZE 00001186: PUSH1 0x00 00001188: DUP1 00001189: RETURNDATACOPY 0000118a: RETURNDATASIZE 0000118b: PUSH1 0x00 0000118d: REVERT 0000118e: JUMPDEST 0000118f: POP 00001190: POP 00001191: POP 00001192: POP 00001193: PUSH1 0x00 00001195: DUP2 00001196: GT 00001197: ISZERO 00001198: PUSH2 0x1336 0000119b: JUMPI 0000119c: PUSH1 0x00 0000119e: PUSH1 0x64 000011a0: PUSH2 0x11aa 000011a3: DUP4 000011a4: PUSH1 0x55 000011a6: PUSH2 0x151c 000011a9: JUMP 000011aa: JUMPDEST 000011ab: PUSH2 0x11b4 000011ae: SWAP2 000011af: SWAP1 000011b0: PUSH2 0x153b 000011b3: JUMP 000011b4: JUMPDEST 000011b5: SWAP1 000011b6: POP 000011b7: PUSH1 0x00 000011b9: PUSH1 0x64 000011bb: PUSH2 0x11c5 000011be: DUP5 000011bf: PUSH1 0x05 000011c1: PUSH2 0x151c 000011c4: JUMP 000011c5: JUMPDEST 000011c6: PUSH2 0x11cf 000011c9: SWAP2 000011ca: SWAP1 000011cb: PUSH2 0x153b 000011ce: JUMP 000011cf: JUMPDEST 000011d0: PUSH1 0x03 000011d2: SLOAD 000011d3: SWAP1 000011d4: SWAP2 000011d5: POP 000011d6: PUSH1 0x00 000011d8: SWAP1 000011d9: PUSH1 0x01 000011db: PUSH1 0x01 000011dd: PUSH1 0xa0 000011df: SHL 000011e0: SUB 000011e1: AND 000011e2: PUSH2 0x11eb 000011e5: DUP4 000011e6: DUP6 000011e7: PUSH2 0x155d 000011ea: JUMP 000011eb: JUMPDEST 000011ec: PUSH1 0x40 000011ee: MLOAD 000011ef: PUSH1 0x24 000011f1: DUP2 000011f2: ADD 000011f3: DUP7 000011f4: SWAP1 000011f5: MSTORE 000011f6: PUSH1 0x44 000011f8: ADD 000011f9: PUSH1 0x40 000011fb: DUP1 000011fc: MLOAD 000011fd: PUSH1 0x1f 000011ff: NOT 00001200: DUP2 00001201: DUP5 00001202: SUB 00001203: ADD 00001204: DUP2 00001205: MSTORE 00001206: SWAP2 00001207: DUP2 00001208: MSTORE 00001209: PUSH1 0x20 0000120b: DUP3 0000120c: ADD 0000120d: DUP1 0000120e: MLOAD 0000120f: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff 0000122c: AND 0000122d: PUSH32 0x1225f64b00000000000000000000000000000000000000000000000000000000 0000124e: OR 0000124f: SWAP1 00001250: MSTORE 00001251: MLOAD 00001252: PUSH2 0x125b 00001255: SWAP2 00001256: SWAP1 00001257: PUSH2 0x1590 0000125a: JUMP 0000125b: JUMPDEST 0000125c: PUSH1 0x00 0000125e: PUSH1 0x40 00001260: MLOAD 00001261: DUP1 00001262: DUP4 00001263: SUB 00001264: DUP2 00001265: DUP6 00001266: DUP8 00001267: GAS 00001268: CALL 00001269: SWAP3 0000126a: POP 0000126b: POP 0000126c: POP 0000126d: RETURNDATASIZE 0000126e: DUP1 0000126f: PUSH1 0x00 00001271: DUP2 00001272: EQ 00001273: PUSH2 0x1298 00001276: JUMPI 00001277: PUSH1 0x40 00001279: MLOAD 0000127a: SWAP2 0000127b: POP 0000127c: PUSH1 0x1f 0000127e: NOT 0000127f: PUSH1 0x3f 00001281: RETURNDATASIZE 00001282: ADD 00001283: AND 00001284: DUP3 00001285: ADD 00001286: PUSH1 0x40 00001288: MSTORE 00001289: RETURNDATASIZE 0000128a: DUP3 0000128b: MSTORE 0000128c: RETURNDATASIZE 0000128d: PUSH1 0x00 0000128f: PUSH1 0x20 00001291: DUP5 00001292: ADD 00001293: RETURNDATACOPY 00001294: PUSH2 0x129d 00001297: JUMP 00001298: JUMPDEST 00001299: PUSH1 0x60 0000129b: SWAP2 0000129c: POP 0000129d: JUMPDEST 0000129e: POP 0000129f: POP 000012a0: SWAP1 000012a1: POP 000012a2: DUP1 000012a3: PUSH2 0x12ee 000012a6: JUMPI 000012a7: PUSH1 0x40 000012a9: MLOAD 000012aa: PUSH3 0x461bcd 000012ae: PUSH1 0xe5 000012b0: SHL 000012b1: DUP2 000012b2: MSTORE 000012b3: PUSH1 0x20 000012b5: PUSH1 0x04 000012b7: DUP3 000012b8: ADD 000012b9: MSTORE 000012ba: PUSH1 0x1d 000012bc: PUSH1 0x24 000012be: DUP3 000012bf: ADD 000012c0: MSTORE 000012c1: PUSH32 0x4661696c656420546f204469737472696275746520546f205969656c64000000 000012e2: PUSH1 0x44 000012e4: DUP3 000012e5: ADD 000012e6: MSTORE 000012e7: PUSH1 0x64 000012e9: ADD 000012ea: PUSH2 0x0436 000012ed: JUMP 000012ee: JUMPDEST 000012ef: PUSH1 0x00 000012f1: PUSH2 0x12fa 000012f4: DUP6 000012f5: CALLVALUE 000012f6: PUSH2 0x14b8 000012f9: JUMP 000012fa: JUMPDEST 000012fb: SWAP1 000012fc: POP 000012fd: DUP1 000012fe: ISZERO 000012ff: PUSH2 0x1331 00001302: JUMPI 00001303: PUSH1 0x40 00001305: MLOAD 00001306: CALLER 00001307: SWAP1 00001308: DUP3 00001309: ISZERO 0000130a: PUSH2 0x08fc 0000130d: MUL 0000130e: SWAP1 0000130f: DUP4 00001310: SWAP1 00001311: PUSH1 0x00 00001313: DUP2 00001314: DUP2 00001315: DUP2 00001316: DUP6 00001317: DUP9 00001318: DUP9 00001319: CALL 0000131a: SWAP4 0000131b: POP 0000131c: POP 0000131d: POP 0000131e: POP 0000131f: ISZERO 00001320: DUP1 00001321: ISZERO 00001322: PUSH2 0x132f 00001325: JUMPI 00001326: RETURNDATASIZE 00001327: PUSH1 0x00 00001329: DUP1 0000132a: RETURNDATACOPY 0000132b: RETURNDATASIZE 0000132c: PUSH1 0x00 0000132e: REVERT 0000132f: JUMPDEST 00001330: POP 00001331: JUMPDEST 00001332: POP 00001333: POP 00001334: POP 00001335: POP 00001336: JUMPDEST 00001337: POP 00001338: POP 00001339: PUSH1 0x01 0000133b: DUP1 0000133c: SSTORE 0000133d: POP 0000133e: POP 0000133f: POP 00001340: POP 00001341: POP 00001342: JUMP 00001343: JUMPDEST 00001344: PUSH1 0x00 00001346: DUP1 00001347: SLOAD 00001348: PUSH1 0x01 0000134a: PUSH1 0x01 0000134c: PUSH1 0xa0 0000134e: SHL 0000134f: SUB 00001350: DUP4 00001351: DUP2 00001352: AND 00001353: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001368: NOT 00001369: DUP4 0000136a: AND 0000136b: DUP2 0000136c: OR 0000136d: DUP5 0000136e: SSTORE 0000136f: PUSH1 0x40 00001371: MLOAD 00001372: SWAP2 00001373: SWAP1 00001374: SWAP3 00001375: AND 00001376: SWAP3 00001377: DUP4 00001378: SWAP2 00001379: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0 0000139a: SWAP2 0000139b: SWAP1 0000139c: LOG3 0000139d: POP 0000139e: POP 0000139f: JUMP 000013a0: JUMPDEST 000013a1: PUSH1 0x00 000013a3: PUSH1 0x20 000013a5: DUP3 000013a6: DUP5 000013a7: SUB 000013a8: SLT 000013a9: ISZERO 000013aa: PUSH2 0x13b2 000013ad: JUMPI 000013ae: PUSH1 0x00 000013b0: DUP1 000013b1: REVERT 000013b2: JUMPDEST 000013b3: DUP2 000013b4: CALLDATALOAD 000013b5: DUP1 000013b6: ISZERO 000013b7: ISZERO 000013b8: DUP2 000013b9: EQ 000013ba: PUSH2 0x13c2 000013bd: JUMPI 000013be: PUSH1 0x00 000013c0: DUP1 000013c1: REVERT 000013c2: JUMPDEST 000013c3: SWAP4 000013c4: SWAP3 000013c5: POP 000013c6: POP 000013c7: POP 000013c8: JUMP 000013c9: JUMPDEST 000013ca: PUSH1 0x00 000013cc: PUSH1 0x20 000013ce: DUP3 000013cf: DUP5 000013d0: SUB 000013d1: SLT 000013d2: ISZERO 000013d3: PUSH2 0x13db 000013d6: JUMPI 000013d7: PUSH1 0x00 000013d9: DUP1 000013da: REVERT 000013db: JUMPDEST 000013dc: POP 000013dd: CALLDATALOAD 000013de: SWAP2 000013df: SWAP1 000013e0: POP 000013e1: JUMP 000013e2: JUMPDEST 000013e3: PUSH1 0x01 000013e5: PUSH1 0x01 000013e7: PUSH1 0xa0 000013e9: SHL 000013ea: SUB 000013eb: DUP2 000013ec: AND 000013ed: DUP2 000013ee: EQ 000013ef: PUSH2 0x0aa0 000013f2: JUMPI 000013f3: PUSH1 0x00 000013f5: DUP1 000013f6: REVERT 000013f7: JUMPDEST 000013f8: PUSH1 0x00 000013fa: PUSH1 0x20 000013fc: DUP3 000013fd: DUP5 000013fe: SUB 000013ff: SLT 00001400: ISZERO 00001401: PUSH2 0x1409 00001404: JUMPI 00001405: PUSH1 0x00 00001407: DUP1 00001408: REVERT 00001409: JUMPDEST 0000140a: DUP2 0000140b: CALLDATALOAD 0000140c: PUSH2 0x13c2 0000140f: DUP2 00001410: PUSH2 0x13e2 00001413: JUMP 00001414: JUMPDEST 00001415: PUSH1 0x00 00001417: DUP1 00001418: PUSH1 0x20 0000141a: DUP4 0000141b: DUP6 0000141c: SUB 0000141d: SLT 0000141e: ISZERO 0000141f: PUSH2 0x1427 00001422: JUMPI 00001423: PUSH1 0x00 00001425: DUP1 00001426: REVERT 00001427: JUMPDEST 00001428: DUP3 00001429: CALLDATALOAD 0000142a: PUSH8 0xffffffffffffffff 00001433: DUP1 00001434: DUP3 00001435: GT 00001436: ISZERO 00001437: PUSH2 0x143f 0000143a: JUMPI 0000143b: PUSH1 0x00 0000143d: DUP1 0000143e: REVERT 0000143f: JUMPDEST 00001440: DUP2 00001441: DUP6 00001442: ADD 00001443: SWAP2 00001444: POP 00001445: DUP6 00001446: PUSH1 0x1f 00001448: DUP4 00001449: ADD 0000144a: SLT 0000144b: PUSH2 0x1453 0000144e: JUMPI 0000144f: PUSH1 0x00 00001451: DUP1 00001452: REVERT 00001453: JUMPDEST 00001454: DUP2 00001455: CALLDATALOAD 00001456: DUP2 00001457: DUP2 00001458: GT 00001459: ISZERO 0000145a: PUSH2 0x1462 0000145d: JUMPI 0000145e: PUSH1 0x00 00001460: DUP1 00001461: REVERT 00001462: JUMPDEST 00001463: DUP7 00001464: PUSH1 0x20 00001466: DUP3 00001467: PUSH1 0x05 00001469: SHL 0000146a: DUP6 0000146b: ADD 0000146c: ADD 0000146d: GT 0000146e: ISZERO 0000146f: PUSH2 0x1477 00001472: JUMPI 00001473: PUSH1 0x00 00001475: DUP1 00001476: REVERT 00001477: JUMPDEST 00001478: PUSH1 0x20 0000147a: SWAP3 0000147b: SWAP1 0000147c: SWAP3 0000147d: ADD 0000147e: SWAP7 0000147f: SWAP2 00001480: SWAP6 00001481: POP 00001482: SWAP1 00001483: SWAP4 00001484: POP 00001485: POP 00001486: POP 00001487: POP 00001488: JUMP 00001489: JUMPDEST 0000148a: PUSH1 0x00 0000148c: PUSH1 0x20 0000148e: DUP3 0000148f: DUP5 00001490: SUB 00001491: SLT 00001492: ISZERO 00001493: PUSH2 0x149b 00001496: JUMPI 00001497: PUSH1 0x00 00001499: DUP1 0000149a: REVERT 0000149b: JUMPDEST 0000149c: POP 0000149d: MLOAD 0000149e: SWAP2 0000149f: SWAP1 000014a0: POP 000014a1: JUMP 000014a2: JUMPDEST 000014a3: PUSH4 0x4e487b71 000014a8: PUSH1 0xe0 000014aa: SHL 000014ab: PUSH1 0x00 000014ad: MSTORE 000014ae: PUSH1 0x11 000014b0: PUSH1 0x04 000014b2: MSTORE 000014b3: PUSH1 0x24 000014b5: PUSH1 0x00 000014b7: REVERT 000014b8: JUMPDEST 000014b9: PUSH1 0x00 000014bb: DUP3 000014bc: DUP3 000014bd: LT 000014be: ISZERO 000014bf: PUSH2 0x14ca 000014c2: JUMPI 000014c3: PUSH2 0x14ca 000014c6: PUSH2 0x14a2 000014c9: JUMP 000014ca: JUMPDEST 000014cb: POP 000014cc: SUB 000014cd: SWAP1 000014ce: JUMP 000014cf: JUMPDEST 000014d0: PUSH4 0x4e487b71 000014d5: PUSH1 0xe0 000014d7: SHL 000014d8: PUSH1 0x00 000014da: MSTORE 000014db: PUSH1 0x32 000014dd: PUSH1 0x04 000014df: MSTORE 000014e0: PUSH1 0x24 000014e2: PUSH1 0x00 000014e4: REVERT 000014e5: JUMPDEST 000014e6: PUSH1 0x00 000014e8: DUP1 000014e9: PUSH1 0x00 000014eb: PUSH1 0x60 000014ed: DUP5 000014ee: DUP7 000014ef: SUB 000014f0: SLT 000014f1: ISZERO 000014f2: PUSH2 0x14fa 000014f5: JUMPI 000014f6: PUSH1 0x00 000014f8: DUP1 000014f9: REVERT 000014fa: JUMPDEST 000014fb: DUP4 000014fc: MLOAD 000014fd: PUSH2 0x1505 00001500: DUP2 00001501: PUSH2 0x13e2 00001504: JUMP 00001505: JUMPDEST 00001506: PUSH1 0x20 00001508: DUP6 00001509: ADD 0000150a: MLOAD 0000150b: PUSH1 0x40 0000150d: SWAP1 0000150e: SWAP6 0000150f: ADD 00001510: MLOAD 00001511: SWAP1 00001512: SWAP7 00001513: SWAP5 00001514: SWAP6 00001515: POP 00001516: SWAP4 00001517: SWAP3 00001518: POP 00001519: POP 0000151a: POP 0000151b: JUMP 0000151c: JUMPDEST 0000151d: PUSH1 0x00 0000151f: DUP2 00001520: PUSH1 0x00 00001522: NOT 00001523: DIV 00001524: DUP4 00001525: GT 00001526: DUP3 00001527: ISZERO 00001528: ISZERO 00001529: AND 0000152a: ISZERO 0000152b: PUSH2 0x1536 0000152e: JUMPI 0000152f: PUSH2 0x1536 00001532: PUSH2 0x14a2 00001535: JUMP 00001536: JUMPDEST 00001537: POP 00001538: MUL 00001539: SWAP1 0000153a: JUMP 0000153b: JUMPDEST 0000153c: PUSH1 0x00 0000153e: DUP3 0000153f: PUSH2 0x1558 00001542: JUMPI 00001543: PUSH4 0x4e487b71 00001548: PUSH1 0xe0 0000154a: SHL 0000154b: PUSH1 0x00 0000154d: MSTORE 0000154e: PUSH1 0x12 00001550: PUSH1 0x04 00001552: MSTORE 00001553: PUSH1 0x24 00001555: PUSH1 0x00 00001557: REVERT 00001558: JUMPDEST 00001559: POP 0000155a: DIV 0000155b: SWAP1 0000155c: JUMP 0000155d: JUMPDEST 0000155e: PUSH1 0x00 00001560: DUP3 00001561: NOT 00001562: DUP3 00001563: GT 00001564: ISZERO 00001565: PUSH2 0x1570 00001568: JUMPI 00001569: PUSH2 0x1570 0000156c: PUSH2 0x14a2 0000156f: JUMP 00001570: JUMPDEST 00001571: POP 00001572: ADD 00001573: SWAP1 00001574: JUMP 00001575: JUMPDEST 00001576: PUSH1 0x00 00001578: PUSH1 0x00 0000157a: NOT 0000157b: DUP3 0000157c: EQ 0000157d: ISZERO 0000157e: PUSH2 0x1589 00001581: JUMPI 00001582: PUSH2 0x1589 00001585: PUSH2 0x14a2 00001588: JUMP 00001589: JUMPDEST 0000158a: POP 0000158b: PUSH1 0x01 0000158d: ADD 0000158e: SWAP1 0000158f: JUMP 00001590: JUMPDEST 00001591: PUSH1 0x00 00001593: DUP3 00001594: MLOAD 00001595: PUSH1 0x00 00001597: JUMPDEST 00001598: DUP2 00001599: DUP2 0000159a: LT 0000159b: ISZERO 0000159c: PUSH2 0x15b1 0000159f: JUMPI 000015a0: PUSH1 0x20 000015a2: DUP2 000015a3: DUP7 000015a4: ADD 000015a5: DUP2 000015a6: ADD 000015a7: MLOAD 000015a8: DUP6 000015a9: DUP4 000015aa: ADD 000015ab: MSTORE 000015ac: ADD 000015ad: PUSH2 0x1597 000015b0: JUMP 000015b1: JUMPDEST 000015b2: DUP2 000015b3: DUP2 000015b4: GT 000015b5: ISZERO 000015b6: PUSH2 0x15c0 000015b9: JUMPI 000015ba: PUSH1 0x00 000015bc: DUP3 000015bd: DUP6 000015be: ADD 000015bf: MSTORE 000015c0: JUMPDEST 000015c1: POP 000015c2: SWAP2 000015c3: SWAP1 000015c4: SWAP2 000015c5: ADD 000015c6: SWAP3 000015c7: SWAP2 000015c8: POP 000015c9: POP 000015ca: JUMP 000015cb: INVALID 000015cc: LOG2 000015cd: PUSH5 0x6970667358 000015d3: UNKNOWN(0x22) 000015d4: SLT 000015d5: KECCAK256 000015d6: SUB 000015d7: SWAP12 000015d8: PUSH7 0xf4e3b452a6aaf9 000015e0: UNKNOWN(0xE8) 000015e1: UNKNOWN(0xBF) 000015e2: OR 000015e3: MCOPY 000015e4: EXTCODESIZE 000015e5: UNKNOWN(0x24) 000015e6: CALLER 000015e7: UNKNOWN(0x0F) 000015e8: COINBASE 000015e9: GASPRICE 000015ea: PUSH8 0x88e2a9ce66ec7b47 000015f3: PUSH2 0xd1ab 000015f6: PUSH5 0x736f6c6343 000015fc: STOP 000015fd: ADDMOD 000015fe: MULMOD 000015ff: STOP 00001600: CALLER
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0x764e7199b2a44d8c5650e17fbf376bda59d31ab3cf85730e6962289c708b82f4
call_targets:
0xe5181240848bc3fa923d25697f70b91d45588614
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x764e7199b2a44d8c5650e17fbf376bda59d31ab3cf85730e6962289c708b82f4",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xe5181240848bc3fa923d25697f70b91d45588614"
],
"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": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf7c2beb6",
"selector": "0xf7c2beb6",
"calldata_variants": [
"0xf7c2beb6",
"0xf7c2beb60000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf8e93ef9",
"selector": "0xf8e93ef9",
"calldata_variants": [
"0xf8e93ef9",
"0xf8e93ef90000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe8b7155d",
"selector": "0xe8b7155d",
"calldata_variants": [
"0xe8b7155d",
"0xe8b7155d0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xeff3c4e7",
"selector": "0xeff3c4e7",
"calldata_variants": [
"0xeff3c4e7",
"0xeff3c4e70000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x996517cf",
"selector": "0x996517cf",
"calldata_variants": [
"0x996517cf",
"0x996517cf0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x9e6a1d7d",
"selector": "0x9e6a1d7d",
"calldata_variants": [
"0x9e6a1d7d",
"0x9e6a1d7d0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa0f44c92",
"selector": "0xa0f44c92",
"calldata_variants": [
"0xa0f44c92",
"0xa0f44c920000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1183,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 4100,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 4477,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 5,
"guards_detected": [],
"untrusted_call_count": 5
}
|
| high | other | detector | ETH value transfer possible | 55 | no | no |
viewtrace_id: 0x764e7199b2a44d8c5650e17fbf376bda59d31ab3cf85730e6962289c708b82f4
call_targets:
0xe5181240848bc3fa923d25697f70b91d45588614
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x764e7199b2a44d8c5650e17fbf376bda59d31ab3cf85730e6962289c708b82f4",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xe5181240848bc3fa923d25697f70b91d45588614"
],
"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": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf7c2beb6",
"selector": "0xf7c2beb6",
"calldata_variants": [
"0xf7c2beb6",
"0xf7c2beb60000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf8e93ef9",
"selector": "0xf8e93ef9",
"calldata_variants": [
"0xf8e93ef9",
"0xf8e93ef90000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe8b7155d",
"selector": "0xe8b7155d",
"calldata_variants": [
"0xe8b7155d",
"0xe8b7155d0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xeff3c4e7",
"selector": "0xeff3c4e7",
"calldata_variants": [
"0xeff3c4e7",
"0xeff3c4e70000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x996517cf",
"selector": "0x996517cf",
"calldata_variants": [
"0x996517cf",
"0x996517cf0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x9e6a1d7d",
"selector": "0x9e6a1d7d",
"calldata_variants": [
"0x9e6a1d7d",
"0x9e6a1d7d0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa0f44c92",
"selector": "0xa0f44c92",
"calldata_variants": [
"0xa0f44c92",
"0xa0f44c920000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1183,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 4100,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 4477,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 5,
"guards_detected": []
}
|