019b477e-bea6-73fa-b69d-e0075b7c0781
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 |
|---|---|---|---|---|
| 24415 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 24416 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 102003 | analysis.bundle | complete | 1 / 3 | 1 week ago |
| 102004 | capability.graph | complete | 1 / 3 | 1 week ago |
| 102005 | detector.run | complete | 1 / 3 | 1 week ago |
| 102006 | validation.fork | complete | 1 / 3 | 1 week 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 0x00ab 0000000c: JUMPI 0000000d: PUSH1 0x00 0000000f: CALLDATALOAD 00000010: PUSH1 0xe0 00000012: SHR 00000013: DUP1 00000014: PUSH4 0xa4d66daf 00000019: GT 0000001a: PUSH2 0x0064 0000001d: JUMPI 0000001e: DUP1 0000001f: PUSH4 0xa4d66daf 00000024: EQ 00000025: PUSH2 0x01f8 00000028: JUMPI 00000029: DUP1 0000002a: PUSH4 0xb203bb99 0000002f: EQ 00000030: PUSH2 0x020d 00000033: JUMPI 00000034: DUP1 00000035: PUSH4 0xbf353dbb 0000003a: EQ 0000003b: PUSH2 0x0248 0000003e: JUMPI 0000003f: DUP1 00000040: PUSH4 0xd2514e84 00000045: EQ 00000046: PUSH2 0x027b 00000049: JUMPI 0000004a: DUP1 0000004b: PUSH4 0xeffd0550 00000050: EQ 00000051: PUSH2 0x02ae 00000054: JUMPI 00000055: DUP1 00000056: PUSH4 0xf4b9fa75 0000005b: EQ 0000005c: PUSH2 0x02e9 0000005f: JUMPI 00000060: PUSH2 0x00e8 00000063: JUMP 00000064: JUMPDEST 00000065: DUP1 00000066: PUSH4 0x0dca59c1 0000006b: EQ 0000006c: PUSH2 0x00ed 0000006f: JUMPI 00000070: DUP1 00000071: PUSH4 0x159090bd 00000076: EQ 00000077: PUSH2 0x0114 0000007a: JUMPI 0000007b: DUP1 0000007c: PUSH4 0x4d44e663 00000081: EQ 00000082: PUSH2 0x012b 00000085: JUMPI 00000086: DUP1 00000087: PUSH4 0x55deb8fc 0000008c: EQ 0000008d: PUSH2 0x015e 00000090: JUMPI 00000091: DUP1 00000092: PUSH4 0x5ce0d781 00000097: EQ 00000098: PUSH2 0x0188 0000009b: JUMPI 0000009c: DUP1 0000009d: PUSH4 0x94784381 000000a2: EQ 000000a3: PUSH2 0x01b2 000000a6: JUMPI 000000a7: PUSH2 0x00e8 000000aa: JUMP 000000ab: JUMPDEST 000000ac: CALLDATASIZE 000000ad: PUSH2 0x00e8 000000b0: JUMPI 000000b1: PUSH1 0x40 000000b3: DUP1 000000b4: MLOAD 000000b5: CALLVALUE 000000b6: DUP2 000000b7: MSTORE 000000b8: SWAP1 000000b9: MLOAD 000000ba: CALLER 000000bb: SWAP2 000000bc: PUSH32 0xd6717f327e0cb88b4a97a7f67a453e9258252c34937ccbdd86de7cb840e7def3 000000dd: SWAP2 000000de: SWAP1 000000df: DUP2 000000e0: SWAP1 000000e1: SUB 000000e2: PUSH1 0x20 000000e4: ADD 000000e5: SWAP1 000000e6: LOG2 000000e7: STOP 000000e8: JUMPDEST 000000e9: PUSH1 0x00 000000eb: DUP1 000000ec: REVERT 000000ed: JUMPDEST 000000ee: CALLVALUE 000000ef: DUP1 000000f0: ISZERO 000000f1: PUSH2 0x00f9 000000f4: JUMPI 000000f5: PUSH1 0x00 000000f7: DUP1 000000f8: REVERT 000000f9: JUMPDEST 000000fa: POP 000000fb: PUSH2 0x0102 000000fe: PUSH2 0x02fe 00000101: JUMP 00000102: JUMPDEST 00000103: PUSH1 0x40 00000105: DUP1 00000106: MLOAD 00000107: SWAP2 00000108: DUP3 00000109: MSTORE 0000010a: MLOAD 0000010b: SWAP1 0000010c: DUP2 0000010d: SWAP1 0000010e: SUB 0000010f: PUSH1 0x20 00000111: ADD 00000112: SWAP1 00000113: RETURN 00000114: JUMPDEST 00000115: CALLVALUE 00000116: DUP1 00000117: ISZERO 00000118: PUSH2 0x0120 0000011b: JUMPI 0000011c: PUSH1 0x00 0000011e: DUP1 0000011f: REVERT 00000120: JUMPDEST 00000121: POP 00000122: PUSH2 0x0129 00000125: PUSH2 0x0304 00000128: JUMP 00000129: JUMPDEST 0000012a: STOP 0000012b: JUMPDEST 0000012c: CALLVALUE 0000012d: DUP1 0000012e: ISZERO 0000012f: PUSH2 0x0137 00000132: JUMPI 00000133: PUSH1 0x00 00000135: DUP1 00000136: REVERT 00000137: JUMPDEST 00000138: POP 00000139: PUSH2 0x0129 0000013c: PUSH1 0x04 0000013e: DUP1 0000013f: CALLDATASIZE 00000140: SUB 00000141: PUSH1 0x20 00000143: DUP2 00000144: LT 00000145: ISZERO 00000146: PUSH2 0x014e 00000149: JUMPI 0000014a: PUSH1 0x00 0000014c: DUP1 0000014d: REVERT 0000014e: JUMPDEST 0000014f: POP 00000150: CALLDATALOAD 00000151: PUSH1 0x01 00000153: PUSH1 0x01 00000155: PUSH1 0xa0 00000157: SHL 00000158: SUB 00000159: AND 0000015a: PUSH2 0x0310 0000015d: JUMP 0000015e: JUMPDEST 0000015f: CALLVALUE 00000160: DUP1 00000161: ISZERO 00000162: PUSH2 0x016a 00000165: JUMPI 00000166: PUSH1 0x00 00000168: DUP1 00000169: REVERT 0000016a: JUMPDEST 0000016b: POP 0000016c: PUSH2 0x0129 0000016f: PUSH1 0x04 00000171: DUP1 00000172: CALLDATASIZE 00000173: SUB 00000174: PUSH1 0x20 00000176: DUP2 00000177: LT 00000178: ISZERO 00000179: PUSH2 0x0181 0000017c: JUMPI 0000017d: PUSH1 0x00 0000017f: DUP1 00000180: REVERT 00000181: JUMPDEST 00000182: POP 00000183: CALLDATALOAD 00000184: PUSH2 0x063b 00000187: JUMP 00000188: JUMPDEST 00000189: CALLVALUE 0000018a: DUP1 0000018b: ISZERO 0000018c: PUSH2 0x0194 0000018f: JUMPI 00000190: PUSH1 0x00 00000192: DUP1 00000193: REVERT 00000194: JUMPDEST 00000195: POP 00000196: PUSH2 0x0102 00000199: PUSH1 0x04 0000019b: DUP1 0000019c: CALLDATASIZE 0000019d: SUB 0000019e: PUSH1 0x20 000001a0: DUP2 000001a1: LT 000001a2: ISZERO 000001a3: PUSH2 0x01ab 000001a6: JUMPI 000001a7: PUSH1 0x00 000001a9: DUP1 000001aa: REVERT 000001ab: JUMPDEST 000001ac: POP 000001ad: CALLDATALOAD 000001ae: PUSH2 0x08dd 000001b1: JUMP 000001b2: JUMPDEST 000001b3: CALLVALUE 000001b4: DUP1 000001b5: ISZERO 000001b6: PUSH2 0x01be 000001b9: JUMPI 000001ba: PUSH1 0x00 000001bc: DUP1 000001bd: REVERT 000001be: JUMPDEST 000001bf: POP 000001c0: PUSH2 0x01dc 000001c3: PUSH1 0x04 000001c5: DUP1 000001c6: CALLDATASIZE 000001c7: SUB 000001c8: PUSH1 0x20 000001ca: DUP2 000001cb: LT 000001cc: ISZERO 000001cd: PUSH2 0x01d5 000001d0: JUMPI 000001d1: PUSH1 0x00 000001d3: DUP1 000001d4: REVERT 000001d5: JUMPDEST 000001d6: POP 000001d7: CALLDATALOAD 000001d8: PUSH2 0x08fb 000001db: JUMP 000001dc: JUMPDEST 000001dd: PUSH1 0x40 000001df: DUP1 000001e0: MLOAD 000001e1: PUSH1 0x01 000001e3: PUSH1 0x01 000001e5: PUSH1 0xa0 000001e7: SHL 000001e8: SUB 000001e9: SWAP1 000001ea: SWAP3 000001eb: AND 000001ec: DUP3 000001ed: MSTORE 000001ee: MLOAD 000001ef: SWAP1 000001f0: DUP2 000001f1: SWAP1 000001f2: SUB 000001f3: PUSH1 0x20 000001f5: ADD 000001f6: SWAP1 000001f7: RETURN 000001f8: JUMPDEST 000001f9: CALLVALUE 000001fa: DUP1 000001fb: ISZERO 000001fc: PUSH2 0x0204 000001ff: JUMPI 00000200: PUSH1 0x00 00000202: DUP1 00000203: REVERT 00000204: JUMPDEST 00000205: POP 00000206: PUSH2 0x0102 00000209: PUSH2 0x0922 0000020c: JUMP 0000020d: JUMPDEST 0000020e: CALLVALUE 0000020f: DUP1 00000210: ISZERO 00000211: PUSH2 0x0219 00000214: JUMPI 00000215: PUSH1 0x00 00000217: DUP1 00000218: REVERT 00000219: JUMPDEST 0000021a: POP 0000021b: PUSH2 0x0102 0000021e: PUSH1 0x04 00000220: DUP1 00000221: CALLDATASIZE 00000222: SUB 00000223: PUSH1 0x40 00000225: DUP2 00000226: LT 00000227: ISZERO 00000228: PUSH2 0x0230 0000022b: JUMPI 0000022c: PUSH1 0x00 0000022e: DUP1 0000022f: REVERT 00000230: JUMPDEST 00000231: POP 00000232: PUSH1 0x01 00000234: PUSH1 0x01 00000236: PUSH1 0xa0 00000238: SHL 00000239: SUB 0000023a: DUP2 0000023b: CALLDATALOAD 0000023c: DUP2 0000023d: AND 0000023e: SWAP2 0000023f: PUSH1 0x20 00000241: ADD 00000242: CALLDATALOAD 00000243: AND 00000244: PUSH2 0x0928 00000247: JUMP 00000248: JUMPDEST 00000249: CALLVALUE 0000024a: DUP1 0000024b: ISZERO 0000024c: PUSH2 0x0254 0000024f: JUMPI 00000250: PUSH1 0x00 00000252: DUP1 00000253: REVERT 00000254: JUMPDEST 00000255: POP 00000256: PUSH2 0x0102 00000259: PUSH1 0x04 0000025b: DUP1 0000025c: CALLDATASIZE 0000025d: SUB 0000025e: PUSH1 0x20 00000260: DUP2 00000261: LT 00000262: ISZERO 00000263: PUSH2 0x026b 00000266: JUMPI 00000267: PUSH1 0x00 00000269: DUP1 0000026a: REVERT 0000026b: JUMPDEST 0000026c: POP 0000026d: CALLDATALOAD 0000026e: PUSH1 0x01 00000270: PUSH1 0x01 00000272: PUSH1 0xa0 00000274: SHL 00000275: SUB 00000276: AND 00000277: PUSH2 0x0945 0000027a: JUMP 0000027b: JUMPDEST 0000027c: CALLVALUE 0000027d: DUP1 0000027e: ISZERO 0000027f: PUSH2 0x0287 00000282: JUMPI 00000283: PUSH1 0x00 00000285: DUP1 00000286: REVERT 00000287: JUMPDEST 00000288: POP 00000289: PUSH2 0x0102 0000028c: PUSH1 0x04 0000028e: DUP1 0000028f: CALLDATASIZE 00000290: SUB 00000291: PUSH1 0x20 00000293: DUP2 00000294: LT 00000295: ISZERO 00000296: PUSH2 0x029e 00000299: JUMPI 0000029a: PUSH1 0x00 0000029c: DUP1 0000029d: REVERT 0000029e: JUMPDEST 0000029f: POP 000002a0: CALLDATALOAD 000002a1: PUSH1 0x01 000002a3: PUSH1 0x01 000002a5: PUSH1 0xa0 000002a7: SHL 000002a8: SUB 000002a9: AND 000002aa: PUSH2 0x0957 000002ad: JUMP 000002ae: JUMPDEST 000002af: CALLVALUE 000002b0: DUP1 000002b1: ISZERO 000002b2: PUSH2 0x02ba 000002b5: JUMPI 000002b6: PUSH1 0x00 000002b8: DUP1 000002b9: REVERT 000002ba: JUMPDEST 000002bb: POP 000002bc: PUSH2 0x0102 000002bf: PUSH1 0x04 000002c1: DUP1 000002c2: CALLDATASIZE 000002c3: SUB 000002c4: PUSH1 0x40 000002c6: DUP2 000002c7: LT 000002c8: ISZERO 000002c9: PUSH2 0x02d1 000002cc: JUMPI 000002cd: PUSH1 0x00 000002cf: DUP1 000002d0: REVERT 000002d1: JUMPDEST 000002d2: POP 000002d3: PUSH1 0x01 000002d5: PUSH1 0x01 000002d7: PUSH1 0xa0 000002d9: SHL 000002da: SUB 000002db: DUP2 000002dc: CALLDATALOAD 000002dd: DUP2 000002de: AND 000002df: SWAP2 000002e0: PUSH1 0x20 000002e2: ADD 000002e3: CALLDATALOAD 000002e4: AND 000002e5: PUSH2 0x0969 000002e8: JUMP 000002e9: JUMPDEST 000002ea: CALLVALUE 000002eb: DUP1 000002ec: ISZERO 000002ed: PUSH2 0x02f5 000002f0: JUMPI 000002f1: PUSH1 0x00 000002f3: DUP1 000002f4: REVERT 000002f5: JUMPDEST 000002f6: POP 000002f7: PUSH2 0x01dc 000002fa: PUSH2 0x0986 000002fd: JUMP 000002fe: JUMPDEST 000002ff: PUSH1 0x00 00000301: SLOAD 00000302: DUP2 00000303: JUMP 00000304: JUMPDEST 00000305: PUSH2 0x030e 00000308: PUSH1 0x00 0000030a: PUSH2 0x0310 0000030d: JUMP 0000030e: JUMPDEST 0000030f: JUMP 00000310: JUMPDEST 00000311: CALLER 00000312: PUSH1 0x00 00000314: SWAP1 00000315: DUP2 00000316: MSTORE 00000317: PUSH1 0x07 00000319: PUSH1 0x20 0000031b: MSTORE 0000031c: PUSH1 0x40 0000031e: SWAP1 0000031f: KECCAK256 00000320: SLOAD 00000321: PUSH1 0x01 00000323: EQ 00000324: PUSH2 0x036d 00000327: JUMPI 00000328: PUSH1 0x40 0000032a: DUP1 0000032b: MLOAD 0000032c: PUSH3 0x461bcd 00000330: PUSH1 0xe5 00000332: SHL 00000333: DUP2 00000334: MSTORE 00000335: PUSH1 0x20 00000337: PUSH1 0x04 00000339: DUP3 0000033a: ADD 0000033b: MSTORE 0000033c: PUSH1 0x16 0000033e: PUSH1 0x24 00000340: DUP3 00000341: ADD 00000342: MSTORE 00000343: PUSH22 0x121114dc1b1a5d0bdb9bdd0b585d5d1a1bdc9a5e9959 0000035a: PUSH1 0x52 0000035c: SHL 0000035d: PUSH1 0x44 0000035f: DUP3 00000360: ADD 00000361: MSTORE 00000362: SWAP1 00000363: MLOAD 00000364: SWAP1 00000365: DUP2 00000366: SWAP1 00000367: SUB 00000368: PUSH1 0x64 0000036a: ADD 0000036b: SWAP1 0000036c: REVERT 0000036d: JUMPDEST 0000036e: PUSH1 0x00 00000370: PUSH1 0x60 00000372: PUSH1 0x02 00000374: DUP1 00000375: SLOAD 00000376: DUP1 00000377: PUSH1 0x20 00000379: MUL 0000037a: PUSH1 0x20 0000037c: ADD 0000037d: PUSH1 0x40 0000037f: MLOAD 00000380: SWAP1 00000381: DUP2 00000382: ADD 00000383: PUSH1 0x40 00000385: MSTORE 00000386: DUP1 00000387: SWAP3 00000388: SWAP2 00000389: SWAP1 0000038a: DUP2 0000038b: DUP2 0000038c: MSTORE 0000038d: PUSH1 0x20 0000038f: ADD 00000390: DUP3 00000391: DUP1 00000392: SLOAD 00000393: DUP1 00000394: ISZERO 00000395: PUSH2 0x03c7 00000398: JUMPI 00000399: PUSH1 0x20 0000039b: MUL 0000039c: DUP3 0000039d: ADD 0000039e: SWAP2 0000039f: SWAP1 000003a0: PUSH1 0x00 000003a2: MSTORE 000003a3: PUSH1 0x20 000003a5: PUSH1 0x00 000003a7: KECCAK256 000003a8: SWAP1 000003a9: JUMPDEST 000003aa: DUP2 000003ab: SLOAD 000003ac: PUSH1 0x01 000003ae: PUSH1 0x01 000003b0: PUSH1 0xa0 000003b2: SHL 000003b3: SUB 000003b4: AND 000003b5: DUP2 000003b6: MSTORE 000003b7: PUSH1 0x01 000003b9: SWAP1 000003ba: SWAP2 000003bb: ADD 000003bc: SWAP1 000003bd: PUSH1 0x20 000003bf: ADD 000003c0: DUP1 000003c1: DUP4 000003c2: GT 000003c3: PUSH2 0x03a9 000003c6: JUMPI 000003c7: JUMPDEST 000003c8: POP 000003c9: SWAP4 000003ca: SWAP5 000003cb: POP 000003cc: POP 000003cd: POP 000003ce: POP 000003cf: POP 000003d0: PUSH1 0x01 000003d2: PUSH1 0x01 000003d4: PUSH1 0xa0 000003d6: SHL 000003d7: SUB 000003d8: DUP4 000003d9: AND 000003da: PUSH2 0x0408 000003dd: JUMPI 000003de: PUSH1 0x01 000003e0: PUSH1 0x01 000003e2: PUSH1 0xa0 000003e4: SHL 000003e5: SUB 000003e6: DUP4 000003e7: AND 000003e8: PUSH1 0x00 000003ea: SWAP1 000003eb: DUP2 000003ec: MSTORE 000003ed: PUSH1 0x04 000003ef: PUSH1 0x20 000003f1: MSTORE 000003f2: PUSH1 0x40 000003f4: SWAP1 000003f5: KECCAK256 000003f6: SLOAD 000003f7: PUSH2 0x0401 000003fa: SWAP1 000003fb: SELFBALANCE 000003fc: SWAP1 000003fd: PUSH2 0x09aa 00000400: JUMP 00000401: JUMPDEST 00000402: SWAP2 00000403: POP 00000404: PUSH2 0x04a5 00000407: JUMP 00000408: JUMPDEST 00000409: PUSH2 0x04a2 0000040c: DUP4 0000040d: PUSH1 0x01 0000040f: PUSH1 0x01 00000411: PUSH1 0xa0 00000413: SHL 00000414: SUB 00000415: AND 00000416: PUSH4 0x70a08231 0000041b: ADDRESS 0000041c: PUSH1 0x40 0000041e: MLOAD 0000041f: DUP3 00000420: PUSH4 0xffffffff 00000425: AND 00000426: PUSH1 0xe0 00000428: SHL 00000429: DUP2 0000042a: MSTORE 0000042b: PUSH1 0x04 0000042d: ADD 0000042e: DUP1 0000042f: DUP3 00000430: PUSH1 0x01 00000432: PUSH1 0x01 00000434: PUSH1 0xa0 00000436: SHL 00000437: SUB 00000438: AND 00000439: DUP2 0000043a: MSTORE 0000043b: PUSH1 0x20 0000043d: ADD 0000043e: SWAP2 0000043f: POP 00000440: POP 00000441: PUSH1 0x20 00000443: PUSH1 0x40 00000445: MLOAD 00000446: DUP1 00000447: DUP4 00000448: SUB 00000449: DUP2 0000044a: DUP7 0000044b: DUP1 0000044c: EXTCODESIZE 0000044d: ISZERO 0000044e: DUP1 0000044f: ISZERO 00000450: PUSH2 0x0458 00000453: JUMPI 00000454: PUSH1 0x00 00000456: DUP1 00000457: REVERT 00000458: JUMPDEST 00000459: POP 0000045a: GAS 0000045b: STATICCALL 0000045c: ISZERO 0000045d: DUP1 0000045e: ISZERO 0000045f: PUSH2 0x046c 00000462: JUMPI 00000463: RETURNDATASIZE 00000464: PUSH1 0x00 00000466: DUP1 00000467: RETURNDATACOPY 00000468: RETURNDATASIZE 00000469: PUSH1 0x00 0000046b: REVERT 0000046c: JUMPDEST 0000046d: POP 0000046e: POP 0000046f: POP 00000470: POP 00000471: PUSH1 0x40 00000473: MLOAD 00000474: RETURNDATASIZE 00000475: PUSH1 0x20 00000477: DUP2 00000478: LT 00000479: ISZERO 0000047a: PUSH2 0x0482 0000047d: JUMPI 0000047e: PUSH1 0x00 00000480: DUP1 00000481: REVERT 00000482: JUMPDEST 00000483: POP 00000484: MLOAD 00000485: PUSH1 0x01 00000487: PUSH1 0x01 00000489: PUSH1 0xa0 0000048b: SHL 0000048c: SUB 0000048d: DUP6 0000048e: AND 0000048f: PUSH1 0x00 00000491: SWAP1 00000492: DUP2 00000493: MSTORE 00000494: PUSH1 0x04 00000496: PUSH1 0x20 00000498: MSTORE 00000499: PUSH1 0x40 0000049b: SWAP1 0000049c: KECCAK256 0000049d: SLOAD 0000049e: PUSH2 0x09aa 000004a1: JUMP 000004a2: JUMPDEST 000004a3: SWAP2 000004a4: POP 000004a5: JUMPDEST 000004a6: DUP2 000004a7: ISZERO 000004a8: PUSH2 0x05d3 000004ab: JUMPI 000004ac: PUSH1 0x01 000004ae: PUSH1 0x01 000004b0: PUSH1 0xa0 000004b2: SHL 000004b3: SUB 000004b4: DUP4 000004b5: AND 000004b6: PUSH1 0x00 000004b8: SWAP1 000004b9: DUP2 000004ba: MSTORE 000004bb: PUSH1 0x04 000004bd: PUSH1 0x20 000004bf: MSTORE 000004c0: PUSH1 0x40 000004c2: SWAP1 000004c3: KECCAK256 000004c4: SLOAD 000004c5: PUSH2 0x04ce 000004c8: SWAP1 000004c9: DUP4 000004ca: PUSH2 0x09c0 000004cd: JUMP 000004ce: JUMPDEST 000004cf: PUSH1 0x01 000004d1: PUSH1 0x01 000004d3: PUSH1 0xa0 000004d5: SHL 000004d6: SUB 000004d7: DUP5 000004d8: AND 000004d9: PUSH1 0x00 000004db: SWAP1 000004dc: DUP2 000004dd: MSTORE 000004de: PUSH1 0x04 000004e0: PUSH1 0x20 000004e2: MSTORE 000004e3: PUSH1 0x40 000004e5: DUP2 000004e6: KECCAK256 000004e7: SWAP2 000004e8: SWAP1 000004e9: SWAP2 000004ea: SSTORE 000004eb: JUMPDEST 000004ec: DUP2 000004ed: MLOAD 000004ee: DUP2 000004ef: LT 000004f0: ISZERO 000004f1: PUSH2 0x05d1 000004f4: JUMPI 000004f5: PUSH2 0x0584 000004f8: PUSH1 0x05 000004fa: PUSH1 0x00 000004fc: DUP5 000004fd: DUP5 000004fe: DUP2 000004ff: MLOAD 00000500: DUP2 00000501: LT 00000502: PUSH2 0x0507 00000505: JUMPI 00000506: INVALID 00000507: JUMPDEST 00000508: PUSH1 0x20 0000050a: MUL 0000050b: PUSH1 0x20 0000050d: ADD 0000050e: ADD 0000050f: MLOAD 00000510: PUSH1 0x01 00000512: PUSH1 0x01 00000514: PUSH1 0xa0 00000516: SHL 00000517: SUB 00000518: AND 00000519: PUSH1 0x01 0000051b: PUSH1 0x01 0000051d: PUSH1 0xa0 0000051f: SHL 00000520: SUB 00000521: AND 00000522: DUP2 00000523: MSTORE 00000524: PUSH1 0x20 00000526: ADD 00000527: SWAP1 00000528: DUP2 00000529: MSTORE 0000052a: PUSH1 0x20 0000052c: ADD 0000052d: PUSH1 0x00 0000052f: KECCAK256 00000530: PUSH1 0x00 00000532: DUP7 00000533: PUSH1 0x01 00000535: PUSH1 0x01 00000537: PUSH1 0xa0 00000539: SHL 0000053a: SUB 0000053b: AND 0000053c: PUSH1 0x01 0000053e: PUSH1 0x01 00000540: PUSH1 0xa0 00000542: SHL 00000543: SUB 00000544: AND 00000545: DUP2 00000546: MSTORE 00000547: PUSH1 0x20 00000549: ADD 0000054a: SWAP1 0000054b: DUP2 0000054c: MSTORE 0000054d: PUSH1 0x20 0000054f: ADD 00000550: PUSH1 0x00 00000552: KECCAK256 00000553: SLOAD 00000554: PUSH1 0x08 00000556: SLOAD 00000557: PUSH2 0x0577 0000055a: DUP7 0000055b: PUSH1 0x03 0000055d: DUP7 0000055e: DUP2 0000055f: SLOAD 00000560: DUP2 00000561: LT 00000562: PUSH2 0x0567 00000565: JUMPI 00000566: INVALID 00000567: JUMPDEST 00000568: SWAP1 00000569: PUSH1 0x00 0000056b: MSTORE 0000056c: PUSH1 0x20 0000056e: PUSH1 0x00 00000570: KECCAK256 00000571: ADD 00000572: SLOAD 00000573: PUSH2 0x09d0 00000576: JUMP 00000577: JUMPDEST 00000578: DUP2 00000579: PUSH2 0x057e 0000057c: JUMPI 0000057d: INVALID 0000057e: JUMPDEST 0000057f: DIV 00000580: PUSH2 0x09c0 00000583: JUMP 00000584: JUMPDEST 00000585: PUSH1 0x05 00000587: PUSH1 0x00 00000589: DUP5 0000058a: DUP5 0000058b: DUP2 0000058c: MLOAD 0000058d: DUP2 0000058e: LT 0000058f: PUSH2 0x0594 00000592: JUMPI 00000593: INVALID 00000594: JUMPDEST 00000595: PUSH1 0x20 00000597: SWAP1 00000598: DUP2 00000599: MUL 0000059a: SWAP2 0000059b: SWAP1 0000059c: SWAP2 0000059d: ADD 0000059e: DUP2 0000059f: ADD 000005a0: MLOAD 000005a1: PUSH1 0x01 000005a3: PUSH1 0x01 000005a5: PUSH1 0xa0 000005a7: SHL 000005a8: SUB 000005a9: SWAP1 000005aa: DUP2 000005ab: AND 000005ac: DUP4 000005ad: MSTORE 000005ae: DUP3 000005af: DUP3 000005b0: ADD 000005b1: SWAP4 000005b2: SWAP1 000005b3: SWAP4 000005b4: MSTORE 000005b5: PUSH1 0x40 000005b7: SWAP2 000005b8: DUP3 000005b9: ADD 000005ba: PUSH1 0x00 000005bc: SWAP1 000005bd: DUP2 000005be: KECCAK256 000005bf: SWAP4 000005c0: DUP10 000005c1: AND 000005c2: DUP2 000005c3: MSTORE 000005c4: SWAP3 000005c5: SWAP1 000005c6: MSTORE 000005c7: SWAP1 000005c8: KECCAK256 000005c9: SSTORE 000005ca: PUSH1 0x01 000005cc: ADD 000005cd: PUSH2 0x04eb 000005d0: JUMP 000005d1: JUMPDEST 000005d2: POP 000005d3: JUMPDEST 000005d4: PUSH1 0x00 000005d6: JUMPDEST 000005d7: DUP2 000005d8: MLOAD 000005d9: DUP2 000005da: LT 000005db: ISZERO 000005dc: PUSH2 0x0603 000005df: JUMPI 000005e0: PUSH2 0x05fb 000005e3: DUP3 000005e4: DUP3 000005e5: DUP2 000005e6: MLOAD 000005e7: DUP2 000005e8: LT 000005e9: PUSH2 0x05ee 000005ec: JUMPI 000005ed: INVALID 000005ee: JUMPDEST 000005ef: PUSH1 0x20 000005f1: MUL 000005f2: PUSH1 0x20 000005f4: ADD 000005f5: ADD 000005f6: MLOAD 000005f7: PUSH2 0x09f4 000005fa: JUMP 000005fb: JUMPDEST 000005fc: PUSH1 0x01 000005fe: ADD 000005ff: PUSH2 0x05d6 00000602: JUMP 00000603: JUMPDEST 00000604: POP 00000605: PUSH2 0x060d 00000608: DUP4 00000609: PUSH2 0x0bcd 0000060c: JUMP 0000060d: JUMPDEST 0000060e: PUSH1 0x40 00000610: MLOAD 00000611: PUSH32 0xdb8c6fe2d276db4a69516d30b871657423e2622780333ff172e1c0dd033082d3 00000632: SWAP1 00000633: PUSH1 0x00 00000635: SWAP1 00000636: LOG1 00000637: POP 00000638: POP 00000639: POP 0000063a: JUMP 0000063b: JUMPDEST 0000063c: CALLER 0000063d: PUSH1 0x00 0000063f: SWAP1 00000640: DUP2 00000641: MSTORE 00000642: PUSH1 0x07 00000644: PUSH1 0x20 00000646: MSTORE 00000647: PUSH1 0x40 00000649: SWAP1 0000064a: KECCAK256 0000064b: SLOAD 0000064c: PUSH1 0x01 0000064e: EQ 0000064f: PUSH2 0x0698 00000652: JUMPI 00000653: PUSH1 0x40 00000655: DUP1 00000656: MLOAD 00000657: PUSH3 0x461bcd 0000065b: PUSH1 0xe5 0000065d: SHL 0000065e: DUP2 0000065f: MSTORE 00000660: PUSH1 0x20 00000662: PUSH1 0x04 00000664: DUP3 00000665: ADD 00000666: MSTORE 00000667: PUSH1 0x16 00000669: PUSH1 0x24 0000066b: DUP3 0000066c: ADD 0000066d: MSTORE 0000066e: PUSH22 0x121114dc1b1a5d0bdb9bdd0b585d5d1a1bdc9a5e9959 00000685: PUSH1 0x52 00000687: SHL 00000688: PUSH1 0x44 0000068a: DUP3 0000068b: ADD 0000068c: MSTORE 0000068d: SWAP1 0000068e: MLOAD 0000068f: SWAP1 00000690: DUP2 00000691: SWAP1 00000692: SUB 00000693: PUSH1 0x64 00000695: ADD 00000696: SWAP1 00000697: REVERT 00000698: JUMPDEST 00000699: PUSH32 0x0000000000000000000000000000000000000000000000000000000000000000 000006ba: PUSH1 0x01 000006bc: PUSH1 0x01 000006be: PUSH1 0xa0 000006c0: SHL 000006c1: SUB 000006c2: AND 000006c3: PUSH2 0x0713 000006c6: JUMPI 000006c7: PUSH1 0x40 000006c9: DUP1 000006ca: MLOAD 000006cb: PUSH3 0x461bcd 000006cf: PUSH1 0xe5 000006d1: SHL 000006d2: DUP2 000006d3: MSTORE 000006d4: PUSH1 0x20 000006d6: PUSH1 0x04 000006d8: DUP3 000006d9: ADD 000006da: MSTORE 000006db: PUSH1 0x1c 000006dd: PUSH1 0x24 000006df: DUP3 000006e0: ADD 000006e1: MSTORE 000006e2: PUSH32 0x484453706c69742f6e6f2d636f6d70656e736174696f6e2d706c616e00000000 00000703: PUSH1 0x44 00000705: DUP3 00000706: ADD 00000707: MSTORE 00000708: SWAP1 00000709: MLOAD 0000070a: SWAP1 0000070b: DUP2 0000070c: SWAP1 0000070d: SUB 0000070e: PUSH1 0x64 00000710: ADD 00000711: SWAP1 00000712: REVERT 00000713: JUMPDEST 00000714: PUSH1 0x60 00000716: PUSH1 0x02 00000718: DUP1 00000719: SLOAD 0000071a: DUP1 0000071b: PUSH1 0x20 0000071d: MUL 0000071e: PUSH1 0x20 00000720: ADD 00000721: PUSH1 0x40 00000723: MLOAD 00000724: SWAP1 00000725: DUP2 00000726: ADD 00000727: PUSH1 0x40 00000729: MSTORE 0000072a: DUP1 0000072b: SWAP3 0000072c: SWAP2 0000072d: SWAP1 0000072e: DUP2 0000072f: DUP2 00000730: MSTORE 00000731: PUSH1 0x20 00000733: ADD 00000734: DUP3 00000735: DUP1 00000736: SLOAD 00000737: DUP1 00000738: ISZERO 00000739: PUSH2 0x076b 0000073c: JUMPI 0000073d: PUSH1 0x20 0000073f: MUL 00000740: DUP3 00000741: ADD 00000742: SWAP2 00000743: SWAP1 00000744: PUSH1 0x00 00000746: MSTORE 00000747: PUSH1 0x20 00000749: PUSH1 0x00 0000074b: KECCAK256 0000074c: SWAP1 0000074d: JUMPDEST 0000074e: DUP2 0000074f: SLOAD 00000750: PUSH1 0x01 00000752: PUSH1 0x01 00000754: PUSH1 0xa0 00000756: SHL 00000757: SUB 00000758: AND 00000759: DUP2 0000075a: MSTORE 0000075b: PUSH1 0x01 0000075d: SWAP1 0000075e: SWAP2 0000075f: ADD 00000760: SWAP1 00000761: PUSH1 0x20 00000763: ADD 00000764: DUP1 00000765: DUP4 00000766: GT 00000767: PUSH2 0x074d 0000076a: JUMPI 0000076b: JUMPDEST 0000076c: POP 0000076d: POP 0000076e: POP 0000076f: POP 00000770: POP 00000771: SWAP1 00000772: POP 00000773: PUSH1 0x00 00000775: JUMPDEST 00000776: DUP2 00000777: MLOAD 00000778: DUP2 00000779: LT 0000077a: ISZERO 0000077b: PUSH2 0x087f 0000077e: JUMPI 0000077f: DUP2 00000780: DUP2 00000781: DUP2 00000782: MLOAD 00000783: DUP2 00000784: LT 00000785: PUSH2 0x078a 00000788: JUMPI 00000789: INVALID 0000078a: JUMPDEST 0000078b: PUSH1 0x20 0000078d: MUL 0000078e: PUSH1 0x20 00000790: ADD 00000791: ADD 00000792: MLOAD 00000793: PUSH1 0x01 00000795: PUSH1 0x01 00000797: PUSH1 0xa0 00000799: SHL 0000079a: SUB 0000079b: AND 0000079c: CALLER 0000079d: PUSH1 0x01 0000079f: PUSH1 0x01 000007a1: PUSH1 0xa0 000007a3: SHL 000007a4: SUB 000007a5: AND 000007a6: EQ 000007a7: PUSH2 0x0877 000007aa: JUMPI 000007ab: PUSH1 0x00 000007ad: PUSH1 0x08 000007af: SLOAD 000007b0: PUSH2 0x07c0 000007b3: DUP6 000007b4: PUSH1 0x03 000007b6: DUP6 000007b7: DUP2 000007b8: SLOAD 000007b9: DUP2 000007ba: LT 000007bb: PUSH2 0x0567 000007be: JUMPI 000007bf: INVALID 000007c0: JUMPDEST 000007c1: DUP2 000007c2: PUSH2 0x07c7 000007c5: JUMPI 000007c6: INVALID 000007c7: JUMPDEST 000007c8: DIV 000007c9: SWAP1 000007ca: POP 000007cb: PUSH2 0x07d6 000007ce: PUSH1 0x00 000007d0: SLOAD 000007d1: DUP3 000007d2: PUSH2 0x09c0 000007d5: JUMP 000007d6: JUMPDEST 000007d7: PUSH1 0x00 000007d9: SWAP1 000007da: DUP2 000007db: SSTORE 000007dc: CALLER 000007dd: DUP2 000007de: MSTORE 000007df: PUSH1 0x06 000007e1: PUSH1 0x20 000007e3: MSTORE 000007e4: PUSH1 0x40 000007e6: DUP2 000007e7: KECCAK256 000007e8: DUP5 000007e9: MLOAD 000007ea: PUSH2 0x0829 000007ed: SWAP3 000007ee: SWAP1 000007ef: DUP7 000007f0: SWAP1 000007f1: DUP7 000007f2: SWAP1 000007f3: DUP2 000007f4: LT 000007f5: PUSH2 0x07fa 000007f8: JUMPI 000007f9: INVALID 000007fa: JUMPDEST 000007fb: PUSH1 0x20 000007fd: MUL 000007fe: PUSH1 0x20 00000800: ADD 00000801: ADD 00000802: MLOAD 00000803: PUSH1 0x01 00000805: PUSH1 0x01 00000807: PUSH1 0xa0 00000809: SHL 0000080a: SUB 0000080b: AND 0000080c: PUSH1 0x01 0000080e: PUSH1 0x01 00000810: PUSH1 0xa0 00000812: SHL 00000813: SUB 00000814: AND 00000815: DUP2 00000816: MSTORE 00000817: PUSH1 0x20 00000819: ADD 0000081a: SWAP1 0000081b: DUP2 0000081c: MSTORE 0000081d: PUSH1 0x20 0000081f: ADD 00000820: PUSH1 0x00 00000822: KECCAK256 00000823: SLOAD 00000824: DUP3 00000825: PUSH2 0x09c0 00000828: JUMP 00000829: JUMPDEST 0000082a: CALLER 0000082b: PUSH1 0x00 0000082d: SWAP1 0000082e: DUP2 0000082f: MSTORE 00000830: PUSH1 0x06 00000832: PUSH1 0x20 00000834: MSTORE 00000835: PUSH1 0x40 00000837: DUP2 00000838: KECCAK256 00000839: DUP6 0000083a: MLOAD 0000083b: SWAP1 0000083c: SWAP2 0000083d: SWAP1 0000083e: DUP7 0000083f: SWAP1 00000840: DUP7 00000841: SWAP1 00000842: DUP2 00000843: LT 00000844: PUSH2 0x0849 00000847: JUMPI 00000848: INVALID 00000849: JUMPDEST 0000084a: PUSH1 0x20 0000084c: MUL 0000084d: PUSH1 0x20 0000084f: ADD 00000850: ADD 00000851: MLOAD 00000852: PUSH1 0x01 00000854: PUSH1 0x01 00000856: PUSH1 0xa0 00000858: SHL 00000859: SUB 0000085a: AND 0000085b: PUSH1 0x01 0000085d: PUSH1 0x01 0000085f: PUSH1 0xa0 00000861: SHL 00000862: SUB 00000863: AND 00000864: DUP2 00000865: MSTORE 00000866: PUSH1 0x20 00000868: ADD 00000869: SWAP1 0000086a: DUP2 0000086b: MSTORE 0000086c: PUSH1 0x20 0000086e: ADD 0000086f: PUSH1 0x00 00000871: KECCAK256 00000872: DUP2 00000873: SWAP1 00000874: SSTORE 00000875: POP 00000876: POP 00000877: JUMPDEST 00000878: PUSH1 0x01 0000087a: ADD 0000087b: PUSH2 0x0775 0000087e: JUMP 0000087f: JUMPDEST 00000880: POP 00000881: PUSH1 0x01 00000883: SLOAD 00000884: PUSH1 0x00 00000886: SLOAD 00000887: GT 00000888: ISZERO 00000889: PUSH2 0x08d9 0000088c: JUMPI 0000088d: PUSH1 0x40 0000088f: DUP1 00000890: MLOAD 00000891: PUSH3 0x461bcd 00000895: PUSH1 0xe5 00000897: SHL 00000898: DUP2 00000899: MSTORE 0000089a: PUSH1 0x20 0000089c: PUSH1 0x04 0000089e: DUP3 0000089f: ADD 000008a0: MSTORE 000008a1: PUSH1 0x17 000008a3: PUSH1 0x24 000008a5: DUP3 000008a6: ADD 000008a7: MSTORE 000008a8: PUSH32 0x484453706c69742f6f7665722d646562742d6c696d6974000000000000000000 000008c9: PUSH1 0x44 000008cb: DUP3 000008cc: ADD 000008cd: MSTORE 000008ce: SWAP1 000008cf: MLOAD 000008d0: SWAP1 000008d1: DUP2 000008d2: SWAP1 000008d3: SUB 000008d4: PUSH1 0x64 000008d6: ADD 000008d7: SWAP1 000008d8: REVERT 000008d9: JUMPDEST 000008da: POP 000008db: POP 000008dc: JUMP 000008dd: JUMPDEST 000008de: PUSH1 0x03 000008e0: DUP2 000008e1: DUP2 000008e2: SLOAD 000008e3: DUP2 000008e4: LT 000008e5: PUSH2 0x08ea 000008e8: JUMPI 000008e9: INVALID 000008ea: JUMPDEST 000008eb: PUSH1 0x00 000008ed: SWAP2 000008ee: DUP3 000008ef: MSTORE 000008f0: PUSH1 0x20 000008f2: SWAP1 000008f3: SWAP2 000008f4: KECCAK256 000008f5: ADD 000008f6: SLOAD 000008f7: SWAP1 000008f8: POP 000008f9: DUP2 000008fa: JUMP 000008fb: JUMPDEST 000008fc: PUSH1 0x02 000008fe: DUP2 000008ff: DUP2 00000900: SLOAD 00000901: DUP2 00000902: LT 00000903: PUSH2 0x0908 00000906: JUMPI 00000907: INVALID 00000908: JUMPDEST 00000909: PUSH1 0x00 0000090b: SWAP2 0000090c: DUP3 0000090d: MSTORE 0000090e: PUSH1 0x20 00000910: SWAP1 00000911: SWAP2 00000912: KECCAK256 00000913: ADD 00000914: SLOAD 00000915: PUSH1 0x01 00000917: PUSH1 0x01 00000919: PUSH1 0xa0 0000091b: SHL 0000091c: SUB 0000091d: AND 0000091e: SWAP1 0000091f: POP 00000920: DUP2 00000921: JUMP 00000922: JUMPDEST 00000923: PUSH1 0x01 00000925: SLOAD 00000926: DUP2 00000927: JUMP 00000928: JUMPDEST 00000929: PUSH1 0x05 0000092b: PUSH1 0x20 0000092d: SWAP1 0000092e: DUP2 0000092f: MSTORE 00000930: PUSH1 0x00 00000932: SWAP3 00000933: DUP4 00000934: MSTORE 00000935: PUSH1 0x40 00000937: DUP1 00000938: DUP5 00000939: KECCAK256 0000093a: SWAP1 0000093b: SWAP2 0000093c: MSTORE 0000093d: SWAP1 0000093e: DUP3 0000093f: MSTORE 00000940: SWAP1 00000941: KECCAK256 00000942: SLOAD 00000943: DUP2 00000944: JUMP 00000945: JUMPDEST 00000946: PUSH1 0x07 00000948: PUSH1 0x20 0000094a: MSTORE 0000094b: PUSH1 0x00 0000094d: SWAP1 0000094e: DUP2 0000094f: MSTORE 00000950: PUSH1 0x40 00000952: SWAP1 00000953: KECCAK256 00000954: SLOAD 00000955: DUP2 00000956: JUMP 00000957: JUMPDEST 00000958: PUSH1 0x04 0000095a: PUSH1 0x20 0000095c: MSTORE 0000095d: PUSH1 0x00 0000095f: SWAP1 00000960: DUP2 00000961: MSTORE 00000962: PUSH1 0x40 00000964: SWAP1 00000965: KECCAK256 00000966: SLOAD 00000967: DUP2 00000968: JUMP 00000969: JUMPDEST 0000096a: PUSH1 0x06 0000096c: PUSH1 0x20 0000096e: SWAP1 0000096f: DUP2 00000970: MSTORE 00000971: PUSH1 0x00 00000973: SWAP3 00000974: DUP4 00000975: MSTORE 00000976: PUSH1 0x40 00000978: DUP1 00000979: DUP5 0000097a: KECCAK256 0000097b: SWAP1 0000097c: SWAP2 0000097d: MSTORE 0000097e: SWAP1 0000097f: DUP3 00000980: MSTORE 00000981: SWAP1 00000982: KECCAK256 00000983: SLOAD 00000984: DUP2 00000985: JUMP 00000986: JUMPDEST 00000987: PUSH32 0x0000000000000000000000000000000000000000000000000000000000000000 000009a8: DUP2 000009a9: JUMP 000009aa: JUMPDEST 000009ab: DUP1 000009ac: DUP3 000009ad: SUB 000009ae: DUP3 000009af: DUP2 000009b0: GT 000009b1: ISZERO 000009b2: PUSH2 0x09ba 000009b5: JUMPI 000009b6: PUSH1 0x00 000009b8: DUP1 000009b9: REVERT 000009ba: JUMPDEST 000009bb: SWAP3 000009bc: SWAP2 000009bd: POP 000009be: POP 000009bf: JUMP 000009c0: JUMPDEST 000009c1: DUP1 000009c2: DUP3 000009c3: ADD 000009c4: DUP3 000009c5: DUP2 000009c6: LT 000009c7: ISZERO 000009c8: PUSH2 0x09ba 000009cb: JUMPI 000009cc: PUSH1 0x00 000009ce: DUP1 000009cf: REVERT 000009d0: JUMPDEST 000009d1: PUSH1 0x00 000009d3: DUP2 000009d4: ISZERO 000009d5: DUP1 000009d6: PUSH2 0x09eb 000009d9: JUMPI 000009da: POP 000009db: POP 000009dc: DUP1 000009dd: DUP3 000009de: MUL 000009df: DUP3 000009e0: DUP3 000009e1: DUP3 000009e2: DUP2 000009e3: PUSH2 0x09e8 000009e6: JUMPI 000009e7: INVALID 000009e8: JUMPDEST 000009e9: DIV 000009ea: EQ 000009eb: JUMPDEST 000009ec: PUSH2 0x09ba 000009ef: JUMPI 000009f0: PUSH1 0x00 000009f2: DUP1 000009f3: REVERT 000009f4: JUMPDEST 000009f5: PUSH32 0x0000000000000000000000000000000000000000000000000000000000000000 00000a16: PUSH1 0x01 00000a18: PUSH1 0x01 00000a1a: PUSH1 0xa0 00000a1c: SHL 00000a1d: SUB 00000a1e: AND 00000a1f: PUSH2 0x0a27 00000a22: JUMPI 00000a23: PUSH2 0x0bca 00000a26: JUMP 00000a27: JUMPDEST 00000a28: PUSH1 0x01 00000a2a: PUSH1 0x01 00000a2c: PUSH1 0xa0 00000a2e: SHL 00000a2f: SUB 00000a30: DUP2 00000a31: AND 00000a32: PUSH1 0x00 00000a34: SWAP1 00000a35: DUP2 00000a36: MSTORE 00000a37: PUSH1 0x06 00000a39: PUSH1 0x20 00000a3b: SWAP1 00000a3c: DUP2 00000a3d: MSTORE 00000a3e: PUSH1 0x40 00000a40: DUP1 00000a41: DUP4 00000a42: KECCAK256 00000a43: CALLER 00000a44: DUP5 00000a45: MSTORE 00000a46: SWAP1 00000a47: SWAP2 00000a48: MSTORE 00000a49: SWAP1 00000a4a: KECCAK256 00000a4b: SLOAD 00000a4c: DUP1 00000a4d: ISZERO 00000a4e: PUSH2 0x08d9 00000a51: JUMPI 00000a52: PUSH1 0x01 00000a54: PUSH1 0x01 00000a56: PUSH1 0xa0 00000a58: SHL 00000a59: SUB 00000a5a: DUP3 00000a5b: AND 00000a5c: PUSH1 0x00 00000a5e: SWAP1 00000a5f: DUP2 00000a60: MSTORE 00000a61: PUSH1 0x06 00000a63: PUSH1 0x20 00000a65: SWAP1 00000a66: DUP2 00000a67: MSTORE 00000a68: PUSH1 0x40 00000a6a: DUP1 00000a6b: DUP4 00000a6c: KECCAK256 00000a6d: CALLER 00000a6e: DUP5 00000a6f: MSTORE 00000a70: SWAP1 00000a71: SWAP2 00000a72: MSTORE 00000a73: DUP2 00000a74: KECCAK256 00000a75: DUP2 00000a76: SWAP1 00000a77: SSTORE 00000a78: SLOAD 00000a79: PUSH2 0x0a82 00000a7c: SWAP1 00000a7d: DUP3 00000a7e: PUSH2 0x09aa 00000a81: JUMP 00000a82: JUMPDEST 00000a83: PUSH1 0x00 00000a85: SSTORE 00000a86: PUSH1 0x40 00000a88: DUP1 00000a89: MLOAD 00000a8a: DUP3 00000a8b: DUP2 00000a8c: MSTORE 00000a8d: SWAP1 00000a8e: MLOAD 00000a8f: PUSH1 0x01 00000a91: PUSH1 0x01 00000a93: PUSH1 0xa0 00000a95: SHL 00000a96: SUB 00000a97: DUP5 00000a98: AND 00000a99: SWAP2 00000a9a: CALLER 00000a9b: SWAP2 00000a9c: PUSH32 0xf433f6cc67a1632e45c5fd5e9353ddff992fc57719494aacde16b83f42c778bf 00000abd: SWAP2 00000abe: DUP2 00000abf: SWAP1 00000ac0: SUB 00000ac1: PUSH1 0x20 00000ac3: ADD 00000ac4: SWAP1 00000ac5: LOG3 00000ac6: PUSH32 0x0000000000000000000000000000000000000000000000000000000000000000 00000ae7: PUSH1 0x01 00000ae9: PUSH1 0x01 00000aeb: PUSH1 0xa0 00000aed: SHL 00000aee: SUB 00000aef: AND 00000af0: PUSH4 0x23b872dd 00000af5: CALLER 00000af6: DUP5 00000af7: DUP5 00000af8: PUSH1 0x40 00000afa: MLOAD 00000afb: DUP5 00000afc: PUSH4 0xffffffff 00000b01: AND 00000b02: PUSH1 0xe0 00000b04: SHL 00000b05: DUP2 00000b06: MSTORE 00000b07: PUSH1 0x04 00000b09: ADD 00000b0a: DUP1 00000b0b: DUP5 00000b0c: PUSH1 0x01 00000b0e: PUSH1 0x01 00000b10: PUSH1 0xa0 00000b12: SHL 00000b13: SUB 00000b14: AND 00000b15: DUP2 00000b16: MSTORE 00000b17: PUSH1 0x20 00000b19: ADD 00000b1a: DUP4 00000b1b: PUSH1 0x01 00000b1d: PUSH1 0x01 00000b1f: PUSH1 0xa0 00000b21: SHL 00000b22: SUB 00000b23: AND 00000b24: DUP2 00000b25: MSTORE 00000b26: PUSH1 0x20 00000b28: ADD 00000b29: DUP3 00000b2a: DUP2 00000b2b: MSTORE 00000b2c: PUSH1 0x20 00000b2e: ADD 00000b2f: SWAP4 00000b30: POP 00000b31: POP 00000b32: POP 00000b33: POP 00000b34: PUSH1 0x20 00000b36: PUSH1 0x40 00000b38: MLOAD 00000b39: DUP1 00000b3a: DUP4 00000b3b: SUB 00000b3c: DUP2 00000b3d: PUSH1 0x00 00000b3f: DUP8 00000b40: DUP1 00000b41: EXTCODESIZE 00000b42: ISZERO 00000b43: DUP1 00000b44: ISZERO 00000b45: PUSH2 0x0b4d 00000b48: JUMPI 00000b49: PUSH1 0x00 00000b4b: DUP1 00000b4c: REVERT 00000b4d: JUMPDEST 00000b4e: POP 00000b4f: GAS 00000b50: CALL 00000b51: ISZERO 00000b52: DUP1 00000b53: ISZERO 00000b54: PUSH2 0x0b61 00000b57: JUMPI 00000b58: RETURNDATASIZE 00000b59: PUSH1 0x00 00000b5b: DUP1 00000b5c: RETURNDATACOPY 00000b5d: RETURNDATASIZE 00000b5e: PUSH1 0x00 00000b60: REVERT 00000b61: JUMPDEST 00000b62: POP 00000b63: POP 00000b64: POP 00000b65: POP 00000b66: PUSH1 0x40 00000b68: MLOAD 00000b69: RETURNDATASIZE 00000b6a: PUSH1 0x20 00000b6c: DUP2 00000b6d: LT 00000b6e: ISZERO 00000b6f: PUSH2 0x0b77 00000b72: JUMPI 00000b73: PUSH1 0x00 00000b75: DUP1 00000b76: REVERT 00000b77: JUMPDEST 00000b78: POP 00000b79: MLOAD 00000b7a: PUSH2 0x08d9 00000b7d: JUMPI 00000b7e: PUSH1 0x40 00000b80: DUP1 00000b81: MLOAD 00000b82: PUSH3 0x461bcd 00000b86: PUSH1 0xe5 00000b88: SHL 00000b89: DUP2 00000b8a: MSTORE 00000b8b: PUSH1 0x20 00000b8d: PUSH1 0x04 00000b8f: DUP3 00000b90: ADD 00000b91: MSTORE 00000b92: PUSH1 0x1b 00000b94: PUSH1 0x24 00000b96: DUP3 00000b97: ADD 00000b98: MSTORE 00000b99: PUSH32 0x484453706c69742f6461692d7472616e736665722d6661696c65640000000000 00000bba: PUSH1 0x44 00000bbc: DUP3 00000bbd: ADD 00000bbe: MSTORE 00000bbf: SWAP1 00000bc0: MLOAD 00000bc1: SWAP1 00000bc2: DUP2 00000bc3: SWAP1 00000bc4: SUB 00000bc5: PUSH1 0x64 00000bc7: ADD 00000bc8: SWAP1 00000bc9: REVERT 00000bca: JUMPDEST 00000bcb: POP 00000bcc: JUMP 00000bcd: JUMPDEST 00000bce: CALLER 00000bcf: PUSH1 0x00 00000bd1: SWAP1 00000bd2: DUP2 00000bd3: MSTORE 00000bd4: PUSH1 0x05 00000bd6: PUSH1 0x20 00000bd8: SWAP1 00000bd9: DUP2 00000bda: MSTORE 00000bdb: PUSH1 0x40 00000bdd: DUP1 00000bde: DUP4 00000bdf: KECCAK256 00000be0: PUSH1 0x01 00000be2: PUSH1 0x01 00000be4: PUSH1 0xa0 00000be6: SHL 00000be7: SUB 00000be8: DUP6 00000be9: AND 00000bea: DUP5 00000beb: MSTORE 00000bec: DUP3 00000bed: MSTORE 00000bee: DUP1 00000bef: DUP4 00000bf0: KECCAK256 00000bf1: DUP1 00000bf2: SLOAD 00000bf3: SWAP1 00000bf4: DUP5 00000bf5: SWAP1 00000bf6: SSTORE 00000bf7: PUSH1 0x04 00000bf9: SWAP1 00000bfa: SWAP3 00000bfb: MSTORE 00000bfc: SWAP1 00000bfd: SWAP2 00000bfe: KECCAK256 00000bff: SLOAD 00000c00: PUSH2 0x0c09 00000c03: SWAP1 00000c04: DUP3 00000c05: PUSH2 0x09aa 00000c08: JUMP 00000c09: JUMPDEST 00000c0a: PUSH1 0x01 00000c0c: PUSH1 0x01 00000c0e: PUSH1 0xa0 00000c10: SHL 00000c11: SUB 00000c12: DUP4 00000c13: AND 00000c14: PUSH1 0x00 00000c16: DUP2 00000c17: DUP2 00000c18: MSTORE 00000c19: PUSH1 0x04 00000c1b: PUSH1 0x20 00000c1d: SWAP1 00000c1e: DUP2 00000c1f: MSTORE 00000c20: PUSH1 0x40 00000c22: SWAP2 00000c23: DUP3 00000c24: SWAP1 00000c25: KECCAK256 00000c26: SWAP4 00000c27: SWAP1 00000c28: SWAP4 00000c29: SSTORE 00000c2a: DUP1 00000c2b: MLOAD 00000c2c: DUP5 00000c2d: DUP2 00000c2e: MSTORE 00000c2f: SWAP1 00000c30: MLOAD 00000c31: SWAP2 00000c32: SWAP3 00000c33: CALLER 00000c34: SWAP3 00000c35: PUSH32 0x3990db2d31862302a685e8086b5755072a6e2b5b780af1ee81ece35ee3cd3345 00000c56: SWAP3 00000c57: DUP2 00000c58: SWAP1 00000c59: SUB 00000c5a: SWAP1 00000c5b: SWAP2 00000c5c: ADD 00000c5d: SWAP1 00000c5e: LOG3 00000c5f: PUSH1 0x01 00000c61: PUSH1 0x01 00000c63: PUSH1 0xa0 00000c65: SHL 00000c66: SUB 00000c67: DUP3 00000c68: AND 00000c69: PUSH2 0x0cdb 00000c6c: JUMPI 00000c6d: PUSH1 0x40 00000c6f: MLOAD 00000c70: CALLER 00000c71: SWAP1 00000c72: DUP3 00000c73: ISZERO 00000c74: PUSH2 0x08fc 00000c77: MUL 00000c78: SWAP1 00000c79: DUP4 00000c7a: SWAP1 00000c7b: PUSH1 0x00 00000c7d: DUP2 00000c7e: DUP2 00000c7f: DUP2 00000c80: DUP6 00000c81: DUP9 00000c82: DUP9 00000c83: CALL 00000c84: SWAP4 00000c85: POP 00000c86: POP 00000c87: POP 00000c88: POP 00000c89: ISZERO 00000c8a: ISZERO 00000c8b: PUSH1 0x01 00000c8d: ISZERO 00000c8e: ISZERO 00000c8f: EQ 00000c90: PUSH2 0x0cd6 00000c93: JUMPI 00000c94: PUSH1 0x40 00000c96: DUP1 00000c97: MLOAD 00000c98: PUSH3 0x461bcd 00000c9c: PUSH1 0xe5 00000c9e: SHL 00000c9f: DUP2 00000ca0: MSTORE 00000ca1: PUSH1 0x20 00000ca3: PUSH1 0x04 00000ca5: DUP3 00000ca6: ADD 00000ca7: MSTORE 00000ca8: PUSH1 0x13 00000caa: PUSH1 0x24 00000cac: DUP3 00000cad: ADD 00000cae: MSTORE 00000caf: PUSH19 0x121114dc1b1a5d0bdcd95b990b59985a5b1959 00000cc3: PUSH1 0x6a 00000cc5: SHL 00000cc6: PUSH1 0x44 00000cc8: DUP3 00000cc9: ADD 00000cca: MSTORE 00000ccb: SWAP1 00000ccc: MLOAD 00000ccd: SWAP1 00000cce: DUP2 00000ccf: SWAP1 00000cd0: SUB 00000cd1: PUSH1 0x64 00000cd3: ADD 00000cd4: SWAP1 00000cd5: REVERT 00000cd6: JUMPDEST 00000cd7: PUSH2 0x08d9 00000cda: JUMP 00000cdb: JUMPDEST 00000cdc: PUSH1 0x40 00000cde: DUP1 00000cdf: MLOAD 00000ce0: CALLER 00000ce1: PUSH1 0x24 00000ce3: DUP3 00000ce4: ADD 00000ce5: MSTORE 00000ce6: PUSH1 0x44 00000ce8: DUP1 00000ce9: DUP3 00000cea: ADD 00000ceb: DUP5 00000cec: SWAP1 00000ced: MSTORE 00000cee: DUP3 00000cef: MLOAD 00000cf0: DUP1 00000cf1: DUP4 00000cf2: SUB 00000cf3: SWAP1 00000cf4: SWAP2 00000cf5: ADD 00000cf6: DUP2 00000cf7: MSTORE 00000cf8: PUSH1 0x64 00000cfa: SWAP1 00000cfb: SWAP2 00000cfc: ADD 00000cfd: DUP3 00000cfe: MSTORE 00000cff: PUSH1 0x20 00000d01: DUP2 00000d02: ADD 00000d03: DUP1 00000d04: MLOAD 00000d05: PUSH1 0x01 00000d07: PUSH1 0x01 00000d09: PUSH1 0xe0 00000d0b: SHL 00000d0c: SUB 00000d0d: AND 00000d0e: PUSH4 0xa9059cbb 00000d13: PUSH1 0xe0 00000d15: SHL 00000d16: OR 00000d17: DUP2 00000d18: MSTORE 00000d19: SWAP2 00000d1a: MLOAD 00000d1b: DUP2 00000d1c: MLOAD 00000d1d: SWAP2 00000d1e: SWAP3 00000d1f: PUSH1 0x00 00000d21: SWAP3 00000d22: PUSH1 0x60 00000d24: SWAP3 00000d25: PUSH1 0x01 00000d27: PUSH1 0x01 00000d29: PUSH1 0xa0 00000d2b: SHL 00000d2c: SUB 00000d2d: DUP9 00000d2e: AND 00000d2f: SWAP3 00000d30: DUP7 00000d31: SWAP3 00000d32: DUP3 00000d33: SWAP2 00000d34: SWAP1 00000d35: DUP1 00000d36: DUP4 00000d37: DUP4 00000d38: JUMPDEST 00000d39: PUSH1 0x20 00000d3b: DUP4 00000d3c: LT 00000d3d: PUSH2 0x0d57 00000d40: JUMPI 00000d41: DUP1 00000d42: MLOAD 00000d43: DUP3 00000d44: MSTORE 00000d45: PUSH1 0x1f 00000d47: NOT 00000d48: SWAP1 00000d49: SWAP3 00000d4a: ADD 00000d4b: SWAP2 00000d4c: PUSH1 0x20 00000d4e: SWAP2 00000d4f: DUP3 00000d50: ADD 00000d51: SWAP2 00000d52: ADD 00000d53: PUSH2 0x0d38 00000d56: JUMP 00000d57: JUMPDEST 00000d58: PUSH1 0x01 00000d5a: DUP4 00000d5b: PUSH1 0x20 00000d5d: SUB 00000d5e: PUSH2 0x0100 00000d61: EXP 00000d62: SUB 00000d63: DUP1 00000d64: NOT 00000d65: DUP3 00000d66: MLOAD 00000d67: AND 00000d68: DUP2 00000d69: DUP5 00000d6a: MLOAD 00000d6b: AND 00000d6c: DUP1 00000d6d: DUP3 00000d6e: OR 00000d6f: DUP6 00000d70: MSTORE 00000d71: POP 00000d72: POP 00000d73: POP 00000d74: POP 00000d75: POP 00000d76: POP 00000d77: SWAP1 00000d78: POP 00000d79: ADD 00000d7a: SWAP2 00000d7b: POP 00000d7c: POP 00000d7d: PUSH1 0x00 00000d7f: PUSH1 0x40 00000d81: MLOAD 00000d82: DUP1 00000d83: DUP4 00000d84: SUB 00000d85: DUP2 00000d86: PUSH1 0x00 00000d88: DUP7 00000d89: GAS 00000d8a: CALL 00000d8b: SWAP2 00000d8c: POP 00000d8d: POP 00000d8e: RETURNDATASIZE 00000d8f: DUP1 00000d90: PUSH1 0x00 00000d92: DUP2 00000d93: EQ 00000d94: PUSH2 0x0db9 00000d97: JUMPI 00000d98: PUSH1 0x40 00000d9a: MLOAD 00000d9b: SWAP2 00000d9c: POP 00000d9d: PUSH1 0x1f 00000d9f: NOT 00000da0: PUSH1 0x3f 00000da2: RETURNDATASIZE 00000da3: ADD 00000da4: AND 00000da5: DUP3 00000da6: ADD 00000da7: PUSH1 0x40 00000da9: MSTORE 00000daa: RETURNDATASIZE 00000dab: DUP3 00000dac: MSTORE 00000dad: RETURNDATASIZE 00000dae: PUSH1 0x00 00000db0: PUSH1 0x20 00000db2: DUP5 00000db3: ADD 00000db4: RETURNDATACOPY 00000db5: PUSH2 0x0dbe 00000db8: JUMP 00000db9: JUMPDEST 00000dba: PUSH1 0x60 00000dbc: SWAP2 00000dbd: POP 00000dbe: JUMPDEST 00000dbf: POP 00000dc0: SWAP2 00000dc1: POP 00000dc2: SWAP2 00000dc3: POP 00000dc4: DUP2 00000dc5: PUSH2 0x0e15 00000dc8: JUMPI 00000dc9: PUSH1 0x40 00000dcb: DUP1 00000dcc: MLOAD 00000dcd: PUSH3 0x461bcd 00000dd1: PUSH1 0xe5 00000dd3: SHL 00000dd4: DUP2 00000dd5: MSTORE 00000dd6: PUSH1 0x20 00000dd8: PUSH1 0x04 00000dda: DUP3 00000ddb: ADD 00000ddc: MSTORE 00000ddd: PUSH1 0x19 00000ddf: PUSH1 0x24 00000de1: DUP3 00000de2: ADD 00000de3: MSTORE 00000de4: PUSH32 0x484453706c69742f7472616e736665722d6661696c65642d3100000000000000 00000e05: PUSH1 0x44 00000e07: DUP3 00000e08: ADD 00000e09: MSTORE 00000e0a: SWAP1 00000e0b: MLOAD 00000e0c: SWAP1 00000e0d: DUP2 00000e0e: SWAP1 00000e0f: SUB 00000e10: PUSH1 0x64 00000e12: ADD 00000e13: SWAP1 00000e14: REVERT 00000e15: JUMPDEST 00000e16: DUP1 00000e17: MLOAD 00000e18: ISZERO 00000e19: PUSH2 0x0e84 00000e1c: JUMPI 00000e1d: DUP1 00000e1e: DUP1 00000e1f: PUSH1 0x20 00000e21: ADD 00000e22: SWAP1 00000e23: MLOAD 00000e24: PUSH1 0x20 00000e26: DUP2 00000e27: LT 00000e28: ISZERO 00000e29: PUSH2 0x0e31 00000e2c: JUMPI 00000e2d: PUSH1 0x00 00000e2f: DUP1 00000e30: REVERT 00000e31: JUMPDEST 00000e32: POP 00000e33: MLOAD 00000e34: PUSH2 0x0e84 00000e37: JUMPI 00000e38: PUSH1 0x40 00000e3a: DUP1 00000e3b: MLOAD 00000e3c: PUSH3 0x461bcd 00000e40: PUSH1 0xe5 00000e42: SHL 00000e43: DUP2 00000e44: MSTORE 00000e45: PUSH1 0x20 00000e47: PUSH1 0x04 00000e49: DUP3 00000e4a: ADD 00000e4b: MSTORE 00000e4c: PUSH1 0x19 00000e4e: PUSH1 0x24 00000e50: DUP3 00000e51: ADD 00000e52: MSTORE 00000e53: PUSH32 0x484453706c69742f7472616e736665722d6661696c65642d3200000000000000 00000e74: PUSH1 0x44 00000e76: DUP3 00000e77: ADD 00000e78: MSTORE 00000e79: SWAP1 00000e7a: MLOAD 00000e7b: SWAP1 00000e7c: DUP2 00000e7d: SWAP1 00000e7e: SUB 00000e7f: PUSH1 0x64 00000e81: ADD 00000e82: SWAP1 00000e83: REVERT 00000e84: JUMPDEST 00000e85: POP 00000e86: POP 00000e87: POP 00000e88: POP 00000e89: POP 00000e8a: JUMP 00000e8b: INVALID 00000e8c: LOG2 00000e8d: PUSH5 0x6970667358 00000e93: UNKNOWN(0x22) 00000e94: SLT 00000e95: KECCAK256 00000e96: UNKNOWN(0xD0) 00000e97: UNKNOWN(0xBC) 00000e98: SWAP6 00000e99: MLOAD 00000e9a: STATICCALL 00000e9b: PUSH21 0x0656e4b8f37073927d209ccaccb7d4ef6bfc2dfd7d 00000eb1: UNKNOWN(0xF7) 00000eb2: UNKNOWN(0x2C) 00000eb3: PUSH6 0x688864736f6c 00000eba: PUSH4 0x4300060c 00000ebf: STOP 00000ec0: CALLER
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0x8c62fd68740980ff87f4c8dcd7ea0a1ce581cfe97d15bad0f142183a9641e524
call_targets:
0x3aaf35c4160baa41b906c4e10ad13c91239584b9
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x8c62fd68740980ff87f4c8dcd7ea0a1ce581cfe97d15bad0f142183a9641e524",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x3aaf35c4160baa41b906c4e10ad13c91239584b9"
],
"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": "0xa4d66daf",
"selector": "0xa4d66daf",
"calldata_variants": [
"0xa4d66daf",
"0xa4d66daf0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xb203bb99",
"selector": "0xb203bb99",
"calldata_variants": [
"0xb203bb99",
"0xb203bb990000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xbf353dbb",
"selector": "0xbf353dbb",
"calldata_variants": [
"0xbf353dbb",
"0xbf353dbb0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd2514e84",
"selector": "0xd2514e84",
"calldata_variants": [
"0xd2514e84",
"0xd2514e840000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xeffd0550",
"selector": "0xeffd0550",
"calldata_variants": [
"0xeffd0550",
"0xeffd05500000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf4b9fa75",
"selector": "0xf4b9fa75",
"calldata_variants": [
"0xf4b9fa75",
"0xf4b9fa750000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x0dca59c1",
"selector": "0x0dca59c1",
"calldata_variants": [
"0x0dca59c1",
"0x0dca59c10000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x159090bd",
"selector": "0x159090bd",
"calldata_variants": [
"0x159090bd",
"0x159090bd0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 2896,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 3203,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 3466,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 3,
"guards_detected": [],
"untrusted_call_count": 3
}
|
| high | other | detector | ETH value transfer possible | 55 | no | no |
viewtrace_id: 0x8c62fd68740980ff87f4c8dcd7ea0a1ce581cfe97d15bad0f142183a9641e524
call_targets:
0x3aaf35c4160baa41b906c4e10ad13c91239584b9
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x8c62fd68740980ff87f4c8dcd7ea0a1ce581cfe97d15bad0f142183a9641e524",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x3aaf35c4160baa41b906c4e10ad13c91239584b9"
],
"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": "0xa4d66daf",
"selector": "0xa4d66daf",
"calldata_variants": [
"0xa4d66daf",
"0xa4d66daf0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xb203bb99",
"selector": "0xb203bb99",
"calldata_variants": [
"0xb203bb99",
"0xb203bb990000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xbf353dbb",
"selector": "0xbf353dbb",
"calldata_variants": [
"0xbf353dbb",
"0xbf353dbb0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd2514e84",
"selector": "0xd2514e84",
"calldata_variants": [
"0xd2514e84",
"0xd2514e840000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xeffd0550",
"selector": "0xeffd0550",
"calldata_variants": [
"0xeffd0550",
"0xeffd05500000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf4b9fa75",
"selector": "0xf4b9fa75",
"calldata_variants": [
"0xf4b9fa75",
"0xf4b9fa750000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x0dca59c1",
"selector": "0x0dca59c1",
"calldata_variants": [
"0x0dca59c1",
"0x0dca59c10000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x159090bd",
"selector": "0x159090bd",
"calldata_variants": [
"0x159090bd",
"0x159090bd0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 2896,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 3203,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 3466,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 3,
"guards_detected": []
}
|