019b477e-cb2e-7161-911c-ee780e07b29f
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 |
|---|---|---|---|---|
| 26641 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 26642 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 70022 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 70023 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 70024 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 70025 | 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 0x0114 0000000c: JUMPI 0000000d: PUSH1 0x00 0000000f: CALLDATALOAD 00000010: PUSH1 0xe0 00000012: SHR 00000013: DUP1 00000014: PUSH4 0xc98265b1 00000019: GT 0000001a: PUSH2 0x00a0 0000001d: JUMPI 0000001e: DUP1 0000001f: PUSH4 0xedf35253 00000024: GT 00000025: PUSH2 0x0064 00000028: JUMPI 00000029: DUP1 0000002a: PUSH4 0xedf35253 0000002f: EQ 00000030: PUSH2 0x030e 00000033: JUMPI 00000034: DUP1 00000035: PUSH4 0xefca2eed 0000003a: EQ 0000003b: PUSH2 0x032e 0000003e: JUMPI 0000003f: DUP1 00000040: PUSH4 0xf0fc6bca 00000045: EQ 00000046: PUSH2 0x0344 00000049: JUMPI 0000004a: DUP1 0000004b: PUSH4 0xffb2c479 00000050: EQ 00000051: PUSH2 0x0359 00000054: JUMPI 00000055: DUP1 00000056: PUSH4 0xffd49c84 0000005b: EQ 0000005c: PUSH2 0x0379 0000005f: JUMPI 00000060: PUSH1 0x00 00000062: DUP1 00000063: REVERT 00000064: JUMPDEST 00000065: DUP1 00000066: PUSH4 0xc98265b1 0000006b: EQ 0000006c: PUSH2 0x026e 0000006f: JUMPI 00000070: DUP1 00000071: PUSH4 0xccc3aeb5 00000076: EQ 00000077: PUSH2 0x0283 0000007a: JUMPI 0000007b: DUP1 0000007c: PUSH4 0xce7c2ac2 00000081: EQ 00000082: PUSH2 0x0299 00000085: JUMPI 00000086: DUP1 00000087: PUSH4 0xd0e30db0 0000008c: EQ 0000008d: PUSH2 0x02f0 00000090: JUMPI 00000091: DUP1 00000092: PUSH4 0xe2d2e219 00000097: EQ 00000098: PUSH2 0x02f8 0000009b: JUMPI 0000009c: PUSH1 0x00 0000009e: DUP1 0000009f: REVERT 000000a0: JUMPDEST 000000a1: DUP1 000000a2: PUSH4 0x3a98ef39 000000a7: GT 000000a8: PUSH2 0x00e7 000000ab: JUMPI 000000ac: DUP1 000000ad: PUSH4 0x3a98ef39 000000b2: EQ 000000b3: PUSH2 0x01a4 000000b6: JUMPI 000000b7: DUP1 000000b8: PUSH4 0x4fab0ae8 000000bd: EQ 000000be: PUSH2 0x01ba 000000c1: JUMPI 000000c2: DUP1 000000c3: PUSH4 0x5e6056bb 000000c8: EQ 000000c9: PUSH2 0x01d0 000000cc: JUMPI 000000cd: DUP1 000000ce: PUSH4 0x7b510fe8 000000d3: EQ 000000d4: PUSH2 0x0238 000000d7: JUMPI 000000d8: DUP1 000000d9: PUSH4 0x997664d7 000000de: EQ 000000df: PUSH2 0x0258 000000e2: JUMPI 000000e3: PUSH1 0x00 000000e5: DUP1 000000e6: REVERT 000000e7: JUMPDEST 000000e8: DUP1 000000e9: PUSH4 0x0ca61cb1 000000ee: EQ 000000ef: PUSH2 0x0119 000000f2: JUMPI 000000f3: DUP1 000000f4: PUSH4 0x11ce023d 000000f9: EQ 000000fa: PUSH2 0x013b 000000fd: JUMPI 000000fe: DUP1 000000ff: PUSH4 0x14b6ca96 00000104: EQ 00000105: PUSH2 0x0164 00000108: JUMPI 00000109: DUP1 0000010a: PUSH4 0x28fd3198 0000010f: EQ 00000110: PUSH2 0x0184 00000113: JUMPI 00000114: JUMPDEST 00000115: PUSH1 0x00 00000117: DUP1 00000118: REVERT 00000119: JUMPDEST 0000011a: CALLVALUE 0000011b: DUP1 0000011c: ISZERO 0000011d: PUSH2 0x0125 00000120: JUMPI 00000121: PUSH1 0x00 00000123: DUP1 00000124: REVERT 00000125: JUMPDEST 00000126: POP 00000127: PUSH2 0x0139 0000012a: PUSH2 0x0134 0000012d: CALLDATASIZE 0000012e: PUSH1 0x04 00000130: PUSH2 0x0d8f 00000133: JUMP 00000134: JUMPDEST 00000135: PUSH2 0x038f 00000138: JUMP 00000139: JUMPDEST 0000013a: STOP 0000013b: JUMPDEST 0000013c: CALLVALUE 0000013d: DUP1 0000013e: ISZERO 0000013f: PUSH2 0x0147 00000142: JUMPI 00000143: PUSH1 0x00 00000145: DUP1 00000146: REVERT 00000147: JUMPDEST 00000148: POP 00000149: PUSH2 0x0151 0000014c: PUSH1 0x09 0000014e: SLOAD 0000014f: DUP2 00000150: JUMP 00000151: JUMPDEST 00000152: PUSH1 0x40 00000154: MLOAD 00000155: SWAP1 00000156: DUP2 00000157: MSTORE 00000158: PUSH1 0x20 0000015a: ADD 0000015b: JUMPDEST 0000015c: PUSH1 0x40 0000015e: MLOAD 0000015f: DUP1 00000160: SWAP2 00000161: SUB 00000162: SWAP1 00000163: RETURN 00000164: JUMPDEST 00000165: CALLVALUE 00000166: DUP1 00000167: ISZERO 00000168: PUSH2 0x0170 0000016b: JUMPI 0000016c: PUSH1 0x00 0000016e: DUP1 0000016f: REVERT 00000170: JUMPDEST 00000171: POP 00000172: PUSH2 0x0139 00000175: PUSH2 0x017f 00000178: CALLDATASIZE 00000179: PUSH1 0x04 0000017b: PUSH2 0x0d4c 0000017e: JUMP 0000017f: JUMPDEST 00000180: PUSH2 0x0410 00000183: JUMP 00000184: JUMPDEST 00000185: CALLVALUE 00000186: DUP1 00000187: ISZERO 00000188: PUSH2 0x0190 0000018b: JUMPI 0000018c: PUSH1 0x00 0000018e: DUP1 0000018f: REVERT 00000190: JUMPDEST 00000191: POP 00000192: PUSH2 0x0151 00000195: PUSH2 0x019f 00000198: CALLDATASIZE 00000199: PUSH1 0x04 0000019b: PUSH2 0x0d31 0000019e: JUMP 0000019f: JUMPDEST 000001a0: PUSH2 0x05d5 000001a3: JUMP 000001a4: JUMPDEST 000001a5: CALLVALUE 000001a6: DUP1 000001a7: ISZERO 000001a8: PUSH2 0x01b0 000001ab: JUMPI 000001ac: PUSH1 0x00 000001ae: DUP1 000001af: REVERT 000001b0: JUMPDEST 000001b1: POP 000001b2: PUSH2 0x0151 000001b5: PUSH1 0x05 000001b7: SLOAD 000001b8: DUP2 000001b9: JUMP 000001ba: JUMPDEST 000001bb: CALLVALUE 000001bc: DUP1 000001bd: ISZERO 000001be: PUSH2 0x01c6 000001c1: JUMPI 000001c2: PUSH1 0x00 000001c4: DUP1 000001c5: REVERT 000001c6: JUMPDEST 000001c7: POP 000001c8: PUSH2 0x0151 000001cb: PUSH1 0x0c 000001cd: SLOAD 000001ce: DUP2 000001cf: JUMP 000001d0: JUMPDEST 000001d1: CALLVALUE 000001d2: DUP1 000001d3: ISZERO 000001d4: PUSH2 0x01dc 000001d7: JUMPI 000001d8: PUSH1 0x00 000001da: DUP1 000001db: REVERT 000001dc: JUMPDEST 000001dd: POP 000001de: PUSH2 0x0218 000001e1: PUSH2 0x01eb 000001e4: CALLDATASIZE 000001e5: PUSH1 0x04 000001e7: PUSH2 0x0d31 000001ea: JUMP 000001eb: JUMPDEST 000001ec: PUSH1 0x05 000001ee: SLOAD 000001ef: PUSH1 0x07 000001f1: SLOAD 000001f2: PUSH1 0x01 000001f4: PUSH1 0x01 000001f6: PUSH1 0xa0 000001f8: SHL 000001f9: SUB 000001fa: DUP4 000001fb: AND 000001fc: PUSH1 0x00 000001fe: SWAP1 000001ff: DUP2 00000200: MSTORE 00000201: PUSH1 0x04 00000203: PUSH1 0x20 00000205: MSTORE 00000206: PUSH1 0x40 00000208: SWAP1 00000209: KECCAK256 0000020a: DUP1 0000020b: SLOAD 0000020c: PUSH1 0x02 0000020e: SWAP1 0000020f: SWAP2 00000210: ADD 00000211: SLOAD 00000212: SWAP2 00000213: SWAP4 00000214: POP 00000215: SWAP2 00000216: SWAP4 00000217: JUMP 00000218: JUMPDEST 00000219: PUSH1 0x40 0000021b: DUP1 0000021c: MLOAD 0000021d: SWAP5 0000021e: DUP6 0000021f: MSTORE 00000220: PUSH1 0x20 00000222: DUP6 00000223: ADD 00000224: SWAP4 00000225: SWAP1 00000226: SWAP4 00000227: MSTORE 00000228: SWAP2 00000229: DUP4 0000022a: ADD 0000022b: MSTORE 0000022c: PUSH1 0x60 0000022e: DUP3 0000022f: ADD 00000230: MSTORE 00000231: PUSH1 0x80 00000233: ADD 00000234: PUSH2 0x015b 00000237: JUMP 00000238: JUMPDEST 00000239: CALLVALUE 0000023a: DUP1 0000023b: ISZERO 0000023c: PUSH2 0x0244 0000023f: JUMPI 00000240: PUSH1 0x00 00000242: DUP1 00000243: REVERT 00000244: JUMPDEST 00000245: POP 00000246: PUSH2 0x0218 00000249: PUSH2 0x0253 0000024c: CALLDATASIZE 0000024d: PUSH1 0x04 0000024f: PUSH2 0x0d31 00000252: JUMP 00000253: JUMPDEST 00000254: PUSH2 0x065e 00000257: JUMP 00000258: JUMPDEST 00000259: CALLVALUE 0000025a: DUP1 0000025b: ISZERO 0000025c: PUSH2 0x0264 0000025f: JUMPI 00000260: PUSH1 0x00 00000262: DUP1 00000263: REVERT 00000264: JUMPDEST 00000265: POP 00000266: PUSH2 0x0151 00000269: PUSH1 0x06 0000026b: SLOAD 0000026c: DUP2 0000026d: JUMP 0000026e: JUMPDEST 0000026f: CALLVALUE 00000270: DUP1 00000271: ISZERO 00000272: PUSH2 0x027a 00000275: JUMPI 00000276: PUSH1 0x00 00000278: DUP1 00000279: REVERT 0000027a: JUMPDEST 0000027b: POP 0000027c: PUSH1 0x0b 0000027e: SLOAD 0000027f: PUSH2 0x0151 00000282: JUMP 00000283: JUMPDEST 00000284: CALLVALUE 00000285: DUP1 00000286: ISZERO 00000287: PUSH2 0x028f 0000028a: JUMPI 0000028b: PUSH1 0x00 0000028d: DUP1 0000028e: REVERT 0000028f: JUMPDEST 00000290: POP 00000291: PUSH2 0x0151 00000294: PUSH1 0x0b 00000296: SLOAD 00000297: DUP2 00000298: JUMP 00000299: JUMPDEST 0000029a: CALLVALUE 0000029b: DUP1 0000029c: ISZERO 0000029d: PUSH2 0x02a5 000002a0: JUMPI 000002a1: PUSH1 0x00 000002a3: DUP1 000002a4: REVERT 000002a5: JUMPDEST 000002a6: POP 000002a7: PUSH2 0x02d5 000002aa: PUSH2 0x02b4 000002ad: CALLDATASIZE 000002ae: PUSH1 0x04 000002b0: PUSH2 0x0d31 000002b3: JUMP 000002b4: JUMPDEST 000002b5: PUSH1 0x04 000002b7: PUSH1 0x20 000002b9: MSTORE 000002ba: PUSH1 0x00 000002bc: SWAP1 000002bd: DUP2 000002be: MSTORE 000002bf: PUSH1 0x40 000002c1: SWAP1 000002c2: KECCAK256 000002c3: DUP1 000002c4: SLOAD 000002c5: PUSH1 0x01 000002c7: DUP3 000002c8: ADD 000002c9: SLOAD 000002ca: PUSH1 0x02 000002cc: SWAP1 000002cd: SWAP3 000002ce: ADD 000002cf: SLOAD 000002d0: SWAP1 000002d1: SWAP2 000002d2: SWAP1 000002d3: DUP4 000002d4: JUMP 000002d5: JUMPDEST 000002d6: PUSH1 0x40 000002d8: DUP1 000002d9: MLOAD 000002da: SWAP4 000002db: DUP5 000002dc: MSTORE 000002dd: PUSH1 0x20 000002df: DUP5 000002e0: ADD 000002e1: SWAP3 000002e2: SWAP1 000002e3: SWAP3 000002e4: MSTORE 000002e5: SWAP1 000002e6: DUP3 000002e7: ADD 000002e8: MSTORE 000002e9: PUSH1 0x60 000002eb: ADD 000002ec: PUSH2 0x015b 000002ef: JUMP 000002f0: JUMPDEST 000002f1: PUSH2 0x0139 000002f4: PUSH2 0x06bb 000002f7: JUMP 000002f8: JUMPDEST 000002f9: CALLVALUE 000002fa: DUP1 000002fb: ISZERO 000002fc: PUSH2 0x0304 000002ff: JUMPI 00000300: PUSH1 0x00 00000302: DUP1 00000303: REVERT 00000304: JUMPDEST 00000305: POP 00000306: PUSH2 0x0151 00000309: PUSH1 0x08 0000030b: SLOAD 0000030c: DUP2 0000030d: JUMP 0000030e: JUMPDEST 0000030f: CALLVALUE 00000310: DUP1 00000311: ISZERO 00000312: PUSH2 0x031a 00000315: JUMPI 00000316: PUSH1 0x00 00000318: DUP1 00000319: REVERT 0000031a: JUMPDEST 0000031b: POP 0000031c: PUSH2 0x0139 0000031f: PUSH2 0x0329 00000322: CALLDATASIZE 00000323: PUSH1 0x04 00000325: PUSH2 0x0d31 00000328: JUMP 00000329: JUMPDEST 0000032a: PUSH2 0x072d 0000032d: JUMP 0000032e: JUMPDEST 0000032f: CALLVALUE 00000330: DUP1 00000331: ISZERO 00000332: PUSH2 0x033a 00000335: JUMPI 00000336: PUSH1 0x00 00000338: DUP1 00000339: REVERT 0000033a: JUMPDEST 0000033b: POP 0000033c: PUSH2 0x0151 0000033f: PUSH1 0x07 00000341: SLOAD 00000342: DUP2 00000343: JUMP 00000344: JUMPDEST 00000345: CALLVALUE 00000346: DUP1 00000347: ISZERO 00000348: PUSH2 0x0350 0000034b: JUMPI 0000034c: PUSH1 0x00 0000034e: DUP1 0000034f: REVERT 00000350: JUMPDEST 00000351: POP 00000352: PUSH2 0x0139 00000355: PUSH2 0x0739 00000358: JUMP 00000359: JUMPDEST 0000035a: CALLVALUE 0000035b: DUP1 0000035c: ISZERO 0000035d: PUSH2 0x0365 00000360: JUMPI 00000361: PUSH1 0x00 00000363: DUP1 00000364: REVERT 00000365: JUMPDEST 00000366: POP 00000367: PUSH2 0x0139 0000036a: PUSH2 0x0374 0000036d: CALLDATASIZE 0000036e: PUSH1 0x04 00000370: PUSH2 0x0d76 00000373: JUMP 00000374: JUMPDEST 00000375: PUSH2 0x0744 00000378: JUMP 00000379: JUMPDEST 0000037a: CALLVALUE 0000037b: DUP1 0000037c: ISZERO 0000037d: PUSH2 0x0385 00000380: JUMPI 00000381: PUSH1 0x00 00000383: DUP1 00000384: REVERT 00000385: JUMPDEST 00000386: POP 00000387: PUSH2 0x0151 0000038a: PUSH1 0x0a 0000038c: SLOAD 0000038d: DUP2 0000038e: JUMP 0000038f: JUMPDEST 00000390: PUSH1 0x00 00000392: SLOAD 00000393: PUSH1 0x01 00000395: PUSH1 0x01 00000397: PUSH1 0xa0 00000399: SHL 0000039a: SUB 0000039b: AND 0000039c: CALLER 0000039d: EQ 0000039e: PUSH2 0x03a6 000003a1: JUMPI 000003a2: PUSH1 0x00 000003a4: DUP1 000003a5: REVERT 000003a6: JUMPDEST 000003a7: PUSH1 0x0a 000003a9: DUP4 000003aa: SWAP1 000003ab: SSTORE 000003ac: PUSH1 0x0c 000003ae: DUP3 000003af: SWAP1 000003b0: SSTORE 000003b1: PUSH2 0x03be 000003b4: DUP2 000003b5: PUSH4 0x3b9aca00 000003ba: PUSH2 0x0e4a 000003bd: JUMP 000003be: JUMPDEST 000003bf: PUSH1 0x0b 000003c1: DUP2 000003c2: SWAP1 000003c3: SSTORE 000003c4: PUSH1 0x0a 000003c6: SLOAD 000003c7: PUSH1 0x0c 000003c9: SLOAD 000003ca: PUSH1 0x40 000003cc: DUP1 000003cd: MLOAD 000003ce: SWAP3 000003cf: DUP4 000003d0: MSTORE 000003d1: PUSH1 0x20 000003d3: DUP4 000003d4: ADD 000003d5: SWAP2 000003d6: SWAP1 000003d7: SWAP2 000003d8: MSTORE 000003d9: DUP2 000003da: ADD 000003db: SWAP2 000003dc: SWAP1 000003dd: SWAP2 000003de: MSTORE 000003df: PUSH32 0xa3ee1581e8a82306c635df5050a65411026337c131e127415291f47a72061268 00000400: SWAP1 00000401: PUSH1 0x60 00000403: ADD 00000404: PUSH1 0x40 00000406: MLOAD 00000407: DUP1 00000408: SWAP2 00000409: SUB 0000040a: SWAP1 0000040b: LOG1 0000040c: POP 0000040d: POP 0000040e: POP 0000040f: JUMP 00000410: JUMPDEST 00000411: PUSH1 0x00 00000413: SLOAD 00000414: PUSH1 0x01 00000416: PUSH1 0x01 00000418: PUSH1 0xa0 0000041a: SHL 0000041b: SUB 0000041c: AND 0000041d: CALLER 0000041e: EQ 0000041f: PUSH2 0x0427 00000422: JUMPI 00000423: PUSH1 0x00 00000425: DUP1 00000426: REVERT 00000427: JUMPDEST 00000428: PUSH1 0x01 0000042a: PUSH1 0x01 0000042c: PUSH1 0xa0 0000042e: SHL 0000042f: SUB 00000430: DUP3 00000431: AND 00000432: PUSH1 0x00 00000434: SWAP1 00000435: DUP2 00000436: MSTORE 00000437: PUSH1 0x04 00000439: PUSH1 0x20 0000043b: MSTORE 0000043c: PUSH1 0x40 0000043e: SWAP1 0000043f: KECCAK256 00000440: SLOAD 00000441: ISZERO 00000442: PUSH2 0x044e 00000445: JUMPI 00000446: PUSH2 0x044e 00000449: DUP3 0000044a: PUSH2 0x0897 0000044d: JUMP 0000044e: JUMPDEST 0000044f: PUSH1 0x0b 00000451: SLOAD 00000452: DUP2 00000453: LT 00000454: ISZERO 00000455: DUP1 00000456: ISZERO 00000457: PUSH2 0x0476 0000045a: JUMPI 0000045b: POP 0000045c: PUSH1 0x01 0000045e: PUSH1 0x01 00000460: PUSH1 0xa0 00000462: SHL 00000463: SUB 00000464: DUP3 00000465: AND 00000466: PUSH1 0x00 00000468: SWAP1 00000469: DUP2 0000046a: MSTORE 0000046b: PUSH1 0x04 0000046d: PUSH1 0x20 0000046f: MSTORE 00000470: PUSH1 0x40 00000472: SWAP1 00000473: KECCAK256 00000474: SLOAD 00000475: ISZERO 00000476: JUMPDEST 00000477: ISZERO 00000478: PUSH2 0x04db 0000047b: JUMPI 0000047c: PUSH1 0x01 0000047e: DUP1 0000047f: SLOAD 00000480: PUSH1 0x01 00000482: PUSH1 0x01 00000484: PUSH1 0xa0 00000486: SHL 00000487: SUB 00000488: DUP5 00000489: AND 0000048a: PUSH1 0x00 0000048c: DUP2 0000048d: DUP2 0000048e: MSTORE 0000048f: PUSH1 0x02 00000491: PUSH1 0x20 00000493: MSTORE 00000494: PUSH1 0x40 00000496: DUP2 00000497: KECCAK256 00000498: DUP4 00000499: SWAP1 0000049a: SSTORE 0000049b: DUP3 0000049c: DUP5 0000049d: ADD 0000049e: DUP5 0000049f: SSTORE 000004a0: SWAP3 000004a1: SWAP1 000004a2: SWAP3 000004a3: MSTORE 000004a4: PUSH32 0xb10e2d527612073b26eecdfd717e6a320cf44b4afac2b0732d9fcbe2b7fa0cf6 000004c5: ADD 000004c6: DUP1 000004c7: SLOAD 000004c8: PUSH1 0x01 000004ca: PUSH1 0x01 000004cc: PUSH1 0xa0 000004ce: SHL 000004cf: SUB 000004d0: NOT 000004d1: AND 000004d2: SWAP1 000004d3: SWAP2 000004d4: OR 000004d5: SWAP1 000004d6: SSTORE 000004d7: PUSH2 0x0511 000004da: JUMP 000004db: JUMPDEST 000004dc: PUSH1 0x0b 000004de: SLOAD 000004df: DUP2 000004e0: LT 000004e1: DUP1 000004e2: ISZERO 000004e3: PUSH2 0x0503 000004e6: JUMPI 000004e7: POP 000004e8: PUSH1 0x01 000004ea: PUSH1 0x01 000004ec: PUSH1 0xa0 000004ee: SHL 000004ef: SUB 000004f0: DUP3 000004f1: AND 000004f2: PUSH1 0x00 000004f4: SWAP1 000004f5: DUP2 000004f6: MSTORE 000004f7: PUSH1 0x04 000004f9: PUSH1 0x20 000004fb: MSTORE 000004fc: PUSH1 0x40 000004fe: SWAP1 000004ff: KECCAK256 00000500: SLOAD 00000501: ISZERO 00000502: ISZERO 00000503: JUMPDEST 00000504: ISZERO 00000505: PUSH2 0x0511 00000508: JUMPI 00000509: PUSH2 0x0511 0000050c: DUP3 0000050d: PUSH2 0x09c8 00000510: JUMP 00000511: JUMPDEST 00000512: PUSH1 0x0b 00000514: SLOAD 00000515: DUP2 00000516: LT 00000517: ISZERO 00000518: PUSH2 0x051f 0000051b: JUMPI 0000051c: POP 0000051d: PUSH1 0x01 0000051f: JUMPDEST 00000520: PUSH1 0x01 00000522: PUSH1 0x01 00000524: PUSH1 0xa0 00000526: SHL 00000527: SUB 00000528: DUP3 00000529: AND 0000052a: PUSH1 0x00 0000052c: SWAP1 0000052d: DUP2 0000052e: MSTORE 0000052f: PUSH1 0x04 00000531: PUSH1 0x20 00000533: MSTORE 00000534: PUSH1 0x40 00000536: SWAP1 00000537: KECCAK256 00000538: SLOAD 00000539: PUSH1 0x05 0000053b: SLOAD 0000053c: PUSH2 0x0550 0000053f: SWAP2 00000540: DUP4 00000541: SWAP2 00000542: PUSH2 0x054a 00000545: SWAP2 00000546: PUSH2 0x0adb 00000549: JUMP 0000054a: JUMPDEST 0000054b: SWAP1 0000054c: PUSH2 0x0b26 0000054f: JUMP 00000550: JUMPDEST 00000551: PUSH1 0x05 00000553: SSTORE 00000554: PUSH1 0x01 00000556: PUSH1 0x01 00000558: PUSH1 0xa0 0000055a: SHL 0000055b: SUB 0000055c: DUP3 0000055d: AND 0000055e: PUSH1 0x00 00000560: SWAP1 00000561: DUP2 00000562: MSTORE 00000563: PUSH1 0x04 00000565: PUSH1 0x20 00000567: MSTORE 00000568: PUSH1 0x40 0000056a: SWAP1 0000056b: KECCAK256 0000056c: DUP2 0000056d: SWAP1 0000056e: SSTORE 0000056f: PUSH2 0x0577 00000572: DUP2 00000573: PUSH2 0x0b8a 00000576: JUMP 00000577: JUMPDEST 00000578: PUSH1 0x01 0000057a: PUSH1 0x01 0000057c: PUSH1 0xa0 0000057e: SHL 0000057f: SUB 00000580: DUP4 00000581: AND 00000582: PUSH1 0x00 00000584: DUP2 00000585: DUP2 00000586: MSTORE 00000587: PUSH1 0x04 00000589: PUSH1 0x20 0000058b: SWAP1 0000058c: DUP2 0000058d: MSTORE 0000058e: PUSH1 0x40 00000590: SWAP2 00000591: DUP3 00000592: SWAP1 00000593: KECCAK256 00000594: PUSH1 0x01 00000596: ADD 00000597: SWAP4 00000598: SWAP1 00000599: SWAP4 0000059a: SSTORE 0000059b: DUP1 0000059c: MLOAD 0000059d: SWAP2 0000059e: DUP3 0000059f: MSTORE 000005a0: SWAP2 000005a1: DUP2 000005a2: ADD 000005a3: DUP4 000005a4: SWAP1 000005a5: MSTORE 000005a6: PUSH32 0x465bc1e774b3c331b04932a22f9781dbb864defe943d70548ba9b8af6c528b5c 000005c7: SWAP2 000005c8: ADD 000005c9: JUMPDEST 000005ca: PUSH1 0x40 000005cc: MLOAD 000005cd: DUP1 000005ce: SWAP2 000005cf: SUB 000005d0: SWAP1 000005d1: LOG1 000005d2: POP 000005d3: POP 000005d4: JUMP 000005d5: JUMPDEST 000005d6: PUSH1 0x01 000005d8: PUSH1 0x01 000005da: PUSH1 0xa0 000005dc: SHL 000005dd: SUB 000005de: DUP2 000005df: AND 000005e0: PUSH1 0x00 000005e2: SWAP1 000005e3: DUP2 000005e4: MSTORE 000005e5: PUSH1 0x04 000005e7: PUSH1 0x20 000005e9: MSTORE 000005ea: PUSH1 0x40 000005ec: DUP2 000005ed: KECCAK256 000005ee: SLOAD 000005ef: PUSH2 0x05fa 000005f2: JUMPI 000005f3: POP 000005f4: PUSH1 0x00 000005f6: SWAP2 000005f7: SWAP1 000005f8: POP 000005f9: JUMP 000005fa: JUMPDEST 000005fb: PUSH1 0x01 000005fd: PUSH1 0x01 000005ff: PUSH1 0xa0 00000601: SHL 00000602: SUB 00000603: DUP3 00000604: AND 00000605: PUSH1 0x00 00000607: SWAP1 00000608: DUP2 00000609: MSTORE 0000060a: PUSH1 0x04 0000060c: PUSH1 0x20 0000060e: MSTORE 0000060f: PUSH1 0x40 00000611: DUP2 00000612: KECCAK256 00000613: SLOAD 00000614: PUSH2 0x061c 00000617: SWAP1 00000618: PUSH2 0x0b8a 0000061b: JUMP 0000061c: JUMPDEST 0000061d: PUSH1 0x01 0000061f: PUSH1 0x01 00000621: PUSH1 0xa0 00000623: SHL 00000624: SUB 00000625: DUP5 00000626: AND 00000627: PUSH1 0x00 00000629: SWAP1 0000062a: DUP2 0000062b: MSTORE 0000062c: PUSH1 0x04 0000062e: PUSH1 0x20 00000630: MSTORE 00000631: PUSH1 0x40 00000633: SWAP1 00000634: KECCAK256 00000635: PUSH1 0x01 00000637: ADD 00000638: SLOAD 00000639: SWAP1 0000063a: SWAP2 0000063b: POP 0000063c: DUP1 0000063d: DUP3 0000063e: GT 0000063f: PUSH2 0x064c 00000642: JUMPI 00000643: POP 00000644: PUSH1 0x00 00000646: SWAP4 00000647: SWAP3 00000648: POP 00000649: POP 0000064a: POP 0000064b: JUMP 0000064c: JUMPDEST 0000064d: PUSH2 0x0656 00000650: DUP3 00000651: DUP3 00000652: PUSH2 0x0adb 00000655: JUMP 00000656: JUMPDEST 00000657: SWAP5 00000658: SWAP4 00000659: POP 0000065a: POP 0000065b: POP 0000065c: POP 0000065d: JUMP 0000065e: JUMPDEST 0000065f: PUSH1 0x00 00000661: DUP1 00000662: PUSH1 0x00 00000664: DUP1 00000665: PUSH2 0x066d 00000668: DUP6 00000669: PUSH2 0x05d5 0000066c: JUMP 0000066d: JUMPDEST 0000066e: PUSH1 0x01 00000670: PUSH1 0x01 00000672: PUSH1 0xa0 00000674: SHL 00000675: SUB 00000676: DUP7 00000677: AND 00000678: PUSH1 0x00 0000067a: SWAP1 0000067b: DUP2 0000067c: MSTORE 0000067d: PUSH1 0x03 0000067f: PUSH1 0x20 00000681: MSTORE 00000682: PUSH1 0x40 00000684: SWAP1 00000685: KECCAK256 00000686: SLOAD 00000687: PUSH1 0x0a 00000689: SLOAD 0000068a: SWAP2 0000068b: SWAP6 0000068c: POP 0000068d: SWAP4 0000068e: POP 0000068f: PUSH2 0x0698 00000692: SWAP1 00000693: DUP5 00000694: PUSH2 0x0e10 00000697: JUMP 00000698: JUMPDEST 00000699: SWAP2 0000069a: POP 0000069b: TIMESTAMP 0000069c: DUP3 0000069d: GT 0000069e: PUSH2 0x06a8 000006a1: JUMPI 000006a2: PUSH1 0x00 000006a4: PUSH2 0x06b2 000006a7: JUMP 000006a8: JUMPDEST 000006a9: PUSH2 0x06b2 000006ac: DUP3 000006ad: TIMESTAMP 000006ae: PUSH2 0x0adb 000006b1: JUMP 000006b2: JUMPDEST 000006b3: SWAP1 000006b4: POP 000006b5: SWAP2 000006b6: SWAP4 000006b7: POP 000006b8: SWAP2 000006b9: SWAP4 000006ba: JUMP 000006bb: JUMPDEST 000006bc: PUSH1 0x06 000006be: SLOAD 000006bf: CALLVALUE 000006c0: SWAP1 000006c1: PUSH2 0x06ca 000006c4: SWAP1 000006c5: DUP3 000006c6: PUSH2 0x0b26 000006c9: JUMP 000006ca: JUMPDEST 000006cb: PUSH1 0x06 000006cd: SSTORE 000006ce: PUSH1 0x05 000006d0: SLOAD 000006d1: PUSH1 0x09 000006d3: SLOAD 000006d4: PUSH2 0x06f4 000006d7: SWAP2 000006d8: PUSH2 0x06eb 000006db: SWAP2 000006dc: PUSH2 0x06e5 000006df: SWAP1 000006e0: DUP6 000006e1: PUSH2 0x0ba7 000006e4: JUMP 000006e5: JUMPDEST 000006e6: SWAP1 000006e7: PUSH2 0x0c26 000006ea: JUMP 000006eb: JUMPDEST 000006ec: PUSH1 0x08 000006ee: SLOAD 000006ef: SWAP1 000006f0: PUSH2 0x0b26 000006f3: JUMP 000006f4: JUMPDEST 000006f5: PUSH1 0x08 000006f7: SSTORE 000006f8: PUSH1 0x40 000006fa: MLOAD 000006fb: DUP2 000006fc: DUP2 000006fd: MSTORE 000006fe: PUSH32 0x4d6ce1e535dbade1c23defba91e23b8f791ce5edc0cc320257a2b364e4e38426 0000071f: SWAP1 00000720: PUSH1 0x20 00000722: ADD 00000723: PUSH1 0x40 00000725: MLOAD 00000726: DUP1 00000727: SWAP2 00000728: SUB 00000729: SWAP1 0000072a: LOG1 0000072b: POP 0000072c: JUMP 0000072d: JUMPDEST 0000072e: PUSH2 0x0736 00000731: DUP2 00000732: PUSH2 0x0897 00000735: JUMP 00000736: JUMPDEST 00000737: POP 00000738: JUMP 00000739: JUMPDEST 0000073a: PUSH2 0x0742 0000073d: CALLER 0000073e: PUSH2 0x0897 00000741: JUMP 00000742: JUMPDEST 00000743: JUMP 00000744: JUMPDEST 00000745: PUSH1 0x00 00000747: SLOAD 00000748: PUSH1 0x01 0000074a: PUSH1 0x01 0000074c: PUSH1 0xa0 0000074e: SHL 0000074f: SUB 00000750: AND 00000751: CALLER 00000752: EQ 00000753: PUSH2 0x075b 00000756: JUMPI 00000757: PUSH1 0x00 00000759: DUP1 0000075a: REVERT 0000075b: JUMPDEST 0000075c: PUSH1 0x01 0000075e: SLOAD 0000075f: DUP1 00000760: PUSH2 0x0767 00000763: JUMPI 00000764: POP 00000765: POP 00000766: JUMP 00000767: JUMPDEST 00000768: PUSH1 0x00 0000076a: DUP1 0000076b: GAS 0000076c: SWAP1 0000076d: POP 0000076e: PUSH1 0x00 00000770: DUP1 00000771: JUMPDEST 00000772: DUP6 00000773: DUP5 00000774: LT 00000775: DUP1 00000776: ISZERO 00000777: PUSH2 0x077f 0000077a: JUMPI 0000077b: POP 0000077c: DUP5 0000077d: DUP3 0000077e: LT 0000077f: JUMPDEST 00000780: ISZERO 00000781: PUSH2 0x084c 00000784: JUMPI 00000785: DUP5 00000786: PUSH1 0x0d 00000788: SLOAD 00000789: LT 0000078a: PUSH2 0x0793 0000078d: JUMPI 0000078e: PUSH1 0x00 00000790: PUSH1 0x0d 00000792: SSTORE 00000793: JUMPDEST 00000794: PUSH2 0x07c5 00000797: PUSH1 0x01 00000799: PUSH1 0x0d 0000079b: SLOAD 0000079c: DUP2 0000079d: SLOAD 0000079e: DUP2 0000079f: LT 000007a0: PUSH2 0x07ab 000007a3: JUMPI 000007a4: PUSH2 0x07ab 000007a7: PUSH2 0x0ec7 000007aa: JUMP 000007ab: JUMPDEST 000007ac: PUSH1 0x00 000007ae: SWAP2 000007af: DUP3 000007b0: MSTORE 000007b1: PUSH1 0x20 000007b3: SWAP1 000007b4: SWAP2 000007b5: KECCAK256 000007b6: ADD 000007b7: SLOAD 000007b8: PUSH1 0x01 000007ba: PUSH1 0x01 000007bc: PUSH1 0xa0 000007be: SHL 000007bf: SUB 000007c0: AND 000007c1: PUSH2 0x0c68 000007c4: JUMP 000007c5: JUMPDEST 000007c6: ISZERO 000007c7: PUSH2 0x080a 000007ca: JUMPI 000007cb: PUSH2 0x07fc 000007ce: PUSH1 0x01 000007d0: PUSH1 0x0d 000007d2: SLOAD 000007d3: DUP2 000007d4: SLOAD 000007d5: DUP2 000007d6: LT 000007d7: PUSH2 0x07e2 000007da: JUMPI 000007db: PUSH2 0x07e2 000007de: PUSH2 0x0ec7 000007e1: JUMP 000007e2: JUMPDEST 000007e3: PUSH1 0x00 000007e5: SWAP2 000007e6: DUP3 000007e7: MSTORE 000007e8: PUSH1 0x20 000007ea: SWAP1 000007eb: SWAP2 000007ec: KECCAK256 000007ed: ADD 000007ee: SLOAD 000007ef: PUSH1 0x01 000007f1: PUSH1 0x01 000007f3: PUSH1 0xa0 000007f5: SHL 000007f6: SUB 000007f7: AND 000007f8: PUSH2 0x0897 000007fb: JUMP 000007fc: JUMPDEST 000007fd: DUP1 000007fe: PUSH2 0x0806 00000801: DUP2 00000802: PUSH2 0x0e80 00000805: JUMP 00000806: JUMPDEST 00000807: SWAP2 00000808: POP 00000809: POP 0000080a: JUMPDEST 0000080b: PUSH2 0x081f 0000080e: PUSH2 0x0818 00000811: GAS 00000812: DUP6 00000813: SWAP1 00000814: PUSH2 0x0adb 00000817: JUMP 00000818: JUMPDEST 00000819: DUP6 0000081a: SWAP1 0000081b: PUSH2 0x0b26 0000081e: JUMP 0000081f: JUMPDEST 00000820: SWAP4 00000821: POP 00000822: GAS 00000823: PUSH1 0x0d 00000825: DUP1 00000826: SLOAD 00000827: SWAP2 00000828: SWAP5 00000829: POP 0000082a: PUSH1 0x00 0000082c: PUSH2 0x0834 0000082f: DUP4 00000830: PUSH2 0x0e80 00000833: JUMP 00000834: JUMPDEST 00000835: SWAP2 00000836: SWAP1 00000837: POP 00000838: SSTORE 00000839: POP 0000083a: DUP2 0000083b: DUP1 0000083c: PUSH2 0x0844 0000083f: SWAP1 00000840: PUSH2 0x0e80 00000843: JUMP 00000844: JUMPDEST 00000845: SWAP3 00000846: POP 00000847: POP 00000848: PUSH2 0x0771 0000084b: JUMP 0000084c: JUMPDEST 0000084d: PUSH1 0x0d 0000084f: SLOAD 00000850: PUSH1 0x40 00000852: DUP1 00000853: MLOAD 00000854: DUP5 00000855: DUP2 00000856: MSTORE 00000857: PUSH1 0x20 00000859: DUP2 0000085a: ADD 0000085b: DUP5 0000085c: SWAP1 0000085d: MSTORE 0000085e: DUP1 0000085f: DUP3 00000860: ADD 00000861: SWAP3 00000862: SWAP1 00000863: SWAP3 00000864: MSTORE 00000865: MLOAD 00000866: PUSH32 0x96b82f6a439ac2d3939f479dd110e1915927d68eac70cf39a47cf294d53234ee 00000887: SWAP2 00000888: DUP2 00000889: SWAP1 0000088a: SUB 0000088b: PUSH1 0x60 0000088d: ADD 0000088e: SWAP1 0000088f: LOG1 00000890: POP 00000891: POP 00000892: POP 00000893: POP 00000894: POP 00000895: POP 00000896: JUMP 00000897: JUMPDEST 00000898: PUSH1 0x01 0000089a: PUSH1 0x01 0000089c: PUSH1 0xa0 0000089e: SHL 0000089f: SUB 000008a0: DUP2 000008a1: AND 000008a2: PUSH1 0x00 000008a4: SWAP1 000008a5: DUP2 000008a6: MSTORE 000008a7: PUSH1 0x04 000008a9: PUSH1 0x20 000008ab: MSTORE 000008ac: PUSH1 0x40 000008ae: SWAP1 000008af: KECCAK256 000008b0: SLOAD 000008b1: PUSH2 0x08b7 000008b4: JUMPI 000008b5: POP 000008b6: JUMP 000008b7: JUMPDEST 000008b8: PUSH1 0x00 000008ba: PUSH2 0x08c2 000008bd: DUP3 000008be: PUSH2 0x05d5 000008c1: JUMP 000008c2: JUMPDEST 000008c3: SWAP1 000008c4: POP 000008c5: DUP1 000008c6: ISZERO 000008c7: PUSH2 0x09c4 000008ca: JUMPI 000008cb: PUSH1 0x07 000008cd: SLOAD 000008ce: PUSH2 0x08d7 000008d1: SWAP1 000008d2: DUP3 000008d3: PUSH2 0x0b26 000008d6: JUMP 000008d7: JUMPDEST 000008d8: PUSH1 0x07 000008da: SSTORE 000008db: PUSH1 0x40 000008dd: MLOAD 000008de: PUSH1 0x01 000008e0: PUSH1 0x01 000008e2: PUSH1 0xa0 000008e4: SHL 000008e5: SUB 000008e6: DUP4 000008e7: AND 000008e8: SWAP1 000008e9: DUP3 000008ea: ISZERO 000008eb: PUSH2 0x08fc 000008ee: MUL 000008ef: SWAP1 000008f0: DUP4 000008f1: SWAP1 000008f2: PUSH1 0x00 000008f4: DUP2 000008f5: DUP2 000008f6: DUP2 000008f7: DUP6 000008f8: DUP9 000008f9: DUP9 000008fa: CALL 000008fb: SWAP4 000008fc: POP 000008fd: POP 000008fe: POP 000008ff: POP 00000900: ISZERO 00000901: DUP1 00000902: ISZERO 00000903: PUSH2 0x0910 00000906: JUMPI 00000907: RETURNDATASIZE 00000908: PUSH1 0x00 0000090a: DUP1 0000090b: RETURNDATACOPY 0000090c: RETURNDATASIZE 0000090d: PUSH1 0x00 0000090f: REVERT 00000910: JUMPDEST 00000911: POP 00000912: PUSH1 0x01 00000914: PUSH1 0x01 00000916: PUSH1 0xa0 00000918: SHL 00000919: SUB 0000091a: DUP3 0000091b: AND 0000091c: PUSH1 0x00 0000091e: SWAP1 0000091f: DUP2 00000920: MSTORE 00000921: PUSH1 0x03 00000923: PUSH1 0x20 00000925: SWAP1 00000926: DUP2 00000927: MSTORE 00000928: PUSH1 0x40 0000092a: DUP1 0000092b: DUP4 0000092c: KECCAK256 0000092d: TIMESTAMP 0000092e: SWAP1 0000092f: SSTORE 00000930: PUSH1 0x04 00000932: SWAP1 00000933: SWAP2 00000934: MSTORE 00000935: SWAP1 00000936: KECCAK256 00000937: PUSH1 0x02 00000939: ADD 0000093a: SLOAD 0000093b: PUSH2 0x0944 0000093e: SWAP1 0000093f: DUP3 00000940: PUSH2 0x0b26 00000943: JUMP 00000944: JUMPDEST 00000945: PUSH1 0x01 00000947: PUSH1 0x01 00000949: PUSH1 0xa0 0000094b: SHL 0000094c: SUB 0000094d: DUP4 0000094e: AND 0000094f: PUSH1 0x00 00000951: SWAP1 00000952: DUP2 00000953: MSTORE 00000954: PUSH1 0x04 00000956: PUSH1 0x20 00000958: MSTORE 00000959: PUSH1 0x40 0000095b: SWAP1 0000095c: KECCAK256 0000095d: PUSH1 0x02 0000095f: DUP2 00000960: ADD 00000961: SWAP2 00000962: SWAP1 00000963: SWAP2 00000964: SSTORE 00000965: SLOAD 00000966: PUSH2 0x096e 00000969: SWAP1 0000096a: PUSH2 0x0b8a 0000096d: JUMP 0000096e: JUMPDEST 0000096f: PUSH1 0x01 00000971: PUSH1 0x01 00000973: PUSH1 0xa0 00000975: SHL 00000976: SUB 00000977: DUP4 00000978: AND 00000979: PUSH1 0x00 0000097b: DUP2 0000097c: DUP2 0000097d: MSTORE 0000097e: PUSH1 0x04 00000980: PUSH1 0x20 00000982: SWAP1 00000983: DUP2 00000984: MSTORE 00000985: PUSH1 0x40 00000987: SWAP2 00000988: DUP3 00000989: SWAP1 0000098a: KECCAK256 0000098b: PUSH1 0x01 0000098d: ADD 0000098e: SWAP4 0000098f: SWAP1 00000990: SWAP4 00000991: SSTORE 00000992: DUP1 00000993: MLOAD 00000994: SWAP2 00000995: DUP3 00000996: MSTORE 00000997: SWAP2 00000998: DUP2 00000999: ADD 0000099a: DUP4 0000099b: SWAP1 0000099c: MSTORE 0000099d: PUSH32 0x33ad5d6b2a46b5457e0d36286a2686a0390b0821dedbbdf8dcdcda64f4782c68 000009be: SWAP2 000009bf: ADD 000009c0: PUSH2 0x05c9 000009c3: JUMP 000009c4: JUMPDEST 000009c5: POP 000009c6: POP 000009c7: JUMP 000009c8: JUMPDEST 000009c9: PUSH1 0x01 000009cb: DUP1 000009cc: SLOAD 000009cd: PUSH2 0x09d7 000009d0: SWAP1 000009d1: DUP3 000009d2: SWAP1 000009d3: PUSH2 0x0e69 000009d6: JUMP 000009d7: JUMPDEST 000009d8: DUP2 000009d9: SLOAD 000009da: DUP2 000009db: LT 000009dc: PUSH2 0x09e7 000009df: JUMPI 000009e0: PUSH2 0x09e7 000009e3: PUSH2 0x0ec7 000009e6: JUMP 000009e7: JUMPDEST 000009e8: PUSH1 0x00 000009ea: SWAP2 000009eb: DUP3 000009ec: MSTORE 000009ed: PUSH1 0x20 000009ef: DUP1 000009f0: DUP4 000009f1: KECCAK256 000009f2: SWAP1 000009f3: SWAP2 000009f4: ADD 000009f5: SLOAD 000009f6: PUSH1 0x01 000009f8: PUSH1 0x01 000009fa: PUSH1 0xa0 000009fc: SHL 000009fd: SUB 000009fe: DUP5 000009ff: DUP2 00000a00: AND 00000a01: DUP5 00000a02: MSTORE 00000a03: PUSH1 0x02 00000a05: SWAP1 00000a06: SWAP3 00000a07: MSTORE 00000a08: PUSH1 0x40 00000a0a: SWAP1 00000a0b: SWAP3 00000a0c: KECCAK256 00000a0d: SLOAD 00000a0e: PUSH1 0x01 00000a10: DUP1 00000a11: SLOAD 00000a12: SWAP3 00000a13: SWAP1 00000a14: SWAP4 00000a15: AND 00000a16: SWAP3 00000a17: SWAP2 00000a18: DUP2 00000a19: LT 00000a1a: PUSH2 0x0a25 00000a1d: JUMPI 00000a1e: PUSH2 0x0a25 00000a21: PUSH2 0x0ec7 00000a24: JUMP 00000a25: JUMPDEST 00000a26: PUSH1 0x00 00000a28: SWAP2 00000a29: DUP3 00000a2a: MSTORE 00000a2b: PUSH1 0x20 00000a2d: DUP1 00000a2e: DUP4 00000a2f: KECCAK256 00000a30: SWAP2 00000a31: SWAP1 00000a32: SWAP2 00000a33: ADD 00000a34: DUP1 00000a35: SLOAD 00000a36: PUSH1 0x01 00000a38: PUSH1 0x01 00000a3a: PUSH1 0xa0 00000a3c: SHL 00000a3d: SUB 00000a3e: NOT 00000a3f: AND 00000a40: PUSH1 0x01 00000a42: PUSH1 0x01 00000a44: PUSH1 0xa0 00000a46: SHL 00000a47: SUB 00000a48: SWAP5 00000a49: DUP6 00000a4a: AND 00000a4b: OR 00000a4c: SWAP1 00000a4d: SSTORE 00000a4e: SWAP2 00000a4f: DUP4 00000a50: AND 00000a51: DUP2 00000a52: MSTORE 00000a53: PUSH1 0x02 00000a55: SWAP2 00000a56: DUP3 00000a57: SWAP1 00000a58: MSTORE 00000a59: PUSH1 0x40 00000a5b: DUP2 00000a5c: KECCAK256 00000a5d: SLOAD 00000a5e: PUSH1 0x01 00000a60: DUP1 00000a61: SLOAD 00000a62: SWAP2 00000a63: SWAP4 00000a64: SWAP3 00000a65: SWAP2 00000a66: PUSH2 0x0a70 00000a69: SWAP1 00000a6a: DUP3 00000a6b: SWAP1 00000a6c: PUSH2 0x0e69 00000a6f: JUMP 00000a70: JUMPDEST 00000a71: DUP2 00000a72: SLOAD 00000a73: DUP2 00000a74: LT 00000a75: PUSH2 0x0a80 00000a78: JUMPI 00000a79: PUSH2 0x0a80 00000a7c: PUSH2 0x0ec7 00000a7f: JUMP 00000a80: JUMPDEST 00000a81: PUSH1 0x00 00000a83: SWAP2 00000a84: DUP3 00000a85: MSTORE 00000a86: PUSH1 0x20 00000a88: DUP1 00000a89: DUP4 00000a8a: KECCAK256 00000a8b: SWAP1 00000a8c: SWAP2 00000a8d: ADD 00000a8e: SLOAD 00000a8f: PUSH1 0x01 00000a91: PUSH1 0x01 00000a93: PUSH1 0xa0 00000a95: SHL 00000a96: SUB 00000a97: AND 00000a98: DUP4 00000a99: MSTORE 00000a9a: DUP3 00000a9b: ADD 00000a9c: SWAP3 00000a9d: SWAP1 00000a9e: SWAP3 00000a9f: MSTORE 00000aa0: PUSH1 0x40 00000aa2: ADD 00000aa3: SWAP1 00000aa4: KECCAK256 00000aa5: SSTORE 00000aa6: PUSH1 0x01 00000aa8: DUP1 00000aa9: SLOAD 00000aaa: DUP1 00000aab: PUSH2 0x0ab6 00000aae: JUMPI 00000aaf: PUSH2 0x0ab6 00000ab2: PUSH2 0x0eb1 00000ab5: JUMP 00000ab6: JUMPDEST 00000ab7: PUSH1 0x00 00000ab9: DUP3 00000aba: DUP2 00000abb: MSTORE 00000abc: PUSH1 0x20 00000abe: SWAP1 00000abf: KECCAK256 00000ac0: DUP2 00000ac1: ADD 00000ac2: PUSH1 0x00 00000ac4: NOT 00000ac5: SWAP1 00000ac6: DUP2 00000ac7: ADD 00000ac8: DUP1 00000ac9: SLOAD 00000aca: PUSH1 0x01 00000acc: PUSH1 0x01 00000ace: PUSH1 0xa0 00000ad0: SHL 00000ad1: SUB 00000ad2: NOT 00000ad3: AND 00000ad4: SWAP1 00000ad5: SSTORE 00000ad6: ADD 00000ad7: SWAP1 00000ad8: SSTORE 00000ad9: POP 00000ada: JUMP 00000adb: JUMPDEST 00000adc: PUSH1 0x00 00000ade: PUSH2 0x0b1d 00000ae1: DUP4 00000ae2: DUP4 00000ae3: PUSH1 0x40 00000ae5: MLOAD 00000ae6: DUP1 00000ae7: PUSH1 0x40 00000ae9: ADD 00000aea: PUSH1 0x40 00000aec: MSTORE 00000aed: DUP1 00000aee: PUSH1 0x1e 00000af0: DUP2 00000af1: MSTORE 00000af2: PUSH1 0x20 00000af4: ADD 00000af5: PUSH32 0x536166654d6174683a207375627472616374696f6e206f766572666c6f770000 00000b16: DUP2 00000b17: MSTORE 00000b18: POP 00000b19: PUSH2 0x0cad 00000b1c: JUMP 00000b1d: JUMPDEST 00000b1e: SWAP1 00000b1f: POP 00000b20: JUMPDEST 00000b21: SWAP3 00000b22: SWAP2 00000b23: POP 00000b24: POP 00000b25: JUMP 00000b26: JUMPDEST 00000b27: PUSH1 0x00 00000b29: DUP1 00000b2a: PUSH2 0x0b33 00000b2d: DUP4 00000b2e: DUP6 00000b2f: PUSH2 0x0e10 00000b32: JUMP 00000b33: JUMPDEST 00000b34: SWAP1 00000b35: POP 00000b36: DUP4 00000b37: DUP2 00000b38: LT 00000b39: ISZERO 00000b3a: PUSH2 0x0b1d 00000b3d: JUMPI 00000b3e: PUSH1 0x40 00000b40: MLOAD 00000b41: PUSH3 0x461bcd 00000b45: PUSH1 0xe5 00000b47: SHL 00000b48: DUP2 00000b49: MSTORE 00000b4a: PUSH1 0x20 00000b4c: PUSH1 0x04 00000b4e: DUP3 00000b4f: ADD 00000b50: MSTORE 00000b51: PUSH1 0x1b 00000b53: PUSH1 0x24 00000b55: DUP3 00000b56: ADD 00000b57: MSTORE 00000b58: PUSH32 0x536166654d6174683a206164646974696f6e206f766572666c6f770000000000 00000b79: PUSH1 0x44 00000b7b: DUP3 00000b7c: ADD 00000b7d: MSTORE 00000b7e: PUSH1 0x64 00000b80: ADD 00000b81: JUMPDEST 00000b82: PUSH1 0x40 00000b84: MLOAD 00000b85: DUP1 00000b86: SWAP2 00000b87: SUB 00000b88: SWAP1 00000b89: REVERT 00000b8a: JUMPDEST 00000b8b: PUSH1 0x00 00000b8d: PUSH2 0x0b20 00000b90: PUSH1 0x09 00000b92: SLOAD 00000b93: PUSH2 0x06e5 00000b96: PUSH1 0x08 00000b98: SLOAD 00000b99: DUP6 00000b9a: PUSH2 0x0ba7 00000b9d: SWAP1 00000b9e: SWAP2 00000b9f: SWAP1 00000ba0: PUSH4 0xffffffff 00000ba5: AND 00000ba6: JUMP 00000ba7: JUMPDEST 00000ba8: PUSH1 0x00 00000baa: DUP3 00000bab: PUSH2 0x0bb6 00000bae: JUMPI 00000baf: POP 00000bb0: PUSH1 0x00 00000bb2: PUSH2 0x0b20 00000bb5: JUMP 00000bb6: JUMPDEST 00000bb7: PUSH1 0x00 00000bb9: PUSH2 0x0bc2 00000bbc: DUP4 00000bbd: DUP6 00000bbe: PUSH2 0x0e4a 00000bc1: JUMP 00000bc2: JUMPDEST 00000bc3: SWAP1 00000bc4: POP 00000bc5: DUP3 00000bc6: PUSH2 0x0bcf 00000bc9: DUP6 00000bca: DUP4 00000bcb: PUSH2 0x0e28 00000bce: JUMP 00000bcf: JUMPDEST 00000bd0: EQ 00000bd1: PUSH2 0x0b1d 00000bd4: JUMPI 00000bd5: PUSH1 0x40 00000bd7: MLOAD 00000bd8: PUSH3 0x461bcd 00000bdc: PUSH1 0xe5 00000bde: SHL 00000bdf: DUP2 00000be0: MSTORE 00000be1: PUSH1 0x20 00000be3: PUSH1 0x04 00000be5: DUP3 00000be6: ADD 00000be7: MSTORE 00000be8: PUSH1 0x21 00000bea: PUSH1 0x24 00000bec: DUP3 00000bed: ADD 00000bee: MSTORE 00000bef: PUSH32 0x536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f 00000c10: PUSH1 0x44 00000c12: DUP3 00000c13: ADD 00000c14: MSTORE 00000c15: PUSH1 0x77 00000c17: PUSH1 0xf8 00000c19: SHL 00000c1a: PUSH1 0x64 00000c1c: DUP3 00000c1d: ADD 00000c1e: MSTORE 00000c1f: PUSH1 0x84 00000c21: ADD 00000c22: PUSH2 0x0b81 00000c25: JUMP 00000c26: JUMPDEST 00000c27: PUSH1 0x00 00000c29: PUSH2 0x0b1d 00000c2c: DUP4 00000c2d: DUP4 00000c2e: PUSH1 0x40 00000c30: MLOAD 00000c31: DUP1 00000c32: PUSH1 0x40 00000c34: ADD 00000c35: PUSH1 0x40 00000c37: MSTORE 00000c38: DUP1 00000c39: PUSH1 0x1a 00000c3b: DUP2 00000c3c: MSTORE 00000c3d: PUSH1 0x20 00000c3f: ADD 00000c40: PUSH32 0x536166654d6174683a206469766973696f6e206279207a65726f000000000000 00000c61: DUP2 00000c62: MSTORE 00000c63: POP 00000c64: PUSH2 0x0ce7 00000c67: JUMP 00000c68: JUMPDEST 00000c69: PUSH1 0x0a 00000c6b: SLOAD 00000c6c: PUSH1 0x01 00000c6e: PUSH1 0x01 00000c70: PUSH1 0xa0 00000c72: SHL 00000c73: SUB 00000c74: DUP3 00000c75: AND 00000c76: PUSH1 0x00 00000c78: SWAP1 00000c79: DUP2 00000c7a: MSTORE 00000c7b: PUSH1 0x03 00000c7d: PUSH1 0x20 00000c7f: MSTORE 00000c80: PUSH1 0x40 00000c82: DUP2 00000c83: KECCAK256 00000c84: SLOAD 00000c85: SWAP1 00000c86: SWAP2 00000c87: TIMESTAMP 00000c88: SWAP2 00000c89: PUSH2 0x0c92 00000c8c: SWAP2 00000c8d: SWAP1 00000c8e: PUSH2 0x0e10 00000c91: JUMP 00000c92: JUMPDEST 00000c93: LT 00000c94: DUP1 00000c95: ISZERO 00000c96: PUSH2 0x0b20 00000c99: JUMPI 00000c9a: POP 00000c9b: PUSH1 0x0c 00000c9d: SLOAD 00000c9e: PUSH2 0x0ca6 00000ca1: DUP4 00000ca2: PUSH2 0x05d5 00000ca5: JUMP 00000ca6: JUMPDEST 00000ca7: GT 00000ca8: SWAP3 00000ca9: SWAP2 00000caa: POP 00000cab: POP 00000cac: JUMP 00000cad: JUMPDEST 00000cae: PUSH1 0x00 00000cb0: DUP2 00000cb1: DUP5 00000cb2: DUP5 00000cb3: GT 00000cb4: ISZERO 00000cb5: PUSH2 0x0cd1 00000cb8: JUMPI 00000cb9: PUSH1 0x40 00000cbb: MLOAD 00000cbc: PUSH3 0x461bcd 00000cc0: PUSH1 0xe5 00000cc2: SHL 00000cc3: DUP2 00000cc4: MSTORE 00000cc5: PUSH1 0x04 00000cc7: ADD 00000cc8: PUSH2 0x0b81 00000ccb: SWAP2 00000ccc: SWAP1 00000ccd: PUSH2 0x0dbb 00000cd0: JUMP 00000cd1: JUMPDEST 00000cd2: POP 00000cd3: PUSH1 0x00 00000cd5: PUSH2 0x0cde 00000cd8: DUP5 00000cd9: DUP7 00000cda: PUSH2 0x0e69 00000cdd: JUMP 00000cde: JUMPDEST 00000cdf: SWAP6 00000ce0: SWAP5 00000ce1: POP 00000ce2: POP 00000ce3: POP 00000ce4: POP 00000ce5: POP 00000ce6: JUMP 00000ce7: JUMPDEST 00000ce8: PUSH1 0x00 00000cea: DUP2 00000ceb: DUP4 00000cec: PUSH2 0x0d08 00000cef: JUMPI 00000cf0: PUSH1 0x40 00000cf2: MLOAD 00000cf3: PUSH3 0x461bcd 00000cf7: PUSH1 0xe5 00000cf9: SHL 00000cfa: DUP2 00000cfb: MSTORE 00000cfc: PUSH1 0x04 00000cfe: ADD 00000cff: PUSH2 0x0b81 00000d02: SWAP2 00000d03: SWAP1 00000d04: PUSH2 0x0dbb 00000d07: JUMP 00000d08: JUMPDEST 00000d09: POP 00000d0a: PUSH1 0x00 00000d0c: PUSH2 0x0cde 00000d0f: DUP5 00000d10: DUP7 00000d11: PUSH2 0x0e28 00000d14: JUMP 00000d15: JUMPDEST 00000d16: DUP1 00000d17: CALLDATALOAD 00000d18: PUSH1 0x01 00000d1a: PUSH1 0x01 00000d1c: PUSH1 0xa0 00000d1e: SHL 00000d1f: SUB 00000d20: DUP2 00000d21: AND 00000d22: DUP2 00000d23: EQ 00000d24: PUSH2 0x0d2c 00000d27: JUMPI 00000d28: PUSH1 0x00 00000d2a: DUP1 00000d2b: REVERT 00000d2c: JUMPDEST 00000d2d: SWAP2 00000d2e: SWAP1 00000d2f: POP 00000d30: JUMP 00000d31: JUMPDEST 00000d32: PUSH1 0x00 00000d34: PUSH1 0x20 00000d36: DUP3 00000d37: DUP5 00000d38: SUB 00000d39: SLT 00000d3a: ISZERO 00000d3b: PUSH2 0x0d43 00000d3e: JUMPI 00000d3f: PUSH1 0x00 00000d41: DUP1 00000d42: REVERT 00000d43: JUMPDEST 00000d44: PUSH2 0x0b1d 00000d47: DUP3 00000d48: PUSH2 0x0d15 00000d4b: JUMP 00000d4c: JUMPDEST 00000d4d: PUSH1 0x00 00000d4f: DUP1 00000d50: PUSH1 0x40 00000d52: DUP4 00000d53: DUP6 00000d54: SUB 00000d55: SLT 00000d56: ISZERO 00000d57: PUSH2 0x0d5f 00000d5a: JUMPI 00000d5b: PUSH1 0x00 00000d5d: DUP1 00000d5e: REVERT 00000d5f: JUMPDEST 00000d60: PUSH2 0x0d68 00000d63: DUP4 00000d64: PUSH2 0x0d15 00000d67: JUMP 00000d68: JUMPDEST 00000d69: SWAP5 00000d6a: PUSH1 0x20 00000d6c: SWAP4 00000d6d: SWAP1 00000d6e: SWAP4 00000d6f: ADD 00000d70: CALLDATALOAD 00000d71: SWAP4 00000d72: POP 00000d73: POP 00000d74: POP 00000d75: JUMP 00000d76: JUMPDEST 00000d77: PUSH1 0x00 00000d79: PUSH1 0x20 00000d7b: DUP3 00000d7c: DUP5 00000d7d: SUB 00000d7e: SLT 00000d7f: ISZERO 00000d80: PUSH2 0x0d88 00000d83: JUMPI 00000d84: PUSH1 0x00 00000d86: DUP1 00000d87: REVERT 00000d88: JUMPDEST 00000d89: POP 00000d8a: CALLDATALOAD 00000d8b: SWAP2 00000d8c: SWAP1 00000d8d: POP 00000d8e: JUMP 00000d8f: JUMPDEST 00000d90: PUSH1 0x00 00000d92: DUP1 00000d93: PUSH1 0x00 00000d95: PUSH1 0x60 00000d97: DUP5 00000d98: DUP7 00000d99: SUB 00000d9a: SLT 00000d9b: ISZERO 00000d9c: PUSH2 0x0da4 00000d9f: JUMPI 00000da0: PUSH1 0x00 00000da2: DUP1 00000da3: REVERT 00000da4: JUMPDEST 00000da5: POP 00000da6: POP 00000da7: DUP2 00000da8: CALLDATALOAD 00000da9: SWAP4 00000daa: PUSH1 0x20 00000dac: DUP4 00000dad: ADD 00000dae: CALLDATALOAD 00000daf: SWAP4 00000db0: POP 00000db1: PUSH1 0x40 00000db3: SWAP1 00000db4: SWAP3 00000db5: ADD 00000db6: CALLDATALOAD 00000db7: SWAP2 00000db8: SWAP1 00000db9: POP 00000dba: JUMP 00000dbb: JUMPDEST 00000dbc: PUSH1 0x00 00000dbe: PUSH1 0x20 00000dc0: DUP1 00000dc1: DUP4 00000dc2: MSTORE 00000dc3: DUP4 00000dc4: MLOAD 00000dc5: DUP1 00000dc6: DUP3 00000dc7: DUP6 00000dc8: ADD 00000dc9: MSTORE 00000dca: PUSH1 0x00 00000dcc: JUMPDEST 00000dcd: DUP2 00000dce: DUP2 00000dcf: LT 00000dd0: ISZERO 00000dd1: PUSH2 0x0de8 00000dd4: JUMPI 00000dd5: DUP6 00000dd6: DUP2 00000dd7: ADD 00000dd8: DUP4 00000dd9: ADD 00000dda: MLOAD 00000ddb: DUP6 00000ddc: DUP3 00000ddd: ADD 00000dde: PUSH1 0x40 00000de0: ADD 00000de1: MSTORE 00000de2: DUP3 00000de3: ADD 00000de4: PUSH2 0x0dcc 00000de7: JUMP 00000de8: JUMPDEST 00000de9: DUP2 00000dea: DUP2 00000deb: GT 00000dec: ISZERO 00000ded: PUSH2 0x0dfa 00000df0: JUMPI 00000df1: PUSH1 0x00 00000df3: PUSH1 0x40 00000df5: DUP4 00000df6: DUP8 00000df7: ADD 00000df8: ADD 00000df9: MSTORE 00000dfa: JUMPDEST 00000dfb: POP 00000dfc: PUSH1 0x1f 00000dfe: ADD 00000dff: PUSH1 0x1f 00000e01: NOT 00000e02: AND 00000e03: SWAP3 00000e04: SWAP1 00000e05: SWAP3 00000e06: ADD 00000e07: PUSH1 0x40 00000e09: ADD 00000e0a: SWAP4 00000e0b: SWAP3 00000e0c: POP 00000e0d: POP 00000e0e: POP 00000e0f: JUMP 00000e10: JUMPDEST 00000e11: PUSH1 0x00 00000e13: DUP3 00000e14: NOT 00000e15: DUP3 00000e16: GT 00000e17: ISZERO 00000e18: PUSH2 0x0e23 00000e1b: JUMPI 00000e1c: PUSH2 0x0e23 00000e1f: PUSH2 0x0e9b 00000e22: JUMP 00000e23: JUMPDEST 00000e24: POP 00000e25: ADD 00000e26: SWAP1 00000e27: JUMP 00000e28: JUMPDEST 00000e29: PUSH1 0x00 00000e2b: DUP3 00000e2c: PUSH2 0x0e45 00000e2f: JUMPI 00000e30: PUSH4 0x4e487b71 00000e35: PUSH1 0xe0 00000e37: SHL 00000e38: PUSH1 0x00 00000e3a: MSTORE 00000e3b: PUSH1 0x12 00000e3d: PUSH1 0x04 00000e3f: MSTORE 00000e40: PUSH1 0x24 00000e42: PUSH1 0x00 00000e44: REVERT 00000e45: JUMPDEST 00000e46: POP 00000e47: DIV 00000e48: SWAP1 00000e49: JUMP 00000e4a: JUMPDEST 00000e4b: PUSH1 0x00 00000e4d: DUP2 00000e4e: PUSH1 0x00 00000e50: NOT 00000e51: DIV 00000e52: DUP4 00000e53: GT 00000e54: DUP3 00000e55: ISZERO 00000e56: ISZERO 00000e57: AND 00000e58: ISZERO 00000e59: PUSH2 0x0e64 00000e5c: JUMPI 00000e5d: PUSH2 0x0e64 00000e60: PUSH2 0x0e9b 00000e63: JUMP 00000e64: JUMPDEST 00000e65: POP 00000e66: MUL 00000e67: SWAP1 00000e68: JUMP 00000e69: JUMPDEST 00000e6a: PUSH1 0x00 00000e6c: DUP3 00000e6d: DUP3 00000e6e: LT 00000e6f: ISZERO 00000e70: PUSH2 0x0e7b 00000e73: JUMPI 00000e74: PUSH2 0x0e7b 00000e77: PUSH2 0x0e9b 00000e7a: JUMP 00000e7b: JUMPDEST 00000e7c: POP 00000e7d: SUB 00000e7e: SWAP1 00000e7f: JUMP 00000e80: JUMPDEST 00000e81: PUSH1 0x00 00000e83: PUSH1 0x00 00000e85: NOT 00000e86: DUP3 00000e87: EQ 00000e88: ISZERO 00000e89: PUSH2 0x0e94 00000e8c: JUMPI 00000e8d: PUSH2 0x0e94 00000e90: PUSH2 0x0e9b 00000e93: JUMP 00000e94: JUMPDEST 00000e95: POP 00000e96: PUSH1 0x01 00000e98: ADD 00000e99: SWAP1 00000e9a: JUMP 00000e9b: JUMPDEST 00000e9c: PUSH4 0x4e487b71 00000ea1: PUSH1 0xe0 00000ea3: SHL 00000ea4: PUSH1 0x00 00000ea6: MSTORE 00000ea7: PUSH1 0x11 00000ea9: PUSH1 0x04 00000eab: MSTORE 00000eac: PUSH1 0x24 00000eae: PUSH1 0x00 00000eb0: REVERT 00000eb1: JUMPDEST 00000eb2: PUSH4 0x4e487b71 00000eb7: PUSH1 0xe0 00000eb9: SHL 00000eba: PUSH1 0x00 00000ebc: MSTORE 00000ebd: PUSH1 0x31 00000ebf: PUSH1 0x04 00000ec1: MSTORE 00000ec2: PUSH1 0x24 00000ec4: PUSH1 0x00 00000ec6: REVERT 00000ec7: JUMPDEST 00000ec8: PUSH4 0x4e487b71 00000ecd: PUSH1 0xe0 00000ecf: SHL 00000ed0: PUSH1 0x00 00000ed2: MSTORE 00000ed3: PUSH1 0x32 00000ed5: PUSH1 0x04 00000ed7: MSTORE 00000ed8: PUSH1 0x24 00000eda: PUSH1 0x00 00000edc: REVERT 00000edd: INVALID 00000ede: LOG2 00000edf: PUSH5 0x6970667358 00000ee5: UNKNOWN(0x22) 00000ee6: SLT 00000ee7: KECCAK256 00000ee8: UNKNOWN(0xB4) 00000ee9: EXP 00000eea: UNKNOWN(0xF9) 00000eeb: PUSH28 0x1703cba216db56558488359d7aa03b63053dc6720471121d0b964230 00000f08: PUSH5 0x736f6c6343 00000f0e: STOP 00000f0f: ADDMOD 00000f10: SMOD 00000f11: STOP 00000f12: CALLER
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0x343e5f7b4e81997838cdb8ccc2388c532b057c874d8d9209bdd5797e7d93b928
call_targets:
0x5038381248924d43a0635c418224b8ef578d1b71
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x343e5f7b4e81997838cdb8ccc2388c532b057c874d8d9209bdd5797e7d93b928",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x5038381248924d43a0635c418224b8ef578d1b71"
],
"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": "0xedf35253",
"selector": "0xedf35253",
"calldata_variants": [
"0xedf35253",
"0xedf352530000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xefca2eed",
"selector": "0xefca2eed",
"calldata_variants": [
"0xefca2eed",
"0xefca2eed0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf0fc6bca",
"selector": "0xf0fc6bca",
"calldata_variants": [
"0xf0fc6bca",
"0xf0fc6bca0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xffb2c479",
"selector": "0xffb2c479",
"calldata_variants": [
"0xffb2c479",
"0xffb2c4790000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xffd49c84",
"selector": "0xffd49c84",
"calldata_variants": [
"0xffd49c84",
"0xffd49c840000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc98265b1",
"selector": "0xc98265b1",
"calldata_variants": [
"0xc98265b1",
"0xc98265b10000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xccc3aeb5",
"selector": "0xccc3aeb5",
"calldata_variants": [
"0xccc3aeb5",
"0xccc3aeb50000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xce7c2ac2",
"selector": "0xce7c2ac2",
"calldata_variants": [
"0xce7c2ac2",
"0xce7c2ac20000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 2298,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 1,
"guards_detected": [],
"untrusted_call_count": 1
}
|
| high | other | detector | ETH value transfer possible | 55 | no | no |
viewtrace_id: 0x343e5f7b4e81997838cdb8ccc2388c532b057c874d8d9209bdd5797e7d93b928
call_targets:
0x5038381248924d43a0635c418224b8ef578d1b71
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x343e5f7b4e81997838cdb8ccc2388c532b057c874d8d9209bdd5797e7d93b928",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x5038381248924d43a0635c418224b8ef578d1b71"
],
"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": "0xedf35253",
"selector": "0xedf35253",
"calldata_variants": [
"0xedf35253",
"0xedf352530000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xefca2eed",
"selector": "0xefca2eed",
"calldata_variants": [
"0xefca2eed",
"0xefca2eed0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf0fc6bca",
"selector": "0xf0fc6bca",
"calldata_variants": [
"0xf0fc6bca",
"0xf0fc6bca0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xffb2c479",
"selector": "0xffb2c479",
"calldata_variants": [
"0xffb2c479",
"0xffb2c4790000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xffd49c84",
"selector": "0xffd49c84",
"calldata_variants": [
"0xffd49c84",
"0xffd49c840000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc98265b1",
"selector": "0xc98265b1",
"calldata_variants": [
"0xc98265b1",
"0xc98265b10000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xccc3aeb5",
"selector": "0xccc3aeb5",
"calldata_variants": [
"0xccc3aeb5",
"0xccc3aeb50000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xce7c2ac2",
"selector": "0xce7c2ac2",
"calldata_variants": [
"0xce7c2ac2",
"0xce7c2ac20000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 2298,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 1,
"guards_detected": []
}
|