019b3844-9d3c-71af-afdb-46fcebcaa0c4
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 |
|---|---|---|---|---|
| 14715 | artifact.fetch | complete | 1 / 3 | 4 months ago |
| 14716 | tool.cast_disasm | complete | 1 / 3 | 4 months ago |
| 58141 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 58142 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 58143 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 58144 | 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 0x00f7 0000000c: JUMPI 0000000d: PUSH1 0x00 0000000f: CALLDATALOAD 00000010: PUSH1 0xe0 00000012: SHR 00000013: DUP1 00000014: PUSH4 0x8da5cb5b 00000019: GT 0000001a: PUSH2 0x008a 0000001d: JUMPI 0000001e: DUP1 0000001f: PUSH4 0xdf42113b 00000024: GT 00000025: PUSH2 0x0059 00000028: JUMPI 00000029: DUP1 0000002a: PUSH4 0xdf42113b 0000002f: EQ 00000030: PUSH2 0x0375 00000033: JUMPI 00000034: DUP1 00000035: PUSH4 0xf0f44260 0000003a: EQ 0000003b: PUSH2 0x0395 0000003e: JUMPI 0000003f: DUP1 00000040: PUSH4 0xf2fde38b 00000045: EQ 00000046: PUSH2 0x03b5 00000049: JUMPI 0000004a: DUP1 0000004b: PUSH4 0xf851a440 00000050: EQ 00000051: PUSH2 0x03d5 00000054: JUMPI 00000055: PUSH1 0x00 00000057: DUP1 00000058: REVERT 00000059: JUMPDEST 0000005a: DUP1 0000005b: PUSH4 0x8da5cb5b 00000060: EQ 00000061: PUSH2 0x0318 00000064: JUMPI 00000065: DUP1 00000066: PUSH4 0x8f12e25f 0000006b: EQ 0000006c: PUSH2 0x0336 0000006f: JUMPI 00000070: DUP1 00000071: PUSH4 0xa1c06970 00000076: EQ 00000077: PUSH2 0x034b 0000007a: JUMPI 0000007b: DUP1 0000007c: PUSH4 0xd7a18099 00000081: EQ 00000082: PUSH2 0x0360 00000085: JUMPI 00000086: PUSH1 0x00 00000088: DUP1 00000089: REVERT 0000008a: JUMPDEST 0000008b: DUP1 0000008c: PUSH4 0x2c75cc09 00000091: GT 00000092: PUSH2 0x00c6 00000095: JUMPI 00000096: DUP1 00000097: PUSH4 0x2c75cc09 0000009c: EQ 0000009d: PUSH2 0x02b0 000000a0: JUMPI 000000a1: DUP1 000000a2: PUSH4 0x61d027b3 000000a7: EQ 000000a8: PUSH2 0x02c5 000000ab: JUMPI 000000ac: DUP1 000000ad: PUSH4 0x704b6c02 000000b2: EQ 000000b3: PUSH2 0x02e3 000000b6: JUMPI 000000b7: DUP1 000000b8: PUSH4 0x715018a6 000000bd: EQ 000000be: PUSH2 0x0303 000000c1: JUMPI 000000c2: PUSH1 0x00 000000c4: DUP1 000000c5: REVERT 000000c6: JUMPDEST 000000c7: DUP1 000000c8: PUSH4 0x03d07340 000000cd: EQ 000000ce: PUSH2 0x020e 000000d1: JUMPI 000000d2: DUP1 000000d3: PUSH4 0x1225f64b 000000d8: EQ 000000d9: PUSH2 0x024b 000000dc: JUMPI 000000dd: DUP1 000000de: PUSH4 0x1bb6a2af 000000e3: EQ 000000e4: PUSH2 0x0260 000000e7: JUMPI 000000e8: DUP1 000000e9: PUSH4 0x1c5574be 000000ee: EQ 000000ef: PUSH2 0x029b 000000f2: JUMPI 000000f3: PUSH1 0x00 000000f5: DUP1 000000f6: REVERT 000000f7: JUMPDEST 000000f8: CALLDATASIZE 000000f9: PUSH2 0x0209 000000fc: JUMPI 000000fd: PUSH1 0x00 000000ff: CALLVALUE 00000100: GT 00000101: PUSH2 0x0146 00000104: JUMPI 00000105: PUSH1 0x40 00000107: MLOAD 00000108: PUSH3 0x461bcd 0000010c: PUSH1 0xe5 0000010e: SHL 0000010f: DUP2 00000110: MSTORE 00000111: PUSH1 0x20 00000113: PUSH1 0x04 00000115: DUP3 00000116: ADD 00000117: MSTORE 00000118: PUSH1 0x12 0000011a: PUSH1 0x24 0000011c: DUP3 0000011d: ADD 0000011e: MSTORE 0000011f: PUSH18 0x125b9cdd59999a58da595b9d08165a595b19 00000132: PUSH1 0x72 00000134: SHL 00000135: PUSH1 0x44 00000137: DUP3 00000138: ADD 00000139: MSTORE 0000013a: PUSH1 0x64 0000013c: ADD 0000013d: JUMPDEST 0000013e: PUSH1 0x40 00000140: MLOAD 00000141: DUP1 00000142: SWAP2 00000143: SUB 00000144: SWAP1 00000145: REVERT 00000146: JUMPDEST 00000147: PUSH1 0x02 00000149: SLOAD 0000014a: PUSH1 0x40 0000014c: DUP1 0000014d: MLOAD 0000014e: PUSH4 0x0480e58b 00000153: PUSH1 0xe0 00000155: SHL 00000156: DUP2 00000157: MSTORE 00000158: SWAP1 00000159: MLOAD 0000015a: PUSH1 0x00 0000015c: SWAP3 0000015d: PUSH1 0x01 0000015f: PUSH1 0x01 00000161: PUSH1 0xa0 00000163: SHL 00000164: SUB 00000165: AND 00000166: SWAP2 00000167: PUSH4 0x0480e58b 0000016c: SWAP2 0000016d: PUSH1 0x04 0000016f: DUP1 00000170: DUP4 00000171: ADD 00000172: SWAP3 00000173: PUSH1 0x20 00000175: SWAP3 00000176: SWAP2 00000177: SWAP1 00000178: DUP3 00000179: SWAP1 0000017a: SUB 0000017b: ADD 0000017c: DUP2 0000017d: DUP7 0000017e: DUP1 0000017f: EXTCODESIZE 00000180: ISZERO 00000181: DUP1 00000182: ISZERO 00000183: PUSH2 0x018b 00000186: JUMPI 00000187: PUSH1 0x00 00000189: DUP1 0000018a: REVERT 0000018b: JUMPDEST 0000018c: POP 0000018d: GAS 0000018e: STATICCALL 0000018f: ISZERO 00000190: DUP1 00000191: ISZERO 00000192: PUSH2 0x019f 00000195: JUMPI 00000196: RETURNDATASIZE 00000197: PUSH1 0x00 00000199: DUP1 0000019a: RETURNDATACOPY 0000019b: RETURNDATASIZE 0000019c: PUSH1 0x00 0000019e: REVERT 0000019f: JUMPDEST 000001a0: POP 000001a1: POP 000001a2: POP 000001a3: POP 000001a4: PUSH1 0x40 000001a6: MLOAD 000001a7: RETURNDATASIZE 000001a8: PUSH1 0x1f 000001aa: NOT 000001ab: PUSH1 0x1f 000001ad: DUP3 000001ae: ADD 000001af: AND 000001b0: DUP3 000001b1: ADD 000001b2: DUP1 000001b3: PUSH1 0x40 000001b5: MSTORE 000001b6: POP 000001b7: DUP2 000001b8: ADD 000001b9: SWAP1 000001ba: PUSH2 0x01c3 000001bd: SWAP2 000001be: SWAP1 000001bf: PUSH2 0x0e5c 000001c2: JUMP 000001c3: JUMPDEST 000001c4: SWAP1 000001c5: POP 000001c6: PUSH2 0x01cf 000001c9: DUP2 000001ca: CALLVALUE 000001cb: PUSH2 0x0ea1 000001ce: JUMP 000001cf: JUMPDEST 000001d0: PUSH1 0x05 000001d2: PUSH1 0x00 000001d4: DUP3 000001d5: DUP3 000001d6: SLOAD 000001d7: PUSH2 0x01e0 000001da: SWAP2 000001db: SWAP1 000001dc: PUSH2 0x0eb5 000001df: JUMP 000001e0: JUMPDEST 000001e1: SWAP1 000001e2: SWAP2 000001e3: SSTORE 000001e4: POP 000001e5: PUSH2 0x01f0 000001e8: SWAP1 000001e9: POP 000001ea: DUP2 000001eb: CALLVALUE 000001ec: PUSH2 0x0ecd 000001ef: JUMP 000001f0: JUMPDEST 000001f1: PUSH1 0x07 000001f3: PUSH1 0x00 000001f5: DUP3 000001f6: DUP3 000001f7: SLOAD 000001f8: PUSH2 0x0201 000001fb: SWAP2 000001fc: SWAP1 000001fd: PUSH2 0x0eb5 00000200: JUMP 00000201: JUMPDEST 00000202: SWAP1 00000203: SWAP2 00000204: SSTORE 00000205: POP 00000206: POP 00000207: POP 00000208: STOP 00000209: JUMPDEST 0000020a: PUSH1 0x00 0000020c: DUP1 0000020d: REVERT 0000020e: JUMPDEST 0000020f: CALLVALUE 00000210: DUP1 00000211: ISZERO 00000212: PUSH2 0x021a 00000215: JUMPI 00000216: PUSH1 0x00 00000218: DUP1 00000219: REVERT 0000021a: JUMPDEST 0000021b: POP 0000021c: PUSH1 0x02 0000021e: SLOAD 0000021f: PUSH2 0x022e 00000222: SWAP1 00000223: PUSH1 0x01 00000225: PUSH1 0x01 00000227: PUSH1 0xa0 00000229: SHL 0000022a: SUB 0000022b: AND 0000022c: DUP2 0000022d: JUMP 0000022e: JUMPDEST 0000022f: PUSH1 0x40 00000231: MLOAD 00000232: PUSH1 0x01 00000234: PUSH1 0x01 00000236: PUSH1 0xa0 00000238: SHL 00000239: SUB 0000023a: SWAP1 0000023b: SWAP2 0000023c: AND 0000023d: DUP2 0000023e: MSTORE 0000023f: PUSH1 0x20 00000241: ADD 00000242: JUMPDEST 00000243: PUSH1 0x40 00000245: MLOAD 00000246: DUP1 00000247: SWAP2 00000248: SUB 00000249: SWAP1 0000024a: RETURN 0000024b: JUMPDEST 0000024c: PUSH2 0x025e 0000024f: PUSH2 0x0259 00000252: CALLDATASIZE 00000253: PUSH1 0x04 00000255: PUSH2 0x0ee1 00000258: JUMP 00000259: JUMPDEST 0000025a: PUSH2 0x03f3 0000025d: JUMP 0000025e: JUMPDEST 0000025f: STOP 00000260: JUMPDEST 00000261: CALLVALUE 00000262: DUP1 00000263: ISZERO 00000264: PUSH2 0x026c 00000267: JUMPI 00000268: PUSH1 0x00 0000026a: DUP1 0000026b: REVERT 0000026c: JUMPDEST 0000026d: POP 0000026e: PUSH2 0x028d 00000271: PUSH2 0x027b 00000274: CALLDATASIZE 00000275: PUSH1 0x04 00000277: PUSH2 0x0ee1 0000027a: JUMP 0000027b: JUMPDEST 0000027c: PUSH1 0x00 0000027e: SWAP1 0000027f: DUP2 00000280: MSTORE 00000281: PUSH1 0x08 00000283: PUSH1 0x20 00000285: MSTORE 00000286: PUSH1 0x40 00000288: SWAP1 00000289: KECCAK256 0000028a: SLOAD 0000028b: SWAP1 0000028c: JUMP 0000028d: JUMPDEST 0000028e: PUSH1 0x40 00000290: MLOAD 00000291: SWAP1 00000292: DUP2 00000293: MSTORE 00000294: PUSH1 0x20 00000296: ADD 00000297: PUSH2 0x0242 0000029a: JUMP 0000029b: JUMPDEST 0000029c: CALLVALUE 0000029d: DUP1 0000029e: ISZERO 0000029f: PUSH2 0x02a7 000002a2: JUMPI 000002a3: PUSH1 0x00 000002a5: DUP1 000002a6: REVERT 000002a7: JUMPDEST 000002a8: POP 000002a9: PUSH1 0x05 000002ab: SLOAD 000002ac: PUSH2 0x028d 000002af: JUMP 000002b0: JUMPDEST 000002b1: CALLVALUE 000002b2: DUP1 000002b3: ISZERO 000002b4: PUSH2 0x02bc 000002b7: JUMPI 000002b8: PUSH1 0x00 000002ba: DUP1 000002bb: REVERT 000002bc: JUMPDEST 000002bd: POP 000002be: PUSH2 0x025e 000002c1: PUSH2 0x0569 000002c4: JUMP 000002c5: JUMPDEST 000002c6: CALLVALUE 000002c7: DUP1 000002c8: ISZERO 000002c9: PUSH2 0x02d1 000002cc: JUMPI 000002cd: PUSH1 0x00 000002cf: DUP1 000002d0: REVERT 000002d1: JUMPDEST 000002d2: POP 000002d3: PUSH1 0x03 000002d5: SLOAD 000002d6: PUSH1 0x01 000002d8: PUSH1 0x01 000002da: PUSH1 0xa0 000002dc: SHL 000002dd: SUB 000002de: AND 000002df: PUSH2 0x022e 000002e2: JUMP 000002e3: JUMPDEST 000002e4: CALLVALUE 000002e5: DUP1 000002e6: ISZERO 000002e7: PUSH2 0x02ef 000002ea: JUMPI 000002eb: PUSH1 0x00 000002ed: DUP1 000002ee: REVERT 000002ef: JUMPDEST 000002f0: POP 000002f1: PUSH2 0x025e 000002f4: PUSH2 0x02fe 000002f7: CALLDATASIZE 000002f8: PUSH1 0x04 000002fa: PUSH2 0x0efa 000002fd: JUMP 000002fe: JUMPDEST 000002ff: PUSH2 0x080e 00000302: JUMP 00000303: JUMPDEST 00000304: CALLVALUE 00000305: DUP1 00000306: ISZERO 00000307: PUSH2 0x030f 0000030a: JUMPI 0000030b: PUSH1 0x00 0000030d: DUP1 0000030e: REVERT 0000030f: JUMPDEST 00000310: POP 00000311: PUSH2 0x025e 00000314: PUSH2 0x08ed 00000317: JUMP 00000318: JUMPDEST 00000319: CALLVALUE 0000031a: DUP1 0000031b: ISZERO 0000031c: PUSH2 0x0324 0000031f: JUMPI 00000320: PUSH1 0x00 00000322: DUP1 00000323: REVERT 00000324: JUMPDEST 00000325: POP 00000326: PUSH1 0x00 00000328: SLOAD 00000329: PUSH1 0x01 0000032b: PUSH1 0x01 0000032d: PUSH1 0xa0 0000032f: SHL 00000330: SUB 00000331: AND 00000332: PUSH2 0x022e 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: PUSH1 0x07 00000346: SLOAD 00000347: PUSH2 0x028d 0000034a: JUMP 0000034b: JUMPDEST 0000034c: CALLVALUE 0000034d: DUP1 0000034e: ISZERO 0000034f: PUSH2 0x0357 00000352: JUMPI 00000353: PUSH1 0x00 00000355: DUP1 00000356: REVERT 00000357: JUMPDEST 00000358: POP 00000359: PUSH1 0x06 0000035b: SLOAD 0000035c: PUSH2 0x028d 0000035f: JUMP 00000360: JUMPDEST 00000361: CALLVALUE 00000362: DUP1 00000363: ISZERO 00000364: PUSH2 0x036c 00000367: JUMPI 00000368: PUSH1 0x00 0000036a: DUP1 0000036b: REVERT 0000036c: JUMPDEST 0000036d: POP 0000036e: PUSH2 0x025e 00000371: PUSH2 0x0953 00000374: JUMP 00000375: JUMPDEST 00000376: CALLVALUE 00000377: DUP1 00000378: ISZERO 00000379: PUSH2 0x0381 0000037c: JUMPI 0000037d: PUSH1 0x00 0000037f: DUP1 00000380: REVERT 00000381: JUMPDEST 00000382: POP 00000383: PUSH2 0x028d 00000386: PUSH2 0x0390 00000389: CALLDATASIZE 0000038a: PUSH1 0x04 0000038c: PUSH2 0x0efa 0000038f: JUMP 00000390: JUMPDEST 00000391: PUSH2 0x0ac2 00000394: JUMP 00000395: JUMPDEST 00000396: CALLVALUE 00000397: DUP1 00000398: ISZERO 00000399: PUSH2 0x03a1 0000039c: JUMPI 0000039d: PUSH1 0x00 0000039f: DUP1 000003a0: REVERT 000003a1: JUMPDEST 000003a2: POP 000003a3: PUSH2 0x025e 000003a6: PUSH2 0x03b0 000003a9: CALLDATASIZE 000003aa: PUSH1 0x04 000003ac: PUSH2 0x0efa 000003af: JUMP 000003b0: JUMPDEST 000003b1: PUSH2 0x0c29 000003b4: JUMP 000003b5: JUMPDEST 000003b6: CALLVALUE 000003b7: DUP1 000003b8: ISZERO 000003b9: PUSH2 0x03c1 000003bc: JUMPI 000003bd: PUSH1 0x00 000003bf: DUP1 000003c0: REVERT 000003c1: JUMPDEST 000003c2: POP 000003c3: PUSH2 0x025e 000003c6: PUSH2 0x03d0 000003c9: CALLDATASIZE 000003ca: PUSH1 0x04 000003cc: PUSH2 0x0efa 000003cf: JUMP 000003d0: JUMPDEST 000003d1: PUSH2 0x0d1d 000003d4: JUMP 000003d5: JUMPDEST 000003d6: CALLVALUE 000003d7: DUP1 000003d8: ISZERO 000003d9: PUSH2 0x03e1 000003dc: JUMPI 000003dd: PUSH1 0x00 000003df: DUP1 000003e0: REVERT 000003e1: JUMPDEST 000003e2: POP 000003e3: PUSH1 0x04 000003e5: SLOAD 000003e6: PUSH1 0x01 000003e8: PUSH1 0x01 000003ea: PUSH1 0xa0 000003ec: SHL 000003ed: SUB 000003ee: AND 000003ef: PUSH2 0x022e 000003f2: JUMP 000003f3: JUMPDEST 000003f4: PUSH1 0x02 000003f6: PUSH1 0x01 000003f8: SLOAD 000003f9: EQ 000003fa: ISZERO 000003fb: PUSH2 0x0446 000003fe: JUMPI 000003ff: PUSH1 0x40 00000401: MLOAD 00000402: PUSH3 0x461bcd 00000406: PUSH1 0xe5 00000408: SHL 00000409: DUP2 0000040a: MSTORE 0000040b: PUSH1 0x20 0000040d: PUSH1 0x04 0000040f: DUP3 00000410: ADD 00000411: MSTORE 00000412: PUSH1 0x1f 00000414: PUSH1 0x24 00000416: DUP3 00000417: ADD 00000418: MSTORE 00000419: PUSH32 0x5265656e7472616e637947756172643a207265656e7472616e742063616c6c00 0000043a: PUSH1 0x44 0000043c: DUP3 0000043d: ADD 0000043e: MSTORE 0000043f: PUSH1 0x64 00000441: ADD 00000442: PUSH2 0x013d 00000445: JUMP 00000446: JUMPDEST 00000447: PUSH1 0x02 00000449: PUSH1 0x01 0000044b: SSTORE 0000044c: CALLVALUE 0000044d: PUSH2 0x048d 00000450: JUMPI 00000451: PUSH1 0x40 00000453: MLOAD 00000454: PUSH3 0x461bcd 00000458: PUSH1 0xe5 0000045a: SHL 0000045b: DUP2 0000045c: MSTORE 0000045d: PUSH1 0x20 0000045f: PUSH1 0x04 00000461: DUP3 00000462: ADD 00000463: MSTORE 00000464: PUSH1 0x12 00000466: PUSH1 0x24 00000468: DUP3 00000469: ADD 0000046a: MSTORE 0000046b: PUSH18 0x125b9cdd59999a58da595b9d08165a595b19 0000047e: PUSH1 0x72 00000480: SHL 00000481: PUSH1 0x44 00000483: DUP3 00000484: ADD 00000485: MSTORE 00000486: PUSH1 0x64 00000488: ADD 00000489: PUSH2 0x013d 0000048c: JUMP 0000048d: JUMPDEST 0000048e: PUSH1 0x02 00000490: SLOAD 00000491: PUSH1 0x40 00000493: DUP1 00000494: MLOAD 00000495: PUSH4 0x0480e58b 0000049a: PUSH1 0xe0 0000049c: SHL 0000049d: DUP2 0000049e: MSTORE 0000049f: SWAP1 000004a0: MLOAD 000004a1: PUSH1 0x00 000004a3: SWAP3 000004a4: PUSH1 0x01 000004a6: PUSH1 0x01 000004a8: PUSH1 0xa0 000004aa: SHL 000004ab: SUB 000004ac: AND 000004ad: SWAP2 000004ae: PUSH4 0x0480e58b 000004b3: SWAP2 000004b4: PUSH1 0x04 000004b6: DUP1 000004b7: DUP4 000004b8: ADD 000004b9: SWAP3 000004ba: PUSH1 0x20 000004bc: SWAP3 000004bd: SWAP2 000004be: SWAP1 000004bf: DUP3 000004c0: SWAP1 000004c1: SUB 000004c2: ADD 000004c3: DUP2 000004c4: DUP7 000004c5: DUP1 000004c6: EXTCODESIZE 000004c7: ISZERO 000004c8: DUP1 000004c9: ISZERO 000004ca: PUSH2 0x04d2 000004cd: JUMPI 000004ce: PUSH1 0x00 000004d0: DUP1 000004d1: REVERT 000004d2: JUMPDEST 000004d3: POP 000004d4: GAS 000004d5: STATICCALL 000004d6: ISZERO 000004d7: DUP1 000004d8: ISZERO 000004d9: PUSH2 0x04e6 000004dc: JUMPI 000004dd: RETURNDATASIZE 000004de: PUSH1 0x00 000004e0: DUP1 000004e1: RETURNDATACOPY 000004e2: RETURNDATASIZE 000004e3: PUSH1 0x00 000004e5: REVERT 000004e6: JUMPDEST 000004e7: POP 000004e8: POP 000004e9: POP 000004ea: POP 000004eb: PUSH1 0x40 000004ed: MLOAD 000004ee: RETURNDATASIZE 000004ef: PUSH1 0x1f 000004f1: NOT 000004f2: PUSH1 0x1f 000004f4: DUP3 000004f5: ADD 000004f6: AND 000004f7: DUP3 000004f8: ADD 000004f9: DUP1 000004fa: PUSH1 0x40 000004fc: MSTORE 000004fd: POP 000004fe: DUP2 000004ff: ADD 00000500: SWAP1 00000501: PUSH2 0x050a 00000504: SWAP2 00000505: SWAP1 00000506: PUSH2 0x0e5c 00000509: JUMP 0000050a: JUMPDEST 0000050b: SWAP1 0000050c: POP 0000050d: PUSH2 0x0516 00000510: DUP2 00000511: DUP4 00000512: PUSH2 0x0ea1 00000515: JUMP 00000516: JUMPDEST 00000517: PUSH1 0x05 00000519: PUSH1 0x00 0000051b: DUP3 0000051c: DUP3 0000051d: SLOAD 0000051e: PUSH2 0x0527 00000521: SWAP2 00000522: SWAP1 00000523: PUSH2 0x0eb5 00000526: JUMP 00000527: JUMPDEST 00000528: SWAP1 00000529: SWAP2 0000052a: SSTORE 0000052b: POP 0000052c: PUSH2 0x0537 0000052f: SWAP1 00000530: POP 00000531: DUP2 00000532: DUP4 00000533: PUSH2 0x0ecd 00000536: JUMP 00000537: JUMPDEST 00000538: PUSH2 0x0541 0000053b: DUP4 0000053c: CALLVALUE 0000053d: PUSH2 0x0f2a 00000540: JUMP 00000541: JUMPDEST 00000542: PUSH2 0x054b 00000545: SWAP2 00000546: SWAP1 00000547: PUSH2 0x0eb5 0000054a: JUMP 0000054b: JUMPDEST 0000054c: PUSH1 0x07 0000054e: PUSH1 0x00 00000550: DUP3 00000551: DUP3 00000552: SLOAD 00000553: PUSH2 0x055c 00000556: SWAP2 00000557: SWAP1 00000558: PUSH2 0x0eb5 0000055b: JUMP 0000055c: JUMPDEST 0000055d: SWAP1 0000055e: SWAP2 0000055f: SSTORE 00000560: POP 00000561: POP 00000562: PUSH1 0x01 00000564: DUP1 00000565: SSTORE 00000566: POP 00000567: POP 00000568: JUMP 00000569: JUMPDEST 0000056a: PUSH1 0x02 0000056c: PUSH1 0x01 0000056e: SLOAD 0000056f: EQ 00000570: ISZERO 00000571: PUSH2 0x05bc 00000574: JUMPI 00000575: PUSH1 0x40 00000577: MLOAD 00000578: PUSH3 0x461bcd 0000057c: PUSH1 0xe5 0000057e: SHL 0000057f: DUP2 00000580: MSTORE 00000581: PUSH1 0x20 00000583: PUSH1 0x04 00000585: DUP3 00000586: ADD 00000587: MSTORE 00000588: PUSH1 0x1f 0000058a: PUSH1 0x24 0000058c: DUP3 0000058d: ADD 0000058e: MSTORE 0000058f: PUSH32 0x5265656e7472616e637947756172643a207265656e7472616e742063616c6c00 000005b0: PUSH1 0x44 000005b2: DUP3 000005b3: ADD 000005b4: MSTORE 000005b5: PUSH1 0x64 000005b7: ADD 000005b8: PUSH2 0x013d 000005bb: JUMP 000005bc: JUMPDEST 000005bd: PUSH1 0x02 000005bf: PUSH1 0x01 000005c1: DUP2 000005c2: SWAP1 000005c3: SSTORE 000005c4: SLOAD 000005c5: PUSH1 0x40 000005c7: MLOAD 000005c8: PUSH4 0x70a08231 000005cd: PUSH1 0xe0 000005cf: SHL 000005d0: DUP2 000005d1: MSTORE 000005d2: CALLER 000005d3: PUSH1 0x04 000005d5: DUP3 000005d6: ADD 000005d7: MSTORE 000005d8: PUSH1 0x00 000005da: SWAP2 000005db: PUSH1 0x01 000005dd: PUSH1 0x01 000005df: PUSH1 0xa0 000005e1: SHL 000005e2: SUB 000005e3: AND 000005e4: SWAP1 000005e5: PUSH4 0x70a08231 000005ea: SWAP1 000005eb: PUSH1 0x24 000005ed: ADD 000005ee: PUSH1 0x20 000005f0: PUSH1 0x40 000005f2: MLOAD 000005f3: DUP1 000005f4: DUP4 000005f5: SUB 000005f6: DUP2 000005f7: DUP7 000005f8: DUP1 000005f9: EXTCODESIZE 000005fa: ISZERO 000005fb: DUP1 000005fc: ISZERO 000005fd: PUSH2 0x0605 00000600: JUMPI 00000601: PUSH1 0x00 00000603: DUP1 00000604: REVERT 00000605: JUMPDEST 00000606: POP 00000607: GAS 00000608: STATICCALL 00000609: ISZERO 0000060a: DUP1 0000060b: ISZERO 0000060c: PUSH2 0x0619 0000060f: JUMPI 00000610: RETURNDATASIZE 00000611: PUSH1 0x00 00000613: DUP1 00000614: RETURNDATACOPY 00000615: RETURNDATASIZE 00000616: PUSH1 0x00 00000618: REVERT 00000619: JUMPDEST 0000061a: POP 0000061b: POP 0000061c: POP 0000061d: POP 0000061e: PUSH1 0x40 00000620: MLOAD 00000621: RETURNDATASIZE 00000622: PUSH1 0x1f 00000624: NOT 00000625: PUSH1 0x1f 00000627: DUP3 00000628: ADD 00000629: AND 0000062a: DUP3 0000062b: ADD 0000062c: DUP1 0000062d: PUSH1 0x40 0000062f: MSTORE 00000630: POP 00000631: DUP2 00000632: ADD 00000633: SWAP1 00000634: PUSH2 0x063d 00000637: SWAP2 00000638: SWAP1 00000639: PUSH2 0x0e5c 0000063c: JUMP 0000063d: JUMPDEST 0000063e: SWAP1 0000063f: POP 00000640: PUSH1 0x00 00000642: DUP2 00000643: GT 00000644: PUSH2 0x068f 00000647: JUMPI 00000648: PUSH1 0x40 0000064a: MLOAD 0000064b: PUSH3 0x461bcd 0000064f: PUSH1 0xe5 00000651: SHL 00000652: DUP2 00000653: MSTORE 00000654: PUSH1 0x20 00000656: PUSH1 0x04 00000658: DUP3 00000659: ADD 0000065a: MSTORE 0000065b: PUSH1 0x18 0000065d: PUSH1 0x24 0000065f: DUP3 00000660: ADD 00000661: MSTORE 00000662: PUSH32 0x526573657276656420466f72204c616e64204f776e6572730000000000000000 00000683: PUSH1 0x44 00000685: DUP3 00000686: ADD 00000687: MSTORE 00000688: PUSH1 0x64 0000068a: ADD 0000068b: PUSH2 0x013d 0000068e: JUMP 0000068f: JUMPDEST 00000690: PUSH1 0x00 00000692: DUP1 00000693: JUMPDEST 00000694: DUP3 00000695: DUP2 00000696: LT 00000697: ISZERO 00000698: PUSH2 0x077b 0000069b: JUMPI 0000069c: PUSH1 0x02 0000069e: SLOAD 0000069f: PUSH1 0x40 000006a1: MLOAD 000006a2: PUSH4 0x2f745c59 000006a7: PUSH1 0xe0 000006a9: SHL 000006aa: DUP2 000006ab: MSTORE 000006ac: CALLER 000006ad: PUSH1 0x04 000006af: DUP3 000006b0: ADD 000006b1: MSTORE 000006b2: PUSH1 0x24 000006b4: DUP2 000006b5: ADD 000006b6: DUP4 000006b7: SWAP1 000006b8: MSTORE 000006b9: PUSH1 0x00 000006bb: SWAP2 000006bc: PUSH1 0x01 000006be: PUSH1 0x01 000006c0: PUSH1 0xa0 000006c2: SHL 000006c3: SUB 000006c4: AND 000006c5: SWAP1 000006c6: PUSH4 0x2f745c59 000006cb: SWAP1 000006cc: PUSH1 0x44 000006ce: ADD 000006cf: PUSH1 0x20 000006d1: PUSH1 0x40 000006d3: MLOAD 000006d4: DUP1 000006d5: DUP4 000006d6: SUB 000006d7: DUP2 000006d8: DUP7 000006d9: DUP1 000006da: EXTCODESIZE 000006db: ISZERO 000006dc: DUP1 000006dd: ISZERO 000006de: PUSH2 0x06e6 000006e1: JUMPI 000006e2: PUSH1 0x00 000006e4: DUP1 000006e5: REVERT 000006e6: JUMPDEST 000006e7: POP 000006e8: GAS 000006e9: STATICCALL 000006ea: ISZERO 000006eb: DUP1 000006ec: ISZERO 000006ed: PUSH2 0x06fa 000006f0: JUMPI 000006f1: RETURNDATASIZE 000006f2: PUSH1 0x00 000006f4: DUP1 000006f5: RETURNDATACOPY 000006f6: RETURNDATASIZE 000006f7: PUSH1 0x00 000006f9: REVERT 000006fa: JUMPDEST 000006fb: POP 000006fc: POP 000006fd: POP 000006fe: POP 000006ff: PUSH1 0x40 00000701: MLOAD 00000702: RETURNDATASIZE 00000703: PUSH1 0x1f 00000705: NOT 00000706: PUSH1 0x1f 00000708: DUP3 00000709: ADD 0000070a: AND 0000070b: DUP3 0000070c: ADD 0000070d: DUP1 0000070e: PUSH1 0x40 00000710: MSTORE 00000711: POP 00000712: DUP2 00000713: ADD 00000714: SWAP1 00000715: PUSH2 0x071e 00000718: SWAP2 00000719: SWAP1 0000071a: PUSH2 0x0e5c 0000071d: JUMP 0000071e: JUMPDEST 0000071f: PUSH1 0x00 00000721: DUP2 00000722: DUP2 00000723: MSTORE 00000724: PUSH1 0x08 00000726: PUSH1 0x20 00000728: MSTORE 00000729: PUSH1 0x40 0000072b: DUP2 0000072c: KECCAK256 0000072d: SLOAD 0000072e: PUSH1 0x05 00000730: SLOAD 00000731: SWAP3 00000732: SWAP4 00000733: POP 00000734: SWAP1 00000735: SWAP2 00000736: PUSH2 0x073f 00000739: SWAP2 0000073a: SWAP1 0000073b: PUSH2 0x0f2a 0000073e: JUMP 0000073f: JUMPDEST 00000740: SWAP1 00000741: POP 00000742: DUP1 00000743: ISZERO 00000744: PUSH2 0x0766 00000747: JUMPI 00000748: PUSH2 0x0751 0000074b: DUP2 0000074c: DUP6 0000074d: PUSH2 0x0eb5 00000750: JUMP 00000751: JUMPDEST 00000752: PUSH1 0x05 00000754: SLOAD 00000755: PUSH1 0x00 00000757: DUP5 00000758: DUP2 00000759: MSTORE 0000075a: PUSH1 0x08 0000075c: PUSH1 0x20 0000075e: MSTORE 0000075f: PUSH1 0x40 00000761: SWAP1 00000762: KECCAK256 00000763: SSTORE 00000764: SWAP4 00000765: POP 00000766: JUMPDEST 00000767: POP 00000768: POP 00000769: DUP1 0000076a: DUP1 0000076b: PUSH2 0x0773 0000076e: SWAP1 0000076f: PUSH2 0x0f41 00000772: JUMP 00000773: JUMPDEST 00000774: SWAP2 00000775: POP 00000776: POP 00000777: PUSH2 0x0693 0000077a: JUMP 0000077b: JUMPDEST 0000077c: POP 0000077d: PUSH1 0x00 0000077f: DUP2 00000780: GT 00000781: PUSH2 0x07c1 00000784: JUMPI 00000785: PUSH1 0x40 00000787: MLOAD 00000788: PUSH3 0x461bcd 0000078c: PUSH1 0xe5 0000078e: SHL 0000078f: DUP2 00000790: MSTORE 00000791: PUSH1 0x20 00000793: PUSH1 0x04 00000795: DUP3 00000796: ADD 00000797: MSTORE 00000798: PUSH1 0x12 0000079a: PUSH1 0x24 0000079c: DUP3 0000079d: ADD 0000079e: MSTORE 0000079f: PUSH18 0x125b9cdd59999a58da595b9d08165a595b19 000007b2: PUSH1 0x72 000007b4: SHL 000007b5: PUSH1 0x44 000007b7: DUP3 000007b8: ADD 000007b9: MSTORE 000007ba: PUSH1 0x64 000007bc: ADD 000007bd: PUSH2 0x013d 000007c0: JUMP 000007c1: JUMPDEST 000007c2: DUP1 000007c3: PUSH1 0x06 000007c5: PUSH1 0x00 000007c7: DUP3 000007c8: DUP3 000007c9: SLOAD 000007ca: PUSH2 0x07d3 000007cd: SWAP2 000007ce: SWAP1 000007cf: PUSH2 0x0eb5 000007d2: JUMP 000007d3: JUMPDEST 000007d4: SWAP1 000007d5: SWAP2 000007d6: SSTORE 000007d7: POP 000007d8: POP 000007d9: PUSH1 0x40 000007db: MLOAD 000007dc: CALLER 000007dd: SWAP1 000007de: DUP3 000007df: ISZERO 000007e0: PUSH2 0x08fc 000007e3: MUL 000007e4: SWAP1 000007e5: DUP4 000007e6: SWAP1 000007e7: PUSH1 0x00 000007e9: DUP2 000007ea: DUP2 000007eb: DUP2 000007ec: DUP6 000007ed: DUP9 000007ee: DUP9 000007ef: CALL 000007f0: SWAP4 000007f1: POP 000007f2: POP 000007f3: POP 000007f4: POP 000007f5: ISZERO 000007f6: DUP1 000007f7: ISZERO 000007f8: PUSH2 0x0805 000007fb: JUMPI 000007fc: RETURNDATASIZE 000007fd: PUSH1 0x00 000007ff: DUP1 00000800: RETURNDATACOPY 00000801: RETURNDATASIZE 00000802: PUSH1 0x00 00000804: REVERT 00000805: JUMPDEST 00000806: POP 00000807: POP 00000808: PUSH1 0x01 0000080a: DUP1 0000080b: SSTORE 0000080c: POP 0000080d: JUMP 0000080e: JUMPDEST 0000080f: PUSH1 0x00 00000811: SLOAD 00000812: PUSH1 0x01 00000814: PUSH1 0x01 00000816: PUSH1 0xa0 00000818: SHL 00000819: SUB 0000081a: AND 0000081b: CALLER 0000081c: EQ 0000081d: PUSH2 0x0868 00000820: JUMPI 00000821: PUSH1 0x40 00000823: MLOAD 00000824: PUSH3 0x461bcd 00000828: PUSH1 0xe5 0000082a: SHL 0000082b: DUP2 0000082c: MSTORE 0000082d: PUSH1 0x20 0000082f: PUSH1 0x04 00000831: DUP3 00000832: ADD 00000833: DUP2 00000834: SWAP1 00000835: MSTORE 00000836: PUSH1 0x24 00000838: DUP3 00000839: ADD 0000083a: MSTORE 0000083b: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572 0000085c: PUSH1 0x44 0000085e: DUP3 0000085f: ADD 00000860: MSTORE 00000861: PUSH1 0x64 00000863: ADD 00000864: PUSH2 0x013d 00000867: JUMP 00000868: JUMPDEST 00000869: PUSH1 0x01 0000086b: PUSH1 0x01 0000086d: PUSH1 0xa0 0000086f: SHL 00000870: SUB 00000871: DUP2 00000872: AND 00000873: PUSH2 0x08be 00000876: JUMPI 00000877: PUSH1 0x40 00000879: MLOAD 0000087a: PUSH3 0x461bcd 0000087e: PUSH1 0xe5 00000880: SHL 00000881: DUP2 00000882: MSTORE 00000883: PUSH1 0x20 00000885: PUSH1 0x04 00000887: DUP3 00000888: ADD 00000889: MSTORE 0000088a: PUSH1 0x0f 0000088c: PUSH1 0x24 0000088e: DUP3 0000088f: ADD 00000890: MSTORE 00000891: PUSH32 0x496e76616c696420416464726573730000000000000000000000000000000000 000008b2: PUSH1 0x44 000008b4: DUP3 000008b5: ADD 000008b6: MSTORE 000008b7: PUSH1 0x64 000008b9: ADD 000008ba: PUSH2 0x013d 000008bd: JUMP 000008be: JUMPDEST 000008bf: PUSH1 0x04 000008c1: DUP1 000008c2: SLOAD 000008c3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000008d8: NOT 000008d9: AND 000008da: PUSH1 0x01 000008dc: PUSH1 0x01 000008de: PUSH1 0xa0 000008e0: SHL 000008e1: SUB 000008e2: SWAP3 000008e3: SWAP1 000008e4: SWAP3 000008e5: AND 000008e6: SWAP2 000008e7: SWAP1 000008e8: SWAP2 000008e9: OR 000008ea: SWAP1 000008eb: SSTORE 000008ec: JUMP 000008ed: JUMPDEST 000008ee: PUSH1 0x00 000008f0: SLOAD 000008f1: PUSH1 0x01 000008f3: PUSH1 0x01 000008f5: PUSH1 0xa0 000008f7: SHL 000008f8: SUB 000008f9: AND 000008fa: CALLER 000008fb: EQ 000008fc: PUSH2 0x0947 000008ff: JUMPI 00000900: PUSH1 0x40 00000902: MLOAD 00000903: PUSH3 0x461bcd 00000907: PUSH1 0xe5 00000909: SHL 0000090a: DUP2 0000090b: MSTORE 0000090c: PUSH1 0x20 0000090e: PUSH1 0x04 00000910: DUP3 00000911: ADD 00000912: DUP2 00000913: SWAP1 00000914: MSTORE 00000915: PUSH1 0x24 00000917: DUP3 00000918: ADD 00000919: MSTORE 0000091a: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572 0000093b: PUSH1 0x44 0000093d: DUP3 0000093e: ADD 0000093f: MSTORE 00000940: PUSH1 0x64 00000942: ADD 00000943: PUSH2 0x013d 00000946: JUMP 00000947: JUMPDEST 00000948: PUSH2 0x0951 0000094b: PUSH1 0x00 0000094d: PUSH2 0x0dff 00000950: JUMP 00000951: JUMPDEST 00000952: JUMP 00000953: JUMPDEST 00000954: PUSH1 0x00 00000956: SLOAD 00000957: PUSH1 0x01 00000959: PUSH1 0x01 0000095b: PUSH1 0xa0 0000095d: SHL 0000095e: SUB 0000095f: AND 00000960: CALLER 00000961: EQ 00000962: DUP1 00000963: PUSH2 0x0976 00000966: JUMPI 00000967: POP 00000968: PUSH1 0x04 0000096a: SLOAD 0000096b: PUSH1 0x01 0000096d: PUSH1 0x01 0000096f: PUSH1 0xa0 00000971: SHL 00000972: SUB 00000973: AND 00000974: CALLER 00000975: EQ 00000976: JUMPDEST 00000977: PUSH2 0x09c2 0000097a: JUMPI 0000097b: PUSH1 0x40 0000097d: MLOAD 0000097e: PUSH3 0x461bcd 00000982: PUSH1 0xe5 00000984: SHL 00000985: DUP2 00000986: MSTORE 00000987: PUSH1 0x20 00000989: PUSH1 0x04 0000098b: DUP3 0000098c: ADD 0000098d: MSTORE 0000098e: PUSH1 0x13 00000990: PUSH1 0x24 00000992: DUP3 00000993: ADD 00000994: MSTORE 00000995: PUSH32 0x556e617574686f72697a65642041636365737300000000000000000000000000 000009b6: PUSH1 0x44 000009b8: DUP3 000009b9: ADD 000009ba: MSTORE 000009bb: PUSH1 0x64 000009bd: ADD 000009be: PUSH2 0x013d 000009c1: JUMP 000009c2: JUMPDEST 000009c3: PUSH1 0x02 000009c5: PUSH1 0x01 000009c7: SLOAD 000009c8: EQ 000009c9: ISZERO 000009ca: PUSH2 0x0a15 000009cd: JUMPI 000009ce: PUSH1 0x40 000009d0: MLOAD 000009d1: PUSH3 0x461bcd 000009d5: PUSH1 0xe5 000009d7: SHL 000009d8: DUP2 000009d9: MSTORE 000009da: PUSH1 0x20 000009dc: PUSH1 0x04 000009de: DUP3 000009df: ADD 000009e0: MSTORE 000009e1: PUSH1 0x1f 000009e3: PUSH1 0x24 000009e5: DUP3 000009e6: ADD 000009e7: MSTORE 000009e8: PUSH32 0x5265656e7472616e637947756172643a207265656e7472616e742063616c6c00 00000a09: PUSH1 0x44 00000a0b: DUP3 00000a0c: ADD 00000a0d: MSTORE 00000a0e: PUSH1 0x64 00000a10: ADD 00000a11: PUSH2 0x013d 00000a14: JUMP 00000a15: JUMPDEST 00000a16: PUSH1 0x02 00000a18: PUSH1 0x01 00000a1a: SSTORE 00000a1b: PUSH1 0x07 00000a1d: SLOAD 00000a1e: PUSH2 0x0a5e 00000a21: JUMPI 00000a22: PUSH1 0x40 00000a24: MLOAD 00000a25: PUSH3 0x461bcd 00000a29: PUSH1 0xe5 00000a2b: SHL 00000a2c: DUP2 00000a2d: MSTORE 00000a2e: PUSH1 0x20 00000a30: PUSH1 0x04 00000a32: DUP3 00000a33: ADD 00000a34: MSTORE 00000a35: PUSH1 0x12 00000a37: PUSH1 0x24 00000a39: DUP3 00000a3a: ADD 00000a3b: MSTORE 00000a3c: PUSH18 0x125b9cdd59999a58da595b9d08165a595b19 00000a4f: PUSH1 0x72 00000a51: SHL 00000a52: PUSH1 0x44 00000a54: DUP3 00000a55: ADD 00000a56: MSTORE 00000a57: PUSH1 0x64 00000a59: ADD 00000a5a: PUSH2 0x013d 00000a5d: JUMP 00000a5e: JUMPDEST 00000a5f: PUSH1 0x07 00000a61: DUP1 00000a62: SLOAD 00000a63: PUSH1 0x00 00000a65: SWAP2 00000a66: DUP3 00000a67: SWAP1 00000a68: SSTORE 00000a69: PUSH1 0x06 00000a6b: DUP1 00000a6c: SLOAD 00000a6d: SWAP2 00000a6e: SWAP3 00000a6f: DUP4 00000a70: SWAP3 00000a71: PUSH2 0x0a7b 00000a74: SWAP1 00000a75: DUP5 00000a76: SWAP1 00000a77: PUSH2 0x0eb5 00000a7a: JUMP 00000a7b: JUMPDEST 00000a7c: SWAP1 00000a7d: SWAP2 00000a7e: SSTORE 00000a7f: POP 00000a80: POP 00000a81: PUSH1 0x03 00000a83: SLOAD 00000a84: PUSH1 0x40 00000a86: MLOAD 00000a87: PUSH1 0x01 00000a89: PUSH1 0x01 00000a8b: PUSH1 0xa0 00000a8d: SHL 00000a8e: SUB 00000a8f: SWAP1 00000a90: SWAP2 00000a91: AND 00000a92: SWAP1 00000a93: DUP3 00000a94: ISZERO 00000a95: PUSH2 0x08fc 00000a98: MUL 00000a99: SWAP1 00000a9a: DUP4 00000a9b: SWAP1 00000a9c: PUSH1 0x00 00000a9e: DUP2 00000a9f: DUP2 00000aa0: DUP2 00000aa1: DUP6 00000aa2: DUP9 00000aa3: DUP9 00000aa4: CALL 00000aa5: SWAP4 00000aa6: POP 00000aa7: POP 00000aa8: POP 00000aa9: POP 00000aaa: ISZERO 00000aab: DUP1 00000aac: ISZERO 00000aad: PUSH2 0x0aba 00000ab0: JUMPI 00000ab1: RETURNDATASIZE 00000ab2: PUSH1 0x00 00000ab4: DUP1 00000ab5: RETURNDATACOPY 00000ab6: RETURNDATASIZE 00000ab7: PUSH1 0x00 00000ab9: REVERT 00000aba: JUMPDEST 00000abb: POP 00000abc: POP 00000abd: PUSH1 0x01 00000abf: DUP1 00000ac0: SSTORE 00000ac1: JUMP 00000ac2: JUMPDEST 00000ac3: PUSH1 0x02 00000ac5: SLOAD 00000ac6: PUSH1 0x40 00000ac8: MLOAD 00000ac9: PUSH4 0x70a08231 00000ace: PUSH1 0xe0 00000ad0: SHL 00000ad1: DUP2 00000ad2: MSTORE 00000ad3: PUSH1 0x01 00000ad5: PUSH1 0x01 00000ad7: PUSH1 0xa0 00000ad9: SHL 00000ada: SUB 00000adb: DUP4 00000adc: DUP2 00000add: AND 00000ade: PUSH1 0x04 00000ae0: DUP4 00000ae1: ADD 00000ae2: MSTORE 00000ae3: PUSH1 0x00 00000ae5: SWAP3 00000ae6: DUP4 00000ae7: SWAP3 00000ae8: SWAP2 00000ae9: AND 00000aea: SWAP1 00000aeb: PUSH4 0x70a08231 00000af0: SWAP1 00000af1: PUSH1 0x24 00000af3: ADD 00000af4: PUSH1 0x20 00000af6: PUSH1 0x40 00000af8: MLOAD 00000af9: DUP1 00000afa: DUP4 00000afb: SUB 00000afc: DUP2 00000afd: DUP7 00000afe: DUP1 00000aff: EXTCODESIZE 00000b00: ISZERO 00000b01: DUP1 00000b02: ISZERO 00000b03: PUSH2 0x0b0b 00000b06: JUMPI 00000b07: PUSH1 0x00 00000b09: DUP1 00000b0a: REVERT 00000b0b: JUMPDEST 00000b0c: POP 00000b0d: GAS 00000b0e: STATICCALL 00000b0f: ISZERO 00000b10: DUP1 00000b11: ISZERO 00000b12: PUSH2 0x0b1f 00000b15: JUMPI 00000b16: RETURNDATASIZE 00000b17: PUSH1 0x00 00000b19: DUP1 00000b1a: RETURNDATACOPY 00000b1b: RETURNDATASIZE 00000b1c: PUSH1 0x00 00000b1e: REVERT 00000b1f: JUMPDEST 00000b20: POP 00000b21: POP 00000b22: POP 00000b23: POP 00000b24: PUSH1 0x40 00000b26: MLOAD 00000b27: RETURNDATASIZE 00000b28: PUSH1 0x1f 00000b2a: NOT 00000b2b: PUSH1 0x1f 00000b2d: DUP3 00000b2e: ADD 00000b2f: AND 00000b30: DUP3 00000b31: ADD 00000b32: DUP1 00000b33: PUSH1 0x40 00000b35: MSTORE 00000b36: POP 00000b37: DUP2 00000b38: ADD 00000b39: SWAP1 00000b3a: PUSH2 0x0b43 00000b3d: SWAP2 00000b3e: SWAP1 00000b3f: PUSH2 0x0e5c 00000b42: JUMP 00000b43: JUMPDEST 00000b44: SWAP1 00000b45: POP 00000b46: PUSH1 0x00 00000b48: DUP1 00000b49: JUMPDEST 00000b4a: DUP3 00000b4b: DUP2 00000b4c: LT 00000b4d: ISZERO 00000b4e: PUSH2 0x0c21 00000b51: JUMPI 00000b52: PUSH1 0x02 00000b54: SLOAD 00000b55: PUSH1 0x40 00000b57: MLOAD 00000b58: PUSH4 0x2f745c59 00000b5d: PUSH1 0xe0 00000b5f: SHL 00000b60: DUP2 00000b61: MSTORE 00000b62: PUSH1 0x01 00000b64: PUSH1 0x01 00000b66: PUSH1 0xa0 00000b68: SHL 00000b69: SUB 00000b6a: DUP8 00000b6b: DUP2 00000b6c: AND 00000b6d: PUSH1 0x04 00000b6f: DUP4 00000b70: ADD 00000b71: MSTORE 00000b72: PUSH1 0x24 00000b74: DUP3 00000b75: ADD 00000b76: DUP5 00000b77: SWAP1 00000b78: MSTORE 00000b79: PUSH1 0x00 00000b7b: SWAP3 00000b7c: AND 00000b7d: SWAP1 00000b7e: PUSH4 0x2f745c59 00000b83: SWAP1 00000b84: PUSH1 0x44 00000b86: ADD 00000b87: PUSH1 0x20 00000b89: PUSH1 0x40 00000b8b: MLOAD 00000b8c: DUP1 00000b8d: DUP4 00000b8e: SUB 00000b8f: DUP2 00000b90: DUP7 00000b91: DUP1 00000b92: EXTCODESIZE 00000b93: ISZERO 00000b94: DUP1 00000b95: ISZERO 00000b96: PUSH2 0x0b9e 00000b99: JUMPI 00000b9a: PUSH1 0x00 00000b9c: DUP1 00000b9d: REVERT 00000b9e: JUMPDEST 00000b9f: POP 00000ba0: GAS 00000ba1: STATICCALL 00000ba2: ISZERO 00000ba3: DUP1 00000ba4: ISZERO 00000ba5: PUSH2 0x0bb2 00000ba8: JUMPI 00000ba9: RETURNDATASIZE 00000baa: PUSH1 0x00 00000bac: DUP1 00000bad: RETURNDATACOPY 00000bae: RETURNDATASIZE 00000baf: PUSH1 0x00 00000bb1: REVERT 00000bb2: JUMPDEST 00000bb3: POP 00000bb4: POP 00000bb5: POP 00000bb6: POP 00000bb7: PUSH1 0x40 00000bb9: MLOAD 00000bba: RETURNDATASIZE 00000bbb: PUSH1 0x1f 00000bbd: NOT 00000bbe: PUSH1 0x1f 00000bc0: DUP3 00000bc1: ADD 00000bc2: AND 00000bc3: DUP3 00000bc4: ADD 00000bc5: DUP1 00000bc6: PUSH1 0x40 00000bc8: MSTORE 00000bc9: POP 00000bca: DUP2 00000bcb: ADD 00000bcc: SWAP1 00000bcd: PUSH2 0x0bd6 00000bd0: SWAP2 00000bd1: SWAP1 00000bd2: PUSH2 0x0e5c 00000bd5: JUMP 00000bd6: JUMPDEST 00000bd7: PUSH1 0x00 00000bd9: DUP2 00000bda: DUP2 00000bdb: MSTORE 00000bdc: PUSH1 0x08 00000bde: PUSH1 0x20 00000be0: MSTORE 00000be1: PUSH1 0x40 00000be3: DUP2 00000be4: KECCAK256 00000be5: SLOAD 00000be6: PUSH1 0x05 00000be8: SLOAD 00000be9: SWAP3 00000bea: SWAP4 00000beb: POP 00000bec: SWAP1 00000bed: SWAP2 00000bee: PUSH2 0x0bf7 00000bf1: SWAP2 00000bf2: SWAP1 00000bf3: PUSH2 0x0f2a 00000bf6: JUMP 00000bf7: JUMPDEST 00000bf8: SWAP1 00000bf9: POP 00000bfa: DUP1 00000bfb: ISZERO 00000bfc: PUSH2 0x0c0c 00000bff: JUMPI 00000c00: PUSH2 0x0c09 00000c03: DUP2 00000c04: DUP6 00000c05: PUSH2 0x0eb5 00000c08: JUMP 00000c09: JUMPDEST 00000c0a: SWAP4 00000c0b: POP 00000c0c: JUMPDEST 00000c0d: POP 00000c0e: POP 00000c0f: DUP1 00000c10: DUP1 00000c11: PUSH2 0x0c19 00000c14: SWAP1 00000c15: PUSH2 0x0f41 00000c18: JUMP 00000c19: JUMPDEST 00000c1a: SWAP2 00000c1b: POP 00000c1c: POP 00000c1d: PUSH2 0x0b49 00000c20: JUMP 00000c21: JUMPDEST 00000c22: POP 00000c23: SWAP4 00000c24: SWAP3 00000c25: POP 00000c26: POP 00000c27: POP 00000c28: JUMP 00000c29: JUMPDEST 00000c2a: PUSH1 0x00 00000c2c: SLOAD 00000c2d: PUSH1 0x01 00000c2f: PUSH1 0x01 00000c31: PUSH1 0xa0 00000c33: SHL 00000c34: SUB 00000c35: AND 00000c36: CALLER 00000c37: EQ 00000c38: DUP1 00000c39: PUSH2 0x0c4c 00000c3c: JUMPI 00000c3d: POP 00000c3e: PUSH1 0x04 00000c40: SLOAD 00000c41: PUSH1 0x01 00000c43: PUSH1 0x01 00000c45: PUSH1 0xa0 00000c47: SHL 00000c48: SUB 00000c49: AND 00000c4a: CALLER 00000c4b: EQ 00000c4c: JUMPDEST 00000c4d: PUSH2 0x0c98 00000c50: JUMPI 00000c51: PUSH1 0x40 00000c53: MLOAD 00000c54: PUSH3 0x461bcd 00000c58: PUSH1 0xe5 00000c5a: SHL 00000c5b: DUP2 00000c5c: MSTORE 00000c5d: PUSH1 0x20 00000c5f: PUSH1 0x04 00000c61: DUP3 00000c62: ADD 00000c63: MSTORE 00000c64: PUSH1 0x13 00000c66: PUSH1 0x24 00000c68: DUP3 00000c69: ADD 00000c6a: MSTORE 00000c6b: PUSH32 0x556e617574686f72697a65642041636365737300000000000000000000000000 00000c8c: PUSH1 0x44 00000c8e: DUP3 00000c8f: ADD 00000c90: MSTORE 00000c91: PUSH1 0x64 00000c93: ADD 00000c94: PUSH2 0x013d 00000c97: JUMP 00000c98: JUMPDEST 00000c99: PUSH1 0x01 00000c9b: PUSH1 0x01 00000c9d: PUSH1 0xa0 00000c9f: SHL 00000ca0: SUB 00000ca1: DUP2 00000ca2: AND 00000ca3: PUSH2 0x0cee 00000ca6: JUMPI 00000ca7: PUSH1 0x40 00000ca9: MLOAD 00000caa: PUSH3 0x461bcd 00000cae: PUSH1 0xe5 00000cb0: SHL 00000cb1: DUP2 00000cb2: MSTORE 00000cb3: PUSH1 0x20 00000cb5: PUSH1 0x04 00000cb7: DUP3 00000cb8: ADD 00000cb9: MSTORE 00000cba: PUSH1 0x0f 00000cbc: PUSH1 0x24 00000cbe: DUP3 00000cbf: ADD 00000cc0: MSTORE 00000cc1: PUSH32 0x496e76616c696420416464726573730000000000000000000000000000000000 00000ce2: PUSH1 0x44 00000ce4: DUP3 00000ce5: ADD 00000ce6: MSTORE 00000ce7: PUSH1 0x64 00000ce9: ADD 00000cea: PUSH2 0x013d 00000ced: JUMP 00000cee: JUMPDEST 00000cef: PUSH1 0x03 00000cf1: DUP1 00000cf2: SLOAD 00000cf3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000d08: NOT 00000d09: AND 00000d0a: PUSH1 0x01 00000d0c: PUSH1 0x01 00000d0e: PUSH1 0xa0 00000d10: SHL 00000d11: SUB 00000d12: SWAP3 00000d13: SWAP1 00000d14: SWAP3 00000d15: AND 00000d16: SWAP2 00000d17: SWAP1 00000d18: SWAP2 00000d19: OR 00000d1a: SWAP1 00000d1b: SSTORE 00000d1c: JUMP 00000d1d: JUMPDEST 00000d1e: PUSH1 0x00 00000d20: SLOAD 00000d21: PUSH1 0x01 00000d23: PUSH1 0x01 00000d25: PUSH1 0xa0 00000d27: SHL 00000d28: SUB 00000d29: AND 00000d2a: CALLER 00000d2b: EQ 00000d2c: PUSH2 0x0d77 00000d2f: JUMPI 00000d30: PUSH1 0x40 00000d32: MLOAD 00000d33: PUSH3 0x461bcd 00000d37: PUSH1 0xe5 00000d39: SHL 00000d3a: DUP2 00000d3b: MSTORE 00000d3c: PUSH1 0x20 00000d3e: PUSH1 0x04 00000d40: DUP3 00000d41: ADD 00000d42: DUP2 00000d43: SWAP1 00000d44: MSTORE 00000d45: PUSH1 0x24 00000d47: DUP3 00000d48: ADD 00000d49: MSTORE 00000d4a: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572 00000d6b: PUSH1 0x44 00000d6d: DUP3 00000d6e: ADD 00000d6f: MSTORE 00000d70: PUSH1 0x64 00000d72: ADD 00000d73: PUSH2 0x013d 00000d76: JUMP 00000d77: JUMPDEST 00000d78: PUSH1 0x01 00000d7a: PUSH1 0x01 00000d7c: PUSH1 0xa0 00000d7e: SHL 00000d7f: SUB 00000d80: DUP2 00000d81: AND 00000d82: PUSH2 0x0df3 00000d85: JUMPI 00000d86: PUSH1 0x40 00000d88: MLOAD 00000d89: PUSH3 0x461bcd 00000d8d: PUSH1 0xe5 00000d8f: SHL 00000d90: DUP2 00000d91: MSTORE 00000d92: PUSH1 0x20 00000d94: PUSH1 0x04 00000d96: DUP3 00000d97: ADD 00000d98: MSTORE 00000d99: PUSH1 0x26 00000d9b: PUSH1 0x24 00000d9d: DUP3 00000d9e: ADD 00000d9f: MSTORE 00000da0: PUSH32 0x4f776e61626c653a206e6577206f776e657220697320746865207a65726f2061 00000dc1: PUSH1 0x44 00000dc3: DUP3 00000dc4: ADD 00000dc5: MSTORE 00000dc6: PUSH32 0x6464726573730000000000000000000000000000000000000000000000000000 00000de7: PUSH1 0x64 00000de9: DUP3 00000dea: ADD 00000deb: MSTORE 00000dec: PUSH1 0x84 00000dee: ADD 00000def: PUSH2 0x013d 00000df2: JUMP 00000df3: JUMPDEST 00000df4: PUSH2 0x0dfc 00000df7: DUP2 00000df8: PUSH2 0x0dff 00000dfb: JUMP 00000dfc: JUMPDEST 00000dfd: POP 00000dfe: JUMP 00000dff: JUMPDEST 00000e00: PUSH1 0x00 00000e02: DUP1 00000e03: SLOAD 00000e04: PUSH1 0x01 00000e06: PUSH1 0x01 00000e08: PUSH1 0xa0 00000e0a: SHL 00000e0b: SUB 00000e0c: DUP4 00000e0d: DUP2 00000e0e: AND 00000e0f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000e24: NOT 00000e25: DUP4 00000e26: AND 00000e27: DUP2 00000e28: OR 00000e29: DUP5 00000e2a: SSTORE 00000e2b: PUSH1 0x40 00000e2d: MLOAD 00000e2e: SWAP2 00000e2f: SWAP1 00000e30: SWAP3 00000e31: AND 00000e32: SWAP3 00000e33: DUP4 00000e34: SWAP2 00000e35: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0 00000e56: SWAP2 00000e57: SWAP1 00000e58: LOG3 00000e59: POP 00000e5a: POP 00000e5b: JUMP 00000e5c: JUMPDEST 00000e5d: PUSH1 0x00 00000e5f: PUSH1 0x20 00000e61: DUP3 00000e62: DUP5 00000e63: SUB 00000e64: SLT 00000e65: ISZERO 00000e66: PUSH2 0x0e6e 00000e69: JUMPI 00000e6a: PUSH1 0x00 00000e6c: DUP1 00000e6d: REVERT 00000e6e: JUMPDEST 00000e6f: POP 00000e70: MLOAD 00000e71: SWAP2 00000e72: SWAP1 00000e73: POP 00000e74: JUMP 00000e75: JUMPDEST 00000e76: PUSH4 0x4e487b71 00000e7b: PUSH1 0xe0 00000e7d: SHL 00000e7e: PUSH1 0x00 00000e80: MSTORE 00000e81: PUSH1 0x12 00000e83: PUSH1 0x04 00000e85: MSTORE 00000e86: PUSH1 0x24 00000e88: PUSH1 0x00 00000e8a: REVERT 00000e8b: JUMPDEST 00000e8c: PUSH4 0x4e487b71 00000e91: PUSH1 0xe0 00000e93: SHL 00000e94: PUSH1 0x00 00000e96: MSTORE 00000e97: PUSH1 0x11 00000e99: PUSH1 0x04 00000e9b: MSTORE 00000e9c: PUSH1 0x24 00000e9e: PUSH1 0x00 00000ea0: REVERT 00000ea1: JUMPDEST 00000ea2: PUSH1 0x00 00000ea4: DUP3 00000ea5: PUSH2 0x0eb0 00000ea8: JUMPI 00000ea9: PUSH2 0x0eb0 00000eac: PUSH2 0x0e75 00000eaf: JUMP 00000eb0: JUMPDEST 00000eb1: POP 00000eb2: DIV 00000eb3: SWAP1 00000eb4: JUMP 00000eb5: JUMPDEST 00000eb6: PUSH1 0x00 00000eb8: DUP3 00000eb9: NOT 00000eba: DUP3 00000ebb: GT 00000ebc: ISZERO 00000ebd: PUSH2 0x0ec8 00000ec0: JUMPI 00000ec1: PUSH2 0x0ec8 00000ec4: PUSH2 0x0e8b 00000ec7: JUMP 00000ec8: JUMPDEST 00000ec9: POP 00000eca: ADD 00000ecb: SWAP1 00000ecc: JUMP 00000ecd: JUMPDEST 00000ece: PUSH1 0x00 00000ed0: DUP3 00000ed1: PUSH2 0x0edc 00000ed4: JUMPI 00000ed5: PUSH2 0x0edc 00000ed8: PUSH2 0x0e75 00000edb: JUMP 00000edc: JUMPDEST 00000edd: POP 00000ede: MOD 00000edf: SWAP1 00000ee0: JUMP 00000ee1: JUMPDEST 00000ee2: PUSH1 0x00 00000ee4: PUSH1 0x20 00000ee6: DUP3 00000ee7: DUP5 00000ee8: SUB 00000ee9: SLT 00000eea: ISZERO 00000eeb: PUSH2 0x0ef3 00000eee: JUMPI 00000eef: PUSH1 0x00 00000ef1: DUP1 00000ef2: REVERT 00000ef3: JUMPDEST 00000ef4: POP 00000ef5: CALLDATALOAD 00000ef6: SWAP2 00000ef7: SWAP1 00000ef8: POP 00000ef9: JUMP 00000efa: JUMPDEST 00000efb: PUSH1 0x00 00000efd: PUSH1 0x20 00000eff: DUP3 00000f00: DUP5 00000f01: SUB 00000f02: SLT 00000f03: ISZERO 00000f04: PUSH2 0x0f0c 00000f07: JUMPI 00000f08: PUSH1 0x00 00000f0a: DUP1 00000f0b: REVERT 00000f0c: JUMPDEST 00000f0d: DUP2 00000f0e: CALLDATALOAD 00000f0f: PUSH1 0x01 00000f11: PUSH1 0x01 00000f13: PUSH1 0xa0 00000f15: SHL 00000f16: SUB 00000f17: DUP2 00000f18: AND 00000f19: DUP2 00000f1a: EQ 00000f1b: PUSH2 0x0f23 00000f1e: JUMPI 00000f1f: PUSH1 0x00 00000f21: DUP1 00000f22: REVERT 00000f23: JUMPDEST 00000f24: SWAP4 00000f25: SWAP3 00000f26: POP 00000f27: POP 00000f28: POP 00000f29: JUMP 00000f2a: JUMPDEST 00000f2b: PUSH1 0x00 00000f2d: DUP3 00000f2e: DUP3 00000f2f: LT 00000f30: ISZERO 00000f31: PUSH2 0x0f3c 00000f34: JUMPI 00000f35: PUSH2 0x0f3c 00000f38: PUSH2 0x0e8b 00000f3b: JUMP 00000f3c: JUMPDEST 00000f3d: POP 00000f3e: SUB 00000f3f: SWAP1 00000f40: JUMP 00000f41: JUMPDEST 00000f42: PUSH1 0x00 00000f44: PUSH1 0x00 00000f46: NOT 00000f47: DUP3 00000f48: EQ 00000f49: ISZERO 00000f4a: PUSH2 0x0f55 00000f4d: JUMPI 00000f4e: PUSH2 0x0f55 00000f51: PUSH2 0x0e8b 00000f54: JUMP 00000f55: JUMPDEST 00000f56: POP 00000f57: PUSH1 0x01 00000f59: ADD 00000f5a: SWAP1 00000f5b: JUMP 00000f5c: INVALID 00000f5d: LOG2 00000f5e: PUSH5 0x6970667358 00000f64: UNKNOWN(0x22) 00000f65: SLT 00000f66: KECCAK256 00000f67: PUSH18 0x122db80a44cfd6d690e6f648ded72bcffd0f 00000f7a: UNKNOWN(0xED) 00000f7b: UNKNOWN(0x27) 00000f7c: PUSH0 00000f7d: PUSH13 0xe924340b05027b396264736f6c 00000f8b: PUSH4 0x43000809 00000f90: STOP 00000f91: CALLER
Warning: This is a nightly build of Foundry. It is recommended to use the latest stable version. To mute this warning set `FOUNDRY_DISABLE_NIGHTLY_WARNING` in your environment.
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0x679283d463c2e58b99f089591031906cc00f7623f233426ccc9c801108b7a2e3
call_targets:
0x39dfba33b4388aa786232a4fd39f8f86fcd74067
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x679283d463c2e58b99f089591031906cc00f7623f233426ccc9c801108b7a2e3",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x39dfba33b4388aa786232a4fd39f8f86fcd74067"
],
"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": "0xdf42113b",
"selector": "0xdf42113b",
"calldata_variants": [
"0xdf42113b",
"0xdf42113b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf0f44260",
"selector": "0xf0f44260",
"calldata_variants": [
"0xf0f44260",
"0xf0f442600000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf851a440",
"selector": "0xf851a440",
"calldata_variants": [
"0xf851a440",
"0xf851a4400000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8f12e25f",
"selector": "0x8f12e25f",
"calldata_variants": [
"0x8f12e25f",
"0x8f12e25f0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa1c06970",
"selector": "0xa1c06970",
"calldata_variants": [
"0xa1c06970",
"0xa1c069700000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd7a18099",
"selector": "0xd7a18099",
"calldata_variants": [
"0xd7a18099",
"0xd7a180990000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 2031,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2724,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 2,
"guards_detected": [],
"untrusted_call_count": 2
}
|
| high | other | detector | ETH value transfer possible | 55 | no | no |
viewtrace_id: 0x679283d463c2e58b99f089591031906cc00f7623f233426ccc9c801108b7a2e3
call_targets:
0x39dfba33b4388aa786232a4fd39f8f86fcd74067
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x679283d463c2e58b99f089591031906cc00f7623f233426ccc9c801108b7a2e3",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x39dfba33b4388aa786232a4fd39f8f86fcd74067"
],
"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": "0xdf42113b",
"selector": "0xdf42113b",
"calldata_variants": [
"0xdf42113b",
"0xdf42113b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf0f44260",
"selector": "0xf0f44260",
"calldata_variants": [
"0xf0f44260",
"0xf0f442600000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf851a440",
"selector": "0xf851a440",
"calldata_variants": [
"0xf851a440",
"0xf851a4400000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8f12e25f",
"selector": "0x8f12e25f",
"calldata_variants": [
"0x8f12e25f",
"0x8f12e25f0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa1c06970",
"selector": "0xa1c06970",
"calldata_variants": [
"0xa1c06970",
"0xa1c069700000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd7a18099",
"selector": "0xd7a18099",
"calldata_variants": [
"0xd7a18099",
"0xd7a180990000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 2031,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2724,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 2,
"guards_detected": []
}
|