019b477e-ba80-7277-86e7-04e3e9d4dccf
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 |
|---|---|---|---|---|
| 23755 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 23756 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 90157 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 90158 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 90159 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 90160 | 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 0x007b 0000000c: JUMPI 0000000d: PUSH1 0x00 0000000f: CALLDATALOAD 00000010: PUSH1 0xe0 00000012: SHR 00000013: DUP1 00000014: PUSH4 0x98807d84 00000019: GT 0000001a: PUSH2 0x004e 0000001d: JUMPI 0000001e: DUP1 0000001f: PUSH4 0x98807d84 00000024: EQ 00000025: PUSH2 0x011d 00000028: JUMPI 00000029: DUP1 0000002a: PUSH4 0xa694fc3a 0000002f: EQ 00000030: PUSH2 0x0150 00000033: JUMPI 00000034: DUP1 00000035: PUSH4 0xa9a18dda 0000003a: EQ 0000003b: PUSH2 0x017c 0000003e: JUMPI 0000003f: DUP1 00000040: PUSH4 0xd0e30db0 00000045: EQ 00000046: PUSH2 0x0191 00000049: JUMPI 0000004a: PUSH2 0x007b 0000004d: JUMP 0000004e: JUMPDEST 0000004f: DUP1 00000050: PUSH4 0x3ccfd60b 00000055: EQ 00000056: PUSH2 0x0080 00000059: JUMPI 0000005a: DUP1 0000005b: PUSH4 0x63bd1d4a 00000060: EQ 00000061: PUSH2 0x00ae 00000064: JUMPI 00000065: DUP1 00000066: PUSH4 0x6b143bb8 0000006b: EQ 0000006c: PUSH2 0x00d5 0000006f: JUMPI 00000070: DUP1 00000071: PUSH4 0x8b0e9f3f 00000076: EQ 00000077: PUSH2 0x0108 0000007a: JUMPI 0000007b: JUMPDEST 0000007c: PUSH1 0x00 0000007e: DUP1 0000007f: REVERT 00000080: JUMPDEST 00000081: CALLVALUE 00000082: DUP1 00000083: ISZERO 00000084: PUSH2 0x008c 00000087: JUMPI 00000088: PUSH1 0x00 0000008a: DUP1 0000008b: REVERT 0000008c: JUMPDEST 0000008d: POP 0000008e: PUSH2 0x0095 00000091: PUSH2 0x0199 00000094: JUMP 00000095: JUMPDEST 00000096: PUSH1 0x40 00000098: DUP1 00000099: MLOAD 0000009a: SWAP3 0000009b: DUP4 0000009c: MSTORE 0000009d: PUSH1 0x20 0000009f: DUP4 000000a0: ADD 000000a1: SWAP2 000000a2: SWAP1 000000a3: SWAP2 000000a4: MSTORE 000000a5: DUP1 000000a6: MLOAD 000000a7: SWAP2 000000a8: DUP3 000000a9: SWAP1 000000aa: SUB 000000ab: ADD 000000ac: SWAP1 000000ad: RETURN 000000ae: JUMPDEST 000000af: CALLVALUE 000000b0: DUP1 000000b1: ISZERO 000000b2: PUSH2 0x00ba 000000b5: JUMPI 000000b6: PUSH1 0x00 000000b8: DUP1 000000b9: REVERT 000000ba: JUMPDEST 000000bb: POP 000000bc: PUSH2 0x00c3 000000bf: PUSH2 0x02db 000000c2: JUMP 000000c3: JUMPDEST 000000c4: PUSH1 0x40 000000c6: DUP1 000000c7: MLOAD 000000c8: SWAP2 000000c9: DUP3 000000ca: MSTORE 000000cb: MLOAD 000000cc: SWAP1 000000cd: DUP2 000000ce: SWAP1 000000cf: SUB 000000d0: PUSH1 0x20 000000d2: ADD 000000d3: SWAP1 000000d4: RETURN 000000d5: JUMPDEST 000000d6: CALLVALUE 000000d7: DUP1 000000d8: ISZERO 000000d9: PUSH2 0x00e1 000000dc: JUMPI 000000dd: PUSH1 0x00 000000df: DUP1 000000e0: REVERT 000000e1: JUMPDEST 000000e2: POP 000000e3: PUSH2 0x00c3 000000e6: PUSH1 0x04 000000e8: DUP1 000000e9: CALLDATASIZE 000000ea: SUB 000000eb: PUSH1 0x20 000000ed: DUP2 000000ee: LT 000000ef: ISZERO 000000f0: PUSH2 0x00f8 000000f3: JUMPI 000000f4: PUSH1 0x00 000000f6: DUP1 000000f7: REVERT 000000f8: JUMPDEST 000000f9: POP 000000fa: CALLDATALOAD 000000fb: PUSH1 0x01 000000fd: PUSH1 0x01 000000ff: PUSH1 0xa0 00000101: SHL 00000102: SUB 00000103: AND 00000104: PUSH2 0x0400 00000107: JUMP 00000108: JUMPDEST 00000109: CALLVALUE 0000010a: DUP1 0000010b: ISZERO 0000010c: PUSH2 0x0114 0000010f: JUMPI 00000110: PUSH1 0x00 00000112: DUP1 00000113: REVERT 00000114: JUMPDEST 00000115: POP 00000116: PUSH2 0x00c3 00000119: PUSH2 0x0412 0000011c: JUMP 0000011d: JUMPDEST 0000011e: CALLVALUE 0000011f: DUP1 00000120: ISZERO 00000121: PUSH2 0x0129 00000124: JUMPI 00000125: PUSH1 0x00 00000127: DUP1 00000128: REVERT 00000129: JUMPDEST 0000012a: POP 0000012b: PUSH2 0x00c3 0000012e: PUSH1 0x04 00000130: DUP1 00000131: CALLDATASIZE 00000132: SUB 00000133: PUSH1 0x20 00000135: DUP2 00000136: LT 00000137: ISZERO 00000138: PUSH2 0x0140 0000013b: JUMPI 0000013c: PUSH1 0x00 0000013e: DUP1 0000013f: REVERT 00000140: JUMPDEST 00000141: POP 00000142: CALLDATALOAD 00000143: PUSH1 0x01 00000145: PUSH1 0x01 00000147: PUSH1 0xa0 00000149: SHL 0000014a: SUB 0000014b: AND 0000014c: PUSH2 0x0418 0000014f: JUMP 00000150: JUMPDEST 00000151: CALLVALUE 00000152: DUP1 00000153: ISZERO 00000154: PUSH2 0x015c 00000157: JUMPI 00000158: PUSH1 0x00 0000015a: DUP1 0000015b: REVERT 0000015c: JUMPDEST 0000015d: POP 0000015e: PUSH2 0x017a 00000161: PUSH1 0x04 00000163: DUP1 00000164: CALLDATASIZE 00000165: SUB 00000166: PUSH1 0x20 00000168: DUP2 00000169: LT 0000016a: ISZERO 0000016b: PUSH2 0x0173 0000016e: JUMPI 0000016f: PUSH1 0x00 00000171: DUP1 00000172: REVERT 00000173: JUMPDEST 00000174: POP 00000175: CALLDATALOAD 00000176: PUSH2 0x042a 00000179: JUMP 0000017a: JUMPDEST 0000017b: STOP 0000017c: JUMPDEST 0000017d: CALLVALUE 0000017e: DUP1 0000017f: ISZERO 00000180: PUSH2 0x0188 00000183: JUMPI 00000184: PUSH1 0x00 00000186: DUP1 00000187: REVERT 00000188: JUMPDEST 00000189: POP 0000018a: PUSH2 0x00c3 0000018d: PUSH2 0x0518 00000190: JUMP 00000191: JUMPDEST 00000192: PUSH2 0x017a 00000195: PUSH2 0x051e 00000198: JUMP 00000199: JUMPDEST 0000019a: PUSH1 0x00 0000019c: DUP1 0000019d: PUSH1 0x02 0000019f: PUSH1 0x00 000001a1: SLOAD 000001a2: EQ 000001a3: ISZERO 000001a4: PUSH2 0x01e2 000001a7: JUMPI 000001a8: PUSH1 0x40 000001aa: DUP1 000001ab: MLOAD 000001ac: PUSH3 0x461bcd 000001b0: PUSH1 0xe5 000001b2: SHL 000001b3: DUP2 000001b4: MSTORE 000001b5: PUSH1 0x20 000001b7: PUSH1 0x04 000001b9: DUP3 000001ba: ADD 000001bb: MSTORE 000001bc: PUSH1 0x1f 000001be: PUSH1 0x24 000001c0: DUP3 000001c1: ADD 000001c2: MSTORE 000001c3: PUSH1 0x00 000001c5: DUP1 000001c6: MLOAD 000001c7: PUSH1 0x20 000001c9: PUSH2 0x0e3a 000001cc: DUP4 000001cd: CODECOPY 000001ce: DUP2 000001cf: MLOAD 000001d0: SWAP2 000001d1: MSTORE 000001d2: PUSH1 0x44 000001d4: DUP3 000001d5: ADD 000001d6: MSTORE 000001d7: SWAP1 000001d8: MLOAD 000001d9: SWAP1 000001da: DUP2 000001db: SWAP1 000001dc: SUB 000001dd: PUSH1 0x64 000001df: ADD 000001e0: SWAP1 000001e1: REVERT 000001e2: JUMPDEST 000001e3: PUSH1 0x02 000001e5: PUSH1 0x00 000001e7: SWAP1 000001e8: DUP2 000001e9: SSTORE 000001ea: CALLER 000001eb: DUP2 000001ec: MSTORE 000001ed: PUSH1 0x05 000001ef: PUSH1 0x20 000001f1: MSTORE 000001f2: PUSH1 0x40 000001f4: SWAP1 000001f5: KECCAK256 000001f6: SLOAD 000001f7: TIMESTAMP 000001f8: LT 000001f9: ISZERO 000001fa: PUSH2 0x023c 000001fd: JUMPI 000001fe: PUSH1 0x40 00000200: DUP1 00000201: MLOAD 00000202: PUSH3 0x461bcd 00000206: PUSH1 0xe5 00000208: SHL 00000209: DUP2 0000020a: MSTORE 0000020b: PUSH1 0x20 0000020d: PUSH1 0x04 0000020f: DUP3 00000210: ADD 00000211: MSTORE 00000212: PUSH1 0x0f 00000214: PUSH1 0x24 00000216: DUP3 00000217: ADD 00000218: MSTORE 00000219: PUSH15 0x14dd185ad9481a5cc81b1bd8dad959 00000229: PUSH1 0x8a 0000022b: SHL 0000022c: PUSH1 0x44 0000022e: DUP3 0000022f: ADD 00000230: MSTORE 00000231: SWAP1 00000232: MLOAD 00000233: SWAP1 00000234: DUP2 00000235: SWAP1 00000236: SUB 00000237: PUSH1 0x64 00000239: ADD 0000023a: SWAP1 0000023b: REVERT 0000023c: JUMPDEST 0000023d: PUSH2 0x0244 00000240: PUSH2 0x0651 00000243: JUMP 00000244: JUMPDEST 00000245: PUSH1 0x40 00000247: DUP1 00000248: MLOAD 00000249: DUP4 0000024a: DUP2 0000024b: MSTORE 0000024c: PUSH1 0x20 0000024e: DUP2 0000024f: ADD 00000250: DUP4 00000251: SWAP1 00000252: MSTORE 00000253: DUP2 00000254: MLOAD 00000255: SWAP4 00000256: SWAP6 00000257: POP 00000258: SWAP2 00000259: SWAP4 0000025a: POP 0000025b: CALLER 0000025c: SWAP3 0000025d: PUSH32 0xf279e6a1f5e320cca91135676d9cb6e44ca8a08c0b88342bcdb1144f6511b568 0000027e: SWAP3 0000027f: DUP2 00000280: SWAP1 00000281: SUB 00000282: SWAP1 00000283: SWAP2 00000284: ADD 00000285: SWAP1 00000286: LOG2 00000287: CALLER 00000288: PUSH1 0x00 0000028a: DUP2 0000028b: DUP2 0000028c: MSTORE 0000028d: PUSH1 0x05 0000028f: PUSH1 0x20 00000291: MSTORE 00000292: PUSH1 0x40 00000294: DUP2 00000295: KECCAK256 00000296: SSTORE 00000297: PUSH2 0x02c2 0000029a: SWAP1 0000029b: PUSH32 0x0000000000000000000000006f87d756daf0503d08eb8993686c7fc01dc44fb1 000002bc: SWAP1 000002bd: DUP5 000002be: PUSH2 0x0735 000002c1: JUMP 000002c2: JUMPDEST 000002c3: DUP1 000002c4: ISZERO 000002c5: PUSH2 0x02d2 000002c8: JUMPI 000002c9: PUSH2 0x02d2 000002cc: CALLER 000002cd: DUP3 000002ce: PUSH2 0x089f 000002d1: JUMP 000002d2: JUMPDEST 000002d3: PUSH1 0x01 000002d5: PUSH1 0x00 000002d7: SSTORE 000002d8: SWAP1 000002d9: SWAP2 000002da: JUMP 000002db: JUMPDEST 000002dc: PUSH1 0x00 000002de: PUSH1 0x02 000002e0: PUSH1 0x00 000002e2: SLOAD 000002e3: EQ 000002e4: ISZERO 000002e5: PUSH2 0x0323 000002e8: JUMPI 000002e9: PUSH1 0x40 000002eb: DUP1 000002ec: MLOAD 000002ed: PUSH3 0x461bcd 000002f1: PUSH1 0xe5 000002f3: SHL 000002f4: DUP2 000002f5: MSTORE 000002f6: PUSH1 0x20 000002f8: PUSH1 0x04 000002fa: DUP3 000002fb: ADD 000002fc: MSTORE 000002fd: PUSH1 0x1f 000002ff: PUSH1 0x24 00000301: DUP3 00000302: ADD 00000303: MSTORE 00000304: PUSH1 0x00 00000306: DUP1 00000307: MLOAD 00000308: PUSH1 0x20 0000030a: PUSH2 0x0e3a 0000030d: DUP4 0000030e: CODECOPY 0000030f: DUP2 00000310: MLOAD 00000311: SWAP2 00000312: MSTORE 00000313: PUSH1 0x44 00000315: DUP3 00000316: ADD 00000317: MSTORE 00000318: SWAP1 00000319: MLOAD 0000031a: SWAP1 0000031b: DUP2 0000031c: SWAP1 0000031d: SUB 0000031e: PUSH1 0x64 00000320: ADD 00000321: SWAP1 00000322: REVERT 00000323: JUMPDEST 00000324: PUSH1 0x02 00000326: PUSH1 0x00 00000328: SWAP1 00000329: DUP2 0000032a: SSTORE 0000032b: DUP1 0000032c: PUSH2 0x0333 0000032f: PUSH2 0x0651 00000332: JUMP 00000333: JUMPDEST 00000334: PUSH1 0x40 00000336: DUP1 00000337: MLOAD 00000338: DUP4 00000339: DUP2 0000033a: MSTORE 0000033b: PUSH1 0x20 0000033d: DUP2 0000033e: ADD 0000033f: DUP4 00000340: SWAP1 00000341: MSTORE 00000342: DUP2 00000343: MLOAD 00000344: SWAP4 00000345: SWAP6 00000346: POP 00000347: SWAP2 00000348: SWAP4 00000349: POP 0000034a: CALLER 0000034b: SWAP3 0000034c: PUSH32 0xf279e6a1f5e320cca91135676d9cb6e44ca8a08c0b88342bcdb1144f6511b568 0000036d: SWAP3 0000036e: DUP2 0000036f: SWAP1 00000370: SUB 00000371: SWAP1 00000372: SWAP2 00000373: ADD 00000374: SWAP1 00000375: LOG2 00000376: DUP1 00000377: SWAP3 00000378: POP 00000379: PUSH1 0x00 0000037b: DUP4 0000037c: GT 0000037d: PUSH2 0x03c2 00000380: JUMPI 00000381: PUSH1 0x40 00000383: DUP1 00000384: MLOAD 00000385: PUSH3 0x461bcd 00000389: PUSH1 0xe5 0000038b: SHL 0000038c: DUP2 0000038d: MSTORE 0000038e: PUSH1 0x20 00000390: PUSH1 0x04 00000392: DUP3 00000393: ADD 00000394: MSTORE 00000395: PUSH1 0x12 00000397: PUSH1 0x24 00000399: DUP3 0000039a: ADD 0000039b: MSTORE 0000039c: PUSH18 0x139bdd1a1a5b99c81d1bc81c185e481bdd5d 000003af: PUSH1 0x72 000003b1: SHL 000003b2: PUSH1 0x44 000003b4: DUP3 000003b5: ADD 000003b6: MSTORE 000003b7: SWAP1 000003b8: MLOAD 000003b9: SWAP1 000003ba: DUP2 000003bb: SWAP1 000003bc: SUB 000003bd: PUSH1 0x64 000003bf: ADD 000003c0: SWAP1 000003c1: REVERT 000003c2: JUMPDEST 000003c3: PUSH2 0x03cc 000003c6: CALLER 000003c7: DUP5 000003c8: PUSH2 0x089f 000003cb: JUMP 000003cc: JUMPDEST 000003cd: PUSH2 0x03d5 000003d0: DUP3 000003d1: PUSH2 0x0997 000003d4: JUMP 000003d5: JUMPDEST 000003d6: PUSH2 0x03e2 000003d9: TIMESTAMP 000003da: PUSH3 0x278d00 000003de: PUSH2 0x0a77 000003e1: JUMP 000003e2: JUMPDEST 000003e3: CALLER 000003e4: PUSH1 0x00 000003e6: SWAP1 000003e7: DUP2 000003e8: MSTORE 000003e9: PUSH1 0x05 000003eb: PUSH1 0x20 000003ed: MSTORE 000003ee: PUSH1 0x40 000003f0: DUP2 000003f1: KECCAK256 000003f2: SWAP2 000003f3: SWAP1 000003f4: SWAP2 000003f5: SSTORE 000003f6: PUSH1 0x01 000003f8: SWAP1 000003f9: SSTORE 000003fa: POP 000003fb: SWAP1 000003fc: SWAP2 000003fd: SWAP1 000003fe: POP 000003ff: JUMP 00000400: JUMPDEST 00000401: PUSH1 0x05 00000403: PUSH1 0x20 00000405: MSTORE 00000406: PUSH1 0x00 00000408: SWAP1 00000409: DUP2 0000040a: MSTORE 0000040b: PUSH1 0x40 0000040d: SWAP1 0000040e: KECCAK256 0000040f: SLOAD 00000410: DUP2 00000411: JUMP 00000412: JUMPDEST 00000413: PUSH1 0x01 00000415: SLOAD 00000416: DUP2 00000417: JUMP 00000418: JUMPDEST 00000419: PUSH1 0x04 0000041b: PUSH1 0x20 0000041d: MSTORE 0000041e: PUSH1 0x00 00000420: SWAP1 00000421: DUP2 00000422: MSTORE 00000423: PUSH1 0x40 00000425: SWAP1 00000426: KECCAK256 00000427: SLOAD 00000428: DUP2 00000429: JUMP 0000042a: JUMPDEST 0000042b: PUSH1 0x02 0000042d: PUSH1 0x00 0000042f: SLOAD 00000430: EQ 00000431: ISZERO 00000432: PUSH2 0x0470 00000435: JUMPI 00000436: PUSH1 0x40 00000438: DUP1 00000439: MLOAD 0000043a: PUSH3 0x461bcd 0000043e: PUSH1 0xe5 00000440: SHL 00000441: DUP2 00000442: MSTORE 00000443: PUSH1 0x20 00000445: PUSH1 0x04 00000447: DUP3 00000448: ADD 00000449: MSTORE 0000044a: PUSH1 0x1f 0000044c: PUSH1 0x24 0000044e: DUP3 0000044f: ADD 00000450: MSTORE 00000451: PUSH1 0x00 00000453: DUP1 00000454: MLOAD 00000455: PUSH1 0x20 00000457: PUSH2 0x0e3a 0000045a: DUP4 0000045b: CODECOPY 0000045c: DUP2 0000045d: MLOAD 0000045e: SWAP2 0000045f: MSTORE 00000460: PUSH1 0x44 00000462: DUP3 00000463: ADD 00000464: MSTORE 00000465: SWAP1 00000466: MLOAD 00000467: SWAP1 00000468: DUP2 00000469: SWAP1 0000046a: SUB 0000046b: PUSH1 0x64 0000046d: ADD 0000046e: SWAP1 0000046f: REVERT 00000470: JUMPDEST 00000471: PUSH1 0x02 00000473: PUSH1 0x00 00000475: SSTORE 00000476: DUP1 00000477: PUSH2 0x04ba 0000047a: JUMPI 0000047b: PUSH1 0x40 0000047d: DUP1 0000047e: MLOAD 0000047f: PUSH3 0x461bcd 00000483: PUSH1 0xe5 00000485: SHL 00000486: DUP2 00000487: MSTORE 00000488: PUSH1 0x20 0000048a: PUSH1 0x04 0000048c: DUP3 0000048d: ADD 0000048e: MSTORE 0000048f: PUSH1 0x10 00000491: PUSH1 0x24 00000493: DUP3 00000494: ADD 00000495: MSTORE 00000496: PUSH16 0x4e6f7468696e6720746f207374616b65 000004a7: PUSH1 0x80 000004a9: SHL 000004aa: PUSH1 0x44 000004ac: DUP3 000004ad: ADD 000004ae: MSTORE 000004af: SWAP1 000004b0: MLOAD 000004b1: SWAP1 000004b2: DUP2 000004b3: SWAP1 000004b4: SUB 000004b5: PUSH1 0x64 000004b7: ADD 000004b8: SWAP1 000004b9: REVERT 000004ba: JUMPDEST 000004bb: PUSH2 0x04c3 000004be: DUP2 000004bf: PUSH2 0x0997 000004c2: JUMP 000004c3: JUMPDEST 000004c4: PUSH2 0x04d0 000004c7: TIMESTAMP 000004c8: PUSH3 0x278d00 000004cc: PUSH2 0x0a77 000004cf: JUMP 000004d0: JUMPDEST 000004d1: CALLER 000004d2: PUSH1 0x00 000004d4: DUP2 000004d5: DUP2 000004d6: MSTORE 000004d7: PUSH1 0x05 000004d9: PUSH1 0x20 000004db: MSTORE 000004dc: PUSH1 0x40 000004de: SWAP1 000004df: KECCAK256 000004e0: SWAP2 000004e1: SWAP1 000004e2: SWAP2 000004e3: SSTORE 000004e4: PUSH2 0x0510 000004e7: SWAP1 000004e8: PUSH32 0x0000000000000000000000006f87d756daf0503d08eb8993686c7fc01dc44fb1 00000509: SWAP1 0000050a: ADDRESS 0000050b: DUP5 0000050c: PUSH2 0x0ada 0000050f: JUMP 00000510: JUMPDEST 00000511: POP 00000512: PUSH1 0x01 00000514: PUSH1 0x00 00000516: SSTORE 00000517: JUMP 00000518: JUMPDEST 00000519: PUSH1 0x03 0000051b: SLOAD 0000051c: DUP2 0000051d: JUMP 0000051e: JUMPDEST 0000051f: PUSH1 0x02 00000521: PUSH1 0x00 00000523: SLOAD 00000524: EQ 00000525: ISZERO 00000526: PUSH2 0x0564 00000529: JUMPI 0000052a: PUSH1 0x40 0000052c: DUP1 0000052d: MLOAD 0000052e: PUSH3 0x461bcd 00000532: PUSH1 0xe5 00000534: SHL 00000535: DUP2 00000536: MSTORE 00000537: PUSH1 0x20 00000539: PUSH1 0x04 0000053b: DUP3 0000053c: ADD 0000053d: MSTORE 0000053e: PUSH1 0x1f 00000540: PUSH1 0x24 00000542: DUP3 00000543: ADD 00000544: MSTORE 00000545: PUSH1 0x00 00000547: DUP1 00000548: MLOAD 00000549: PUSH1 0x20 0000054b: PUSH2 0x0e3a 0000054e: DUP4 0000054f: CODECOPY 00000550: DUP2 00000551: MLOAD 00000552: SWAP2 00000553: MSTORE 00000554: PUSH1 0x44 00000556: DUP3 00000557: ADD 00000558: MSTORE 00000559: SWAP1 0000055a: MLOAD 0000055b: SWAP1 0000055c: DUP2 0000055d: SWAP1 0000055e: SUB 0000055f: PUSH1 0x64 00000561: ADD 00000562: SWAP1 00000563: REVERT 00000564: JUMPDEST 00000565: PUSH1 0x02 00000567: PUSH1 0x00 00000569: SSTORE 0000056a: CALLVALUE 0000056b: PUSH2 0x05b0 0000056e: JUMPI 0000056f: PUSH1 0x40 00000571: DUP1 00000572: MLOAD 00000573: PUSH3 0x461bcd 00000577: PUSH1 0xe5 00000579: SHL 0000057a: DUP2 0000057b: MSTORE 0000057c: PUSH1 0x20 0000057e: PUSH1 0x04 00000580: DUP3 00000581: ADD 00000582: MSTORE 00000583: PUSH1 0x12 00000585: PUSH1 0x24 00000587: DUP3 00000588: ADD 00000589: MSTORE 0000058a: PUSH18 0x139bdd1a1a5b99c81d1bc819195c1bdcda5d 0000059d: PUSH1 0x72 0000059f: SHL 000005a0: PUSH1 0x44 000005a2: DUP3 000005a3: ADD 000005a4: MSTORE 000005a5: SWAP1 000005a6: MLOAD 000005a7: SWAP1 000005a8: DUP2 000005a9: SWAP1 000005aa: SUB 000005ab: PUSH1 0x64 000005ad: ADD 000005ae: SWAP1 000005af: REVERT 000005b0: JUMPDEST 000005b1: PUSH1 0x00 000005b3: PUSH1 0x01 000005b5: SLOAD 000005b6: GT 000005b7: PUSH2 0x05f8 000005ba: JUMPI 000005bb: PUSH1 0x40 000005bd: DUP1 000005be: MLOAD 000005bf: PUSH3 0x461bcd 000005c3: PUSH1 0xe5 000005c5: SHL 000005c6: DUP2 000005c7: MSTORE 000005c8: PUSH1 0x20 000005ca: PUSH1 0x04 000005cc: DUP3 000005cd: ADD 000005ce: MSTORE 000005cf: PUSH1 0x0e 000005d1: PUSH1 0x24 000005d3: DUP3 000005d4: ADD 000005d5: MSTORE 000005d6: PUSH14 0x139bdd1a1a5b99c81cdd185ad959 000005e5: PUSH1 0x92 000005e7: SHL 000005e8: PUSH1 0x44 000005ea: DUP3 000005eb: ADD 000005ec: MSTORE 000005ed: SWAP1 000005ee: MLOAD 000005ef: SWAP1 000005f0: DUP2 000005f1: SWAP1 000005f2: SUB 000005f3: PUSH1 0x64 000005f5: ADD 000005f6: SWAP1 000005f7: REVERT 000005f8: JUMPDEST 000005f9: PUSH1 0x03 000005fb: SLOAD 000005fc: PUSH2 0x0605 000005ff: SWAP1 00000600: CALLVALUE 00000601: PUSH2 0x0a77 00000604: JUMP 00000605: JUMPDEST 00000606: PUSH1 0x03 00000608: SSTORE 00000609: PUSH1 0x40 0000060b: DUP1 0000060c: MLOAD 0000060d: CALLVALUE 0000060e: DUP2 0000060f: MSTORE 00000610: SWAP1 00000611: MLOAD 00000612: CALLER 00000613: SWAP2 00000614: PUSH32 0xe1fffcc4923d04b559f4d29a8bfc6cda04eb5b0d3c460751c2402c5c5cc9109c 00000635: SWAP2 00000636: SWAP1 00000637: DUP2 00000638: SWAP1 00000639: SUB 0000063a: PUSH1 0x20 0000063c: ADD 0000063d: SWAP1 0000063e: LOG2 0000063f: PUSH2 0x064a 00000642: CALLVALUE 00000643: PUSH1 0x01 00000645: SLOAD 00000646: PUSH2 0x0c37 00000649: JUMP 0000064a: JUMPDEST 0000064b: PUSH1 0x01 0000064d: PUSH1 0x00 0000064f: SSTORE 00000650: JUMP 00000651: JUMPDEST 00000652: CALLER 00000653: PUSH1 0x00 00000655: SWAP1 00000656: DUP2 00000657: MSTORE 00000658: PUSH1 0x04 0000065a: PUSH1 0x20 0000065c: MSTORE 0000065d: PUSH1 0x40 0000065f: DUP2 00000660: KECCAK256 00000661: SLOAD 00000662: DUP2 00000663: SWAP1 00000664: PUSH2 0x06a5 00000667: JUMPI 00000668: PUSH1 0x40 0000066a: DUP1 0000066b: MLOAD 0000066c: PUSH3 0x461bcd 00000670: PUSH1 0xe5 00000672: SHL 00000673: DUP2 00000674: MSTORE 00000675: PUSH1 0x20 00000677: PUSH1 0x04 00000679: DUP3 0000067a: ADD 0000067b: MSTORE 0000067c: PUSH1 0x0e 0000067e: PUSH1 0x24 00000680: DUP3 00000681: ADD 00000682: MSTORE 00000683: PUSH14 0x139bdd1a1a5b99c81cdd185ad959 00000692: PUSH1 0x92 00000694: SHL 00000695: PUSH1 0x44 00000697: DUP3 00000698: ADD 00000699: MSTORE 0000069a: SWAP1 0000069b: MLOAD 0000069c: SWAP1 0000069d: DUP2 0000069e: SWAP1 0000069f: SUB 000006a0: PUSH1 0x64 000006a2: ADD 000006a3: SWAP1 000006a4: REVERT 000006a5: JUMPDEST 000006a6: CALLER 000006a7: PUSH1 0x00 000006a9: SWAP1 000006aa: DUP2 000006ab: MSTORE 000006ac: PUSH1 0x04 000006ae: PUSH1 0x20 000006b0: SWAP1 000006b1: DUP2 000006b2: MSTORE 000006b3: PUSH1 0x40 000006b5: DUP1 000006b6: DUP4 000006b7: KECCAK256 000006b8: SLOAD 000006b9: PUSH1 0x07 000006bb: DUP4 000006bc: MSTORE 000006bd: DUP2 000006be: DUP5 000006bf: KECCAK256 000006c0: SLOAD 000006c1: PUSH1 0x06 000006c3: SWAP1 000006c4: SWAP4 000006c5: MSTORE 000006c6: SWAP3 000006c7: KECCAK256 000006c8: SLOAD 000006c9: PUSH1 0x02 000006cb: SLOAD 000006cc: SWAP3 000006cd: SWAP5 000006ce: POP 000006cf: PUSH2 0x0701 000006d2: SWAP3 000006d3: PUSH2 0x06fb 000006d6: SWAP2 000006d7: PUSH8 0x0de0b6b3a7640000 000006e0: SWAP2 000006e1: PUSH2 0x06f5 000006e4: SWAP2 000006e5: PUSH2 0x06ee 000006e8: SWAP2 000006e9: SWAP1 000006ea: PUSH2 0x0c60 000006ed: JUMP 000006ee: JUMPDEST 000006ef: DUP8 000006f0: SWAP1 000006f1: PUSH2 0x0ca2 000006f4: JUMP 000006f5: JUMPDEST 000006f6: SWAP1 000006f7: PUSH2 0x0cfb 000006fa: JUMP 000006fb: JUMPDEST 000006fc: SWAP1 000006fd: PUSH2 0x0a77 00000700: JUMP 00000701: JUMPDEST 00000702: PUSH1 0x01 00000704: SLOAD 00000705: SWAP1 00000706: SWAP2 00000707: POP 00000708: PUSH2 0x0711 0000070b: SWAP1 0000070c: DUP4 0000070d: PUSH2 0x0c60 00000710: JUMP 00000711: JUMPDEST 00000712: PUSH1 0x01 00000714: SSTORE 00000715: CALLER 00000716: PUSH1 0x00 00000718: SWAP1 00000719: DUP2 0000071a: MSTORE 0000071b: PUSH1 0x07 0000071d: PUSH1 0x20 0000071f: SWAP1 00000720: DUP2 00000721: MSTORE 00000722: PUSH1 0x40 00000724: DUP1 00000725: DUP4 00000726: KECCAK256 00000727: DUP4 00000728: SWAP1 00000729: SSTORE 0000072a: PUSH1 0x04 0000072c: SWAP1 0000072d: SWAP2 0000072e: MSTORE 0000072f: DUP2 00000730: KECCAK256 00000731: SSTORE 00000732: SWAP1 00000733: SWAP2 00000734: JUMP 00000735: JUMPDEST 00000736: PUSH1 0x40 00000738: DUP1 00000739: MLOAD 0000073a: PUSH1 0x01 0000073c: PUSH1 0x01 0000073e: PUSH1 0xa0 00000740: SHL 00000741: SUB 00000742: DUP5 00000743: DUP2 00000744: AND 00000745: PUSH1 0x24 00000747: DUP4 00000748: ADD 00000749: MSTORE 0000074a: PUSH1 0x44 0000074c: DUP1 0000074d: DUP4 0000074e: ADD 0000074f: DUP6 00000750: SWAP1 00000751: MSTORE 00000752: DUP4 00000753: MLOAD 00000754: DUP1 00000755: DUP5 00000756: SUB 00000757: SWAP1 00000758: SWAP2 00000759: ADD 0000075a: DUP2 0000075b: MSTORE 0000075c: PUSH1 0x64 0000075e: SWAP1 0000075f: SWAP3 00000760: ADD 00000761: DUP4 00000762: MSTORE 00000763: PUSH1 0x20 00000765: DUP3 00000766: ADD 00000767: DUP1 00000768: MLOAD 00000769: PUSH1 0x01 0000076b: PUSH1 0x01 0000076d: PUSH1 0xe0 0000076f: SHL 00000770: SUB 00000771: AND 00000772: PUSH4 0xa9059cbb 00000777: PUSH1 0xe0 00000779: SHL 0000077a: OR 0000077b: DUP2 0000077c: MSTORE 0000077d: SWAP3 0000077e: MLOAD 0000077f: DUP3 00000780: MLOAD 00000781: PUSH1 0x00 00000783: SWAP5 00000784: PUSH1 0x60 00000786: SWAP5 00000787: SWAP4 00000788: DUP10 00000789: AND 0000078a: SWAP4 0000078b: SWAP3 0000078c: SWAP2 0000078d: DUP3 0000078e: SWAP2 0000078f: SWAP1 00000790: DUP1 00000791: DUP4 00000792: DUP4 00000793: JUMPDEST 00000794: PUSH1 0x20 00000796: DUP4 00000797: LT 00000798: PUSH2 0x07b2 0000079b: JUMPI 0000079c: DUP1 0000079d: MLOAD 0000079e: DUP3 0000079f: MSTORE 000007a0: PUSH1 0x1f 000007a2: NOT 000007a3: SWAP1 000007a4: SWAP3 000007a5: ADD 000007a6: SWAP2 000007a7: PUSH1 0x20 000007a9: SWAP2 000007aa: DUP3 000007ab: ADD 000007ac: SWAP2 000007ad: ADD 000007ae: PUSH2 0x0793 000007b1: JUMP 000007b2: JUMPDEST 000007b3: PUSH1 0x01 000007b5: DUP4 000007b6: PUSH1 0x20 000007b8: SUB 000007b9: PUSH2 0x0100 000007bc: EXP 000007bd: SUB 000007be: DUP1 000007bf: NOT 000007c0: DUP3 000007c1: MLOAD 000007c2: AND 000007c3: DUP2 000007c4: DUP5 000007c5: MLOAD 000007c6: AND 000007c7: DUP1 000007c8: DUP3 000007c9: OR 000007ca: DUP6 000007cb: MSTORE 000007cc: POP 000007cd: POP 000007ce: POP 000007cf: POP 000007d0: POP 000007d1: POP 000007d2: SWAP1 000007d3: POP 000007d4: ADD 000007d5: SWAP2 000007d6: POP 000007d7: POP 000007d8: PUSH1 0x00 000007da: PUSH1 0x40 000007dc: MLOAD 000007dd: DUP1 000007de: DUP4 000007df: SUB 000007e0: DUP2 000007e1: PUSH1 0x00 000007e3: DUP7 000007e4: GAS 000007e5: CALL 000007e6: SWAP2 000007e7: POP 000007e8: POP 000007e9: RETURNDATASIZE 000007ea: DUP1 000007eb: PUSH1 0x00 000007ed: DUP2 000007ee: EQ 000007ef: PUSH2 0x0814 000007f2: JUMPI 000007f3: PUSH1 0x40 000007f5: MLOAD 000007f6: SWAP2 000007f7: POP 000007f8: PUSH1 0x1f 000007fa: NOT 000007fb: PUSH1 0x3f 000007fd: RETURNDATASIZE 000007fe: ADD 000007ff: AND 00000800: DUP3 00000801: ADD 00000802: PUSH1 0x40 00000804: MSTORE 00000805: RETURNDATASIZE 00000806: DUP3 00000807: MSTORE 00000808: RETURNDATASIZE 00000809: PUSH1 0x00 0000080b: PUSH1 0x20 0000080d: DUP5 0000080e: ADD 0000080f: RETURNDATACOPY 00000810: PUSH2 0x0819 00000813: JUMP 00000814: JUMPDEST 00000815: PUSH1 0x60 00000817: SWAP2 00000818: POP 00000819: JUMPDEST 0000081a: POP 0000081b: SWAP2 0000081c: POP 0000081d: SWAP2 0000081e: POP 0000081f: DUP2 00000820: DUP1 00000821: ISZERO 00000822: PUSH2 0x0847 00000825: JUMPI 00000826: POP 00000827: DUP1 00000828: MLOAD 00000829: ISZERO 0000082a: DUP1 0000082b: PUSH2 0x0847 0000082e: JUMPI 0000082f: POP 00000830: DUP1 00000831: DUP1 00000832: PUSH1 0x20 00000834: ADD 00000835: SWAP1 00000836: MLOAD 00000837: PUSH1 0x20 00000839: DUP2 0000083a: LT 0000083b: ISZERO 0000083c: PUSH2 0x0844 0000083f: JUMPI 00000840: PUSH1 0x00 00000842: DUP1 00000843: REVERT 00000844: JUMPDEST 00000845: POP 00000846: MLOAD 00000847: JUMPDEST 00000848: PUSH2 0x0898 0000084b: JUMPI 0000084c: PUSH1 0x40 0000084e: DUP1 0000084f: MLOAD 00000850: PUSH3 0x461bcd 00000854: PUSH1 0xe5 00000856: SHL 00000857: DUP2 00000858: MSTORE 00000859: PUSH1 0x20 0000085b: PUSH1 0x04 0000085d: DUP3 0000085e: ADD 0000085f: MSTORE 00000860: PUSH1 0x1f 00000862: PUSH1 0x24 00000864: DUP3 00000865: ADD 00000866: MSTORE 00000867: PUSH32 0x5472616e7366657248656c7065723a205452414e534645525f4641494c454400 00000888: PUSH1 0x44 0000088a: DUP3 0000088b: ADD 0000088c: MSTORE 0000088d: SWAP1 0000088e: MLOAD 0000088f: SWAP1 00000890: DUP2 00000891: SWAP1 00000892: SUB 00000893: PUSH1 0x64 00000895: ADD 00000896: SWAP1 00000897: REVERT 00000898: JUMPDEST 00000899: POP 0000089a: POP 0000089b: POP 0000089c: POP 0000089d: POP 0000089e: JUMP 0000089f: JUMPDEST 000008a0: PUSH1 0x40 000008a2: DUP1 000008a3: MLOAD 000008a4: PUSH1 0x00 000008a6: DUP1 000008a7: DUP3 000008a8: MSTORE 000008a9: PUSH1 0x20 000008ab: DUP3 000008ac: ADD 000008ad: SWAP1 000008ae: SWAP3 000008af: MSTORE 000008b0: PUSH1 0x01 000008b2: PUSH1 0x01 000008b4: PUSH1 0xa0 000008b6: SHL 000008b7: SUB 000008b8: DUP5 000008b9: AND 000008ba: SWAP1 000008bb: DUP4 000008bc: SWAP1 000008bd: PUSH1 0x40 000008bf: MLOAD 000008c0: DUP1 000008c1: DUP3 000008c2: DUP1 000008c3: MLOAD 000008c4: SWAP1 000008c5: PUSH1 0x20 000008c7: ADD 000008c8: SWAP1 000008c9: DUP1 000008ca: DUP4 000008cb: DUP4 000008cc: JUMPDEST 000008cd: PUSH1 0x20 000008cf: DUP4 000008d0: LT 000008d1: PUSH2 0x08eb 000008d4: JUMPI 000008d5: DUP1 000008d6: MLOAD 000008d7: DUP3 000008d8: MSTORE 000008d9: PUSH1 0x1f 000008db: NOT 000008dc: SWAP1 000008dd: SWAP3 000008de: ADD 000008df: SWAP2 000008e0: PUSH1 0x20 000008e2: SWAP2 000008e3: DUP3 000008e4: ADD 000008e5: SWAP2 000008e6: ADD 000008e7: PUSH2 0x08cc 000008ea: JUMP 000008eb: JUMPDEST 000008ec: PUSH1 0x01 000008ee: DUP4 000008ef: PUSH1 0x20 000008f1: SUB 000008f2: PUSH2 0x0100 000008f5: EXP 000008f6: SUB 000008f7: DUP1 000008f8: NOT 000008f9: DUP3 000008fa: MLOAD 000008fb: AND 000008fc: DUP2 000008fd: DUP5 000008fe: MLOAD 000008ff: AND 00000900: DUP1 00000901: DUP3 00000902: OR 00000903: DUP6 00000904: MSTORE 00000905: POP 00000906: POP 00000907: POP 00000908: POP 00000909: POP 0000090a: POP 0000090b: SWAP1 0000090c: POP 0000090d: ADD 0000090e: SWAP2 0000090f: POP 00000910: POP 00000911: PUSH1 0x00 00000913: PUSH1 0x40 00000915: MLOAD 00000916: DUP1 00000917: DUP4 00000918: SUB 00000919: DUP2 0000091a: DUP6 0000091b: DUP8 0000091c: GAS 0000091d: CALL 0000091e: SWAP3 0000091f: POP 00000920: POP 00000921: POP 00000922: RETURNDATASIZE 00000923: DUP1 00000924: PUSH1 0x00 00000926: DUP2 00000927: EQ 00000928: PUSH2 0x094d 0000092b: JUMPI 0000092c: PUSH1 0x40 0000092e: MLOAD 0000092f: SWAP2 00000930: POP 00000931: PUSH1 0x1f 00000933: NOT 00000934: PUSH1 0x3f 00000936: RETURNDATASIZE 00000937: ADD 00000938: AND 00000939: DUP3 0000093a: ADD 0000093b: PUSH1 0x40 0000093d: MSTORE 0000093e: RETURNDATASIZE 0000093f: DUP3 00000940: MSTORE 00000941: RETURNDATASIZE 00000942: PUSH1 0x00 00000944: PUSH1 0x20 00000946: DUP5 00000947: ADD 00000948: RETURNDATACOPY 00000949: PUSH2 0x0952 0000094c: JUMP 0000094d: JUMPDEST 0000094e: PUSH1 0x60 00000950: SWAP2 00000951: POP 00000952: JUMPDEST 00000953: POP 00000954: POP 00000955: SWAP1 00000956: POP 00000957: DUP1 00000958: PUSH2 0x0992 0000095b: JUMPI 0000095c: PUSH1 0x40 0000095e: MLOAD 0000095f: PUSH3 0x461bcd 00000963: PUSH1 0xe5 00000965: SHL 00000966: DUP2 00000967: MSTORE 00000968: PUSH1 0x04 0000096a: ADD 0000096b: DUP1 0000096c: DUP1 0000096d: PUSH1 0x20 0000096f: ADD 00000970: DUP3 00000971: DUP2 00000972: SUB 00000973: DUP3 00000974: MSTORE 00000975: PUSH1 0x23 00000977: DUP2 00000978: MSTORE 00000979: PUSH1 0x20 0000097b: ADD 0000097c: DUP1 0000097d: PUSH2 0x0e7b 00000980: PUSH1 0x23 00000982: SWAP2 00000983: CODECOPY 00000984: PUSH1 0x40 00000986: ADD 00000987: SWAP2 00000988: POP 00000989: POP 0000098a: PUSH1 0x40 0000098c: MLOAD 0000098d: DUP1 0000098e: SWAP2 0000098f: SUB 00000990: SWAP1 00000991: REVERT 00000992: JUMPDEST 00000993: POP 00000994: POP 00000995: POP 00000996: JUMP 00000997: JUMPDEST 00000998: CALLER 00000999: PUSH1 0x00 0000099b: SWAP1 0000099c: DUP2 0000099d: MSTORE 0000099e: PUSH1 0x04 000009a0: PUSH1 0x20 000009a2: MSTORE 000009a3: PUSH1 0x40 000009a5: DUP2 000009a6: KECCAK256 000009a7: SLOAD 000009a8: ISZERO 000009a9: PUSH2 0x09da 000009ac: JUMPI 000009ad: PUSH1 0x00 000009af: DUP1 000009b0: PUSH2 0x09b7 000009b3: PUSH2 0x0651 000009b6: JUMP 000009b7: JUMPDEST 000009b8: CALLER 000009b9: PUSH1 0x00 000009bb: SWAP1 000009bc: DUP2 000009bd: MSTORE 000009be: PUSH1 0x07 000009c0: PUSH1 0x20 000009c2: SWAP1 000009c3: DUP2 000009c4: MSTORE 000009c5: PUSH1 0x40 000009c7: DUP1 000009c8: DUP4 000009c9: KECCAK256 000009ca: SWAP4 000009cb: SWAP1 000009cc: SWAP4 000009cd: SSTORE 000009ce: PUSH1 0x04 000009d0: SWAP1 000009d1: MSTORE 000009d2: KECCAK256 000009d3: DUP2 000009d4: SWAP1 000009d5: SSTORE 000009d6: SWAP3 000009d7: POP 000009d8: POP 000009d9: POP 000009da: JUMPDEST 000009db: CALLER 000009dc: PUSH1 0x00 000009de: SWAP1 000009df: DUP2 000009e0: MSTORE 000009e1: PUSH1 0x04 000009e3: PUSH1 0x20 000009e5: MSTORE 000009e6: PUSH1 0x40 000009e8: SWAP1 000009e9: KECCAK256 000009ea: SLOAD 000009eb: PUSH2 0x09f4 000009ee: SWAP1 000009ef: DUP4 000009f0: PUSH2 0x0a77 000009f3: JUMP 000009f4: JUMPDEST 000009f5: CALLER 000009f6: PUSH1 0x00 000009f8: SWAP1 000009f9: DUP2 000009fa: MSTORE 000009fb: PUSH1 0x04 000009fd: PUSH1 0x20 000009ff: SWAP1 00000a00: DUP2 00000a01: MSTORE 00000a02: PUSH1 0x40 00000a04: DUP1 00000a05: DUP4 00000a06: KECCAK256 00000a07: SWAP4 00000a08: SWAP1 00000a09: SWAP4 00000a0a: SSTORE 00000a0b: PUSH1 0x02 00000a0d: SLOAD 00000a0e: PUSH1 0x06 00000a10: SWAP1 00000a11: SWAP2 00000a12: MSTORE 00000a13: SWAP2 00000a14: SWAP1 00000a15: KECCAK256 00000a16: SSTORE 00000a17: PUSH1 0x01 00000a19: SLOAD 00000a1a: PUSH2 0x0a23 00000a1d: SWAP1 00000a1e: DUP4 00000a1f: PUSH2 0x0a77 00000a22: JUMP 00000a23: JUMPDEST 00000a24: PUSH1 0x01 00000a26: SSTORE 00000a27: DUP1 00000a28: ISZERO 00000a29: PUSH2 0x0a3d 00000a2c: JUMPI 00000a2d: PUSH1 0x01 00000a2f: SLOAD 00000a30: PUSH2 0x0a39 00000a33: SWAP1 00000a34: DUP3 00000a35: PUSH2 0x0a77 00000a38: JUMP 00000a39: JUMPDEST 00000a3a: PUSH1 0x01 00000a3c: SSTORE 00000a3d: JUMPDEST 00000a3e: PUSH1 0x40 00000a40: DUP1 00000a41: MLOAD 00000a42: DUP4 00000a43: DUP2 00000a44: MSTORE 00000a45: SWAP1 00000a46: MLOAD 00000a47: CALLER 00000a48: SWAP2 00000a49: PUSH32 0xebedb8b3c678666e7f36970bc8f57abf6d8fa2e828c0da91ea5b75bf68ed101a 00000a6a: SWAP2 00000a6b: SWAP1 00000a6c: DUP2 00000a6d: SWAP1 00000a6e: SUB 00000a6f: PUSH1 0x20 00000a71: ADD 00000a72: SWAP1 00000a73: LOG2 00000a74: POP 00000a75: POP 00000a76: JUMP 00000a77: JUMPDEST 00000a78: PUSH1 0x00 00000a7a: DUP3 00000a7b: DUP3 00000a7c: ADD 00000a7d: DUP4 00000a7e: DUP2 00000a7f: LT 00000a80: ISZERO 00000a81: PUSH2 0x0ad1 00000a84: JUMPI 00000a85: PUSH1 0x40 00000a87: DUP1 00000a88: MLOAD 00000a89: PUSH3 0x461bcd 00000a8d: PUSH1 0xe5 00000a8f: SHL 00000a90: DUP2 00000a91: MSTORE 00000a92: PUSH1 0x20 00000a94: PUSH1 0x04 00000a96: DUP3 00000a97: ADD 00000a98: MSTORE 00000a99: PUSH1 0x1b 00000a9b: PUSH1 0x24 00000a9d: DUP3 00000a9e: ADD 00000a9f: MSTORE 00000aa0: PUSH32 0x536166654d6174683a206164646974696f6e206f766572666c6f770000000000 00000ac1: PUSH1 0x44 00000ac3: DUP3 00000ac4: ADD 00000ac5: MSTORE 00000ac6: SWAP1 00000ac7: MLOAD 00000ac8: SWAP1 00000ac9: DUP2 00000aca: SWAP1 00000acb: SUB 00000acc: PUSH1 0x64 00000ace: ADD 00000acf: SWAP1 00000ad0: REVERT 00000ad1: JUMPDEST 00000ad2: SWAP1 00000ad3: POP 00000ad4: JUMPDEST 00000ad5: SWAP3 00000ad6: SWAP2 00000ad7: POP 00000ad8: POP 00000ad9: JUMP 00000ada: JUMPDEST 00000adb: PUSH1 0x40 00000add: DUP1 00000ade: MLOAD 00000adf: PUSH1 0x01 00000ae1: PUSH1 0x01 00000ae3: PUSH1 0xa0 00000ae5: SHL 00000ae6: SUB 00000ae7: DUP6 00000ae8: DUP2 00000ae9: AND 00000aea: PUSH1 0x24 00000aec: DUP4 00000aed: ADD 00000aee: MSTORE 00000aef: DUP5 00000af0: DUP2 00000af1: AND 00000af2: PUSH1 0x44 00000af4: DUP4 00000af5: ADD 00000af6: MSTORE 00000af7: PUSH1 0x64 00000af9: DUP1 00000afa: DUP4 00000afb: ADD 00000afc: DUP6 00000afd: SWAP1 00000afe: MSTORE 00000aff: DUP4 00000b00: MLOAD 00000b01: DUP1 00000b02: DUP5 00000b03: SUB 00000b04: SWAP1 00000b05: SWAP2 00000b06: ADD 00000b07: DUP2 00000b08: MSTORE 00000b09: PUSH1 0x84 00000b0b: SWAP1 00000b0c: SWAP3 00000b0d: ADD 00000b0e: DUP4 00000b0f: MSTORE 00000b10: PUSH1 0x20 00000b12: DUP3 00000b13: ADD 00000b14: DUP1 00000b15: MLOAD 00000b16: PUSH1 0x01 00000b18: PUSH1 0x01 00000b1a: PUSH1 0xe0 00000b1c: SHL 00000b1d: SUB 00000b1e: AND 00000b1f: PUSH4 0x23b872dd 00000b24: PUSH1 0xe0 00000b26: SHL 00000b27: OR 00000b28: DUP2 00000b29: MSTORE 00000b2a: SWAP3 00000b2b: MLOAD 00000b2c: DUP3 00000b2d: MLOAD 00000b2e: PUSH1 0x00 00000b30: SWAP5 00000b31: PUSH1 0x60 00000b33: SWAP5 00000b34: SWAP4 00000b35: DUP11 00000b36: AND 00000b37: SWAP4 00000b38: SWAP3 00000b39: SWAP2 00000b3a: DUP3 00000b3b: SWAP2 00000b3c: SWAP1 00000b3d: DUP1 00000b3e: DUP4 00000b3f: DUP4 00000b40: JUMPDEST 00000b41: PUSH1 0x20 00000b43: DUP4 00000b44: LT 00000b45: PUSH2 0x0b5f 00000b48: JUMPI 00000b49: DUP1 00000b4a: MLOAD 00000b4b: DUP3 00000b4c: MSTORE 00000b4d: PUSH1 0x1f 00000b4f: NOT 00000b50: SWAP1 00000b51: SWAP3 00000b52: ADD 00000b53: SWAP2 00000b54: PUSH1 0x20 00000b56: SWAP2 00000b57: DUP3 00000b58: ADD 00000b59: SWAP2 00000b5a: ADD 00000b5b: PUSH2 0x0b40 00000b5e: JUMP 00000b5f: JUMPDEST 00000b60: PUSH1 0x01 00000b62: DUP4 00000b63: PUSH1 0x20 00000b65: SUB 00000b66: PUSH2 0x0100 00000b69: EXP 00000b6a: SUB 00000b6b: DUP1 00000b6c: NOT 00000b6d: DUP3 00000b6e: MLOAD 00000b6f: AND 00000b70: DUP2 00000b71: DUP5 00000b72: MLOAD 00000b73: AND 00000b74: DUP1 00000b75: DUP3 00000b76: OR 00000b77: DUP6 00000b78: MSTORE 00000b79: POP 00000b7a: POP 00000b7b: POP 00000b7c: POP 00000b7d: POP 00000b7e: POP 00000b7f: SWAP1 00000b80: POP 00000b81: ADD 00000b82: SWAP2 00000b83: POP 00000b84: POP 00000b85: PUSH1 0x00 00000b87: PUSH1 0x40 00000b89: MLOAD 00000b8a: DUP1 00000b8b: DUP4 00000b8c: SUB 00000b8d: DUP2 00000b8e: PUSH1 0x00 00000b90: DUP7 00000b91: GAS 00000b92: CALL 00000b93: SWAP2 00000b94: POP 00000b95: POP 00000b96: RETURNDATASIZE 00000b97: DUP1 00000b98: PUSH1 0x00 00000b9a: DUP2 00000b9b: EQ 00000b9c: PUSH2 0x0bc1 00000b9f: JUMPI 00000ba0: PUSH1 0x40 00000ba2: MLOAD 00000ba3: SWAP2 00000ba4: POP 00000ba5: PUSH1 0x1f 00000ba7: NOT 00000ba8: PUSH1 0x3f 00000baa: RETURNDATASIZE 00000bab: ADD 00000bac: AND 00000bad: DUP3 00000bae: ADD 00000baf: PUSH1 0x40 00000bb1: MSTORE 00000bb2: RETURNDATASIZE 00000bb3: DUP3 00000bb4: MSTORE 00000bb5: RETURNDATASIZE 00000bb6: PUSH1 0x00 00000bb8: PUSH1 0x20 00000bba: DUP5 00000bbb: ADD 00000bbc: RETURNDATACOPY 00000bbd: PUSH2 0x0bc6 00000bc0: JUMP 00000bc1: JUMPDEST 00000bc2: PUSH1 0x60 00000bc4: SWAP2 00000bc5: POP 00000bc6: JUMPDEST 00000bc7: POP 00000bc8: SWAP2 00000bc9: POP 00000bca: SWAP2 00000bcb: POP 00000bcc: DUP2 00000bcd: DUP1 00000bce: ISZERO 00000bcf: PUSH2 0x0bf4 00000bd2: JUMPI 00000bd3: POP 00000bd4: DUP1 00000bd5: MLOAD 00000bd6: ISZERO 00000bd7: DUP1 00000bd8: PUSH2 0x0bf4 00000bdb: JUMPI 00000bdc: POP 00000bdd: DUP1 00000bde: DUP1 00000bdf: PUSH1 0x20 00000be1: ADD 00000be2: SWAP1 00000be3: MLOAD 00000be4: PUSH1 0x20 00000be6: DUP2 00000be7: LT 00000be8: ISZERO 00000be9: PUSH2 0x0bf1 00000bec: JUMPI 00000bed: PUSH1 0x00 00000bef: DUP1 00000bf0: REVERT 00000bf1: JUMPDEST 00000bf2: POP 00000bf3: MLOAD 00000bf4: JUMPDEST 00000bf5: PUSH2 0x0c2f 00000bf8: JUMPI 00000bf9: PUSH1 0x40 00000bfb: MLOAD 00000bfc: PUSH3 0x461bcd 00000c00: PUSH1 0xe5 00000c02: SHL 00000c03: DUP2 00000c04: MSTORE 00000c05: PUSH1 0x04 00000c07: ADD 00000c08: DUP1 00000c09: DUP1 00000c0a: PUSH1 0x20 00000c0c: ADD 00000c0d: DUP3 00000c0e: DUP2 00000c0f: SUB 00000c10: DUP3 00000c11: MSTORE 00000c12: PUSH1 0x24 00000c14: DUP2 00000c15: MSTORE 00000c16: PUSH1 0x20 00000c18: ADD 00000c19: DUP1 00000c1a: PUSH2 0x0e9e 00000c1d: PUSH1 0x24 00000c1f: SWAP2 00000c20: CODECOPY 00000c21: PUSH1 0x40 00000c23: ADD 00000c24: SWAP2 00000c25: POP 00000c26: POP 00000c27: PUSH1 0x40 00000c29: MLOAD 00000c2a: DUP1 00000c2b: SWAP2 00000c2c: SUB 00000c2d: SWAP1 00000c2e: REVERT 00000c2f: JUMPDEST 00000c30: POP 00000c31: POP 00000c32: POP 00000c33: POP 00000c34: POP 00000c35: POP 00000c36: JUMP 00000c37: JUMPDEST 00000c38: PUSH2 0x0c59 00000c3b: PUSH2 0x0c50 00000c3e: DUP3 00000c3f: PUSH2 0x06f5 00000c42: DUP6 00000c43: PUSH8 0x0de0b6b3a7640000 00000c4c: PUSH2 0x0ca2 00000c4f: JUMP 00000c50: JUMPDEST 00000c51: PUSH1 0x02 00000c53: SLOAD 00000c54: SWAP1 00000c55: PUSH2 0x0a77 00000c58: JUMP 00000c59: JUMPDEST 00000c5a: PUSH1 0x02 00000c5c: SSTORE 00000c5d: POP 00000c5e: POP 00000c5f: JUMP 00000c60: JUMPDEST 00000c61: PUSH1 0x00 00000c63: PUSH2 0x0ad1 00000c66: DUP4 00000c67: DUP4 00000c68: PUSH1 0x40 00000c6a: MLOAD 00000c6b: DUP1 00000c6c: PUSH1 0x40 00000c6e: ADD 00000c6f: PUSH1 0x40 00000c71: MSTORE 00000c72: DUP1 00000c73: PUSH1 0x1e 00000c75: DUP2 00000c76: MSTORE 00000c77: PUSH1 0x20 00000c79: ADD 00000c7a: PUSH32 0x536166654d6174683a207375627472616374696f6e206f766572666c6f770000 00000c9b: DUP2 00000c9c: MSTORE 00000c9d: POP 00000c9e: PUSH2 0x0d3d 00000ca1: JUMP 00000ca2: JUMPDEST 00000ca3: PUSH1 0x00 00000ca5: DUP3 00000ca6: PUSH2 0x0cb1 00000ca9: JUMPI 00000caa: POP 00000cab: PUSH1 0x00 00000cad: PUSH2 0x0ad4 00000cb0: JUMP 00000cb1: JUMPDEST 00000cb2: DUP3 00000cb3: DUP3 00000cb4: MUL 00000cb5: DUP3 00000cb6: DUP5 00000cb7: DUP3 00000cb8: DUP2 00000cb9: PUSH2 0x0cbe 00000cbc: JUMPI 00000cbd: INVALID 00000cbe: JUMPDEST 00000cbf: DIV 00000cc0: EQ 00000cc1: PUSH2 0x0ad1 00000cc4: JUMPI 00000cc5: PUSH1 0x40 00000cc7: MLOAD 00000cc8: PUSH3 0x461bcd 00000ccc: PUSH1 0xe5 00000cce: SHL 00000ccf: DUP2 00000cd0: MSTORE 00000cd1: PUSH1 0x04 00000cd3: ADD 00000cd4: DUP1 00000cd5: DUP1 00000cd6: PUSH1 0x20 00000cd8: ADD 00000cd9: DUP3 00000cda: DUP2 00000cdb: SUB 00000cdc: DUP3 00000cdd: MSTORE 00000cde: PUSH1 0x21 00000ce0: DUP2 00000ce1: MSTORE 00000ce2: PUSH1 0x20 00000ce4: ADD 00000ce5: DUP1 00000ce6: PUSH2 0x0e5a 00000ce9: PUSH1 0x21 00000ceb: SWAP2 00000cec: CODECOPY 00000ced: PUSH1 0x40 00000cef: ADD 00000cf0: SWAP2 00000cf1: POP 00000cf2: POP 00000cf3: PUSH1 0x40 00000cf5: MLOAD 00000cf6: DUP1 00000cf7: SWAP2 00000cf8: SUB 00000cf9: SWAP1 00000cfa: REVERT 00000cfb: JUMPDEST 00000cfc: PUSH1 0x00 00000cfe: PUSH2 0x0ad1 00000d01: DUP4 00000d02: DUP4 00000d03: PUSH1 0x40 00000d05: MLOAD 00000d06: DUP1 00000d07: PUSH1 0x40 00000d09: ADD 00000d0a: PUSH1 0x40 00000d0c: MSTORE 00000d0d: DUP1 00000d0e: PUSH1 0x1a 00000d10: DUP2 00000d11: MSTORE 00000d12: PUSH1 0x20 00000d14: ADD 00000d15: PUSH32 0x536166654d6174683a206469766973696f6e206279207a65726f000000000000 00000d36: DUP2 00000d37: MSTORE 00000d38: POP 00000d39: PUSH2 0x0dd4 00000d3c: JUMP 00000d3d: JUMPDEST 00000d3e: PUSH1 0x00 00000d40: DUP2 00000d41: DUP5 00000d42: DUP5 00000d43: GT 00000d44: ISZERO 00000d45: PUSH2 0x0dcc 00000d48: JUMPI 00000d49: PUSH1 0x40 00000d4b: MLOAD 00000d4c: PUSH3 0x461bcd 00000d50: PUSH1 0xe5 00000d52: SHL 00000d53: DUP2 00000d54: MSTORE 00000d55: PUSH1 0x04 00000d57: ADD 00000d58: DUP1 00000d59: DUP1 00000d5a: PUSH1 0x20 00000d5c: ADD 00000d5d: DUP3 00000d5e: DUP2 00000d5f: SUB 00000d60: DUP3 00000d61: MSTORE 00000d62: DUP4 00000d63: DUP2 00000d64: DUP2 00000d65: MLOAD 00000d66: DUP2 00000d67: MSTORE 00000d68: PUSH1 0x20 00000d6a: ADD 00000d6b: SWAP2 00000d6c: POP 00000d6d: DUP1 00000d6e: MLOAD 00000d6f: SWAP1 00000d70: PUSH1 0x20 00000d72: ADD 00000d73: SWAP1 00000d74: DUP1 00000d75: DUP4 00000d76: DUP4 00000d77: PUSH1 0x00 00000d79: JUMPDEST 00000d7a: DUP4 00000d7b: DUP2 00000d7c: LT 00000d7d: ISZERO 00000d7e: PUSH2 0x0d91 00000d81: JUMPI 00000d82: DUP2 00000d83: DUP2 00000d84: ADD 00000d85: MLOAD 00000d86: DUP4 00000d87: DUP3 00000d88: ADD 00000d89: MSTORE 00000d8a: PUSH1 0x20 00000d8c: ADD 00000d8d: PUSH2 0x0d79 00000d90: JUMP 00000d91: JUMPDEST 00000d92: POP 00000d93: POP 00000d94: POP 00000d95: POP 00000d96: SWAP1 00000d97: POP 00000d98: SWAP1 00000d99: DUP2 00000d9a: ADD 00000d9b: SWAP1 00000d9c: PUSH1 0x1f 00000d9e: AND 00000d9f: DUP1 00000da0: ISZERO 00000da1: PUSH2 0x0dbe 00000da4: JUMPI 00000da5: DUP1 00000da6: DUP3 00000da7: SUB 00000da8: DUP1 00000da9: MLOAD 00000daa: PUSH1 0x01 00000dac: DUP4 00000dad: PUSH1 0x20 00000daf: SUB 00000db0: PUSH2 0x0100 00000db3: EXP 00000db4: SUB 00000db5: NOT 00000db6: AND 00000db7: DUP2 00000db8: MSTORE 00000db9: PUSH1 0x20 00000dbb: ADD 00000dbc: SWAP2 00000dbd: POP 00000dbe: JUMPDEST 00000dbf: POP 00000dc0: SWAP3 00000dc1: POP 00000dc2: POP 00000dc3: POP 00000dc4: PUSH1 0x40 00000dc6: MLOAD 00000dc7: DUP1 00000dc8: SWAP2 00000dc9: SUB 00000dca: SWAP1 00000dcb: REVERT 00000dcc: JUMPDEST 00000dcd: POP 00000dce: POP 00000dcf: POP 00000dd0: SWAP1 00000dd1: SUB 00000dd2: SWAP1 00000dd3: JUMP 00000dd4: JUMPDEST 00000dd5: PUSH1 0x00 00000dd7: DUP2 00000dd8: DUP4 00000dd9: PUSH2 0x0e23 00000ddc: JUMPI 00000ddd: PUSH1 0x40 00000ddf: MLOAD 00000de0: PUSH3 0x461bcd 00000de4: PUSH1 0xe5 00000de6: SHL 00000de7: DUP2 00000de8: MSTORE 00000de9: PUSH1 0x20 00000deb: PUSH1 0x04 00000ded: DUP3 00000dee: ADD 00000def: DUP2 00000df0: DUP2 00000df1: MSTORE 00000df2: DUP4 00000df3: MLOAD 00000df4: PUSH1 0x24 00000df6: DUP5 00000df7: ADD 00000df8: MSTORE 00000df9: DUP4 00000dfa: MLOAD 00000dfb: SWAP1 00000dfc: SWAP3 00000dfd: DUP4 00000dfe: SWAP3 00000dff: PUSH1 0x44 00000e01: SWAP1 00000e02: SWAP2 00000e03: ADD 00000e04: SWAP2 00000e05: SWAP1 00000e06: DUP6 00000e07: ADD 00000e08: SWAP1 00000e09: DUP1 00000e0a: DUP4 00000e0b: DUP4 00000e0c: PUSH1 0x00 00000e0e: DUP4 00000e0f: ISZERO 00000e10: PUSH2 0x0d91 00000e13: JUMPI 00000e14: DUP2 00000e15: DUP2 00000e16: ADD 00000e17: MLOAD 00000e18: DUP4 00000e19: DUP3 00000e1a: ADD 00000e1b: MSTORE 00000e1c: PUSH1 0x20 00000e1e: ADD 00000e1f: PUSH2 0x0d79 00000e22: JUMP 00000e23: JUMPDEST 00000e24: POP 00000e25: PUSH1 0x00 00000e27: DUP4 00000e28: DUP6 00000e29: DUP2 00000e2a: PUSH2 0x0e2f 00000e2d: JUMPI 00000e2e: INVALID 00000e2f: JUMPDEST 00000e30: DIV 00000e31: SWAP6 00000e32: SWAP5 00000e33: POP 00000e34: POP 00000e35: POP 00000e36: POP 00000e37: POP 00000e38: JUMP 00000e39: INVALID 00000e3a: MSTORE 00000e3b: PUSH6 0x656e7472616e 00000e42: PUSH4 0x79477561 00000e47: PUSH19 0x643a207265656e7472616e742063616c6c0053 00000e5b: PUSH2 0x6665 00000e5e: UNKNOWN(0x4D) 00000e5f: PUSH2 0x7468 00000e62: GASPRICE 00000e63: KECCAK256 00000e64: PUSH14 0x756c7469706c69636174696f6e20 00000e73: PUSH16 0x766572666c6f775472616e7366657248 00000e84: PUSH6 0x6c7065723a20 00000e8b: GASLIMIT 00000e8c: SLOAD 00000e8d: BASEFEE 00000e8e: PUSH0 00000e8f: SLOAD 00000e90: MSTORE 00000e91: COINBASE 00000e92: UNKNOWN(0x4E) 00000e93: MSTORE8 00000e94: CHAINID 00000e95: GASLIMIT 00000e96: MSTORE 00000e97: PUSH0 00000e98: CHAINID 00000e99: COINBASE 00000e9a: BLOBHASH 00000e9b: UNKNOWN(0x4C) 00000e9c: GASLIMIT 00000e9d: DIFFICULTY 00000e9e: SLOAD 00000e9f: PUSH19 0x616e7366657248656c7065723a205452414e53 00000eb3: CHAINID 00000eb4: GASLIMIT 00000eb5: MSTORE 00000eb6: PUSH0 00000eb7: CHAINID 00000eb8: MSTORE 00000eb9: UNKNOWN(0x4F) 00000eba: UNKNOWN(0x4D) 00000ebb: PUSH0 00000ebc: CHAINID 00000ebd: COINBASE 00000ebe: BLOBHASH 00000ebf: UNKNOWN(0x4C) 00000ec0: GASLIMIT 00000ec1: DIFFICULTY 00000ec2: LOG2 00000ec3: PUSH5 0x6970667358 00000ec9: UNKNOWN(0x22) 00000eca: SLT 00000ecb: KECCAK256 00000ecc: UNKNOWN(0xAA) 00000ecd: UNKNOWN(0x24) 00000ece: PUSH14 0x3f7afa0dbe17b9cd888c6b00170f 00000edd: GAS 00000ede: UNKNOWN(0xE4) 00000edf: ADD 00000ee0: UNKNOWN(0x27) 00000ee1: RETURNDATASIZE 00000ee2: PUSH14 0x8db77b80439621fb7164736f6c63 00000ef1: NUMBER 00000ef2: STOP 00000ef3: MOD 00000ef4: UNKNOWN(0x0C) 00000ef5: STOP 00000ef6: CALLER
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0xbb3ce64d05fc2e3998d15297f60d3788363fbc319a8bf1114baf8df86bb49673
call_targets:
0x6e6a543d755448fc256cfc54eccead4e589477b7
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xbb3ce64d05fc2e3998d15297f60d3788363fbc319a8bf1114baf8df86bb49673",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x6e6a543d755448fc256cfc54eccead4e589477b7"
],
"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": "0x98807d84",
"selector": "0x98807d84",
"calldata_variants": [
"0x98807d84",
"0x98807d840000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa694fc3a",
"selector": "0xa694fc3a",
"calldata_variants": [
"0xa694fc3a",
"0xa694fc3a0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa9a18dda",
"selector": "0xa9a18dda",
"calldata_variants": [
"0xa9a18dda",
"0xa9a18dda0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd0e30db0",
"selector": "0xd0e30db0",
"calldata_variants": [
"0xd0e30db0",
"0xd0e30db00000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3ccfd60b",
"selector": "0x3ccfd60b",
"calldata_variants": [
"0x3ccfd60b",
"0x3ccfd60b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x63bd1d4a",
"selector": "0x63bd1d4a",
"calldata_variants": [
"0x63bd1d4a",
"0x63bd1d4a0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x6b143bb8",
"selector": "0x6b143bb8",
"calldata_variants": [
"0x6b143bb8",
"0x6b143bb80000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8b0e9f3f",
"selector": "0x8b0e9f3f",
"calldata_variants": [
"0x8b0e9f3f",
"0x8b0e9f3f0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 2021,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2333,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2962,
"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: 0xbb3ce64d05fc2e3998d15297f60d3788363fbc319a8bf1114baf8df86bb49673
call_targets:
0x6e6a543d755448fc256cfc54eccead4e589477b7
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xbb3ce64d05fc2e3998d15297f60d3788363fbc319a8bf1114baf8df86bb49673",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x6e6a543d755448fc256cfc54eccead4e589477b7"
],
"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": "0x98807d84",
"selector": "0x98807d84",
"calldata_variants": [
"0x98807d84",
"0x98807d840000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa694fc3a",
"selector": "0xa694fc3a",
"calldata_variants": [
"0xa694fc3a",
"0xa694fc3a0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa9a18dda",
"selector": "0xa9a18dda",
"calldata_variants": [
"0xa9a18dda",
"0xa9a18dda0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd0e30db0",
"selector": "0xd0e30db0",
"calldata_variants": [
"0xd0e30db0",
"0xd0e30db00000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3ccfd60b",
"selector": "0x3ccfd60b",
"calldata_variants": [
"0x3ccfd60b",
"0x3ccfd60b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x63bd1d4a",
"selector": "0x63bd1d4a",
"calldata_variants": [
"0x63bd1d4a",
"0x63bd1d4a0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x6b143bb8",
"selector": "0x6b143bb8",
"calldata_variants": [
"0x6b143bb8",
"0x6b143bb80000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8b0e9f3f",
"selector": "0x8b0e9f3f",
"calldata_variants": [
"0x8b0e9f3f",
"0x8b0e9f3f0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 2021,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2333,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2962,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 3,
"guards_detected": []
}
|