019b477e-d654-7158-bcbd-285f46537b1e
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 |
|---|---|---|---|---|
| 28687 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 28688 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 92933 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 92934 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 92935 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 92936 | 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: DUP2 00000005: DUP2 00000006: MSTORE 00000007: PUSH1 0x04 00000009: SWAP2 0000000a: DUP3 0000000b: CALLDATASIZE 0000000c: LT 0000000d: ISZERO 0000000e: PUSH2 0x002a 00000011: JUMPI 00000012: JUMPDEST 00000013: POP 00000014: POP 00000015: POP 00000016: CALLDATASIZE 00000017: ISZERO 00000018: PUSH2 0x0020 0000001b: JUMPI 0000001c: PUSH1 0x00 0000001e: DUP1 0000001f: REVERT 00000020: JUMPDEST 00000021: PUSH2 0x0028 00000024: PUSH2 0x0b24 00000027: JUMP 00000028: JUMPDEST 00000029: STOP 0000002a: JUMPDEST 0000002b: PUSH1 0x00 0000002d: SWAP3 0000002e: DUP4 0000002f: CALLDATALOAD 00000030: PUSH1 0xe0 00000032: SHR 00000033: SWAP2 00000034: DUP3 00000035: PUSH4 0x0aa88969 0000003a: EQ 0000003b: PUSH2 0x09ea 0000003e: JUMPI 0000003f: POP 00000040: DUP2 00000041: PUSH4 0x1e83409a 00000046: EQ 00000047: PUSH2 0x07ce 0000004a: JUMPI 0000004b: DUP2 0000004c: PUSH4 0x4025feb2 00000051: EQ 00000052: PUSH2 0x0683 00000055: JUMPI 00000056: DUP2 00000057: PUSH4 0x44004cc1 0000005c: EQ 0000005d: PUSH2 0x05df 00000060: JUMPI 00000061: DUP2 00000062: PUSH4 0x4782f779 00000067: EQ 00000068: PUSH2 0x0597 0000006b: JUMPI 0000006c: DUP2 0000006d: PUSH4 0x715018a6 00000072: EQ 00000073: PUSH2 0x053d 00000076: JUMPI 00000077: DUP2 00000078: PUSH4 0x8da5cb5b 0000007d: EQ 0000007e: PUSH2 0x0515 00000081: JUMPI 00000082: DUP2 00000083: PUSH4 0x8e84c481 00000088: EQ 00000089: PUSH2 0x04b2 0000008c: JUMPI 0000008d: DUP2 0000008e: PUSH4 0x97feb926 00000093: EQ 00000094: PUSH2 0x0380 00000097: JUMPI 00000098: DUP4 00000099: DUP3 0000009a: PUSH4 0xc4263203 0000009f: EQ 000000a0: PUSH2 0x01ed 000000a3: JUMPI 000000a4: POP 000000a5: DUP2 000000a6: PUSH4 0xf2fde38b 000000ab: EQ 000000ac: PUSH2 0x011c 000000af: JUMPI 000000b0: POP 000000b1: DUP1 000000b2: PUSH4 0xf6326fb3 000000b7: EQ 000000b8: PUSH2 0x0102 000000bb: JUMPI 000000bc: PUSH4 0xf7888aec 000000c1: EQ 000000c2: PUSH2 0x00cb 000000c5: JUMPI 000000c6: DUP1 000000c7: PUSH2 0x0012 000000ca: JUMP 000000cb: JUMPDEST 000000cc: CALLVALUE 000000cd: PUSH2 0x00fe 000000d0: JUMPI 000000d1: DUP1 000000d2: PUSH1 0x03 000000d4: NOT 000000d5: CALLDATASIZE 000000d6: ADD 000000d7: SLT 000000d8: PUSH2 0x00fe 000000db: JUMPI 000000dc: PUSH1 0x20 000000de: SWAP1 000000df: PUSH2 0x00f7 000000e2: PUSH2 0x00e9 000000e5: PUSH2 0x0a0b 000000e8: JUMP 000000e9: JUMPDEST 000000ea: PUSH2 0x00f1 000000ed: PUSH2 0x0a21 000000f0: JUMP 000000f1: JUMPDEST 000000f2: SWAP1 000000f3: PUSH2 0x0ec3 000000f6: JUMP 000000f7: JUMPDEST 000000f8: SWAP1 000000f9: MLOAD 000000fa: SWAP1 000000fb: DUP2 000000fc: MSTORE 000000fd: RETURN 000000fe: JUMPDEST 000000ff: POP 00000100: DUP1 00000101: REVERT 00000102: JUMPDEST 00000103: DUP3 00000104: DUP1 00000105: PUSH1 0x03 00000107: NOT 00000108: CALLDATASIZE 00000109: ADD 0000010a: SLT 0000010b: PUSH2 0x0119 0000010e: JUMPI 0000010f: PUSH2 0x0116 00000112: PUSH2 0x0b24 00000115: JUMP 00000116: JUMPDEST 00000117: DUP1 00000118: RETURN 00000119: JUMPDEST 0000011a: DUP1 0000011b: REVERT 0000011c: JUMPDEST 0000011d: SWAP1 0000011e: POP 0000011f: CALLVALUE 00000120: PUSH2 0x01e9 00000123: JUMPI 00000124: PUSH1 0x20 00000126: CALLDATASIZE 00000127: PUSH1 0x03 00000129: NOT 0000012a: ADD 0000012b: SLT 0000012c: PUSH2 0x01e9 0000012f: JUMPI 00000130: PUSH2 0x0137 00000133: PUSH2 0x0a0b 00000136: JUMP 00000137: JUMPDEST 00000138: SWAP1 00000139: PUSH2 0x0140 0000013c: PUSH2 0x0a6c 0000013f: JUMP 00000140: JUMPDEST 00000141: PUSH1 0x01 00000143: PUSH1 0x01 00000145: PUSH1 0xa0 00000147: SHL 00000148: SUB 00000149: SWAP2 0000014a: DUP3 0000014b: AND 0000014c: SWAP3 0000014d: DUP4 0000014e: ISZERO 0000014f: PUSH2 0x0197 00000152: JUMPI 00000153: POP 00000154: POP 00000155: PUSH1 0x00 00000157: SLOAD 00000158: DUP3 00000159: PUSH12 0xffffffffffffffffffffffff 00000166: PUSH1 0xa0 00000168: SHL 00000169: DUP3 0000016a: AND 0000016b: OR 0000016c: PUSH1 0x00 0000016e: SSTORE 0000016f: AND 00000170: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0 00000191: PUSH1 0x00 00000193: DUP1 00000194: LOG3 00000195: DUP1 00000196: RETURN 00000197: JUMPDEST 00000198: SWAP1 00000199: PUSH1 0x20 0000019b: PUSH1 0x84 0000019d: SWAP3 0000019e: MLOAD 0000019f: SWAP2 000001a0: PUSH3 0x461bcd 000001a4: PUSH1 0xe5 000001a6: SHL 000001a7: DUP4 000001a8: MSTORE 000001a9: DUP3 000001aa: ADD 000001ab: MSTORE 000001ac: PUSH1 0x26 000001ae: PUSH1 0x24 000001b0: DUP3 000001b1: ADD 000001b2: MSTORE 000001b3: PUSH32 0x4f776e61626c653a206e6577206f776e657220697320746865207a65726f2061 000001d4: PUSH1 0x44 000001d6: DUP3 000001d7: ADD 000001d8: MSTORE 000001d9: PUSH6 0x646472657373 000001e0: PUSH1 0xd0 000001e2: SHL 000001e3: PUSH1 0x64 000001e5: DUP3 000001e6: ADD 000001e7: MSTORE 000001e8: REVERT 000001e9: JUMPDEST 000001ea: DUP3 000001eb: DUP1 000001ec: REVERT 000001ed: JUMPDEST 000001ee: DUP1 000001ef: SWAP2 000001f0: DUP5 000001f1: CALLVALUE 000001f2: PUSH2 0x037c 000001f5: JUMPI 000001f6: PUSH1 0xa0 000001f8: CALLDATASIZE 000001f9: PUSH1 0x03 000001fb: NOT 000001fc: ADD 000001fd: SLT 000001fe: PUSH2 0x037c 00000201: JUMPI 00000202: PUSH2 0x0209 00000205: PUSH2 0x0a0b 00000208: JUMP 00000209: JUMPDEST 0000020a: PUSH2 0x0211 0000020d: PUSH2 0x0a21 00000210: JUMP 00000211: JUMPDEST 00000212: PUSH1 0x44 00000214: CALLDATALOAD 00000215: SWAP4 00000216: PUSH8 0xffffffffffffffff 0000021f: SWAP3 00000220: SWAP2 00000221: PUSH1 0x84 00000223: CALLDATALOAD 00000224: PUSH1 0x64 00000226: CALLDATALOAD 00000227: DUP6 00000228: DUP3 00000229: GT 0000022a: PUSH2 0x0378 0000022d: JUMPI 0000022e: CALLDATASIZE 0000022f: PUSH1 0x23 00000231: DUP4 00000232: ADD 00000233: SLT 00000234: ISZERO 00000235: PUSH2 0x0378 00000238: JUMPI 00000239: DUP2 0000023a: DUP5 0000023b: ADD 0000023c: CALLDATALOAD 0000023d: SWAP6 0000023e: DUP7 0000023f: GT 00000240: PUSH2 0x0378 00000243: JUMPI 00000244: CALLDATASIZE 00000245: PUSH1 0x24 00000247: DUP8 00000248: DUP5 00000249: ADD 0000024a: ADD 0000024b: GT 0000024c: PUSH2 0x0378 0000024f: JUMPI 00000250: PUSH2 0x0257 00000253: PUSH2 0x0a6c 00000256: JUMP 00000257: JUMPDEST 00000258: DUP7 00000259: MLOAD 0000025a: PUSH3 0x7eeac7 0000025e: PUSH1 0xe1 00000260: SHL 00000261: DUP2 00000262: MSTORE 00000263: ADDRESS 00000264: DUP2 00000265: DUP7 00000266: ADD 00000267: SWAP1 00000268: DUP2 00000269: MSTORE 0000026a: PUSH1 0x20 0000026c: DUP2 0000026d: DUP2 0000026e: ADD 0000026f: DUP12 00000270: SWAP1 00000271: MSTORE 00000272: PUSH1 0x01 00000274: PUSH1 0x01 00000276: PUSH1 0xa0 00000278: SHL 00000279: SUB 0000027a: SWAP8 0000027b: DUP9 0000027c: AND 0000027d: SWAP7 0000027e: SWAP3 0000027f: SWAP2 00000280: DUP3 00000281: SWAP1 00000282: DUP2 00000283: SWAP1 00000284: PUSH1 0x40 00000286: ADD 00000287: SUB 00000288: DUP2 00000289: DUP10 0000028a: GAS 0000028b: STATICCALL 0000028c: SWAP1 0000028d: DUP2 0000028e: ISZERO 0000028f: PUSH2 0x036e 00000292: JUMPI 00000293: DUP12 00000294: SWAP2 00000295: PUSH2 0x0332 00000298: JUMPI 00000299: JUMPDEST 0000029a: POP 0000029b: PUSH2 0x02a6 0000029e: SWAP1 0000029f: DUP4 000002a0: GT 000002a1: ISZERO 000002a2: PUSH2 0x0bc6 000002a5: JUMP 000002a6: JUMPDEST 000002a7: DUP5 000002a8: EXTCODESIZE 000002a9: ISZERO 000002aa: PUSH2 0x032e 000002ad: JUMPI 000002ae: DUP7 000002af: DUP11 000002b0: SWAP8 000002b1: PUSH1 0x24 000002b3: DUP10 000002b4: SWAP6 000002b5: PUSH1 0xc4 000002b7: SWAP6 000002b8: DUP13 000002b9: MLOAD 000002ba: SWAP14 000002bb: DUP15 000002bc: SWAP12 000002bd: DUP13 000002be: SWAP11 000002bf: DUP12 000002c0: SWAP9 000002c1: PUSH4 0x79212195 000002c6: PUSH1 0xe1 000002c8: SHL 000002c9: DUP11 000002ca: MSTORE 000002cb: ADDRESS 000002cc: SWAP1 000002cd: DUP11 000002ce: ADD 000002cf: MSTORE 000002d0: AND 000002d1: DUP5 000002d2: DUP9 000002d3: ADD 000002d4: MSTORE 000002d5: PUSH1 0x44 000002d7: DUP8 000002d8: ADD 000002d9: MSTORE 000002da: PUSH1 0x64 000002dc: DUP7 000002dd: ADD 000002de: MSTORE 000002df: PUSH1 0xa0 000002e1: PUSH1 0x84 000002e3: DUP7 000002e4: ADD 000002e5: MSTORE 000002e6: DUP3 000002e7: PUSH1 0xa4 000002e9: DUP7 000002ea: ADD 000002eb: MSTORE 000002ec: ADD 000002ed: DUP5 000002ee: DUP5 000002ef: ADD 000002f0: CALLDATACOPY 000002f1: DUP2 000002f2: DUP2 000002f3: ADD 000002f4: DUP4 000002f5: ADD 000002f6: DUP5 000002f7: SWAP1 000002f8: MSTORE 000002f9: PUSH1 0x1f 000002fb: ADD 000002fc: PUSH1 0x1f 000002fe: NOT 000002ff: AND 00000300: DUP2 00000301: ADD 00000302: SUB 00000303: ADD 00000304: SWAP3 00000305: GAS 00000306: CALL 00000307: SWAP1 00000308: DUP2 00000309: ISZERO 0000030a: PUSH2 0x0325 0000030d: JUMPI 0000030e: POP 0000030f: PUSH2 0x0315 00000312: JUMPI 00000313: POP 00000314: RETURN 00000315: JUMPDEST 00000316: PUSH2 0x031e 00000319: SWAP1 0000031a: PUSH2 0x0b7a 0000031d: JUMP 0000031e: JUMPDEST 0000031f: PUSH2 0x0119 00000322: JUMPI 00000323: DUP1 00000324: RETURN 00000325: JUMPDEST 00000326: MLOAD 00000327: RETURNDATASIZE 00000328: DUP5 00000329: DUP3 0000032a: RETURNDATACOPY 0000032b: RETURNDATASIZE 0000032c: SWAP1 0000032d: REVERT 0000032e: JUMPDEST 0000032f: DUP10 00000330: DUP1 00000331: REVERT 00000332: JUMPDEST 00000333: SWAP11 00000334: POP 00000335: POP 00000336: PUSH1 0x20 00000338: DUP11 00000339: RETURNDATASIZE 0000033a: DUP3 0000033b: GT 0000033c: PUSH2 0x0366 0000033f: JUMPI 00000340: JUMPDEST 00000341: DUP2 00000342: PUSH2 0x034d 00000345: PUSH1 0x20 00000347: SWAP4 00000348: DUP4 00000349: PUSH2 0x0ba4 0000034c: JUMP 0000034d: JUMPDEST 0000034e: DUP2 0000034f: ADD 00000350: SUB 00000351: SLT 00000352: PUSH2 0x0361 00000355: JUMPI 00000356: PUSH2 0x02a6 00000359: DUP12 0000035a: SWAP11 0000035b: MLOAD 0000035c: SWAP1 0000035d: PUSH2 0x0299 00000360: JUMP 00000361: JUMPDEST 00000362: PUSH1 0x00 00000364: DUP1 00000365: REVERT 00000366: JUMPDEST 00000367: RETURNDATASIZE 00000368: SWAP2 00000369: POP 0000036a: PUSH2 0x0340 0000036d: JUMP 0000036e: JUMPDEST 0000036f: DUP10 00000370: MLOAD 00000371: RETURNDATASIZE 00000372: DUP14 00000373: DUP3 00000374: RETURNDATACOPY 00000375: RETURNDATASIZE 00000376: SWAP1 00000377: REVERT 00000378: JUMPDEST 00000379: DUP9 0000037a: DUP1 0000037b: REVERT 0000037c: JUMPDEST 0000037d: POP 0000037e: POP 0000037f: REVERT 00000380: JUMPDEST 00000381: SWAP1 00000382: POP 00000383: CALLVALUE 00000384: PUSH2 0x01e9 00000387: JUMPI 00000388: DUP2 00000389: PUSH1 0x03 0000038b: NOT 0000038c: CALLDATASIZE 0000038d: ADD 0000038e: SLT 0000038f: PUSH2 0x01e9 00000392: JUMPI 00000393: PUSH2 0x039a 00000396: PUSH2 0x0a0b 00000399: JUMP 0000039a: JUMPDEST 0000039b: PUSH1 0x24 0000039d: CALLDATALOAD 0000039e: SWAP2 0000039f: PUSH2 0x03a9 000003a2: DUP4 000003a3: ISZERO 000003a4: ISZERO 000003a5: PUSH2 0x0ac4 000003a8: JUMP 000003a9: JUMPDEST 000003aa: DUP4 000003ab: MLOAD 000003ac: PUSH4 0x70a08231 000003b1: PUSH1 0xe0 000003b3: SHL 000003b4: DUP2 000003b5: MSTORE 000003b6: CALLER 000003b7: SWAP2 000003b8: DUP2 000003b9: ADD 000003ba: SWAP2 000003bb: SWAP1 000003bc: SWAP2 000003bd: MSTORE 000003be: PUSH1 0x01 000003c0: PUSH1 0x01 000003c2: PUSH1 0xa0 000003c4: SHL 000003c5: SUB 000003c6: DUP3 000003c7: AND 000003c8: SWAP4 000003c9: PUSH1 0x20 000003cb: SWAP2 000003cc: DUP3 000003cd: DUP2 000003ce: PUSH1 0x24 000003d0: DUP2 000003d1: DUP10 000003d2: GAS 000003d3: STATICCALL 000003d4: SWAP1 000003d5: DUP2 000003d6: ISZERO 000003d7: PUSH2 0x04a8 000003da: JUMPI 000003db: SWAP1 000003dc: DUP6 000003dd: SWAP2 000003de: DUP9 000003df: SWAP2 000003e0: PUSH2 0x0475 000003e3: JUMPI 000003e4: JUMPDEST 000003e5: POP 000003e6: SWAP4 000003e7: PUSH2 0x0416 000003ea: PUSH2 0x0455 000003ed: SWAP3 000003ee: PUSH32 0x8752a472e571a816aea92eec8dae9baf628e840f4929fbcc2d155e6233ff68a7 0000040f: SWAP7 00000410: LT 00000411: ISZERO 00000412: PUSH2 0x0bc6 00000415: JUMP 00000416: JUMPDEST 00000417: DUP3 00000418: MLOAD 00000419: PUSH4 0x23b872dd 0000041e: PUSH1 0xe0 00000420: SHL 00000421: DUP6 00000422: DUP3 00000423: ADD 00000424: MSTORE 00000425: CALLER 00000426: PUSH1 0x24 00000428: DUP3 00000429: ADD 0000042a: MSTORE 0000042b: ADDRESS 0000042c: PUSH1 0x44 0000042e: DUP3 0000042f: ADD 00000430: MSTORE 00000431: PUSH1 0x64 00000433: DUP1 00000434: DUP3 00000435: ADD 00000436: DUP9 00000437: SWAP1 00000438: MSTORE 00000439: DUP2 0000043a: MSTORE 0000043b: PUSH2 0x044f 0000043e: SWAP1 0000043f: PUSH2 0x0449 00000442: PUSH1 0x84 00000444: DUP3 00000445: PUSH2 0x0ba4 00000448: JUMP 00000449: JUMPDEST 0000044a: DUP9 0000044b: PUSH2 0x0c09 0000044e: JUMP 0000044f: JUMPDEST 00000450: CALLER 00000451: PUSH2 0x0f02 00000454: JUMP 00000455: JUMPDEST 00000456: DUP7 00000457: MSTORE 00000458: PUSH1 0x02 0000045a: DUP3 0000045b: MSTORE 0000045c: DUP1 0000045d: DUP7 0000045e: KECCAK256 0000045f: PUSH2 0x0469 00000462: DUP6 00000463: DUP3 00000464: SLOAD 00000465: PUSH2 0x0b01 00000468: JUMP 00000469: JUMPDEST 0000046a: SWAP1 0000046b: SSTORE 0000046c: MLOAD 0000046d: SWAP3 0000046e: DUP4 0000046f: MSTORE 00000470: CALLER 00000471: SWAP3 00000472: LOG3 00000473: DUP1 00000474: RETURN 00000475: JUMPDEST 00000476: DUP1 00000477: SWAP3 00000478: POP 00000479: DUP5 0000047a: DUP1 0000047b: SWAP3 0000047c: POP 0000047d: RETURNDATASIZE 0000047e: DUP4 0000047f: GT 00000480: PUSH2 0x04a1 00000483: JUMPI 00000484: JUMPDEST 00000485: PUSH2 0x048e 00000488: DUP2 00000489: DUP4 0000048a: PUSH2 0x0ba4 0000048d: JUMP 0000048e: JUMPDEST 0000048f: DUP2 00000490: ADD 00000491: SUB 00000492: SLT 00000493: PUSH2 0x0361 00000496: JUMPI 00000497: MLOAD 00000498: DUP5 00000499: SWAP1 0000049a: PUSH2 0x0416 0000049d: PUSH2 0x03e4 000004a0: JUMP 000004a1: JUMPDEST 000004a2: POP 000004a3: RETURNDATASIZE 000004a4: PUSH2 0x0484 000004a7: JUMP 000004a8: JUMPDEST 000004a9: DUP3 000004aa: MLOAD 000004ab: RETURNDATASIZE 000004ac: DUP10 000004ad: DUP3 000004ae: RETURNDATACOPY 000004af: RETURNDATASIZE 000004b0: SWAP1 000004b1: REVERT 000004b2: JUMPDEST 000004b3: SWAP1 000004b4: POP 000004b5: CALLVALUE 000004b6: PUSH2 0x01e9 000004b9: JUMPI 000004ba: PUSH1 0x20 000004bc: CALLDATASIZE 000004bd: PUSH1 0x03 000004bf: NOT 000004c0: ADD 000004c1: SLT 000004c2: PUSH2 0x01e9 000004c5: JUMPI 000004c6: CALLDATALOAD 000004c7: SWAP1 000004c8: DUP2 000004c9: ISZERO 000004ca: ISZERO 000004cb: DUP1 000004cc: SWAP3 000004cd: SUB 000004ce: PUSH2 0x01e9 000004d1: JUMPI 000004d2: PUSH2 0x04d9 000004d5: PUSH2 0x0a6c 000004d8: JUMP 000004d9: JUMPDEST 000004da: PUSH1 0xff 000004dc: NOT 000004dd: PUSH1 0x03 000004df: SLOAD 000004e0: AND 000004e1: PUSH1 0xff 000004e3: DUP4 000004e4: AND 000004e5: OR 000004e6: PUSH1 0x03 000004e8: SSTORE 000004e9: MLOAD 000004ea: SWAP1 000004eb: DUP2 000004ec: MSTORE 000004ed: PUSH32 0x8a2d6db1ab2df94b4ad7438717df8e95905bb006fb6cb7f6a3e1c31a7b4b412f 0000050e: PUSH1 0x20 00000510: CALLER 00000511: SWAP3 00000512: LOG2 00000513: DUP1 00000514: RETURN 00000515: JUMPDEST 00000516: POP 00000517: POP 00000518: CALLVALUE 00000519: PUSH2 0x00fe 0000051c: JUMPI 0000051d: DUP2 0000051e: PUSH1 0x03 00000520: NOT 00000521: CALLDATASIZE 00000522: ADD 00000523: SLT 00000524: PUSH2 0x00fe 00000527: JUMPI 00000528: SWAP1 00000529: SLOAD 0000052a: SWAP1 0000052b: MLOAD 0000052c: PUSH1 0x01 0000052e: PUSH1 0x01 00000530: PUSH1 0xa0 00000532: SHL 00000533: SUB 00000534: SWAP1 00000535: SWAP2 00000536: AND 00000537: DUP2 00000538: MSTORE 00000539: PUSH1 0x20 0000053b: SWAP1 0000053c: RETURN 0000053d: JUMPDEST 0000053e: DUP4 0000053f: CALLVALUE 00000540: PUSH2 0x0119 00000543: JUMPI 00000544: DUP1 00000545: PUSH1 0x03 00000547: NOT 00000548: CALLDATASIZE 00000549: ADD 0000054a: SLT 0000054b: PUSH2 0x0119 0000054e: JUMPI 0000054f: PUSH2 0x0556 00000552: PUSH2 0x0a6c 00000555: JUMP 00000556: JUMPDEST 00000557: PUSH1 0x00 00000559: DUP1 0000055a: SLOAD 0000055b: PUSH1 0x01 0000055d: PUSH1 0x01 0000055f: PUSH1 0xa0 00000561: SHL 00000562: SUB 00000563: NOT 00000564: DUP2 00000565: AND 00000566: DUP3 00000567: SSTORE 00000568: PUSH1 0x01 0000056a: PUSH1 0x01 0000056c: PUSH1 0xa0 0000056e: SHL 0000056f: SUB 00000570: AND 00000571: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0 00000592: DUP3 00000593: DUP1 00000594: LOG3 00000595: DUP1 00000596: RETURN 00000597: JUMPDEST 00000598: POP 00000599: POP 0000059a: CALLVALUE 0000059b: PUSH2 0x00fe 0000059e: JUMPI 0000059f: CALLDATASIZE 000005a0: PUSH1 0x03 000005a2: NOT 000005a3: ADD 000005a4: SLT 000005a5: PUSH2 0x0119 000005a8: JUMPI 000005a9: PUSH2 0x05b0 000005ac: PUSH2 0x0a0b 000005af: JUMP 000005b0: JUMPDEST 000005b1: PUSH1 0x24 000005b3: CALLDATALOAD 000005b4: PUSH2 0x05bb 000005b7: PUSH2 0x0a6c 000005ba: JUMP 000005bb: JUMPDEST 000005bc: PUSH2 0x05c7 000005bf: SELFBALANCE 000005c0: DUP3 000005c1: GT 000005c2: ISZERO 000005c3: PUSH2 0x0bc6 000005c6: JUMP 000005c7: JUMPDEST 000005c8: DUP1 000005c9: PUSH2 0x05d0 000005cc: JUMPI 000005cd: DUP3 000005ce: DUP1 000005cf: RETURN 000005d0: JUMPDEST 000005d1: PUSH2 0x05d9 000005d4: SWAP2 000005d5: PUSH2 0x0e68 000005d8: JUMP 000005d9: JUMPDEST 000005da: CODESIZE 000005db: DUP1 000005dc: DUP3 000005dd: DUP1 000005de: RETURN 000005df: JUMPDEST 000005e0: SWAP1 000005e1: POP 000005e2: CALLVALUE 000005e3: PUSH2 0x01e9 000005e6: JUMPI 000005e7: PUSH2 0x05ef 000005ea: CALLDATASIZE 000005eb: PUSH2 0x0a37 000005ee: JUMP 000005ef: JUMPDEST 000005f0: SWAP3 000005f1: SWAP1 000005f2: SWAP2 000005f3: PUSH2 0x05fa 000005f6: PUSH2 0x0a6c 000005f9: JUMP 000005fa: JUMPDEST 000005fb: DUP5 000005fc: MLOAD 000005fd: PUSH4 0x70a08231 00000602: PUSH1 0xe0 00000604: SHL 00000605: DUP2 00000606: MSTORE 00000607: ADDRESS 00000608: SWAP3 00000609: DUP2 0000060a: ADD 0000060b: SWAP3 0000060c: SWAP1 0000060d: SWAP3 0000060e: MSTORE 0000060f: PUSH1 0x01 00000611: PUSH1 0x01 00000613: PUSH1 0xa0 00000615: SHL 00000616: SUB 00000617: AND 00000618: SWAP1 00000619: PUSH1 0x20 0000061b: DUP2 0000061c: PUSH1 0x24 0000061e: DUP2 0000061f: DUP6 00000620: GAS 00000621: STATICCALL 00000622: SWAP5 00000623: DUP6 00000624: ISZERO 00000625: PUSH2 0x067a 00000628: JUMPI 00000629: POP 0000062a: DUP6 0000062b: SWAP5 0000062c: PUSH2 0x0645 0000062f: JUMPI 00000630: JUMPDEST 00000631: POP 00000632: PUSH2 0x0640 00000635: PUSH2 0x0116 00000638: SWAP5 00000639: DUP5 0000063a: GT 0000063b: ISZERO 0000063c: PUSH2 0x0bc6 0000063f: JUMP 00000640: JUMPDEST 00000641: PUSH2 0x0e25 00000644: JUMP 00000645: JUMPDEST 00000646: SWAP4 00000647: POP 00000648: PUSH1 0x20 0000064a: DUP5 0000064b: RETURNDATASIZE 0000064c: DUP3 0000064d: GT 0000064e: PUSH2 0x0672 00000651: JUMPI 00000652: JUMPDEST 00000653: DUP2 00000654: PUSH2 0x065f 00000657: PUSH1 0x20 00000659: SWAP4 0000065a: DUP4 0000065b: PUSH2 0x0ba4 0000065e: JUMP 0000065f: JUMPDEST 00000660: DUP2 00000661: ADD 00000662: SUB 00000663: SLT 00000664: PUSH2 0x0361 00000667: JUMPI 00000668: SWAP3 00000669: MLOAD 0000066a: SWAP3 0000066b: PUSH2 0x0640 0000066e: PUSH2 0x0630 00000671: JUMP 00000672: JUMPDEST 00000673: RETURNDATASIZE 00000674: SWAP2 00000675: POP 00000676: PUSH2 0x0652 00000679: JUMP 0000067a: JUMPDEST 0000067b: MLOAD 0000067c: RETURNDATASIZE 0000067d: DUP8 0000067e: DUP3 0000067f: RETURNDATACOPY 00000680: RETURNDATASIZE 00000681: SWAP1 00000682: REVERT 00000683: JUMPDEST 00000684: SWAP2 00000685: SWAP1 00000686: POP 00000687: CALLVALUE 00000688: PUSH2 0x01e9 0000068b: JUMPI 0000068c: PUSH2 0x0694 0000068f: CALLDATASIZE 00000690: PUSH2 0x0a37 00000693: JUMP 00000694: JUMPDEST 00000695: SWAP2 00000696: SWAP1 00000697: PUSH2 0x069e 0000069a: PUSH2 0x0a6c 0000069d: JUMP 0000069e: JUMPDEST 0000069f: DUP4 000006a0: MLOAD 000006a1: PUSH4 0x31a9108f 000006a6: PUSH1 0xe1 000006a8: SHL 000006a9: DUP2 000006aa: MSTORE 000006ab: DUP6 000006ac: DUP2 000006ad: ADD 000006ae: DUP5 000006af: SWAP1 000006b0: MSTORE 000006b1: PUSH1 0x01 000006b3: PUSH1 0x01 000006b5: PUSH1 0xa0 000006b7: SHL 000006b8: SUB 000006b9: SWAP3 000006ba: DUP4 000006bb: AND 000006bc: SWAP3 000006bd: PUSH1 0x20 000006bf: DUP3 000006c0: PUSH1 0x24 000006c2: DUP2 000006c3: DUP8 000006c4: GAS 000006c5: STATICCALL 000006c6: SWAP2 000006c7: DUP3 000006c8: ISZERO 000006c9: PUSH2 0x07c4 000006cc: JUMPI 000006cd: DUP9 000006ce: SWAP3 000006cf: PUSH2 0x0784 000006d2: JUMPI 000006d3: JUMPDEST 000006d4: POP 000006d5: ADDRESS 000006d6: SWAP2 000006d7: AND 000006d8: SUB 000006d9: PUSH2 0x0741 000006dc: JUMPI 000006dd: SWAP1 000006de: DUP6 000006df: SWAP3 000006e0: SWAP2 000006e1: DUP2 000006e2: EXTCODESIZE 000006e3: ISZERO 000006e4: PUSH2 0x073d 000006e7: JUMPI 000006e8: DUP5 000006e9: MLOAD 000006ea: PUSH4 0x21421707 000006ef: PUSH1 0xe1 000006f1: SHL 000006f2: DUP2 000006f3: MSTORE 000006f4: ADDRESS 000006f5: SWAP7 000006f6: DUP2 000006f7: ADD 000006f8: SWAP7 000006f9: DUP8 000006fa: MSTORE 000006fb: PUSH1 0x01 000006fd: PUSH1 0x01 000006ff: PUSH1 0xa0 00000701: SHL 00000702: SUB 00000703: SWAP1 00000704: SWAP2 00000705: AND 00000706: PUSH1 0x20 00000708: DUP8 00000709: ADD 0000070a: MSTORE 0000070b: PUSH1 0x40 0000070d: DUP7 0000070e: ADD 0000070f: SWAP3 00000710: SWAP1 00000711: SWAP3 00000712: MSTORE 00000713: SWAP1 00000714: SWAP4 00000715: DUP5 00000716: SWAP2 00000717: SWAP1 00000718: DUP3 00000719: SWAP1 0000071a: DUP5 0000071b: SWAP1 0000071c: DUP3 0000071d: SWAP1 0000071e: PUSH1 0x60 00000720: ADD 00000721: SUB 00000722: SWAP3 00000723: GAS 00000724: CALL 00000725: SWAP1 00000726: DUP2 00000727: ISZERO 00000728: PUSH2 0x0325 0000072b: JUMPI 0000072c: POP 0000072d: PUSH2 0x0734 00000730: JUMPI 00000731: POP 00000732: DUP1 00000733: RETURN 00000734: JUMPDEST 00000735: PUSH2 0x0116 00000738: SWAP1 00000739: PUSH2 0x0b7a 0000073c: JUMP 0000073d: JUMPDEST 0000073e: DUP4 0000073f: DUP1 00000740: REVERT 00000741: JUMPDEST 00000742: DUP4 00000743: MLOAD 00000744: PUSH3 0x461bcd 00000748: PUSH1 0xe5 0000074a: SHL 0000074b: DUP2 0000074c: MSTORE 0000074d: PUSH1 0x20 0000074f: DUP2 00000750: DUP8 00000751: ADD 00000752: MSTORE 00000753: PUSH1 0x1e 00000755: PUSH1 0x24 00000757: DUP3 00000758: ADD 00000759: MSTORE 0000075a: PUSH32 0x546f6b656e206973206e6f74206f776e656420627920636f6e74726163740000 0000077b: PUSH1 0x44 0000077d: DUP3 0000077e: ADD 0000077f: MSTORE 00000780: PUSH1 0x64 00000782: SWAP1 00000783: REVERT 00000784: JUMPDEST 00000785: SWAP1 00000786: SWAP2 00000787: POP 00000788: PUSH1 0x20 0000078a: DUP2 0000078b: RETURNDATASIZE 0000078c: DUP3 0000078d: GT 0000078e: PUSH2 0x07bc 00000791: JUMPI 00000792: JUMPDEST 00000793: DUP2 00000794: PUSH2 0x079f 00000797: PUSH1 0x20 00000799: SWAP4 0000079a: DUP4 0000079b: PUSH2 0x0ba4 0000079e: JUMP 0000079f: JUMPDEST 000007a0: DUP2 000007a1: ADD 000007a2: SUB 000007a3: SLT 000007a4: PUSH2 0x07b8 000007a7: JUMPI 000007a8: MLOAD 000007a9: DUP2 000007aa: DUP2 000007ab: AND 000007ac: DUP2 000007ad: SUB 000007ae: PUSH2 0x07b8 000007b1: JUMPI 000007b2: SWAP1 000007b3: CODESIZE 000007b4: PUSH2 0x06d3 000007b7: JUMP 000007b8: JUMPDEST 000007b9: DUP8 000007ba: DUP1 000007bb: REVERT 000007bc: JUMPDEST 000007bd: RETURNDATASIZE 000007be: SWAP2 000007bf: POP 000007c0: PUSH2 0x0792 000007c3: JUMP 000007c4: JUMPDEST 000007c5: DUP7 000007c6: MLOAD 000007c7: RETURNDATASIZE 000007c8: DUP11 000007c9: DUP3 000007ca: RETURNDATACOPY 000007cb: RETURNDATASIZE 000007cc: SWAP1 000007cd: REVERT 000007ce: JUMPDEST 000007cf: SWAP1 000007d0: POP 000007d1: CALLVALUE 000007d2: PUSH2 0x01e9 000007d5: JUMPI 000007d6: PUSH1 0x20 000007d8: SWAP1 000007d9: DUP2 000007da: PUSH1 0x03 000007dc: NOT 000007dd: CALLDATASIZE 000007de: ADD 000007df: SLT 000007e0: PUSH2 0x073d 000007e3: JUMPI 000007e4: PUSH2 0x07eb 000007e7: PUSH2 0x0a0b 000007ea: JUMP 000007eb: JUMPDEST 000007ec: SWAP2 000007ed: PUSH1 0xff 000007ef: PUSH1 0x03 000007f1: SLOAD 000007f2: AND 000007f3: ISZERO 000007f4: PUSH2 0x09b7 000007f7: JUMPI 000007f8: PUSH1 0x02 000007fa: PUSH1 0x01 000007fc: SLOAD 000007fd: EQ 000007fe: PUSH2 0x0975 00000801: JUMPI 00000802: PUSH1 0x02 00000804: PUSH1 0x01 00000806: SSTORE 00000807: PUSH1 0x01 00000809: PUSH1 0x01 0000080b: PUSH1 0xa0 0000080d: SHL 0000080e: SUB 0000080f: DUP4 00000810: AND 00000811: SWAP4 00000812: DUP5 00000813: ISZERO 00000814: SWAP4 00000815: DUP5 00000816: ISZERO 00000817: PUSH2 0x0965 0000081a: JUMPI 0000081b: POP 0000081c: CALLER 0000081d: SWAP4 0000081e: JUMPDEST 0000081f: DUP5 00000820: DUP8 00000821: MSTORE 00000822: PUSH1 0x02 00000824: DUP4 00000825: MSTORE 00000826: DUP2 00000827: DUP8 00000828: KECCAK256 00000829: SLOAD 0000082a: SWAP5 0000082b: DUP6 0000082c: ISZERO 0000082d: PUSH2 0x092e 00000830: JUMPI 00000831: DUP8 00000832: MSTORE 00000833: PUSH1 0x02 00000835: DUP4 00000836: MSTORE 00000837: DUP7 00000838: DUP3 00000839: DUP2 0000083a: KECCAK256 0000083b: SSTORE 0000083c: PUSH1 0x00 0000083e: EQ 0000083f: PUSH2 0x0889 00000842: JUMPI 00000843: PUSH32 0xd1c19fbcd4551a5edfb66d43d2e337c04837afda3482b42bdf569a8fccdae5fb 00000864: SWAP3 00000865: POP 00000866: PUSH2 0x0871 00000869: SELFBALANCE 0000086a: DUP6 0000086b: GT 0000086c: ISZERO 0000086d: PUSH2 0x0bc6 00000870: JUMP 00000871: JUMPDEST 00000872: PUSH2 0x087b 00000875: DUP5 00000876: CALLER 00000877: PUSH2 0x0e68 0000087a: JUMP 0000087b: JUMPDEST 0000087c: MLOAD 0000087d: SWAP3 0000087e: DUP4 0000087f: MSTORE 00000880: CALLER 00000881: SWAP3 00000882: LOG3 00000883: PUSH1 0x01 00000885: DUP1 00000886: SSTORE 00000887: DUP1 00000888: RETURN 00000889: JUMPDEST 0000088a: DUP1 0000088b: MLOAD 0000088c: SWAP3 0000088d: PUSH4 0x70a08231 00000892: PUSH1 0xe0 00000894: SHL 00000895: DUP5 00000896: MSTORE 00000897: ADDRESS 00000898: SWAP1 00000899: DUP5 0000089a: ADD 0000089b: MSTORE 0000089c: DUP2 0000089d: DUP4 0000089e: PUSH1 0x24 000008a0: DUP2 000008a1: DUP9 000008a2: GAS 000008a3: STATICCALL 000008a4: SWAP3 000008a5: DUP4 000008a6: ISZERO 000008a7: PUSH2 0x0924 000008aa: JUMPI 000008ab: DUP7 000008ac: SWAP4 000008ad: PUSH2 0x08ef 000008b0: JUMPI 000008b1: JUMPDEST 000008b2: POP 000008b3: PUSH2 0x08df 000008b6: PUSH32 0xd1c19fbcd4551a5edfb66d43d2e337c04837afda3482b42bdf569a8fccdae5fb 000008d7: SWAP4 000008d8: DUP6 000008d9: GT 000008da: ISZERO 000008db: PUSH2 0x0bc6 000008de: JUMP 000008df: JUMPDEST 000008e0: PUSH2 0x08ea 000008e3: DUP5 000008e4: CALLER 000008e5: DUP8 000008e6: PUSH2 0x0e25 000008e9: JUMP 000008ea: JUMPDEST 000008eb: PUSH2 0x087b 000008ee: JUMP 000008ef: JUMPDEST 000008f0: SWAP3 000008f1: POP 000008f2: DUP2 000008f3: DUP4 000008f4: DUP2 000008f5: RETURNDATASIZE 000008f6: DUP4 000008f7: GT 000008f8: PUSH2 0x091d 000008fb: JUMPI 000008fc: JUMPDEST 000008fd: PUSH2 0x0906 00000900: DUP2 00000901: DUP4 00000902: PUSH2 0x0ba4 00000905: JUMP 00000906: JUMPDEST 00000907: DUP2 00000908: ADD 00000909: SUB 0000090a: SLT 0000090b: PUSH2 0x0919 0000090e: JUMPI 0000090f: SWAP2 00000910: MLOAD 00000911: SWAP2 00000912: PUSH2 0x08df 00000915: PUSH2 0x08b1 00000918: JUMP 00000919: JUMPDEST 0000091a: DUP6 0000091b: DUP1 0000091c: REVERT 0000091d: JUMPDEST 0000091e: POP 0000091f: RETURNDATASIZE 00000920: PUSH2 0x08fc 00000923: JUMP 00000924: JUMPDEST 00000925: DUP2 00000926: MLOAD 00000927: RETURNDATASIZE 00000928: DUP9 00000929: DUP3 0000092a: RETURNDATACOPY 0000092b: RETURNDATASIZE 0000092c: SWAP1 0000092d: REVERT 0000092e: JUMPDEST 0000092f: POP 00000930: POP 00000931: MLOAD 00000932: PUSH3 0x461bcd 00000936: PUSH1 0xe5 00000938: SHL 00000939: DUP2 0000093a: MSTORE 0000093b: SWAP2 0000093c: DUP3 0000093d: ADD 0000093e: MSTORE 0000093f: PUSH1 0x11 00000941: PUSH1 0x24 00000943: DUP3 00000944: ADD 00000945: MSTORE 00000946: PUSH17 0x4e6f2066756e647320746f20636c61696d 00000958: PUSH1 0x78 0000095a: SHL 0000095b: PUSH1 0x44 0000095d: DUP3 0000095e: ADD 0000095f: MSTORE 00000960: PUSH1 0x64 00000962: SWAP2 00000963: POP 00000964: REVERT 00000965: JUMPDEST 00000966: PUSH2 0x096f 00000969: SWAP1 0000096a: CALLER 0000096b: PUSH2 0x0f02 0000096e: JUMP 0000096f: JUMPDEST 00000970: SWAP4 00000971: PUSH2 0x081e 00000974: JUMP 00000975: JUMPDEST 00000976: DUP4 00000977: MLOAD 00000978: PUSH3 0x461bcd 0000097c: PUSH1 0xe5 0000097e: SHL 0000097f: DUP2 00000980: MSTORE 00000981: SWAP2 00000982: DUP3 00000983: ADD 00000984: MSTORE 00000985: PUSH1 0x1f 00000987: PUSH1 0x24 00000989: DUP3 0000098a: ADD 0000098b: MSTORE 0000098c: PUSH32 0x5265656e7472616e637947756172643a207265656e7472616e742063616c6c00 000009ad: PUSH1 0x44 000009af: DUP3 000009b0: ADD 000009b1: MSTORE 000009b2: PUSH1 0x64 000009b4: SWAP2 000009b5: POP 000009b6: REVERT 000009b7: JUMPDEST 000009b8: DUP4 000009b9: MLOAD 000009ba: PUSH3 0x461bcd 000009be: PUSH1 0xe5 000009c0: SHL 000009c1: DUP2 000009c2: MSTORE 000009c3: SWAP2 000009c4: DUP3 000009c5: ADD 000009c6: MSTORE 000009c7: PUSH1 0x0e 000009c9: PUSH1 0x24 000009cb: DUP3 000009cc: ADD 000009cd: MSTORE 000009ce: PUSH14 0x436c61696d20696e616374697665 000009dd: PUSH1 0x90 000009df: SHL 000009e0: PUSH1 0x44 000009e2: DUP3 000009e3: ADD 000009e4: MSTORE 000009e5: PUSH1 0x64 000009e7: SWAP2 000009e8: POP 000009e9: REVERT 000009ea: JUMPDEST 000009eb: DUP5 000009ec: SWAP1 000009ed: CALLVALUE 000009ee: PUSH2 0x00fe 000009f1: JUMPI 000009f2: DUP2 000009f3: PUSH1 0x03 000009f5: NOT 000009f6: CALLDATASIZE 000009f7: ADD 000009f8: SLT 000009f9: PUSH2 0x00fe 000009fc: JUMPI 000009fd: PUSH1 0x20 000009ff: SWAP1 00000a00: PUSH1 0xff 00000a02: PUSH1 0x03 00000a04: SLOAD 00000a05: AND 00000a06: ISZERO 00000a07: ISZERO 00000a08: DUP2 00000a09: MSTORE 00000a0a: RETURN 00000a0b: JUMPDEST 00000a0c: PUSH1 0x04 00000a0e: CALLDATALOAD 00000a0f: SWAP1 00000a10: PUSH1 0x01 00000a12: PUSH1 0x01 00000a14: PUSH1 0xa0 00000a16: SHL 00000a17: SUB 00000a18: DUP3 00000a19: AND 00000a1a: DUP3 00000a1b: SUB 00000a1c: PUSH2 0x0361 00000a1f: JUMPI 00000a20: JUMP 00000a21: JUMPDEST 00000a22: PUSH1 0x24 00000a24: CALLDATALOAD 00000a25: SWAP1 00000a26: PUSH1 0x01 00000a28: PUSH1 0x01 00000a2a: PUSH1 0xa0 00000a2c: SHL 00000a2d: SUB 00000a2e: DUP3 00000a2f: AND 00000a30: DUP3 00000a31: SUB 00000a32: PUSH2 0x0361 00000a35: JUMPI 00000a36: JUMP 00000a37: JUMPDEST 00000a38: PUSH1 0x60 00000a3a: SWAP1 00000a3b: PUSH1 0x03 00000a3d: NOT 00000a3e: ADD 00000a3f: SLT 00000a40: PUSH2 0x0361 00000a43: JUMPI 00000a44: PUSH1 0x01 00000a46: PUSH1 0x01 00000a48: PUSH1 0xa0 00000a4a: SHL 00000a4b: SUB 00000a4c: SWAP1 00000a4d: PUSH1 0x04 00000a4f: CALLDATALOAD 00000a50: DUP3 00000a51: DUP2 00000a52: AND 00000a53: DUP2 00000a54: SUB 00000a55: PUSH2 0x0361 00000a58: JUMPI 00000a59: SWAP2 00000a5a: PUSH1 0x24 00000a5c: CALLDATALOAD 00000a5d: SWAP1 00000a5e: DUP2 00000a5f: AND 00000a60: DUP2 00000a61: SUB 00000a62: PUSH2 0x0361 00000a65: JUMPI 00000a66: SWAP1 00000a67: PUSH1 0x44 00000a69: CALLDATALOAD 00000a6a: SWAP1 00000a6b: JUMP 00000a6c: JUMPDEST 00000a6d: PUSH1 0x00 00000a6f: SLOAD 00000a70: PUSH1 0x01 00000a72: PUSH1 0x01 00000a74: PUSH1 0xa0 00000a76: SHL 00000a77: SUB 00000a78: AND 00000a79: CALLER 00000a7a: SUB 00000a7b: PUSH2 0x0a80 00000a7e: JUMPI 00000a7f: JUMP 00000a80: JUMPDEST 00000a81: PUSH1 0x64 00000a83: PUSH1 0x40 00000a85: MLOAD 00000a86: PUSH3 0x461bcd 00000a8a: PUSH1 0xe5 00000a8c: SHL 00000a8d: DUP2 00000a8e: MSTORE 00000a8f: PUSH1 0x20 00000a91: PUSH1 0x04 00000a93: DUP3 00000a94: ADD 00000a95: MSTORE 00000a96: PUSH1 0x20 00000a98: PUSH1 0x24 00000a9a: DUP3 00000a9b: ADD 00000a9c: MSTORE 00000a9d: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572 00000abe: PUSH1 0x44 00000ac0: DUP3 00000ac1: ADD 00000ac2: MSTORE 00000ac3: REVERT 00000ac4: JUMPDEST 00000ac5: ISZERO 00000ac6: PUSH2 0x0acb 00000ac9: JUMPI 00000aca: JUMP 00000acb: JUMPDEST 00000acc: PUSH1 0x40 00000ace: MLOAD 00000acf: PUSH3 0x461bcd 00000ad3: PUSH1 0xe5 00000ad5: SHL 00000ad6: DUP2 00000ad7: MSTORE 00000ad8: PUSH1 0x20 00000ada: PUSH1 0x04 00000adc: DUP3 00000add: ADD 00000ade: MSTORE 00000adf: PUSH1 0x0e 00000ae1: PUSH1 0x24 00000ae3: DUP3 00000ae4: ADD 00000ae5: MSTORE 00000ae6: PUSH14 0x125b9d985b1a5908185b5bdd5b9d 00000af5: PUSH1 0x92 00000af7: SHL 00000af8: PUSH1 0x44 00000afa: DUP3 00000afb: ADD 00000afc: MSTORE 00000afd: PUSH1 0x64 00000aff: SWAP1 00000b00: REVERT 00000b01: JUMPDEST 00000b02: SWAP2 00000b03: SWAP1 00000b04: DUP3 00000b05: ADD 00000b06: DUP1 00000b07: SWAP3 00000b08: GT 00000b09: PUSH2 0x0b0e 00000b0c: JUMPI 00000b0d: JUMP 00000b0e: JUMPDEST 00000b0f: PUSH4 0x4e487b71 00000b14: PUSH1 0xe0 00000b16: SHL 00000b17: PUSH1 0x00 00000b19: MSTORE 00000b1a: PUSH1 0x11 00000b1c: PUSH1 0x04 00000b1e: MSTORE 00000b1f: PUSH1 0x24 00000b21: PUSH1 0x00 00000b23: REVERT 00000b24: JUMPDEST 00000b25: PUSH2 0x0b2f 00000b28: CALLVALUE 00000b29: ISZERO 00000b2a: ISZERO 00000b2b: PUSH2 0x0ac4 00000b2e: JUMP 00000b2f: JUMPDEST 00000b30: CALLER 00000b31: PUSH1 0x00 00000b33: MSTORE 00000b34: PUSH1 0x02 00000b36: PUSH1 0x20 00000b38: MSTORE 00000b39: PUSH1 0x40 00000b3b: PUSH1 0x00 00000b3d: KECCAK256 00000b3e: PUSH2 0x0b48 00000b41: CALLVALUE 00000b42: DUP3 00000b43: SLOAD 00000b44: PUSH2 0x0b01 00000b47: JUMP 00000b48: JUMPDEST 00000b49: SWAP1 00000b4a: SSTORE 00000b4b: PUSH1 0x00 00000b4d: PUSH1 0x40 00000b4f: MLOAD 00000b50: CALLVALUE 00000b51: DUP2 00000b52: MSTORE 00000b53: PUSH32 0x8752a472e571a816aea92eec8dae9baf628e840f4929fbcc2d155e6233ff68a7 00000b74: PUSH1 0x20 00000b76: CALLER 00000b77: SWAP3 00000b78: LOG3 00000b79: JUMP 00000b7a: JUMPDEST 00000b7b: PUSH8 0xffffffffffffffff 00000b84: DUP2 00000b85: GT 00000b86: PUSH2 0x0b8e 00000b89: JUMPI 00000b8a: PUSH1 0x40 00000b8c: MSTORE 00000b8d: JUMP 00000b8e: JUMPDEST 00000b8f: PUSH4 0x4e487b71 00000b94: PUSH1 0xe0 00000b96: SHL 00000b97: PUSH1 0x00 00000b99: MSTORE 00000b9a: PUSH1 0x41 00000b9c: PUSH1 0x04 00000b9e: MSTORE 00000b9f: PUSH1 0x24 00000ba1: PUSH1 0x00 00000ba3: REVERT 00000ba4: JUMPDEST 00000ba5: SWAP1 00000ba6: PUSH1 0x1f 00000ba8: DUP1 00000ba9: NOT 00000baa: SWAP2 00000bab: ADD 00000bac: AND 00000bad: DUP2 00000bae: ADD 00000baf: SWAP1 00000bb0: DUP2 00000bb1: LT 00000bb2: PUSH8 0xffffffffffffffff 00000bbb: DUP3 00000bbc: GT 00000bbd: OR 00000bbe: PUSH2 0x0b8e 00000bc1: JUMPI 00000bc2: PUSH1 0x40 00000bc4: MSTORE 00000bc5: JUMP 00000bc6: JUMPDEST 00000bc7: ISZERO 00000bc8: PUSH2 0x0bcd 00000bcb: JUMPI 00000bcc: JUMP 00000bcd: JUMPDEST 00000bce: PUSH1 0x40 00000bd0: MLOAD 00000bd1: PUSH3 0x461bcd 00000bd5: PUSH1 0xe5 00000bd7: SHL 00000bd8: DUP2 00000bd9: MSTORE 00000bda: PUSH1 0x20 00000bdc: PUSH1 0x04 00000bde: DUP3 00000bdf: ADD 00000be0: MSTORE 00000be1: PUSH1 0x14 00000be3: PUSH1 0x24 00000be5: DUP3 00000be6: ADD 00000be7: MSTORE 00000be8: PUSH20 0x496e73756666696369656e742062616c616e6365 00000bfd: PUSH1 0x60 00000bff: SHL 00000c00: PUSH1 0x44 00000c02: DUP3 00000c03: ADD 00000c04: MSTORE 00000c05: PUSH1 0x64 00000c07: SWAP1 00000c08: REVERT 00000c09: JUMPDEST 00000c0a: PUSH1 0x01 00000c0c: DUP1 00000c0d: PUSH1 0xa0 00000c0f: SHL 00000c10: SUB 00000c11: AND 00000c12: SWAP1 00000c13: PUSH1 0x40 00000c15: MLOAD 00000c16: PUSH1 0x40 00000c18: DUP2 00000c19: ADD 00000c1a: SWAP1 00000c1b: DUP1 00000c1c: DUP3 00000c1d: LT 00000c1e: PUSH8 0xffffffffffffffff 00000c27: DUP4 00000c28: GT 00000c29: OR 00000c2a: PUSH2 0x0b8e 00000c2d: JUMPI 00000c2e: PUSH2 0x0c7b 00000c31: SWAP2 00000c32: PUSH1 0x40 00000c34: MSTORE 00000c35: PUSH1 0x20 00000c37: SWAP4 00000c38: DUP5 00000c39: DUP3 00000c3a: MSTORE 00000c3b: PUSH32 0x5361666545524332303a206c6f772d6c6576656c2063616c6c206661696c6564 00000c5c: DUP6 00000c5d: DUP4 00000c5e: ADD 00000c5f: MSTORE 00000c60: PUSH1 0x00 00000c62: DUP1 00000c63: DUP6 00000c64: DUP8 00000c65: DUP3 00000c66: SWAP8 00000c67: MLOAD 00000c68: SWAP2 00000c69: ADD 00000c6a: DUP3 00000c6b: DUP6 00000c6c: GAS 00000c6d: CALL 00000c6e: PUSH2 0x0c75 00000c71: PUSH2 0x0d11 00000c74: JUMP 00000c75: JUMPDEST 00000c76: SWAP2 00000c77: PUSH2 0x0d51 00000c7a: JUMP 00000c7b: JUMPDEST 00000c7c: DUP1 00000c7d: MLOAD 00000c7e: SWAP2 00000c7f: DUP3 00000c80: ISZERO 00000c81: SWAP2 00000c82: DUP5 00000c83: DUP4 00000c84: ISZERO 00000c85: PUSH2 0x0ced 00000c88: JUMPI 00000c89: JUMPDEST 00000c8a: POP 00000c8b: POP 00000c8c: POP 00000c8d: SWAP1 00000c8e: POP 00000c8f: ISZERO 00000c90: PUSH2 0x0c96 00000c93: JUMPI 00000c94: POP 00000c95: JUMP 00000c96: JUMPDEST 00000c97: PUSH1 0x84 00000c99: SWAP1 00000c9a: PUSH1 0x40 00000c9c: MLOAD 00000c9d: SWAP1 00000c9e: PUSH3 0x461bcd 00000ca2: PUSH1 0xe5 00000ca4: SHL 00000ca5: DUP3 00000ca6: MSTORE 00000ca7: PUSH1 0x04 00000ca9: DUP3 00000caa: ADD 00000cab: MSTORE 00000cac: PUSH1 0x2a 00000cae: PUSH1 0x24 00000cb0: DUP3 00000cb1: ADD 00000cb2: MSTORE 00000cb3: PUSH32 0x5361666545524332303a204552433230206f7065726174696f6e20646964206e 00000cd4: PUSH1 0x44 00000cd6: DUP3 00000cd7: ADD 00000cd8: MSTORE 00000cd9: PUSH10 0x1bdd081cdd58d8d95959 00000ce4: PUSH1 0xb2 00000ce6: SHL 00000ce7: PUSH1 0x64 00000ce9: DUP3 00000cea: ADD 00000ceb: MSTORE 00000cec: REVERT 00000ced: JUMPDEST 00000cee: SWAP2 00000cef: SWAP4 00000cf0: DUP2 00000cf1: DUP1 00000cf2: SWAP5 00000cf3: POP 00000cf4: ADD 00000cf5: SUB 00000cf6: SLT 00000cf7: PUSH2 0x00fe 00000cfa: JUMPI 00000cfb: DUP3 00000cfc: ADD 00000cfd: MLOAD 00000cfe: SWAP1 00000cff: DUP2 00000d00: ISZERO 00000d01: ISZERO 00000d02: DUP3 00000d03: SUB 00000d04: PUSH2 0x0119 00000d07: JUMPI 00000d08: POP 00000d09: DUP1 00000d0a: CODESIZE 00000d0b: DUP1 00000d0c: DUP5 00000d0d: PUSH2 0x0c89 00000d10: JUMP 00000d11: JUMPDEST 00000d12: RETURNDATASIZE 00000d13: ISZERO 00000d14: PUSH2 0x0d4c 00000d17: JUMPI 00000d18: RETURNDATASIZE 00000d19: SWAP1 00000d1a: PUSH8 0xffffffffffffffff 00000d23: DUP3 00000d24: GT 00000d25: PUSH2 0x0b8e 00000d28: JUMPI 00000d29: PUSH1 0x40 00000d2b: MLOAD 00000d2c: SWAP2 00000d2d: PUSH2 0x0d40 00000d30: PUSH1 0x1f 00000d32: DUP3 00000d33: ADD 00000d34: PUSH1 0x1f 00000d36: NOT 00000d37: AND 00000d38: PUSH1 0x20 00000d3a: ADD 00000d3b: DUP5 00000d3c: PUSH2 0x0ba4 00000d3f: JUMP 00000d40: JUMPDEST 00000d41: DUP3 00000d42: MSTORE 00000d43: RETURNDATASIZE 00000d44: PUSH1 0x00 00000d46: PUSH1 0x20 00000d48: DUP5 00000d49: ADD 00000d4a: RETURNDATACOPY 00000d4b: JUMP 00000d4c: JUMPDEST 00000d4d: PUSH1 0x60 00000d4f: SWAP1 00000d50: JUMP 00000d51: JUMPDEST 00000d52: SWAP2 00000d53: SWAP3 00000d54: SWAP1 00000d55: ISZERO 00000d56: PUSH2 0x0db3 00000d59: JUMPI 00000d5a: POP 00000d5b: DUP2 00000d5c: MLOAD 00000d5d: ISZERO 00000d5e: PUSH2 0x0d65 00000d61: JUMPI 00000d62: POP 00000d63: SWAP1 00000d64: JUMP 00000d65: JUMPDEST 00000d66: EXTCODESIZE 00000d67: ISZERO 00000d68: PUSH2 0x0d6e 00000d6b: JUMPI 00000d6c: SWAP1 00000d6d: JUMP 00000d6e: JUMPDEST 00000d6f: PUSH1 0x40 00000d71: MLOAD 00000d72: PUSH3 0x461bcd 00000d76: PUSH1 0xe5 00000d78: SHL 00000d79: DUP2 00000d7a: MSTORE 00000d7b: PUSH1 0x20 00000d7d: PUSH1 0x04 00000d7f: DUP3 00000d80: ADD 00000d81: MSTORE 00000d82: PUSH1 0x1d 00000d84: PUSH1 0x24 00000d86: DUP3 00000d87: ADD 00000d88: MSTORE 00000d89: PUSH32 0x416464726573733a2063616c6c20746f206e6f6e2d636f6e7472616374000000 00000daa: PUSH1 0x44 00000dac: DUP3 00000dad: ADD 00000dae: MSTORE 00000daf: PUSH1 0x64 00000db1: SWAP1 00000db2: REVERT 00000db3: JUMPDEST 00000db4: DUP3 00000db5: MLOAD 00000db6: SWAP1 00000db7: SWAP2 00000db8: POP 00000db9: ISZERO 00000dba: PUSH2 0x0dc6 00000dbd: JUMPI 00000dbe: POP 00000dbf: DUP1 00000dc0: MLOAD 00000dc1: SWAP1 00000dc2: PUSH1 0x20 00000dc4: ADD 00000dc5: REVERT 00000dc6: JUMPDEST 00000dc7: PUSH1 0x40 00000dc9: MLOAD 00000dca: SWAP1 00000dcb: PUSH3 0x461bcd 00000dcf: PUSH1 0xe5 00000dd1: SHL 00000dd2: DUP3 00000dd3: MSTORE 00000dd4: DUP2 00000dd5: PUSH1 0x20 00000dd7: DUP1 00000dd8: PUSH1 0x04 00000dda: DUP4 00000ddb: ADD 00000ddc: MSTORE 00000ddd: DUP3 00000dde: MLOAD 00000ddf: SWAP1 00000de0: DUP2 00000de1: PUSH1 0x24 00000de3: DUP5 00000de4: ADD 00000de5: MSTORE 00000de6: PUSH1 0x00 00000de8: SWAP4 00000de9: JUMPDEST 00000dea: DUP3 00000deb: DUP6 00000dec: LT 00000ded: PUSH2 0x0e0c 00000df0: JUMPI 00000df1: POP 00000df2: POP 00000df3: PUSH1 0x44 00000df5: SWAP3 00000df6: POP 00000df7: PUSH1 0x00 00000df9: DUP4 00000dfa: DUP3 00000dfb: DUP5 00000dfc: ADD 00000dfd: ADD 00000dfe: MSTORE 00000dff: PUSH1 0x1f 00000e01: DUP1 00000e02: NOT 00000e03: SWAP2 00000e04: ADD 00000e05: AND 00000e06: DUP2 00000e07: ADD 00000e08: SUB 00000e09: ADD 00000e0a: SWAP1 00000e0b: REVERT 00000e0c: JUMPDEST 00000e0d: DUP5 00000e0e: DUP2 00000e0f: ADD 00000e10: DUP3 00000e11: ADD 00000e12: MLOAD 00000e13: DUP7 00000e14: DUP7 00000e15: ADD 00000e16: PUSH1 0x44 00000e18: ADD 00000e19: MSTORE 00000e1a: SWAP4 00000e1b: DUP2 00000e1c: ADD 00000e1d: SWAP4 00000e1e: DUP6 00000e1f: SWAP4 00000e20: POP 00000e21: PUSH2 0x0de9 00000e24: JUMP 00000e25: JUMPDEST 00000e26: PUSH1 0x40 00000e28: MLOAD 00000e29: PUSH4 0xa9059cbb 00000e2e: PUSH1 0xe0 00000e30: SHL 00000e31: PUSH1 0x20 00000e33: DUP3 00000e34: ADD 00000e35: MSTORE 00000e36: PUSH1 0x01 00000e38: PUSH1 0x01 00000e3a: PUSH1 0xa0 00000e3c: SHL 00000e3d: SUB 00000e3e: SWAP3 00000e3f: SWAP1 00000e40: SWAP3 00000e41: AND 00000e42: PUSH1 0x24 00000e44: DUP4 00000e45: ADD 00000e46: MSTORE 00000e47: PUSH1 0x44 00000e49: DUP1 00000e4a: DUP4 00000e4b: ADD 00000e4c: SWAP4 00000e4d: SWAP1 00000e4e: SWAP4 00000e4f: MSTORE 00000e50: SWAP2 00000e51: DUP2 00000e52: MSTORE 00000e53: PUSH2 0x0e66 00000e56: SWAP2 00000e57: PUSH2 0x0e61 00000e5a: PUSH1 0x64 00000e5c: DUP4 00000e5d: PUSH2 0x0ba4 00000e60: JUMP 00000e61: JUMPDEST 00000e62: PUSH2 0x0c09 00000e65: JUMP 00000e66: JUMPDEST 00000e67: JUMP 00000e68: JUMPDEST 00000e69: PUSH1 0x00 00000e6b: SWAP2 00000e6c: DUP3 00000e6d: SWAP2 00000e6e: DUP3 00000e6f: SWAP2 00000e70: DUP3 00000e71: SWAP2 00000e72: PUSH1 0x01 00000e74: PUSH1 0x01 00000e76: PUSH1 0xa0 00000e78: SHL 00000e79: SUB 00000e7a: AND 00000e7b: GAS 00000e7c: CALL 00000e7d: PUSH2 0x0e84 00000e80: PUSH2 0x0d11 00000e83: JUMP 00000e84: JUMPDEST 00000e85: POP 00000e86: ISZERO 00000e87: PUSH2 0x0e8c 00000e8a: JUMPI 00000e8b: JUMP 00000e8c: JUMPDEST 00000e8d: PUSH1 0x40 00000e8f: MLOAD 00000e90: PUSH3 0x461bcd 00000e94: PUSH1 0xe5 00000e96: SHL 00000e97: DUP2 00000e98: MSTORE 00000e99: PUSH1 0x20 00000e9b: PUSH1 0x04 00000e9d: DUP3 00000e9e: ADD 00000e9f: MSTORE 00000ea0: PUSH1 0x0f 00000ea2: PUSH1 0x24 00000ea4: DUP3 00000ea5: ADD 00000ea6: MSTORE 00000ea7: PUSH15 0x151c985b9cd9995c8819985a5b1959 00000eb7: PUSH1 0x8a 00000eb9: SHL 00000eba: PUSH1 0x44 00000ebc: DUP3 00000ebd: ADD 00000ebe: MSTORE 00000ebf: PUSH1 0x64 00000ec1: SWAP1 00000ec2: REVERT 00000ec3: JUMPDEST 00000ec4: PUSH1 0x01 00000ec6: PUSH1 0x01 00000ec8: PUSH1 0xa0 00000eca: SHL 00000ecb: SUB 00000ecc: SWAP2 00000ecd: DUP1 00000ece: DUP4 00000ecf: AND 00000ed0: PUSH2 0x0ee6 00000ed3: JUMPI 00000ed4: POP 00000ed5: AND 00000ed6: PUSH1 0x00 00000ed8: MSTORE 00000ed9: PUSH1 0x02 00000edb: PUSH1 0x20 00000edd: MSTORE 00000ede: PUSH1 0x40 00000ee0: PUSH1 0x00 00000ee2: KECCAK256 00000ee3: SLOAD 00000ee4: SWAP1 00000ee5: JUMP 00000ee6: JUMPDEST 00000ee7: SWAP1 00000ee8: PUSH2 0x0ef1 00000eeb: SWAP3 00000eec: POP 00000eed: PUSH2 0x0f02 00000ef0: JUMP 00000ef1: JUMPDEST 00000ef2: PUSH1 0x00 00000ef4: MSTORE 00000ef5: PUSH1 0x02 00000ef7: PUSH1 0x20 00000ef9: MSTORE 00000efa: PUSH1 0x40 00000efc: PUSH1 0x00 00000efe: KECCAK256 00000eff: SLOAD 00000f00: SWAP1 00000f01: JUMP 00000f02: JUMPDEST 00000f03: PUSH1 0x40 00000f05: DUP1 00000f06: MLOAD 00000f07: PUSH1 0x01 00000f09: PUSH1 0x01 00000f0b: PUSH1 0xa0 00000f0d: SHL 00000f0e: SUB 00000f0f: SWAP3 00000f10: DUP4 00000f11: AND 00000f12: PUSH1 0x20 00000f14: DUP3 00000f15: ADD 00000f16: SWAP1 00000f17: DUP2 00000f18: MSTORE 00000f19: SWAP4 00000f1a: SWAP1 00000f1b: SWAP3 00000f1c: AND 00000f1d: DUP3 00000f1e: DUP3 00000f1f: ADD 00000f20: MSTORE 00000f21: DUP2 00000f22: MSTORE 00000f23: PUSH1 0x60 00000f25: DUP2 00000f26: ADD 00000f27: DUP2 00000f28: DUP2 00000f29: LT 00000f2a: PUSH8 0xffffffffffffffff 00000f33: DUP3 00000f34: GT 00000f35: OR 00000f36: PUSH2 0x0b8e 00000f39: JUMPI 00000f3a: PUSH1 0x40 00000f3c: MSTORE 00000f3d: MLOAD 00000f3e: SWAP1 00000f3f: KECCAK256 00000f40: SWAP1 00000f41: JUMP 00000f42: INVALID 00000f43: LOG1 00000f44: PUSH5 0x736f6c6343 00000f4a: STOP 00000f4b: ADDMOD 00000f4c: SLT 00000f4d: STOP 00000f4e: EXP
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0x46b75c3440791cf469ca1d490bb4efc10aff274e683c68731585a054b348581c
call_targets:
0x49d8bf758d272fb5a593308c0bc76a81195076aa
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x46b75c3440791cf469ca1d490bb4efc10aff274e683c68731585a054b348581c",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x49d8bf758d272fb5a593308c0bc76a81195076aa"
],
"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": "0x0aa88969",
"selector": "0x0aa88969",
"calldata_variants": [
"0x0aa88969",
"0x0aa889690000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x1e83409a",
"selector": "0x1e83409a",
"calldata_variants": [
"0x1e83409a",
"0x1e83409a0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x4025feb2",
"selector": "0x4025feb2",
"calldata_variants": [
"0x4025feb2",
"0x4025feb20000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x44004cc1",
"selector": "0x44004cc1",
"calldata_variants": [
"0x44004cc1",
"0x44004cc10000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x4782f779",
"selector": "0x4782f779",
"calldata_variants": [
"0x4782f779",
"0x4782f7790000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x715018a6",
"selector": "0x715018a6",
"calldata_variants": [
"0x715018a6",
"0x715018a60000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8e84c481",
"selector": "0x8e84c481",
"calldata_variants": [
"0x8e84c481",
"0x8e84c4810000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 774,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1828,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 3181,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 4,
"guards_detected": [],
"untrusted_call_count": 4
}
|
| high | other | detector | ETH value transfer possible | 55 | no | no |
viewtrace_id: 0x46b75c3440791cf469ca1d490bb4efc10aff274e683c68731585a054b348581c
call_targets:
0x49d8bf758d272fb5a593308c0bc76a81195076aa
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x46b75c3440791cf469ca1d490bb4efc10aff274e683c68731585a054b348581c",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x49d8bf758d272fb5a593308c0bc76a81195076aa"
],
"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": "0x0aa88969",
"selector": "0x0aa88969",
"calldata_variants": [
"0x0aa88969",
"0x0aa889690000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x1e83409a",
"selector": "0x1e83409a",
"calldata_variants": [
"0x1e83409a",
"0x1e83409a0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x4025feb2",
"selector": "0x4025feb2",
"calldata_variants": [
"0x4025feb2",
"0x4025feb20000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x44004cc1",
"selector": "0x44004cc1",
"calldata_variants": [
"0x44004cc1",
"0x44004cc10000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x4782f779",
"selector": "0x4782f779",
"calldata_variants": [
"0x4782f779",
"0x4782f7790000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x715018a6",
"selector": "0x715018a6",
"calldata_variants": [
"0x715018a6",
"0x715018a60000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8e84c481",
"selector": "0x8e84c481",
"calldata_variants": [
"0x8e84c481",
"0x8e84c4810000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 774,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1828,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 3181,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 4,
"guards_detected": []
}
|