019b477e-c37f-73d5-b160-3965d0e7591d
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 |
|---|---|---|---|---|
| 25231 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 25232 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 68210 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 68211 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 68212 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 68213 | 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 0x009c 0000000c: JUMPI 0000000d: PUSH1 0x00 0000000f: CALLDATALOAD 00000010: PUSH1 0xe0 00000012: SHR 00000013: DUP1 00000014: PUSH4 0x77e176af 00000019: GT 0000001a: PUSH2 0x0064 0000001d: JUMPI 0000001e: DUP1 0000001f: PUSH4 0x77e176af 00000024: EQ 00000025: PUSH2 0x0174 00000028: JUMPI 00000029: DUP1 0000002a: PUSH4 0x8da5cb5b 0000002f: EQ 00000030: PUSH2 0x019f 00000033: JUMPI 00000034: DUP1 00000035: PUSH4 0x9b9df897 0000003a: EQ 0000003b: PUSH2 0x01ca 0000003e: JUMPI 0000003f: DUP1 00000040: PUSH4 0xa0712d68 00000045: EQ 00000046: PUSH2 0x01f3 00000049: JUMPI 0000004a: DUP1 0000004b: PUSH4 0xe423a511 00000050: EQ 00000051: PUSH2 0x020f 00000054: JUMPI 00000055: DUP1 00000056: PUSH4 0xf2fde38b 0000005b: EQ 0000005c: PUSH2 0x0238 0000005f: JUMPI 00000060: PUSH2 0x009c 00000063: JUMP 00000064: JUMPDEST 00000065: DUP1 00000066: PUSH4 0x27c12aef 0000006b: EQ 0000006c: PUSH2 0x00a1 0000006f: JUMPI 00000070: DUP1 00000071: PUSH4 0x38383574 00000076: EQ 00000077: PUSH2 0x00cc 0000007a: JUMPI 0000007b: DUP1 0000007c: PUSH4 0x4c09285f 00000081: EQ 00000082: PUSH2 0x00f5 00000085: JUMPI 00000086: DUP1 00000087: PUSH4 0x715018a6 0000008c: EQ 0000008d: PUSH2 0x0120 00000090: JUMPI 00000091: DUP1 00000092: PUSH4 0x729ad39e 00000097: EQ 00000098: PUSH2 0x0137 0000009b: JUMPI 0000009c: JUMPDEST 0000009d: PUSH1 0x00 0000009f: DUP1 000000a0: REVERT 000000a1: JUMPDEST 000000a2: CALLVALUE 000000a3: DUP1 000000a4: ISZERO 000000a5: PUSH2 0x00ad 000000a8: JUMPI 000000a9: PUSH1 0x00 000000ab: DUP1 000000ac: REVERT 000000ad: JUMPDEST 000000ae: POP 000000af: PUSH2 0x00b6 000000b2: PUSH2 0x0261 000000b5: JUMP 000000b6: JUMPDEST 000000b7: PUSH1 0x40 000000b9: MLOAD 000000ba: PUSH2 0x00c3 000000bd: SWAP2 000000be: SWAP1 000000bf: PUSH2 0x0b64 000000c2: JUMP 000000c3: JUMPDEST 000000c4: PUSH1 0x40 000000c6: MLOAD 000000c7: DUP1 000000c8: SWAP2 000000c9: SUB 000000ca: SWAP1 000000cb: RETURN 000000cc: JUMPDEST 000000cd: CALLVALUE 000000ce: DUP1 000000cf: ISZERO 000000d0: PUSH2 0x00d8 000000d3: JUMPI 000000d4: PUSH1 0x00 000000d6: DUP1 000000d7: REVERT 000000d8: JUMPDEST 000000d9: POP 000000da: PUSH2 0x00f3 000000dd: PUSH1 0x04 000000df: DUP1 000000e0: CALLDATASIZE 000000e1: SUB 000000e2: DUP2 000000e3: ADD 000000e4: SWAP1 000000e5: PUSH2 0x00ee 000000e8: SWAP2 000000e9: SWAP1 000000ea: PUSH2 0x0bb5 000000ed: JUMP 000000ee: JUMPDEST 000000ef: PUSH2 0x0269 000000f2: JUMP 000000f3: JUMPDEST 000000f4: STOP 000000f5: JUMPDEST 000000f6: CALLVALUE 000000f7: DUP1 000000f8: ISZERO 000000f9: PUSH2 0x0101 000000fc: JUMPI 000000fd: PUSH1 0x00 000000ff: DUP1 00000100: REVERT 00000101: JUMPDEST 00000102: POP 00000103: PUSH2 0x010a 00000106: PUSH2 0x02ef 00000109: JUMP 0000010a: JUMPDEST 0000010b: PUSH1 0x40 0000010d: MLOAD 0000010e: PUSH2 0x0117 00000111: SWAP2 00000112: SWAP1 00000113: PUSH2 0x0b64 00000116: JUMP 00000117: JUMPDEST 00000118: PUSH1 0x40 0000011a: MLOAD 0000011b: DUP1 0000011c: SWAP2 0000011d: SUB 0000011e: SWAP1 0000011f: RETURN 00000120: JUMPDEST 00000121: CALLVALUE 00000122: DUP1 00000123: ISZERO 00000124: PUSH2 0x012c 00000127: JUMPI 00000128: PUSH1 0x00 0000012a: DUP1 0000012b: REVERT 0000012c: JUMPDEST 0000012d: POP 0000012e: PUSH2 0x0135 00000131: PUSH2 0x02f9 00000134: JUMP 00000135: JUMPDEST 00000136: STOP 00000137: JUMPDEST 00000138: CALLVALUE 00000139: DUP1 0000013a: ISZERO 0000013b: PUSH2 0x0143 0000013e: JUMPI 0000013f: PUSH1 0x00 00000141: DUP1 00000142: REVERT 00000143: JUMPDEST 00000144: POP 00000145: PUSH2 0x015e 00000148: PUSH1 0x04 0000014a: DUP1 0000014b: CALLDATASIZE 0000014c: SUB 0000014d: DUP2 0000014e: ADD 0000014f: SWAP1 00000150: PUSH2 0x0159 00000153: SWAP2 00000154: SWAP1 00000155: PUSH2 0x0c47 00000158: JUMP 00000159: JUMPDEST 0000015a: PUSH2 0x0381 0000015d: JUMP 0000015e: JUMPDEST 0000015f: PUSH1 0x40 00000161: MLOAD 00000162: PUSH2 0x016b 00000165: SWAP2 00000166: SWAP1 00000167: PUSH2 0x0caf 0000016a: JUMP 0000016b: JUMPDEST 0000016c: PUSH1 0x40 0000016e: MLOAD 0000016f: DUP1 00000170: SWAP2 00000171: SUB 00000172: SWAP1 00000173: RETURN 00000174: JUMPDEST 00000175: CALLVALUE 00000176: DUP1 00000177: ISZERO 00000178: PUSH2 0x0180 0000017b: JUMPI 0000017c: PUSH1 0x00 0000017e: DUP1 0000017f: REVERT 00000180: JUMPDEST 00000181: POP 00000182: PUSH2 0x0189 00000185: PUSH2 0x04df 00000188: JUMP 00000189: JUMPDEST 0000018a: PUSH1 0x40 0000018c: MLOAD 0000018d: PUSH2 0x0196 00000190: SWAP2 00000191: SWAP1 00000192: PUSH2 0x0b64 00000195: JUMP 00000196: JUMPDEST 00000197: PUSH1 0x40 00000199: MLOAD 0000019a: DUP1 0000019b: SWAP2 0000019c: SUB 0000019d: SWAP1 0000019e: RETURN 0000019f: JUMPDEST 000001a0: CALLVALUE 000001a1: DUP1 000001a2: ISZERO 000001a3: PUSH2 0x01ab 000001a6: JUMPI 000001a7: PUSH1 0x00 000001a9: DUP1 000001aa: REVERT 000001ab: JUMPDEST 000001ac: POP 000001ad: PUSH2 0x01b4 000001b0: PUSH2 0x04e9 000001b3: JUMP 000001b4: JUMPDEST 000001b5: PUSH1 0x40 000001b7: MLOAD 000001b8: PUSH2 0x01c1 000001bb: SWAP2 000001bc: SWAP1 000001bd: PUSH2 0x0d0b 000001c0: JUMP 000001c1: JUMPDEST 000001c2: PUSH1 0x40 000001c4: MLOAD 000001c5: DUP1 000001c6: SWAP2 000001c7: SUB 000001c8: SWAP1 000001c9: RETURN 000001ca: JUMPDEST 000001cb: CALLVALUE 000001cc: DUP1 000001cd: ISZERO 000001ce: PUSH2 0x01d6 000001d1: JUMPI 000001d2: PUSH1 0x00 000001d4: DUP1 000001d5: REVERT 000001d6: JUMPDEST 000001d7: POP 000001d8: PUSH2 0x01f1 000001db: PUSH1 0x04 000001dd: DUP1 000001de: CALLDATASIZE 000001df: SUB 000001e0: DUP2 000001e1: ADD 000001e2: SWAP1 000001e3: PUSH2 0x01ec 000001e6: SWAP2 000001e7: SWAP1 000001e8: PUSH2 0x0d64 000001eb: JUMP 000001ec: JUMPDEST 000001ed: PUSH2 0x0512 000001f0: JUMP 000001f1: JUMPDEST 000001f2: STOP 000001f3: JUMPDEST 000001f4: PUSH2 0x020d 000001f7: PUSH1 0x04 000001f9: DUP1 000001fa: CALLDATASIZE 000001fb: SUB 000001fc: DUP2 000001fd: ADD 000001fe: SWAP1 000001ff: PUSH2 0x0208 00000202: SWAP2 00000203: SWAP1 00000204: PUSH2 0x0bb5 00000207: JUMP 00000208: JUMPDEST 00000209: PUSH2 0x05de 0000020c: JUMP 0000020d: JUMPDEST 0000020e: STOP 0000020f: JUMPDEST 00000210: CALLVALUE 00000211: DUP1 00000212: ISZERO 00000213: PUSH2 0x021b 00000216: JUMPI 00000217: PUSH1 0x00 00000219: DUP1 0000021a: REVERT 0000021b: JUMPDEST 0000021c: POP 0000021d: PUSH2 0x0236 00000220: PUSH1 0x04 00000222: DUP1 00000223: CALLDATASIZE 00000224: SUB 00000225: DUP2 00000226: ADD 00000227: SWAP1 00000228: PUSH2 0x0231 0000022b: SWAP2 0000022c: SWAP1 0000022d: PUSH2 0x0bb5 00000230: JUMP 00000231: JUMPDEST 00000232: PUSH2 0x08d5 00000235: JUMP 00000236: JUMPDEST 00000237: STOP 00000238: JUMPDEST 00000239: CALLVALUE 0000023a: DUP1 0000023b: ISZERO 0000023c: PUSH2 0x0244 0000023f: JUMPI 00000240: PUSH1 0x00 00000242: DUP1 00000243: REVERT 00000244: JUMPDEST 00000245: POP 00000246: PUSH2 0x025f 00000249: PUSH1 0x04 0000024b: DUP1 0000024c: CALLDATASIZE 0000024d: SUB 0000024e: DUP2 0000024f: ADD 00000250: SWAP1 00000251: PUSH2 0x025a 00000254: SWAP2 00000255: SWAP1 00000256: PUSH2 0x0dbd 00000259: JUMP 0000025a: JUMPDEST 0000025b: PUSH2 0x095b 0000025e: JUMP 0000025f: JUMPDEST 00000260: STOP 00000261: JUMPDEST 00000262: PUSH1 0x00 00000264: SELFBALANCE 00000265: SWAP1 00000266: POP 00000267: SWAP1 00000268: JUMP 00000269: JUMPDEST 0000026a: PUSH2 0x0271 0000026d: PUSH2 0x0a53 00000270: JUMP 00000271: JUMPDEST 00000272: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000287: AND 00000288: PUSH2 0x028f 0000028b: PUSH2 0x04e9 0000028e: JUMP 0000028f: JUMPDEST 00000290: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000002a5: AND 000002a6: EQ 000002a7: PUSH2 0x02e5 000002aa: JUMPI 000002ab: PUSH1 0x40 000002ad: MLOAD 000002ae: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000002cf: DUP2 000002d0: MSTORE 000002d1: PUSH1 0x04 000002d3: ADD 000002d4: PUSH2 0x02dc 000002d7: SWAP1 000002d8: PUSH2 0x0e47 000002db: JUMP 000002dc: JUMPDEST 000002dd: PUSH1 0x40 000002df: MLOAD 000002e0: DUP1 000002e1: SWAP2 000002e2: SUB 000002e3: SWAP1 000002e4: REVERT 000002e5: JUMPDEST 000002e6: DUP1 000002e7: PUSH1 0x03 000002e9: DUP2 000002ea: SWAP1 000002eb: SSTORE 000002ec: POP 000002ed: POP 000002ee: JUMP 000002ef: JUMPDEST 000002f0: PUSH1 0x00 000002f2: PUSH1 0x02 000002f4: SLOAD 000002f5: SWAP1 000002f6: POP 000002f7: SWAP1 000002f8: JUMP 000002f9: JUMPDEST 000002fa: PUSH2 0x0301 000002fd: PUSH2 0x0a53 00000300: JUMP 00000301: JUMPDEST 00000302: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000317: AND 00000318: PUSH2 0x031f 0000031b: PUSH2 0x04e9 0000031e: JUMP 0000031f: JUMPDEST 00000320: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000335: AND 00000336: EQ 00000337: PUSH2 0x0375 0000033a: JUMPI 0000033b: PUSH1 0x40 0000033d: MLOAD 0000033e: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 0000035f: DUP2 00000360: MSTORE 00000361: PUSH1 0x04 00000363: ADD 00000364: PUSH2 0x036c 00000367: SWAP1 00000368: PUSH2 0x0e47 0000036b: JUMP 0000036c: JUMPDEST 0000036d: PUSH1 0x40 0000036f: MLOAD 00000370: DUP1 00000371: SWAP2 00000372: SUB 00000373: SWAP1 00000374: REVERT 00000375: JUMPDEST 00000376: PUSH2 0x037f 00000379: PUSH1 0x00 0000037b: PUSH2 0x0a5b 0000037e: JUMP 0000037f: JUMPDEST 00000380: JUMP 00000381: JUMPDEST 00000382: PUSH1 0x00 00000384: PUSH2 0x038b 00000387: PUSH2 0x0a53 0000038a: JUMP 0000038b: JUMPDEST 0000038c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000003a1: AND 000003a2: PUSH2 0x03a9 000003a5: PUSH2 0x04e9 000003a8: JUMP 000003a9: JUMPDEST 000003aa: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000003bf: AND 000003c0: EQ 000003c1: PUSH2 0x03ff 000003c4: JUMPI 000003c5: PUSH1 0x40 000003c7: MLOAD 000003c8: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000003e9: DUP2 000003ea: MSTORE 000003eb: PUSH1 0x04 000003ed: ADD 000003ee: PUSH2 0x03f6 000003f1: SWAP1 000003f2: PUSH2 0x0e47 000003f5: JUMP 000003f6: JUMPDEST 000003f7: PUSH1 0x40 000003f9: MLOAD 000003fa: DUP1 000003fb: SWAP2 000003fc: SUB 000003fd: SWAP1 000003fe: REVERT 000003ff: JUMPDEST 00000400: PUSH1 0x00 00000402: JUMPDEST 00000403: DUP4 00000404: DUP4 00000405: SWAP1 00000406: POP 00000407: DUP2 00000408: LT 00000409: ISZERO 0000040a: PUSH2 0x04d4 0000040d: JUMPI 0000040e: PUSH1 0x01 00000410: PUSH1 0x00 00000412: SWAP1 00000413: SLOAD 00000414: SWAP1 00000415: PUSH2 0x0100 00000418: EXP 00000419: SWAP1 0000041a: DIV 0000041b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000430: AND 00000431: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000446: AND 00000447: PUSH4 0x6a627842 0000044c: DUP6 0000044d: DUP6 0000044e: DUP5 0000044f: DUP2 00000450: DUP2 00000451: LT 00000452: PUSH2 0x045e 00000455: JUMPI 00000456: PUSH2 0x045d 00000459: PUSH2 0x0e67 0000045c: JUMP 0000045d: JUMPDEST 0000045e: JUMPDEST 0000045f: SWAP1 00000460: POP 00000461: PUSH1 0x20 00000463: MUL 00000464: ADD 00000465: PUSH1 0x20 00000467: DUP2 00000468: ADD 00000469: SWAP1 0000046a: PUSH2 0x0473 0000046d: SWAP2 0000046e: SWAP1 0000046f: PUSH2 0x0dbd 00000472: JUMP 00000473: JUMPDEST 00000474: PUSH1 0x40 00000476: MLOAD 00000477: DUP3 00000478: PUSH4 0xffffffff 0000047d: AND 0000047e: PUSH1 0xe0 00000480: SHL 00000481: DUP2 00000482: MSTORE 00000483: PUSH1 0x04 00000485: ADD 00000486: PUSH2 0x048f 00000489: SWAP2 0000048a: SWAP1 0000048b: PUSH2 0x0d0b 0000048e: JUMP 0000048f: JUMPDEST 00000490: PUSH1 0x00 00000492: PUSH1 0x40 00000494: MLOAD 00000495: DUP1 00000496: DUP4 00000497: SUB 00000498: DUP2 00000499: PUSH1 0x00 0000049b: DUP8 0000049c: DUP1 0000049d: EXTCODESIZE 0000049e: ISZERO 0000049f: DUP1 000004a0: ISZERO 000004a1: PUSH2 0x04a9 000004a4: JUMPI 000004a5: PUSH1 0x00 000004a7: DUP1 000004a8: REVERT 000004a9: JUMPDEST 000004aa: POP 000004ab: GAS 000004ac: CALL 000004ad: ISZERO 000004ae: DUP1 000004af: ISZERO 000004b0: PUSH2 0x04bd 000004b3: JUMPI 000004b4: RETURNDATASIZE 000004b5: PUSH1 0x00 000004b7: DUP1 000004b8: RETURNDATACOPY 000004b9: RETURNDATASIZE 000004ba: PUSH1 0x00 000004bc: REVERT 000004bd: JUMPDEST 000004be: POP 000004bf: POP 000004c0: POP 000004c1: POP 000004c2: DUP1 000004c3: DUP1 000004c4: PUSH2 0x04cc 000004c7: SWAP1 000004c8: PUSH2 0x0ec5 000004cb: JUMP 000004cc: JUMPDEST 000004cd: SWAP2 000004ce: POP 000004cf: POP 000004d0: PUSH2 0x0402 000004d3: JUMP 000004d4: JUMPDEST 000004d5: PUSH1 0x01 000004d7: SWAP2 000004d8: POP 000004d9: POP 000004da: SWAP3 000004db: SWAP2 000004dc: POP 000004dd: POP 000004de: JUMP 000004df: JUMPDEST 000004e0: PUSH1 0x00 000004e2: PUSH1 0x03 000004e4: SLOAD 000004e5: SWAP1 000004e6: POP 000004e7: SWAP1 000004e8: JUMP 000004e9: JUMPDEST 000004ea: PUSH1 0x00 000004ec: DUP1 000004ed: PUSH1 0x00 000004ef: SWAP1 000004f0: SLOAD 000004f1: SWAP1 000004f2: PUSH2 0x0100 000004f5: EXP 000004f6: SWAP1 000004f7: DIV 000004f8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000050d: AND 0000050e: SWAP1 0000050f: POP 00000510: SWAP1 00000511: JUMP 00000512: JUMPDEST 00000513: PUSH2 0x051a 00000516: PUSH2 0x0a53 00000519: JUMP 0000051a: JUMPDEST 0000051b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000530: AND 00000531: PUSH2 0x0538 00000534: PUSH2 0x04e9 00000537: JUMP 00000538: JUMPDEST 00000539: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000054e: AND 0000054f: EQ 00000550: PUSH2 0x058e 00000553: JUMPI 00000554: PUSH1 0x40 00000556: MLOAD 00000557: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000578: DUP2 00000579: MSTORE 0000057a: PUSH1 0x04 0000057c: ADD 0000057d: PUSH2 0x0585 00000580: SWAP1 00000581: PUSH2 0x0e47 00000584: JUMP 00000585: JUMPDEST 00000586: PUSH1 0x40 00000588: MLOAD 00000589: DUP1 0000058a: SWAP2 0000058b: SUB 0000058c: SWAP1 0000058d: REVERT 0000058e: JUMPDEST 0000058f: PUSH1 0x00 00000591: SELFBALANCE 00000592: SWAP1 00000593: POP 00000594: DUP2 00000595: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000005aa: AND 000005ab: PUSH2 0x08fc 000005ae: DUP3 000005af: SWAP1 000005b0: DUP2 000005b1: ISZERO 000005b2: MUL 000005b3: SWAP1 000005b4: PUSH1 0x40 000005b6: MLOAD 000005b7: PUSH1 0x00 000005b9: PUSH1 0x40 000005bb: MLOAD 000005bc: DUP1 000005bd: DUP4 000005be: SUB 000005bf: DUP2 000005c0: DUP6 000005c1: DUP9 000005c2: DUP9 000005c3: CALL 000005c4: SWAP4 000005c5: POP 000005c6: POP 000005c7: POP 000005c8: POP 000005c9: ISZERO 000005ca: DUP1 000005cb: ISZERO 000005cc: PUSH2 0x05d9 000005cf: JUMPI 000005d0: RETURNDATASIZE 000005d1: PUSH1 0x00 000005d3: DUP1 000005d4: RETURNDATACOPY 000005d5: RETURNDATASIZE 000005d6: PUSH1 0x00 000005d8: REVERT 000005d9: JUMPDEST 000005da: POP 000005db: POP 000005dc: POP 000005dd: JUMP 000005de: JUMPDEST 000005df: PUSH1 0x00 000005e1: PUSH2 0x05f5 000005e4: PUSH1 0x02 000005e6: SLOAD 000005e7: DUP4 000005e8: PUSH2 0x0b1f 000005eb: SWAP1 000005ec: SWAP2 000005ed: SWAP1 000005ee: PUSH4 0xffffffff 000005f3: AND 000005f4: JUMP 000005f5: JUMPDEST 000005f6: SWAP1 000005f7: POP 000005f8: DUP1 000005f9: CALLVALUE 000005fa: LT 000005fb: ISZERO 000005fc: PUSH2 0x063a 000005ff: JUMPI 00000600: PUSH1 0x40 00000602: MLOAD 00000603: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000624: DUP2 00000625: MSTORE 00000626: PUSH1 0x04 00000628: ADD 00000629: PUSH2 0x0631 0000062c: SWAP1 0000062d: PUSH2 0x0f5a 00000630: JUMP 00000631: JUMPDEST 00000632: PUSH1 0x40 00000634: MLOAD 00000635: DUP1 00000636: SWAP2 00000637: SUB 00000638: SWAP1 00000639: REVERT 0000063a: JUMPDEST 0000063b: PUSH2 0x0dac 0000063e: PUSH2 0x06e0 00000641: DUP4 00000642: PUSH1 0x01 00000644: PUSH1 0x00 00000646: SWAP1 00000647: SLOAD 00000648: SWAP1 00000649: PUSH2 0x0100 0000064c: EXP 0000064d: SWAP1 0000064e: DIV 0000064f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000664: AND 00000665: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000067a: AND 0000067b: PUSH4 0x18160ddd 00000680: PUSH1 0x40 00000682: MLOAD 00000683: DUP2 00000684: PUSH4 0xffffffff 00000689: AND 0000068a: PUSH1 0xe0 0000068c: SHL 0000068d: DUP2 0000068e: MSTORE 0000068f: PUSH1 0x04 00000691: ADD 00000692: PUSH1 0x20 00000694: PUSH1 0x40 00000696: MLOAD 00000697: DUP1 00000698: DUP4 00000699: SUB 0000069a: DUP2 0000069b: DUP7 0000069c: GAS 0000069d: STATICCALL 0000069e: ISZERO 0000069f: DUP1 000006a0: ISZERO 000006a1: PUSH2 0x06ae 000006a4: JUMPI 000006a5: RETURNDATASIZE 000006a6: PUSH1 0x00 000006a8: DUP1 000006a9: RETURNDATACOPY 000006aa: RETURNDATASIZE 000006ab: PUSH1 0x00 000006ad: REVERT 000006ae: JUMPDEST 000006af: POP 000006b0: POP 000006b1: POP 000006b2: POP 000006b3: PUSH1 0x40 000006b5: MLOAD 000006b6: RETURNDATASIZE 000006b7: PUSH1 0x1f 000006b9: NOT 000006ba: PUSH1 0x1f 000006bc: DUP3 000006bd: ADD 000006be: AND 000006bf: DUP3 000006c0: ADD 000006c1: DUP1 000006c2: PUSH1 0x40 000006c4: MSTORE 000006c5: POP 000006c6: DUP2 000006c7: ADD 000006c8: SWAP1 000006c9: PUSH2 0x06d2 000006cc: SWAP2 000006cd: SWAP1 000006ce: PUSH2 0x0f8f 000006d1: JUMP 000006d2: JUMPDEST 000006d3: PUSH2 0x0b35 000006d6: SWAP1 000006d7: SWAP2 000006d8: SWAP1 000006d9: PUSH4 0xffffffff 000006de: AND 000006df: JUMP 000006e0: JUMPDEST 000006e1: GT 000006e2: ISZERO 000006e3: PUSH2 0x0721 000006e6: JUMPI 000006e7: PUSH1 0x40 000006e9: MLOAD 000006ea: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 0000070b: DUP2 0000070c: MSTORE 0000070d: PUSH1 0x04 0000070f: ADD 00000710: PUSH2 0x0718 00000713: SWAP1 00000714: PUSH2 0x1008 00000717: JUMP 00000718: JUMPDEST 00000719: PUSH1 0x40 0000071b: MLOAD 0000071c: DUP1 0000071d: SWAP2 0000071e: SUB 0000071f: SWAP1 00000720: REVERT 00000721: JUMPDEST 00000722: PUSH1 0x03 00000724: SLOAD 00000725: PUSH2 0x07d9 00000728: DUP4 00000729: PUSH1 0x01 0000072b: PUSH1 0x00 0000072d: SWAP1 0000072e: SLOAD 0000072f: SWAP1 00000730: PUSH2 0x0100 00000733: EXP 00000734: SWAP1 00000735: DIV 00000736: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000074b: AND 0000074c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000761: AND 00000762: PUSH4 0x70a08231 00000767: PUSH2 0x076e 0000076a: PUSH2 0x0a53 0000076d: JUMP 0000076e: JUMPDEST 0000076f: PUSH1 0x40 00000771: MLOAD 00000772: DUP3 00000773: PUSH4 0xffffffff 00000778: AND 00000779: PUSH1 0xe0 0000077b: SHL 0000077c: DUP2 0000077d: MSTORE 0000077e: PUSH1 0x04 00000780: ADD 00000781: PUSH2 0x078a 00000784: SWAP2 00000785: SWAP1 00000786: PUSH2 0x0d0b 00000789: JUMP 0000078a: JUMPDEST 0000078b: PUSH1 0x20 0000078d: PUSH1 0x40 0000078f: MLOAD 00000790: DUP1 00000791: DUP4 00000792: SUB 00000793: DUP2 00000794: DUP7 00000795: GAS 00000796: STATICCALL 00000797: ISZERO 00000798: DUP1 00000799: ISZERO 0000079a: PUSH2 0x07a7 0000079d: JUMPI 0000079e: RETURNDATASIZE 0000079f: PUSH1 0x00 000007a1: DUP1 000007a2: RETURNDATACOPY 000007a3: RETURNDATASIZE 000007a4: PUSH1 0x00 000007a6: REVERT 000007a7: JUMPDEST 000007a8: POP 000007a9: POP 000007aa: POP 000007ab: POP 000007ac: PUSH1 0x40 000007ae: MLOAD 000007af: RETURNDATASIZE 000007b0: PUSH1 0x1f 000007b2: NOT 000007b3: PUSH1 0x1f 000007b5: DUP3 000007b6: ADD 000007b7: AND 000007b8: DUP3 000007b9: ADD 000007ba: DUP1 000007bb: PUSH1 0x40 000007bd: MSTORE 000007be: POP 000007bf: DUP2 000007c0: ADD 000007c1: SWAP1 000007c2: PUSH2 0x07cb 000007c5: SWAP2 000007c6: SWAP1 000007c7: PUSH2 0x0f8f 000007ca: JUMP 000007cb: JUMPDEST 000007cc: PUSH2 0x0b35 000007cf: SWAP1 000007d0: SWAP2 000007d1: SWAP1 000007d2: PUSH4 0xffffffff 000007d7: AND 000007d8: JUMP 000007d9: JUMPDEST 000007da: GT 000007db: ISZERO 000007dc: PUSH2 0x081a 000007df: JUMPI 000007e0: PUSH1 0x40 000007e2: MLOAD 000007e3: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000804: DUP2 00000805: MSTORE 00000806: PUSH1 0x04 00000808: ADD 00000809: PUSH2 0x0811 0000080c: SWAP1 0000080d: PUSH2 0x109a 00000810: JUMP 00000811: JUMPDEST 00000812: PUSH1 0x40 00000814: MLOAD 00000815: DUP1 00000816: SWAP2 00000817: SUB 00000818: SWAP1 00000819: REVERT 0000081a: JUMPDEST 0000081b: PUSH1 0x00 0000081d: JUMPDEST 0000081e: DUP3 0000081f: DUP2 00000820: PUSH2 0xffff 00000823: AND 00000824: LT 00000825: ISZERO 00000826: PUSH2 0x08d0 00000829: JUMPI 0000082a: PUSH1 0x01 0000082c: PUSH1 0x00 0000082e: SWAP1 0000082f: SLOAD 00000830: SWAP1 00000831: PUSH2 0x0100 00000834: EXP 00000835: SWAP1 00000836: DIV 00000837: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000084c: AND 0000084d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000862: AND 00000863: PUSH4 0x6a627842 00000868: PUSH2 0x086f 0000086b: PUSH2 0x0a53 0000086e: JUMP 0000086f: JUMPDEST 00000870: PUSH1 0x40 00000872: MLOAD 00000873: DUP3 00000874: PUSH4 0xffffffff 00000879: AND 0000087a: PUSH1 0xe0 0000087c: SHL 0000087d: DUP2 0000087e: MSTORE 0000087f: PUSH1 0x04 00000881: ADD 00000882: PUSH2 0x088b 00000885: SWAP2 00000886: SWAP1 00000887: PUSH2 0x0d0b 0000088a: JUMP 0000088b: JUMPDEST 0000088c: PUSH1 0x00 0000088e: PUSH1 0x40 00000890: MLOAD 00000891: DUP1 00000892: DUP4 00000893: SUB 00000894: DUP2 00000895: PUSH1 0x00 00000897: DUP8 00000898: DUP1 00000899: EXTCODESIZE 0000089a: ISZERO 0000089b: DUP1 0000089c: ISZERO 0000089d: PUSH2 0x08a5 000008a0: JUMPI 000008a1: PUSH1 0x00 000008a3: DUP1 000008a4: REVERT 000008a5: JUMPDEST 000008a6: POP 000008a7: GAS 000008a8: CALL 000008a9: ISZERO 000008aa: DUP1 000008ab: ISZERO 000008ac: PUSH2 0x08b9 000008af: JUMPI 000008b0: RETURNDATASIZE 000008b1: PUSH1 0x00 000008b3: DUP1 000008b4: RETURNDATACOPY 000008b5: RETURNDATASIZE 000008b6: PUSH1 0x00 000008b8: REVERT 000008b9: JUMPDEST 000008ba: POP 000008bb: POP 000008bc: POP 000008bd: POP 000008be: DUP1 000008bf: DUP1 000008c0: PUSH2 0x08c8 000008c3: SWAP1 000008c4: PUSH2 0x10c8 000008c7: JUMP 000008c8: JUMPDEST 000008c9: SWAP2 000008ca: POP 000008cb: POP 000008cc: PUSH2 0x081d 000008cf: JUMP 000008d0: JUMPDEST 000008d1: POP 000008d2: POP 000008d3: POP 000008d4: JUMP 000008d5: JUMPDEST 000008d6: PUSH2 0x08dd 000008d9: PUSH2 0x0a53 000008dc: JUMP 000008dd: JUMPDEST 000008de: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000008f3: AND 000008f4: PUSH2 0x08fb 000008f7: PUSH2 0x04e9 000008fa: JUMP 000008fb: JUMPDEST 000008fc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000911: AND 00000912: EQ 00000913: PUSH2 0x0951 00000916: JUMPI 00000917: PUSH1 0x40 00000919: MLOAD 0000091a: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 0000093b: DUP2 0000093c: MSTORE 0000093d: PUSH1 0x04 0000093f: ADD 00000940: PUSH2 0x0948 00000943: SWAP1 00000944: PUSH2 0x0e47 00000947: JUMP 00000948: JUMPDEST 00000949: PUSH1 0x40 0000094b: MLOAD 0000094c: DUP1 0000094d: SWAP2 0000094e: SUB 0000094f: SWAP1 00000950: REVERT 00000951: JUMPDEST 00000952: DUP1 00000953: PUSH1 0x02 00000955: DUP2 00000956: SWAP1 00000957: SSTORE 00000958: POP 00000959: POP 0000095a: JUMP 0000095b: JUMPDEST 0000095c: PUSH2 0x0963 0000095f: PUSH2 0x0a53 00000962: JUMP 00000963: JUMPDEST 00000964: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000979: AND 0000097a: PUSH2 0x0981 0000097d: PUSH2 0x04e9 00000980: JUMP 00000981: JUMPDEST 00000982: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000997: AND 00000998: EQ 00000999: PUSH2 0x09d7 0000099c: JUMPI 0000099d: PUSH1 0x40 0000099f: MLOAD 000009a0: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000009c1: DUP2 000009c2: MSTORE 000009c3: PUSH1 0x04 000009c5: ADD 000009c6: PUSH2 0x09ce 000009c9: SWAP1 000009ca: PUSH2 0x0e47 000009cd: JUMP 000009ce: JUMPDEST 000009cf: PUSH1 0x40 000009d1: MLOAD 000009d2: DUP1 000009d3: SWAP2 000009d4: SUB 000009d5: SWAP1 000009d6: REVERT 000009d7: JUMPDEST 000009d8: PUSH1 0x00 000009da: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000009ef: AND 000009f0: DUP2 000009f1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a06: AND 00000a07: EQ 00000a08: ISZERO 00000a09: PUSH2 0x0a47 00000a0c: JUMPI 00000a0d: PUSH1 0x40 00000a0f: MLOAD 00000a10: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000a31: DUP2 00000a32: MSTORE 00000a33: PUSH1 0x04 00000a35: ADD 00000a36: PUSH2 0x0a3e 00000a39: SWAP1 00000a3a: PUSH2 0x1165 00000a3d: JUMP 00000a3e: JUMPDEST 00000a3f: PUSH1 0x40 00000a41: MLOAD 00000a42: DUP1 00000a43: SWAP2 00000a44: SUB 00000a45: SWAP1 00000a46: REVERT 00000a47: JUMPDEST 00000a48: PUSH2 0x0a50 00000a4b: DUP2 00000a4c: PUSH2 0x0a5b 00000a4f: JUMP 00000a50: JUMPDEST 00000a51: POP 00000a52: JUMP 00000a53: JUMPDEST 00000a54: PUSH1 0x00 00000a56: CALLER 00000a57: SWAP1 00000a58: POP 00000a59: SWAP1 00000a5a: JUMP 00000a5b: JUMPDEST 00000a5c: PUSH1 0x00 00000a5e: DUP1 00000a5f: PUSH1 0x00 00000a61: SWAP1 00000a62: SLOAD 00000a63: SWAP1 00000a64: PUSH2 0x0100 00000a67: EXP 00000a68: SWAP1 00000a69: DIV 00000a6a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a7f: AND 00000a80: SWAP1 00000a81: POP 00000a82: DUP2 00000a83: PUSH1 0x00 00000a85: DUP1 00000a86: PUSH2 0x0100 00000a89: EXP 00000a8a: DUP2 00000a8b: SLOAD 00000a8c: DUP2 00000a8d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000aa2: MUL 00000aa3: NOT 00000aa4: AND 00000aa5: SWAP1 00000aa6: DUP4 00000aa7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000abc: AND 00000abd: MUL 00000abe: OR 00000abf: SWAP1 00000ac0: SSTORE 00000ac1: POP 00000ac2: DUP2 00000ac3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000ad8: AND 00000ad9: DUP2 00000ada: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000aef: AND 00000af0: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0 00000b11: PUSH1 0x40 00000b13: MLOAD 00000b14: PUSH1 0x40 00000b16: MLOAD 00000b17: DUP1 00000b18: SWAP2 00000b19: SUB 00000b1a: SWAP1 00000b1b: LOG3 00000b1c: POP 00000b1d: POP 00000b1e: JUMP 00000b1f: JUMPDEST 00000b20: PUSH1 0x00 00000b22: DUP2 00000b23: DUP4 00000b24: PUSH2 0x0b2d 00000b27: SWAP2 00000b28: SWAP1 00000b29: PUSH2 0x1185 00000b2c: JUMP 00000b2d: JUMPDEST 00000b2e: SWAP1 00000b2f: POP 00000b30: SWAP3 00000b31: SWAP2 00000b32: POP 00000b33: POP 00000b34: JUMP 00000b35: JUMPDEST 00000b36: PUSH1 0x00 00000b38: DUP2 00000b39: DUP4 00000b3a: PUSH2 0x0b43 00000b3d: SWAP2 00000b3e: SWAP1 00000b3f: PUSH2 0x11df 00000b42: JUMP 00000b43: JUMPDEST 00000b44: SWAP1 00000b45: POP 00000b46: SWAP3 00000b47: SWAP2 00000b48: POP 00000b49: POP 00000b4a: JUMP 00000b4b: JUMPDEST 00000b4c: PUSH1 0x00 00000b4e: DUP2 00000b4f: SWAP1 00000b50: POP 00000b51: SWAP2 00000b52: SWAP1 00000b53: POP 00000b54: JUMP 00000b55: JUMPDEST 00000b56: PUSH2 0x0b5e 00000b59: DUP2 00000b5a: PUSH2 0x0b4b 00000b5d: JUMP 00000b5e: JUMPDEST 00000b5f: DUP3 00000b60: MSTORE 00000b61: POP 00000b62: POP 00000b63: JUMP 00000b64: JUMPDEST 00000b65: PUSH1 0x00 00000b67: PUSH1 0x20 00000b69: DUP3 00000b6a: ADD 00000b6b: SWAP1 00000b6c: POP 00000b6d: PUSH2 0x0b79 00000b70: PUSH1 0x00 00000b72: DUP4 00000b73: ADD 00000b74: DUP5 00000b75: PUSH2 0x0b55 00000b78: JUMP 00000b79: JUMPDEST 00000b7a: SWAP3 00000b7b: SWAP2 00000b7c: POP 00000b7d: POP 00000b7e: JUMP 00000b7f: JUMPDEST 00000b80: PUSH1 0x00 00000b82: DUP1 00000b83: REVERT 00000b84: JUMPDEST 00000b85: PUSH1 0x00 00000b87: DUP1 00000b88: REVERT 00000b89: JUMPDEST 00000b8a: PUSH2 0x0b92 00000b8d: DUP2 00000b8e: PUSH2 0x0b4b 00000b91: JUMP 00000b92: JUMPDEST 00000b93: DUP2 00000b94: EQ 00000b95: PUSH2 0x0b9d 00000b98: JUMPI 00000b99: PUSH1 0x00 00000b9b: DUP1 00000b9c: REVERT 00000b9d: JUMPDEST 00000b9e: POP 00000b9f: JUMP 00000ba0: JUMPDEST 00000ba1: PUSH1 0x00 00000ba3: DUP2 00000ba4: CALLDATALOAD 00000ba5: SWAP1 00000ba6: POP 00000ba7: PUSH2 0x0baf 00000baa: DUP2 00000bab: PUSH2 0x0b89 00000bae: JUMP 00000baf: JUMPDEST 00000bb0: SWAP3 00000bb1: SWAP2 00000bb2: POP 00000bb3: POP 00000bb4: JUMP 00000bb5: JUMPDEST 00000bb6: PUSH1 0x00 00000bb8: PUSH1 0x20 00000bba: DUP3 00000bbb: DUP5 00000bbc: SUB 00000bbd: SLT 00000bbe: ISZERO 00000bbf: PUSH2 0x0bcb 00000bc2: JUMPI 00000bc3: PUSH2 0x0bca 00000bc6: PUSH2 0x0b7f 00000bc9: JUMP 00000bca: JUMPDEST 00000bcb: JUMPDEST 00000bcc: PUSH1 0x00 00000bce: PUSH2 0x0bd9 00000bd1: DUP5 00000bd2: DUP3 00000bd3: DUP6 00000bd4: ADD 00000bd5: PUSH2 0x0ba0 00000bd8: JUMP 00000bd9: JUMPDEST 00000bda: SWAP2 00000bdb: POP 00000bdc: POP 00000bdd: SWAP3 00000bde: SWAP2 00000bdf: POP 00000be0: POP 00000be1: JUMP 00000be2: JUMPDEST 00000be3: PUSH1 0x00 00000be5: DUP1 00000be6: REVERT 00000be7: JUMPDEST 00000be8: PUSH1 0x00 00000bea: DUP1 00000beb: REVERT 00000bec: JUMPDEST 00000bed: PUSH1 0x00 00000bef: DUP1 00000bf0: REVERT 00000bf1: JUMPDEST 00000bf2: PUSH1 0x00 00000bf4: DUP1 00000bf5: DUP4 00000bf6: PUSH1 0x1f 00000bf8: DUP5 00000bf9: ADD 00000bfa: SLT 00000bfb: PUSH2 0x0c07 00000bfe: JUMPI 00000bff: PUSH2 0x0c06 00000c02: PUSH2 0x0be2 00000c05: JUMP 00000c06: JUMPDEST 00000c07: JUMPDEST 00000c08: DUP3 00000c09: CALLDATALOAD 00000c0a: SWAP1 00000c0b: POP 00000c0c: PUSH8 0xffffffffffffffff 00000c15: DUP2 00000c16: GT 00000c17: ISZERO 00000c18: PUSH2 0x0c24 00000c1b: JUMPI 00000c1c: PUSH2 0x0c23 00000c1f: PUSH2 0x0be7 00000c22: JUMP 00000c23: JUMPDEST 00000c24: JUMPDEST 00000c25: PUSH1 0x20 00000c27: DUP4 00000c28: ADD 00000c29: SWAP2 00000c2a: POP 00000c2b: DUP4 00000c2c: PUSH1 0x20 00000c2e: DUP3 00000c2f: MUL 00000c30: DUP4 00000c31: ADD 00000c32: GT 00000c33: ISZERO 00000c34: PUSH2 0x0c40 00000c37: JUMPI 00000c38: PUSH2 0x0c3f 00000c3b: PUSH2 0x0bec 00000c3e: JUMP 00000c3f: JUMPDEST 00000c40: JUMPDEST 00000c41: SWAP3 00000c42: POP 00000c43: SWAP3 00000c44: SWAP1 00000c45: POP 00000c46: JUMP 00000c47: JUMPDEST 00000c48: PUSH1 0x00 00000c4a: DUP1 00000c4b: PUSH1 0x20 00000c4d: DUP4 00000c4e: DUP6 00000c4f: SUB 00000c50: SLT 00000c51: ISZERO 00000c52: PUSH2 0x0c5e 00000c55: JUMPI 00000c56: PUSH2 0x0c5d 00000c59: PUSH2 0x0b7f 00000c5c: JUMP 00000c5d: JUMPDEST 00000c5e: JUMPDEST 00000c5f: PUSH1 0x00 00000c61: DUP4 00000c62: ADD 00000c63: CALLDATALOAD 00000c64: PUSH8 0xffffffffffffffff 00000c6d: DUP2 00000c6e: GT 00000c6f: ISZERO 00000c70: PUSH2 0x0c7c 00000c73: JUMPI 00000c74: PUSH2 0x0c7b 00000c77: PUSH2 0x0b84 00000c7a: JUMP 00000c7b: JUMPDEST 00000c7c: JUMPDEST 00000c7d: PUSH2 0x0c88 00000c80: DUP6 00000c81: DUP3 00000c82: DUP7 00000c83: ADD 00000c84: PUSH2 0x0bf1 00000c87: JUMP 00000c88: JUMPDEST 00000c89: SWAP3 00000c8a: POP 00000c8b: SWAP3 00000c8c: POP 00000c8d: POP 00000c8e: SWAP3 00000c8f: POP 00000c90: SWAP3 00000c91: SWAP1 00000c92: POP 00000c93: JUMP 00000c94: JUMPDEST 00000c95: PUSH1 0x00 00000c97: DUP2 00000c98: ISZERO 00000c99: ISZERO 00000c9a: SWAP1 00000c9b: POP 00000c9c: SWAP2 00000c9d: SWAP1 00000c9e: POP 00000c9f: JUMP 00000ca0: JUMPDEST 00000ca1: PUSH2 0x0ca9 00000ca4: DUP2 00000ca5: PUSH2 0x0c94 00000ca8: JUMP 00000ca9: JUMPDEST 00000caa: DUP3 00000cab: MSTORE 00000cac: POP 00000cad: POP 00000cae: JUMP 00000caf: JUMPDEST 00000cb0: PUSH1 0x00 00000cb2: PUSH1 0x20 00000cb4: DUP3 00000cb5: ADD 00000cb6: SWAP1 00000cb7: POP 00000cb8: PUSH2 0x0cc4 00000cbb: PUSH1 0x00 00000cbd: DUP4 00000cbe: ADD 00000cbf: DUP5 00000cc0: PUSH2 0x0ca0 00000cc3: JUMP 00000cc4: JUMPDEST 00000cc5: SWAP3 00000cc6: SWAP2 00000cc7: POP 00000cc8: POP 00000cc9: JUMP 00000cca: JUMPDEST 00000ccb: PUSH1 0x00 00000ccd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000ce2: DUP3 00000ce3: AND 00000ce4: SWAP1 00000ce5: POP 00000ce6: SWAP2 00000ce7: SWAP1 00000ce8: POP 00000ce9: JUMP 00000cea: JUMPDEST 00000ceb: PUSH1 0x00 00000ced: PUSH2 0x0cf5 00000cf0: DUP3 00000cf1: PUSH2 0x0cca 00000cf4: JUMP 00000cf5: JUMPDEST 00000cf6: SWAP1 00000cf7: POP 00000cf8: SWAP2 00000cf9: SWAP1 00000cfa: POP 00000cfb: JUMP 00000cfc: JUMPDEST 00000cfd: PUSH2 0x0d05 00000d00: DUP2 00000d01: PUSH2 0x0cea 00000d04: JUMP 00000d05: JUMPDEST 00000d06: DUP3 00000d07: MSTORE 00000d08: POP 00000d09: POP 00000d0a: JUMP 00000d0b: JUMPDEST 00000d0c: PUSH1 0x00 00000d0e: PUSH1 0x20 00000d10: DUP3 00000d11: ADD 00000d12: SWAP1 00000d13: POP 00000d14: PUSH2 0x0d20 00000d17: PUSH1 0x00 00000d19: DUP4 00000d1a: ADD 00000d1b: DUP5 00000d1c: PUSH2 0x0cfc 00000d1f: JUMP 00000d20: JUMPDEST 00000d21: SWAP3 00000d22: SWAP2 00000d23: POP 00000d24: POP 00000d25: JUMP 00000d26: JUMPDEST 00000d27: PUSH1 0x00 00000d29: PUSH2 0x0d31 00000d2c: DUP3 00000d2d: PUSH2 0x0cca 00000d30: JUMP 00000d31: JUMPDEST 00000d32: SWAP1 00000d33: POP 00000d34: SWAP2 00000d35: SWAP1 00000d36: POP 00000d37: JUMP 00000d38: JUMPDEST 00000d39: PUSH2 0x0d41 00000d3c: DUP2 00000d3d: PUSH2 0x0d26 00000d40: JUMP 00000d41: JUMPDEST 00000d42: DUP2 00000d43: EQ 00000d44: PUSH2 0x0d4c 00000d47: JUMPI 00000d48: PUSH1 0x00 00000d4a: DUP1 00000d4b: REVERT 00000d4c: JUMPDEST 00000d4d: POP 00000d4e: JUMP 00000d4f: JUMPDEST 00000d50: PUSH1 0x00 00000d52: DUP2 00000d53: CALLDATALOAD 00000d54: SWAP1 00000d55: POP 00000d56: PUSH2 0x0d5e 00000d59: DUP2 00000d5a: PUSH2 0x0d38 00000d5d: JUMP 00000d5e: JUMPDEST 00000d5f: SWAP3 00000d60: SWAP2 00000d61: POP 00000d62: POP 00000d63: JUMP 00000d64: JUMPDEST 00000d65: PUSH1 0x00 00000d67: PUSH1 0x20 00000d69: DUP3 00000d6a: DUP5 00000d6b: SUB 00000d6c: SLT 00000d6d: ISZERO 00000d6e: PUSH2 0x0d7a 00000d71: JUMPI 00000d72: PUSH2 0x0d79 00000d75: PUSH2 0x0b7f 00000d78: JUMP 00000d79: JUMPDEST 00000d7a: JUMPDEST 00000d7b: PUSH1 0x00 00000d7d: PUSH2 0x0d88 00000d80: DUP5 00000d81: DUP3 00000d82: DUP6 00000d83: ADD 00000d84: PUSH2 0x0d4f 00000d87: JUMP 00000d88: JUMPDEST 00000d89: SWAP2 00000d8a: POP 00000d8b: POP 00000d8c: SWAP3 00000d8d: SWAP2 00000d8e: POP 00000d8f: POP 00000d90: JUMP 00000d91: JUMPDEST 00000d92: PUSH2 0x0d9a 00000d95: DUP2 00000d96: PUSH2 0x0cea 00000d99: JUMP 00000d9a: JUMPDEST 00000d9b: DUP2 00000d9c: EQ 00000d9d: PUSH2 0x0da5 00000da0: JUMPI 00000da1: PUSH1 0x00 00000da3: DUP1 00000da4: REVERT 00000da5: JUMPDEST 00000da6: POP 00000da7: JUMP 00000da8: JUMPDEST 00000da9: PUSH1 0x00 00000dab: DUP2 00000dac: CALLDATALOAD 00000dad: SWAP1 00000dae: POP 00000daf: PUSH2 0x0db7 00000db2: DUP2 00000db3: PUSH2 0x0d91 00000db6: JUMP 00000db7: JUMPDEST 00000db8: SWAP3 00000db9: SWAP2 00000dba: POP 00000dbb: POP 00000dbc: JUMP 00000dbd: JUMPDEST 00000dbe: PUSH1 0x00 00000dc0: PUSH1 0x20 00000dc2: DUP3 00000dc3: DUP5 00000dc4: SUB 00000dc5: SLT 00000dc6: ISZERO 00000dc7: PUSH2 0x0dd3 00000dca: JUMPI 00000dcb: PUSH2 0x0dd2 00000dce: PUSH2 0x0b7f 00000dd1: JUMP 00000dd2: JUMPDEST 00000dd3: JUMPDEST 00000dd4: PUSH1 0x00 00000dd6: PUSH2 0x0de1 00000dd9: DUP5 00000dda: DUP3 00000ddb: DUP6 00000ddc: ADD 00000ddd: PUSH2 0x0da8 00000de0: JUMP 00000de1: JUMPDEST 00000de2: SWAP2 00000de3: POP 00000de4: POP 00000de5: SWAP3 00000de6: SWAP2 00000de7: POP 00000de8: POP 00000de9: JUMP 00000dea: JUMPDEST 00000deb: PUSH1 0x00 00000ded: DUP3 00000dee: DUP3 00000def: MSTORE 00000df0: PUSH1 0x20 00000df2: DUP3 00000df3: ADD 00000df4: SWAP1 00000df5: POP 00000df6: SWAP3 00000df7: SWAP2 00000df8: POP 00000df9: POP 00000dfa: JUMP 00000dfb: JUMPDEST 00000dfc: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572 00000e1d: PUSH1 0x00 00000e1f: DUP3 00000e20: ADD 00000e21: MSTORE 00000e22: POP 00000e23: JUMP 00000e24: JUMPDEST 00000e25: PUSH1 0x00 00000e27: PUSH2 0x0e31 00000e2a: PUSH1 0x20 00000e2c: DUP4 00000e2d: PUSH2 0x0dea 00000e30: JUMP 00000e31: JUMPDEST 00000e32: SWAP2 00000e33: POP 00000e34: PUSH2 0x0e3c 00000e37: DUP3 00000e38: PUSH2 0x0dfb 00000e3b: JUMP 00000e3c: JUMPDEST 00000e3d: PUSH1 0x20 00000e3f: DUP3 00000e40: ADD 00000e41: SWAP1 00000e42: POP 00000e43: SWAP2 00000e44: SWAP1 00000e45: POP 00000e46: JUMP 00000e47: JUMPDEST 00000e48: PUSH1 0x00 00000e4a: PUSH1 0x20 00000e4c: DUP3 00000e4d: ADD 00000e4e: SWAP1 00000e4f: POP 00000e50: DUP2 00000e51: DUP2 00000e52: SUB 00000e53: PUSH1 0x00 00000e55: DUP4 00000e56: ADD 00000e57: MSTORE 00000e58: PUSH2 0x0e60 00000e5b: DUP2 00000e5c: PUSH2 0x0e24 00000e5f: JUMP 00000e60: JUMPDEST 00000e61: SWAP1 00000e62: POP 00000e63: SWAP2 00000e64: SWAP1 00000e65: POP 00000e66: JUMP 00000e67: JUMPDEST 00000e68: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 00000e89: PUSH1 0x00 00000e8b: MSTORE 00000e8c: PUSH1 0x32 00000e8e: PUSH1 0x04 00000e90: MSTORE 00000e91: PUSH1 0x24 00000e93: PUSH1 0x00 00000e95: REVERT 00000e96: JUMPDEST 00000e97: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 00000eb8: PUSH1 0x00 00000eba: MSTORE 00000ebb: PUSH1 0x11 00000ebd: PUSH1 0x04 00000ebf: MSTORE 00000ec0: PUSH1 0x24 00000ec2: PUSH1 0x00 00000ec4: REVERT 00000ec5: JUMPDEST 00000ec6: PUSH1 0x00 00000ec8: PUSH2 0x0ed0 00000ecb: DUP3 00000ecc: PUSH2 0x0b4b 00000ecf: JUMP 00000ed0: JUMPDEST 00000ed1: SWAP2 00000ed2: POP 00000ed3: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff 00000ef4: DUP3 00000ef5: EQ 00000ef6: ISZERO 00000ef7: PUSH2 0x0f03 00000efa: JUMPI 00000efb: PUSH2 0x0f02 00000efe: PUSH2 0x0e96 00000f01: JUMP 00000f02: JUMPDEST 00000f03: JUMPDEST 00000f04: PUSH1 0x01 00000f06: DUP3 00000f07: ADD 00000f08: SWAP1 00000f09: POP 00000f0a: SWAP2 00000f0b: SWAP1 00000f0c: POP 00000f0d: JUMP 00000f0e: JUMPDEST 00000f0f: PUSH32 0x496e73756666696369656e742062616c616e6365000000000000000000000000 00000f30: PUSH1 0x00 00000f32: DUP3 00000f33: ADD 00000f34: MSTORE 00000f35: POP 00000f36: JUMP 00000f37: JUMPDEST 00000f38: PUSH1 0x00 00000f3a: PUSH2 0x0f44 00000f3d: PUSH1 0x14 00000f3f: DUP4 00000f40: PUSH2 0x0dea 00000f43: JUMP 00000f44: JUMPDEST 00000f45: SWAP2 00000f46: POP 00000f47: PUSH2 0x0f4f 00000f4a: DUP3 00000f4b: PUSH2 0x0f0e 00000f4e: JUMP 00000f4f: JUMPDEST 00000f50: PUSH1 0x20 00000f52: DUP3 00000f53: ADD 00000f54: SWAP1 00000f55: POP 00000f56: SWAP2 00000f57: SWAP1 00000f58: POP 00000f59: JUMP 00000f5a: JUMPDEST 00000f5b: PUSH1 0x00 00000f5d: PUSH1 0x20 00000f5f: DUP3 00000f60: ADD 00000f61: SWAP1 00000f62: POP 00000f63: DUP2 00000f64: DUP2 00000f65: SUB 00000f66: PUSH1 0x00 00000f68: DUP4 00000f69: ADD 00000f6a: MSTORE 00000f6b: PUSH2 0x0f73 00000f6e: DUP2 00000f6f: PUSH2 0x0f37 00000f72: JUMP 00000f73: JUMPDEST 00000f74: SWAP1 00000f75: POP 00000f76: SWAP2 00000f77: SWAP1 00000f78: POP 00000f79: JUMP 00000f7a: JUMPDEST 00000f7b: PUSH1 0x00 00000f7d: DUP2 00000f7e: MLOAD 00000f7f: SWAP1 00000f80: POP 00000f81: PUSH2 0x0f89 00000f84: DUP2 00000f85: PUSH2 0x0b89 00000f88: JUMP 00000f89: JUMPDEST 00000f8a: SWAP3 00000f8b: SWAP2 00000f8c: POP 00000f8d: POP 00000f8e: JUMP 00000f8f: JUMPDEST 00000f90: PUSH1 0x00 00000f92: PUSH1 0x20 00000f94: DUP3 00000f95: DUP5 00000f96: SUB 00000f97: SLT 00000f98: ISZERO 00000f99: PUSH2 0x0fa5 00000f9c: JUMPI 00000f9d: PUSH2 0x0fa4 00000fa0: PUSH2 0x0b7f 00000fa3: JUMP 00000fa4: JUMPDEST 00000fa5: JUMPDEST 00000fa6: PUSH1 0x00 00000fa8: PUSH2 0x0fb3 00000fab: DUP5 00000fac: DUP3 00000fad: DUP6 00000fae: ADD 00000faf: PUSH2 0x0f7a 00000fb2: JUMP 00000fb3: JUMPDEST 00000fb4: SWAP2 00000fb5: POP 00000fb6: POP 00000fb7: SWAP3 00000fb8: SWAP2 00000fb9: POP 00000fba: POP 00000fbb: JUMP 00000fbc: JUMPDEST 00000fbd: PUSH32 0x4f6e6c79203335303020746f6b656e7320617661696c61626c65000000000000 00000fde: PUSH1 0x00 00000fe0: DUP3 00000fe1: ADD 00000fe2: MSTORE 00000fe3: POP 00000fe4: JUMP 00000fe5: JUMPDEST 00000fe6: PUSH1 0x00 00000fe8: PUSH2 0x0ff2 00000feb: PUSH1 0x1a 00000fed: DUP4 00000fee: PUSH2 0x0dea 00000ff1: JUMP 00000ff2: JUMPDEST 00000ff3: SWAP2 00000ff4: POP 00000ff5: PUSH2 0x0ffd 00000ff8: DUP3 00000ff9: PUSH2 0x0fbc 00000ffc: JUMP 00000ffd: JUMPDEST 00000ffe: PUSH1 0x20 00001000: DUP3 00001001: ADD 00001002: SWAP1 00001003: POP 00001004: SWAP2 00001005: SWAP1 00001006: POP 00001007: JUMP 00001008: JUMPDEST 00001009: PUSH1 0x00 0000100b: PUSH1 0x20 0000100d: DUP3 0000100e: ADD 0000100f: SWAP1 00001010: POP 00001011: DUP2 00001012: DUP2 00001013: SUB 00001014: PUSH1 0x00 00001016: DUP4 00001017: ADD 00001018: MSTORE 00001019: PUSH2 0x1021 0000101c: DUP2 0000101d: PUSH2 0x0fe5 00001020: JUMP 00001021: JUMPDEST 00001022: SWAP1 00001023: POP 00001024: SWAP2 00001025: SWAP1 00001026: POP 00001027: JUMP 00001028: JUMPDEST 00001029: PUSH32 0x596f75206861766520616c7265616479206d696e74656420746865207065726d 0000104a: PUSH1 0x00 0000104c: DUP3 0000104d: ADD 0000104e: MSTORE 0000104f: PUSH32 0x69746564206c696d697400000000000000000000000000000000000000000000 00001070: PUSH1 0x20 00001072: DUP3 00001073: ADD 00001074: MSTORE 00001075: POP 00001076: JUMP 00001077: JUMPDEST 00001078: PUSH1 0x00 0000107a: PUSH2 0x1084 0000107d: PUSH1 0x2a 0000107f: DUP4 00001080: PUSH2 0x0dea 00001083: JUMP 00001084: JUMPDEST 00001085: SWAP2 00001086: POP 00001087: PUSH2 0x108f 0000108a: DUP3 0000108b: PUSH2 0x1028 0000108e: JUMP 0000108f: JUMPDEST 00001090: PUSH1 0x40 00001092: DUP3 00001093: ADD 00001094: SWAP1 00001095: POP 00001096: SWAP2 00001097: SWAP1 00001098: POP 00001099: JUMP 0000109a: JUMPDEST 0000109b: PUSH1 0x00 0000109d: PUSH1 0x20 0000109f: DUP3 000010a0: ADD 000010a1: SWAP1 000010a2: POP 000010a3: DUP2 000010a4: DUP2 000010a5: SUB 000010a6: PUSH1 0x00 000010a8: DUP4 000010a9: ADD 000010aa: MSTORE 000010ab: PUSH2 0x10b3 000010ae: DUP2 000010af: PUSH2 0x1077 000010b2: JUMP 000010b3: JUMPDEST 000010b4: SWAP1 000010b5: POP 000010b6: SWAP2 000010b7: SWAP1 000010b8: POP 000010b9: JUMP 000010ba: JUMPDEST 000010bb: PUSH1 0x00 000010bd: PUSH2 0xffff 000010c0: DUP3 000010c1: AND 000010c2: SWAP1 000010c3: POP 000010c4: SWAP2 000010c5: SWAP1 000010c6: POP 000010c7: JUMP 000010c8: JUMPDEST 000010c9: PUSH1 0x00 000010cb: PUSH2 0x10d3 000010ce: DUP3 000010cf: PUSH2 0x10ba 000010d2: JUMP 000010d3: JUMPDEST 000010d4: SWAP2 000010d5: POP 000010d6: PUSH2 0xffff 000010d9: DUP3 000010da: EQ 000010db: ISZERO 000010dc: PUSH2 0x10e8 000010df: JUMPI 000010e0: PUSH2 0x10e7 000010e3: PUSH2 0x0e96 000010e6: JUMP 000010e7: JUMPDEST 000010e8: JUMPDEST 000010e9: PUSH1 0x01 000010eb: DUP3 000010ec: ADD 000010ed: SWAP1 000010ee: POP 000010ef: SWAP2 000010f0: SWAP1 000010f1: POP 000010f2: JUMP 000010f3: JUMPDEST 000010f4: PUSH32 0x4f776e61626c653a206e6577206f776e657220697320746865207a65726f2061 00001115: PUSH1 0x00 00001117: DUP3 00001118: ADD 00001119: MSTORE 0000111a: PUSH32 0x6464726573730000000000000000000000000000000000000000000000000000 0000113b: PUSH1 0x20 0000113d: DUP3 0000113e: ADD 0000113f: MSTORE 00001140: POP 00001141: JUMP 00001142: JUMPDEST 00001143: PUSH1 0x00 00001145: PUSH2 0x114f 00001148: PUSH1 0x26 0000114a: DUP4 0000114b: PUSH2 0x0dea 0000114e: JUMP 0000114f: JUMPDEST 00001150: SWAP2 00001151: POP 00001152: PUSH2 0x115a 00001155: DUP3 00001156: PUSH2 0x10f3 00001159: JUMP 0000115a: JUMPDEST 0000115b: PUSH1 0x40 0000115d: DUP3 0000115e: ADD 0000115f: SWAP1 00001160: POP 00001161: SWAP2 00001162: SWAP1 00001163: POP 00001164: JUMP 00001165: JUMPDEST 00001166: PUSH1 0x00 00001168: PUSH1 0x20 0000116a: DUP3 0000116b: ADD 0000116c: SWAP1 0000116d: POP 0000116e: DUP2 0000116f: DUP2 00001170: SUB 00001171: PUSH1 0x00 00001173: DUP4 00001174: ADD 00001175: MSTORE 00001176: PUSH2 0x117e 00001179: DUP2 0000117a: PUSH2 0x1142 0000117d: JUMP 0000117e: JUMPDEST 0000117f: SWAP1 00001180: POP 00001181: SWAP2 00001182: SWAP1 00001183: POP 00001184: JUMP 00001185: JUMPDEST 00001186: PUSH1 0x00 00001188: PUSH2 0x1190 0000118b: DUP3 0000118c: PUSH2 0x0b4b 0000118f: JUMP 00001190: JUMPDEST 00001191: SWAP2 00001192: POP 00001193: PUSH2 0x119b 00001196: DUP4 00001197: PUSH2 0x0b4b 0000119a: JUMP 0000119b: JUMPDEST 0000119c: SWAP3 0000119d: POP 0000119e: DUP2 0000119f: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff 000011c0: DIV 000011c1: DUP4 000011c2: GT 000011c3: DUP3 000011c4: ISZERO 000011c5: ISZERO 000011c6: AND 000011c7: ISZERO 000011c8: PUSH2 0x11d4 000011cb: JUMPI 000011cc: PUSH2 0x11d3 000011cf: PUSH2 0x0e96 000011d2: JUMP 000011d3: JUMPDEST 000011d4: JUMPDEST 000011d5: DUP3 000011d6: DUP3 000011d7: MUL 000011d8: SWAP1 000011d9: POP 000011da: SWAP3 000011db: SWAP2 000011dc: POP 000011dd: POP 000011de: JUMP 000011df: JUMPDEST 000011e0: PUSH1 0x00 000011e2: PUSH2 0x11ea 000011e5: DUP3 000011e6: PUSH2 0x0b4b 000011e9: JUMP 000011ea: JUMPDEST 000011eb: SWAP2 000011ec: POP 000011ed: PUSH2 0x11f5 000011f0: DUP4 000011f1: PUSH2 0x0b4b 000011f4: JUMP 000011f5: JUMPDEST 000011f6: SWAP3 000011f7: POP 000011f8: DUP3 000011f9: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff 0000121a: SUB 0000121b: DUP3 0000121c: GT 0000121d: ISZERO 0000121e: PUSH2 0x122a 00001221: JUMPI 00001222: PUSH2 0x1229 00001225: PUSH2 0x0e96 00001228: JUMP 00001229: JUMPDEST 0000122a: JUMPDEST 0000122b: DUP3 0000122c: DUP3 0000122d: ADD 0000122e: SWAP1 0000122f: POP 00001230: SWAP3 00001231: SWAP2 00001232: POP 00001233: POP 00001234: JUMP 00001235: INVALID 00001236: LOG2 00001237: PUSH5 0x6970667358 0000123d: UNKNOWN(0x22) 0000123e: SLT 0000123f: KECCAK256 00001240: DUP8 00001241: DUP7 00001242: UNKNOWN(0x4D) 00001243: NUMBER 00001244: UNKNOWN(0xB4) 00001245: DUP8 00001246: UNKNOWN(0xDD) 00001247: UNKNOWN(0xA7) 00001248: UNKNOWN(0xBA) 00001249: SWAP13 0000124a: DUP1 0000124b: SWAP13 0000124c: PUSH17 0x12d102b0e9e9d0d98c077f38410527689a 0000125e: PUSH1 0xea 00001260: PUSH5 0x736f6c6343 00001266: STOP 00001267: ADDMOD 00001268: EXP 00001269: STOP 0000126a: CALLER
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0x7b1d084484a6286e607703fd73833b7810c9d729bbcfa2442e2a9693b8eb579d
call_targets:
0xbe53ed1bcbe935959bdc34d2b286f0e972157b83
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x7b1d084484a6286e607703fd73833b7810c9d729bbcfa2442e2a9693b8eb579d",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xbe53ed1bcbe935959bdc34d2b286f0e972157b83"
],
"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": "0x77e176af",
"selector": "0x77e176af",
"calldata_variants": [
"0x77e176af",
"0x77e176af0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x9b9df897",
"selector": "0x9b9df897",
"calldata_variants": [
"0x9b9df897",
"0x9b9df8970000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa0712d68",
"selector": "0xa0712d68",
"calldata_variants": [
"0xa0712d68",
"0xa0712d680000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe423a511",
"selector": "0xe423a511",
"calldata_variants": [
"0xe423a511",
"0xe423a5110000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x27c12aef",
"selector": "0x27c12aef",
"calldata_variants": [
"0x27c12aef",
"0x27c12aef0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x38383574",
"selector": "0x38383574",
"calldata_variants": [
"0x38383574",
"0x383835740000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1196,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1475,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2216,
"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: 0x7b1d084484a6286e607703fd73833b7810c9d729bbcfa2442e2a9693b8eb579d
call_targets:
0xbe53ed1bcbe935959bdc34d2b286f0e972157b83
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x7b1d084484a6286e607703fd73833b7810c9d729bbcfa2442e2a9693b8eb579d",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xbe53ed1bcbe935959bdc34d2b286f0e972157b83"
],
"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": "0x77e176af",
"selector": "0x77e176af",
"calldata_variants": [
"0x77e176af",
"0x77e176af0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x9b9df897",
"selector": "0x9b9df897",
"calldata_variants": [
"0x9b9df897",
"0x9b9df8970000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa0712d68",
"selector": "0xa0712d68",
"calldata_variants": [
"0xa0712d68",
"0xa0712d680000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe423a511",
"selector": "0xe423a511",
"calldata_variants": [
"0xe423a511",
"0xe423a5110000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x27c12aef",
"selector": "0x27c12aef",
"calldata_variants": [
"0x27c12aef",
"0x27c12aef0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x38383574",
"selector": "0x38383574",
"calldata_variants": [
"0x38383574",
"0x383835740000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1196,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1475,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2216,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 3,
"guards_detected": []
}
|