019ba928-f6e6-72fe-8e4f-0b8cd267fd2b
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 |
|---|---|---|---|---|
| 35060 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 35061 | proxy.resolve | complete | 1 / 3 | 3 months ago |
| 35062 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 35063 | analysis.bundle | complete | 1 / 3 | 3 months ago |
| 35064 | capability.graph | complete | 1 / 3 | 3 months ago |
| 35065 | detector.run | complete | 1 / 3 | 3 months ago |
| 35066 | validation.fork | complete | 1 / 3 | 3 months ago |
{
"status": "not_proxy"
}
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 0x0123 0000000c: JUMPI 0000000d: PUSH1 0x00 0000000f: CALLDATALOAD 00000010: PUSH1 0xe0 00000012: SHR 00000013: DUP1 00000014: PUSH4 0x82bfefc8 00000019: GT 0000001a: PUSH2 0x00a0 0000001d: JUMPI 0000001e: DUP1 0000001f: PUSH4 0xbfe10928 00000024: GT 00000025: PUSH2 0x0064 00000028: JUMPI 00000029: DUP1 0000002a: PUSH4 0xbfe10928 0000002f: EQ 00000030: PUSH2 0x0355 00000033: JUMPI 00000034: DUP1 00000035: PUSH4 0xdb006a75 0000003a: EQ 0000003b: PUSH2 0x0375 0000003e: JUMPI 0000003f: DUP1 00000040: PUSH4 0xddbed26f 00000045: EQ 00000046: PUSH2 0x0395 00000049: JUMPI 0000004a: DUP1 0000004b: PUSH4 0xe19b4a17 00000050: EQ 00000051: PUSH2 0x03aa 00000054: JUMPI 00000055: DUP1 00000056: PUSH4 0xf2fde38b 0000005b: EQ 0000005c: PUSH2 0x03c1 0000005f: JUMPI 00000060: PUSH1 0x00 00000062: DUP1 00000063: REVERT 00000064: JUMPDEST 00000065: DUP1 00000066: PUSH4 0x82bfefc8 0000006b: EQ 0000006c: PUSH2 0x029a 0000006f: JUMPI 00000070: DUP1 00000071: PUSH4 0x8da5cb5b 00000076: EQ 00000077: PUSH2 0x02ce 0000007a: JUMPI 0000007b: DUP1 0000007c: PUSH4 0x9c8f9f23 00000081: EQ 00000082: PUSH2 0x02ec 00000085: JUMPI 00000086: DUP1 00000087: PUSH4 0xa85ef678 0000008c: EQ 0000008d: PUSH2 0x030c 00000090: JUMPI 00000091: DUP1 00000092: PUSH4 0xad5c4648 00000097: EQ 00000098: PUSH2 0x0321 0000009b: JUMPI 0000009c: PUSH1 0x00 0000009e: DUP1 0000009f: REVERT 000000a0: JUMPDEST 000000a1: DUP1 000000a2: PUSH4 0x59f30518 000000a7: GT 000000a8: PUSH2 0x00e7 000000ab: JUMPI 000000ac: DUP1 000000ad: PUSH4 0x59f30518 000000b2: EQ 000000b3: PUSH2 0x020f 000000b6: JUMPI 000000b7: DUP1 000000b8: PUSH4 0x6312d0e7 000000bd: EQ 000000be: PUSH2 0x022f 000000c1: JUMPI 000000c2: DUP1 000000c3: PUSH4 0x686d675a 000000c8: EQ 000000c9: PUSH2 0x0245 000000cc: JUMPI 000000cd: DUP1 000000ce: PUSH4 0x715018a6 000000d3: EQ 000000d4: PUSH2 0x0265 000000d7: JUMPI 000000d8: DUP1 000000d9: PUSH4 0x75619ab5 000000de: EQ 000000df: PUSH2 0x027a 000000e2: JUMPI 000000e3: PUSH1 0x00 000000e5: DUP1 000000e6: REVERT 000000e7: JUMPDEST 000000e8: DUP1 000000e9: PUSH4 0x0c3513a8 000000ee: EQ 000000ef: PUSH2 0x012f 000000f2: JUMPI 000000f3: DUP1 000000f4: PUSH4 0x1694505e 000000f9: EQ 000000fa: PUSH2 0x0157 000000fd: JUMPI 000000fe: DUP1 000000ff: PUSH4 0x29a9736a 00000104: EQ 00000105: PUSH2 0x01a3 00000108: JUMPI 00000109: DUP1 0000010a: PUSH4 0x40c10f19 0000010f: EQ 00000110: PUSH2 0x01b9 00000113: JUMPI 00000114: DUP1 00000115: PUSH4 0x49bd5a5e 0000011a: EQ 0000011b: PUSH2 0x01db 0000011e: JUMPI 0000011f: PUSH1 0x00 00000121: DUP1 00000122: REVERT 00000123: JUMPDEST 00000124: CALLDATASIZE 00000125: PUSH2 0x012a 00000128: JUMPI 00000129: STOP 0000012a: JUMPDEST 0000012b: PUSH1 0x00 0000012d: DUP1 0000012e: REVERT 0000012f: JUMPDEST 00000130: CALLVALUE 00000131: DUP1 00000132: ISZERO 00000133: PUSH2 0x013b 00000136: JUMPI 00000137: PUSH1 0x00 00000139: DUP1 0000013a: REVERT 0000013b: JUMPDEST 0000013c: POP 0000013d: PUSH2 0x0144 00000140: PUSH2 0x03e1 00000143: JUMP 00000144: JUMPDEST 00000145: PUSH1 0x40 00000147: MLOAD 00000148: SWAP1 00000149: DUP2 0000014a: MSTORE 0000014b: PUSH1 0x20 0000014d: ADD 0000014e: JUMPDEST 0000014f: PUSH1 0x40 00000151: MLOAD 00000152: DUP1 00000153: SWAP2 00000154: SUB 00000155: SWAP1 00000156: RETURN 00000157: JUMPDEST 00000158: CALLVALUE 00000159: DUP1 0000015a: ISZERO 0000015b: PUSH2 0x0163 0000015e: JUMPI 0000015f: PUSH1 0x00 00000161: DUP1 00000162: REVERT 00000163: JUMPDEST 00000164: POP 00000165: PUSH2 0x018b 00000168: PUSH32 0x0000000000000000000000007a250d5630b4cf539739df2c5dacb4c659f2488d 00000189: DUP2 0000018a: JUMP 0000018b: JUMPDEST 0000018c: PUSH1 0x40 0000018e: MLOAD 0000018f: PUSH1 0x01 00000191: PUSH1 0x01 00000193: PUSH1 0xa0 00000195: SHL 00000196: SUB 00000197: SWAP1 00000198: SWAP2 00000199: AND 0000019a: DUP2 0000019b: MSTORE 0000019c: PUSH1 0x20 0000019e: ADD 0000019f: PUSH2 0x014e 000001a2: JUMP 000001a3: JUMPDEST 000001a4: CALLVALUE 000001a5: DUP1 000001a6: ISZERO 000001a7: PUSH2 0x01af 000001aa: JUMPI 000001ab: PUSH1 0x00 000001ad: DUP1 000001ae: REVERT 000001af: JUMPDEST 000001b0: POP 000001b1: PUSH2 0x0144 000001b4: PUSH1 0x02 000001b6: SLOAD 000001b7: DUP2 000001b8: JUMP 000001b9: JUMPDEST 000001ba: CALLVALUE 000001bb: DUP1 000001bc: ISZERO 000001bd: PUSH2 0x01c5 000001c0: JUMPI 000001c1: PUSH1 0x00 000001c3: DUP1 000001c4: REVERT 000001c5: JUMPDEST 000001c6: POP 000001c7: PUSH2 0x01d9 000001ca: PUSH2 0x01d4 000001cd: CALLDATASIZE 000001ce: PUSH1 0x04 000001d0: PUSH2 0x0fde 000001d3: JUMP 000001d4: JUMPDEST 000001d5: PUSH2 0x05b6 000001d8: JUMP 000001d9: JUMPDEST 000001da: STOP 000001db: JUMPDEST 000001dc: CALLVALUE 000001dd: DUP1 000001de: ISZERO 000001df: PUSH2 0x01e7 000001e2: JUMPI 000001e3: PUSH1 0x00 000001e5: DUP1 000001e6: REVERT 000001e7: JUMPDEST 000001e8: POP 000001e9: PUSH2 0x018b 000001ec: PUSH32 0x00000000000000000000000020746fde9ae1b7bbd3dbaddae3c9244a27bd2b06 0000020d: DUP2 0000020e: JUMP 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 0x01d9 00000220: PUSH2 0x022a 00000223: CALLDATASIZE 00000224: PUSH1 0x04 00000226: PUSH2 0x1008 00000229: JUMP 0000022a: JUMPDEST 0000022b: PUSH2 0x069b 0000022e: JUMP 0000022f: JUMPDEST 00000230: CALLVALUE 00000231: DUP1 00000232: ISZERO 00000233: PUSH2 0x023b 00000236: JUMPI 00000237: PUSH1 0x00 00000239: DUP1 0000023a: REVERT 0000023b: JUMPDEST 0000023c: POP 0000023d: PUSH2 0x0144 00000240: PUSH1 0x03 00000242: SLOAD 00000243: DUP2 00000244: JUMP 00000245: JUMPDEST 00000246: CALLVALUE 00000247: DUP1 00000248: ISZERO 00000249: PUSH2 0x0251 0000024c: JUMPI 0000024d: PUSH1 0x00 0000024f: DUP1 00000250: REVERT 00000251: JUMPDEST 00000252: POP 00000253: PUSH2 0x01d9 00000256: PUSH2 0x0260 00000259: CALLDATASIZE 0000025a: PUSH1 0x04 0000025c: PUSH2 0x1021 0000025f: JUMP 00000260: JUMPDEST 00000261: PUSH2 0x06f9 00000264: JUMP 00000265: JUMPDEST 00000266: CALLVALUE 00000267: DUP1 00000268: ISZERO 00000269: PUSH2 0x0271 0000026c: JUMPI 0000026d: PUSH1 0x00 0000026f: DUP1 00000270: REVERT 00000271: JUMPDEST 00000272: POP 00000273: PUSH2 0x01d9 00000276: PUSH2 0x0867 00000279: JUMP 0000027a: JUMPDEST 0000027b: CALLVALUE 0000027c: DUP1 0000027d: ISZERO 0000027e: PUSH2 0x0286 00000281: JUMPI 00000282: PUSH1 0x00 00000284: DUP1 00000285: REVERT 00000286: JUMPDEST 00000287: POP 00000288: PUSH2 0x01d9 0000028b: PUSH2 0x0295 0000028e: CALLDATASIZE 0000028f: PUSH1 0x04 00000291: PUSH2 0x104d 00000294: JUMP 00000295: JUMPDEST 00000296: PUSH2 0x087b 00000299: JUMP 0000029a: JUMPDEST 0000029b: CALLVALUE 0000029c: DUP1 0000029d: ISZERO 0000029e: PUSH2 0x02a6 000002a1: JUMPI 000002a2: PUSH1 0x00 000002a4: DUP1 000002a5: REVERT 000002a6: JUMPDEST 000002a7: POP 000002a8: PUSH2 0x018b 000002ab: PUSH32 0x00000000000000000000000039d8bcb39de75218e3c08200d95fde3a479d7a14 000002cc: DUP2 000002cd: JUMP 000002ce: JUMPDEST 000002cf: CALLVALUE 000002d0: DUP1 000002d1: ISZERO 000002d2: PUSH2 0x02da 000002d5: JUMPI 000002d6: PUSH1 0x00 000002d8: DUP1 000002d9: REVERT 000002da: JUMPDEST 000002db: POP 000002dc: PUSH1 0x00 000002de: SLOAD 000002df: PUSH1 0x01 000002e1: PUSH1 0x01 000002e3: PUSH1 0xa0 000002e5: SHL 000002e6: SUB 000002e7: AND 000002e8: PUSH2 0x018b 000002eb: JUMP 000002ec: JUMPDEST 000002ed: CALLVALUE 000002ee: DUP1 000002ef: ISZERO 000002f0: PUSH2 0x02f8 000002f3: JUMPI 000002f4: PUSH1 0x00 000002f6: DUP1 000002f7: REVERT 000002f8: JUMPDEST 000002f9: POP 000002fa: PUSH2 0x01d9 000002fd: PUSH2 0x0307 00000300: CALLDATASIZE 00000301: PUSH1 0x04 00000303: PUSH2 0x1008 00000306: JUMP 00000307: JUMPDEST 00000308: PUSH2 0x08fe 0000030b: JUMP 0000030c: JUMPDEST 0000030d: CALLVALUE 0000030e: DUP1 0000030f: ISZERO 00000310: PUSH2 0x0318 00000313: JUMPI 00000314: PUSH1 0x00 00000316: DUP1 00000317: REVERT 00000318: JUMPDEST 00000319: POP 0000031a: PUSH2 0x01d9 0000031d: PUSH2 0x0bf6 00000320: JUMP 00000321: JUMPDEST 00000322: CALLVALUE 00000323: DUP1 00000324: ISZERO 00000325: PUSH2 0x032d 00000328: JUMPI 00000329: PUSH1 0x00 0000032b: DUP1 0000032c: REVERT 0000032d: JUMPDEST 0000032e: POP 0000032f: PUSH2 0x018b 00000332: PUSH32 0x000000000000000000000000c02aaa39b223fe8d0a0e5c4f27ead9083c756cc2 00000353: DUP2 00000354: JUMP 00000355: JUMPDEST 00000356: CALLVALUE 00000357: DUP1 00000358: ISZERO 00000359: PUSH2 0x0361 0000035c: JUMPI 0000035d: PUSH1 0x00 0000035f: DUP1 00000360: REVERT 00000361: JUMPDEST 00000362: POP 00000363: PUSH1 0x01 00000365: SLOAD 00000366: PUSH2 0x018b 00000369: SWAP1 0000036a: PUSH1 0x01 0000036c: PUSH1 0x01 0000036e: PUSH1 0xa0 00000370: SHL 00000371: SUB 00000372: AND 00000373: DUP2 00000374: JUMP 00000375: JUMPDEST 00000376: CALLVALUE 00000377: DUP1 00000378: ISZERO 00000379: PUSH2 0x0381 0000037c: JUMPI 0000037d: PUSH1 0x00 0000037f: DUP1 00000380: REVERT 00000381: JUMPDEST 00000382: POP 00000383: PUSH2 0x01d9 00000386: PUSH2 0x0390 00000389: CALLDATASIZE 0000038a: PUSH1 0x04 0000038c: PUSH2 0x1008 0000038f: JUMP 00000390: JUMPDEST 00000391: PUSH2 0x0c5b 00000394: JUMP 00000395: JUMPDEST 00000396: CALLVALUE 00000397: DUP1 00000398: ISZERO 00000399: PUSH2 0x03a1 0000039c: JUMPI 0000039d: PUSH1 0x00 0000039f: DUP1 000003a0: REVERT 000003a1: JUMPDEST 000003a2: POP 000003a3: PUSH2 0x0144 000003a6: PUSH1 0x0a 000003a8: DUP2 000003a9: JUMP 000003aa: JUMPDEST 000003ab: CALLVALUE 000003ac: DUP1 000003ad: ISZERO 000003ae: PUSH2 0x03b6 000003b1: JUMPI 000003b2: PUSH1 0x00 000003b4: DUP1 000003b5: REVERT 000003b6: JUMPDEST 000003b7: POP 000003b8: PUSH2 0x0144 000003bb: PUSH3 0x015180 000003bf: DUP2 000003c0: JUMP 000003c1: JUMPDEST 000003c2: CALLVALUE 000003c3: DUP1 000003c4: ISZERO 000003c5: PUSH2 0x03cd 000003c8: JUMPI 000003c9: PUSH1 0x00 000003cb: DUP1 000003cc: REVERT 000003cd: JUMPDEST 000003ce: POP 000003cf: PUSH2 0x01d9 000003d2: PUSH2 0x03dc 000003d5: CALLDATASIZE 000003d6: PUSH1 0x04 000003d8: PUSH2 0x104d 000003db: JUMP 000003dc: JUMPDEST 000003dd: PUSH2 0x0d97 000003e0: JUMP 000003e1: JUMPDEST 000003e2: PUSH1 0x40 000003e4: MLOAD 000003e5: PUSH4 0x70a08231 000003ea: PUSH1 0xe0 000003ec: SHL 000003ed: DUP2 000003ee: MSTORE 000003ef: ADDRESS 000003f0: PUSH1 0x04 000003f2: DUP3 000003f3: ADD 000003f4: MSTORE 000003f5: PUSH1 0x00 000003f7: SWAP1 000003f8: DUP2 000003f9: SWAP1 000003fa: PUSH1 0x01 000003fc: PUSH1 0x01 000003fe: PUSH1 0xa0 00000400: SHL 00000401: SUB 00000402: PUSH32 0x000000000000000000000000c02aaa39b223fe8d0a0e5c4f27ead9083c756cc2 00000423: AND 00000424: SWAP1 00000425: PUSH4 0x70a08231 0000042a: SWAP1 0000042b: PUSH1 0x24 0000042d: ADD 0000042e: PUSH1 0x20 00000430: PUSH1 0x40 00000432: MLOAD 00000433: DUP1 00000434: DUP4 00000435: SUB 00000436: DUP2 00000437: DUP7 00000438: GAS 00000439: STATICCALL 0000043a: ISZERO 0000043b: DUP1 0000043c: ISZERO 0000043d: PUSH2 0x044a 00000440: JUMPI 00000441: RETURNDATASIZE 00000442: PUSH1 0x00 00000444: DUP1 00000445: RETURNDATACOPY 00000446: RETURNDATASIZE 00000447: PUSH1 0x00 00000449: REVERT 0000044a: JUMPDEST 0000044b: POP 0000044c: POP 0000044d: POP 0000044e: POP 0000044f: PUSH1 0x40 00000451: MLOAD 00000452: RETURNDATASIZE 00000453: PUSH1 0x1f 00000455: NOT 00000456: PUSH1 0x1f 00000458: DUP3 00000459: ADD 0000045a: AND 0000045b: DUP3 0000045c: ADD 0000045d: DUP1 0000045e: PUSH1 0x40 00000460: MSTORE 00000461: POP 00000462: DUP2 00000463: ADD 00000464: SWAP1 00000465: PUSH2 0x046e 00000468: SWAP2 00000469: SWAP1 0000046a: PUSH2 0x106f 0000046d: JUMP 0000046e: JUMPDEST 0000046f: SWAP1 00000470: POP 00000471: PUSH1 0x00 00000473: PUSH1 0x02 00000475: SLOAD 00000476: DUP3 00000477: PUSH4 0x3b9aca00 0000047c: PUSH2 0x0485 0000047f: SWAP2 00000480: SWAP1 00000481: PUSH2 0x109e 00000484: JUMP 00000485: JUMPDEST 00000486: PUSH2 0x048f 00000489: SWAP2 0000048a: SWAP1 0000048b: PUSH2 0x10bb 0000048e: JUMP 0000048f: JUMPDEST 00000490: SWAP1 00000491: POP 00000492: DUP1 00000493: PUSH32 0x00000000000000000000000039d8bcb39de75218e3c08200d95fde3a479d7a14 000004b4: PUSH1 0x01 000004b6: PUSH1 0x01 000004b8: PUSH1 0xa0 000004ba: SHL 000004bb: SUB 000004bc: AND 000004bd: PUSH4 0x18160ddd 000004c2: PUSH1 0x40 000004c4: MLOAD 000004c5: DUP2 000004c6: PUSH4 0xffffffff 000004cb: AND 000004cc: PUSH1 0xe0 000004ce: SHL 000004cf: DUP2 000004d0: MSTORE 000004d1: PUSH1 0x04 000004d3: ADD 000004d4: PUSH1 0x20 000004d6: PUSH1 0x40 000004d8: MLOAD 000004d9: DUP1 000004da: DUP4 000004db: SUB 000004dc: DUP2 000004dd: DUP7 000004de: GAS 000004df: STATICCALL 000004e0: ISZERO 000004e1: DUP1 000004e2: ISZERO 000004e3: PUSH2 0x04f0 000004e6: JUMPI 000004e7: RETURNDATASIZE 000004e8: PUSH1 0x00 000004ea: DUP1 000004eb: RETURNDATACOPY 000004ec: RETURNDATASIZE 000004ed: PUSH1 0x00 000004ef: REVERT 000004f0: JUMPDEST 000004f1: POP 000004f2: POP 000004f3: POP 000004f4: POP 000004f5: PUSH1 0x40 000004f7: MLOAD 000004f8: RETURNDATASIZE 000004f9: PUSH1 0x1f 000004fb: NOT 000004fc: PUSH1 0x1f 000004fe: DUP3 000004ff: ADD 00000500: AND 00000501: DUP3 00000502: ADD 00000503: DUP1 00000504: PUSH1 0x40 00000506: MSTORE 00000507: POP 00000508: DUP2 00000509: ADD 0000050a: SWAP1 0000050b: PUSH2 0x0514 0000050e: SWAP2 0000050f: SWAP1 00000510: PUSH2 0x106f 00000513: JUMP 00000514: JUMPDEST 00000515: GT 00000516: ISZERO 00000517: PUSH2 0x0523 0000051a: JUMPI 0000051b: PUSH1 0x00 0000051d: SWAP3 0000051e: POP 0000051f: POP 00000520: POP 00000521: SWAP1 00000522: JUMP 00000523: JUMPDEST 00000524: PUSH32 0x00000000000000000000000039d8bcb39de75218e3c08200d95fde3a479d7a14 00000545: PUSH1 0x01 00000547: PUSH1 0x01 00000549: PUSH1 0xa0 0000054b: SHL 0000054c: SUB 0000054d: AND 0000054e: PUSH4 0x18160ddd 00000553: PUSH1 0x40 00000555: MLOAD 00000556: DUP2 00000557: PUSH4 0xffffffff 0000055c: AND 0000055d: PUSH1 0xe0 0000055f: SHL 00000560: DUP2 00000561: MSTORE 00000562: PUSH1 0x04 00000564: ADD 00000565: PUSH1 0x20 00000567: PUSH1 0x40 00000569: MLOAD 0000056a: DUP1 0000056b: DUP4 0000056c: SUB 0000056d: DUP2 0000056e: DUP7 0000056f: GAS 00000570: STATICCALL 00000571: ISZERO 00000572: DUP1 00000573: ISZERO 00000574: PUSH2 0x0581 00000577: JUMPI 00000578: RETURNDATASIZE 00000579: PUSH1 0x00 0000057b: DUP1 0000057c: RETURNDATACOPY 0000057d: RETURNDATASIZE 0000057e: PUSH1 0x00 00000580: REVERT 00000581: JUMPDEST 00000582: POP 00000583: POP 00000584: POP 00000585: POP 00000586: PUSH1 0x40 00000588: MLOAD 00000589: RETURNDATASIZE 0000058a: PUSH1 0x1f 0000058c: NOT 0000058d: PUSH1 0x1f 0000058f: DUP3 00000590: ADD 00000591: AND 00000592: DUP3 00000593: ADD 00000594: DUP1 00000595: PUSH1 0x40 00000597: MSTORE 00000598: POP 00000599: DUP2 0000059a: ADD 0000059b: SWAP1 0000059c: PUSH2 0x05a5 0000059f: SWAP2 000005a0: SWAP1 000005a1: PUSH2 0x106f 000005a4: JUMP 000005a5: JUMPDEST 000005a6: PUSH2 0x05af 000005a9: SWAP1 000005aa: DUP3 000005ab: PUSH2 0x10dd 000005ae: JUMP 000005af: JUMPDEST 000005b0: SWAP3 000005b1: POP 000005b2: POP 000005b3: POP 000005b4: SWAP1 000005b5: JUMP 000005b6: JUMPDEST 000005b7: PUSH1 0x01 000005b9: SLOAD 000005ba: PUSH1 0x01 000005bc: PUSH1 0x01 000005be: PUSH1 0xa0 000005c0: SHL 000005c1: SUB 000005c2: AND 000005c3: CALLER 000005c4: EQ 000005c5: PUSH2 0x0615 000005c8: JUMPI 000005c9: PUSH1 0x40 000005cb: MLOAD 000005cc: PUSH3 0x461bcd 000005d0: PUSH1 0xe5 000005d2: SHL 000005d3: DUP2 000005d4: MSTORE 000005d5: PUSH1 0x20 000005d7: PUSH1 0x04 000005d9: DUP3 000005da: ADD 000005db: MSTORE 000005dc: PUSH1 0x1d 000005de: PUSH1 0x24 000005e0: DUP3 000005e1: ADD 000005e2: MSTORE 000005e3: PUSH32 0x6d73672e73656e646572206973206e6f74206469737472696275746f72000000 00000604: PUSH1 0x44 00000606: DUP3 00000607: ADD 00000608: MSTORE 00000609: PUSH1 0x64 0000060b: ADD 0000060c: JUMPDEST 0000060d: PUSH1 0x40 0000060f: MLOAD 00000610: DUP1 00000611: SWAP2 00000612: SUB 00000613: SWAP1 00000614: REVERT 00000615: JUMPDEST 00000616: PUSH1 0x40 00000618: MLOAD 00000619: PUSH4 0x40c10f19 0000061e: PUSH1 0xe0 00000620: SHL 00000621: DUP2 00000622: MSTORE 00000623: PUSH1 0x01 00000625: PUSH1 0x01 00000627: PUSH1 0xa0 00000629: SHL 0000062a: SUB 0000062b: DUP4 0000062c: DUP2 0000062d: AND 0000062e: PUSH1 0x04 00000630: DUP4 00000631: ADD 00000632: MSTORE 00000633: PUSH1 0x24 00000635: DUP3 00000636: ADD 00000637: DUP4 00000638: SWAP1 00000639: MSTORE 0000063a: PUSH32 0x00000000000000000000000039d8bcb39de75218e3c08200d95fde3a479d7a14 0000065b: AND 0000065c: SWAP1 0000065d: PUSH4 0x40c10f19 00000662: SWAP1 00000663: PUSH1 0x44 00000665: ADD 00000666: PUSH1 0x00 00000668: PUSH1 0x40 0000066a: MLOAD 0000066b: DUP1 0000066c: DUP4 0000066d: SUB 0000066e: DUP2 0000066f: PUSH1 0x00 00000671: DUP8 00000672: DUP1 00000673: EXTCODESIZE 00000674: ISZERO 00000675: DUP1 00000676: ISZERO 00000677: PUSH2 0x067f 0000067a: JUMPI 0000067b: PUSH1 0x00 0000067d: DUP1 0000067e: REVERT 0000067f: JUMPDEST 00000680: POP 00000681: GAS 00000682: CALL 00000683: ISZERO 00000684: DUP1 00000685: ISZERO 00000686: PUSH2 0x0693 00000689: JUMPI 0000068a: RETURNDATASIZE 0000068b: PUSH1 0x00 0000068d: DUP1 0000068e: RETURNDATACOPY 0000068f: RETURNDATASIZE 00000690: PUSH1 0x00 00000692: REVERT 00000693: JUMPDEST 00000694: POP 00000695: POP 00000696: POP 00000697: POP 00000698: POP 00000699: POP 0000069a: JUMP 0000069b: JUMPDEST 0000069c: PUSH2 0x06a3 0000069f: PUSH2 0x0e0d 000006a2: JUMP 000006a3: JUMPDEST 000006a4: PUSH1 0x02 000006a6: SLOAD 000006a7: DUP2 000006a8: SUB 000006a9: PUSH2 0x06f4 000006ac: JUMPI 000006ad: PUSH1 0x40 000006af: MLOAD 000006b0: PUSH3 0x461bcd 000006b4: PUSH1 0xe5 000006b6: SHL 000006b7: DUP2 000006b8: MSTORE 000006b9: PUSH1 0x20 000006bb: PUSH1 0x04 000006bd: DUP3 000006be: ADD 000006bf: MSTORE 000006c0: PUSH1 0x1d 000006c2: PUSH1 0x24 000006c4: DUP3 000006c5: ADD 000006c6: MSTORE 000006c7: PUSH32 0x4e6577206261636b696e67206d75737420626520646966666572656e74000000 000006e8: PUSH1 0x44 000006ea: DUP3 000006eb: ADD 000006ec: MSTORE 000006ed: PUSH1 0x64 000006ef: ADD 000006f0: PUSH2 0x060c 000006f3: JUMP 000006f4: JUMPDEST 000006f5: PUSH1 0x02 000006f7: SSTORE 000006f8: JUMP 000006f9: JUMPDEST 000006fa: PUSH2 0x0701 000006fd: PUSH2 0x0e0d 00000700: JUMP 00000701: JUMPDEST 00000702: PUSH32 0x000000000000000000000000c02aaa39b223fe8d0a0e5c4f27ead9083c756cc2 00000723: PUSH1 0x01 00000725: PUSH1 0x01 00000727: PUSH1 0xa0 00000729: SHL 0000072a: SUB 0000072b: AND 0000072c: DUP2 0000072d: PUSH1 0x01 0000072f: PUSH1 0x01 00000731: PUSH1 0xa0 00000733: SHL 00000734: SUB 00000735: AND 00000736: SUB 00000737: PUSH2 0x077a 0000073a: JUMPI 0000073b: PUSH1 0x40 0000073d: MLOAD 0000073e: PUSH3 0x461bcd 00000742: PUSH1 0xe5 00000744: SHL 00000745: DUP2 00000746: MSTORE 00000747: PUSH1 0x20 00000749: PUSH1 0x04 0000074b: DUP3 0000074c: ADD 0000074d: MSTORE 0000074e: PUSH1 0x15 00000750: PUSH1 0x24 00000752: DUP3 00000753: ADD 00000754: MSTORE 00000755: PUSH21 0x086c2dc40dcdee840eed2e8d0c8e4c2ee40ae8aa89 0000076b: PUSH1 0x5b 0000076d: SHL 0000076e: PUSH1 0x44 00000770: DUP3 00000771: ADD 00000772: MSTORE 00000773: PUSH1 0x64 00000775: ADD 00000776: PUSH2 0x060c 00000779: JUMP 0000077a: JUMPDEST 0000077b: PUSH32 0x00000000000000000000000020746fde9ae1b7bbd3dbaddae3c9244a27bd2b06 0000079c: PUSH1 0x01 0000079e: PUSH1 0x01 000007a0: PUSH1 0xa0 000007a2: SHL 000007a3: SUB 000007a4: AND 000007a5: DUP2 000007a6: PUSH1 0x01 000007a8: PUSH1 0x01 000007aa: PUSH1 0xa0 000007ac: SHL 000007ad: SUB 000007ae: AND 000007af: SUB 000007b0: PUSH2 0x07f1 000007b3: JUMPI 000007b4: PUSH1 0x40 000007b6: MLOAD 000007b7: PUSH3 0x461bcd 000007bb: PUSH1 0xe5 000007bd: SHL 000007be: DUP2 000007bf: MSTORE 000007c0: PUSH1 0x20 000007c2: PUSH1 0x04 000007c4: DUP3 000007c5: ADD 000007c6: MSTORE 000007c7: PUSH1 0x13 000007c9: PUSH1 0x24 000007cb: DUP3 000007cc: ADD 000007cd: MSTORE 000007ce: PUSH19 0x043616e206e6f74207769746864726177204c5 000007e2: PUSH1 0x6c 000007e4: SHL 000007e5: PUSH1 0x44 000007e7: DUP3 000007e8: ADD 000007e9: MSTORE 000007ea: PUSH1 0x64 000007ec: ADD 000007ed: PUSH2 0x060c 000007f0: JUMP 000007f1: JUMPDEST 000007f2: PUSH1 0x40 000007f4: MLOAD 000007f5: PUSH4 0xa9059cbb 000007fa: PUSH1 0xe0 000007fc: SHL 000007fd: DUP2 000007fe: MSTORE 000007ff: CALLER 00000800: PUSH1 0x04 00000802: DUP3 00000803: ADD 00000804: MSTORE 00000805: PUSH1 0x24 00000807: DUP2 00000808: ADD 00000809: DUP4 0000080a: SWAP1 0000080b: MSTORE 0000080c: PUSH1 0x01 0000080e: PUSH1 0x01 00000810: PUSH1 0xa0 00000812: SHL 00000813: SUB 00000814: DUP3 00000815: AND 00000816: SWAP1 00000817: PUSH4 0xa9059cbb 0000081c: SWAP1 0000081d: PUSH1 0x44 0000081f: ADD 00000820: PUSH1 0x20 00000822: PUSH1 0x40 00000824: MLOAD 00000825: DUP1 00000826: DUP4 00000827: SUB 00000828: DUP2 00000829: PUSH1 0x00 0000082b: DUP8 0000082c: GAS 0000082d: CALL 0000082e: ISZERO 0000082f: DUP1 00000830: ISZERO 00000831: PUSH2 0x083e 00000834: JUMPI 00000835: RETURNDATASIZE 00000836: PUSH1 0x00 00000838: DUP1 00000839: RETURNDATACOPY 0000083a: RETURNDATASIZE 0000083b: PUSH1 0x00 0000083d: REVERT 0000083e: JUMPDEST 0000083f: POP 00000840: POP 00000841: POP 00000842: POP 00000843: PUSH1 0x40 00000845: MLOAD 00000846: RETURNDATASIZE 00000847: PUSH1 0x1f 00000849: NOT 0000084a: PUSH1 0x1f 0000084c: DUP3 0000084d: ADD 0000084e: AND 0000084f: DUP3 00000850: ADD 00000851: DUP1 00000852: PUSH1 0x40 00000854: MSTORE 00000855: POP 00000856: DUP2 00000857: ADD 00000858: SWAP1 00000859: PUSH2 0x0862 0000085c: SWAP2 0000085d: SWAP1 0000085e: PUSH2 0x10f0 00000861: JUMP 00000862: JUMPDEST 00000863: POP 00000864: POP 00000865: POP 00000866: JUMP 00000867: JUMPDEST 00000868: PUSH2 0x086f 0000086b: PUSH2 0x0e0d 0000086e: JUMP 0000086f: JUMPDEST 00000870: PUSH2 0x0879 00000873: PUSH1 0x00 00000875: PUSH2 0x0e67 00000878: JUMP 00000879: JUMPDEST 0000087a: JUMP 0000087b: JUMPDEST 0000087c: PUSH2 0x0883 0000087f: PUSH2 0x0e0d 00000882: JUMP 00000883: JUMPDEST 00000884: PUSH1 0x01 00000886: SLOAD 00000887: PUSH1 0x01 00000889: PUSH1 0x01 0000088b: PUSH1 0xa0 0000088d: SHL 0000088e: SUB 0000088f: AND 00000890: ISZERO 00000891: PUSH2 0x08dc 00000894: JUMPI 00000895: PUSH1 0x40 00000897: MLOAD 00000898: PUSH3 0x461bcd 0000089c: PUSH1 0xe5 0000089e: SHL 0000089f: DUP2 000008a0: MSTORE 000008a1: PUSH1 0x20 000008a3: PUSH1 0x04 000008a5: DUP3 000008a6: ADD 000008a7: MSTORE 000008a8: PUSH1 0x17 000008aa: PUSH1 0x24 000008ac: DUP3 000008ad: ADD 000008ae: MSTORE 000008af: PUSH32 0x6469737472696275746f7220616c726561647920736574000000000000000000 000008d0: PUSH1 0x44 000008d2: DUP3 000008d3: ADD 000008d4: MSTORE 000008d5: PUSH1 0x64 000008d7: ADD 000008d8: PUSH2 0x060c 000008db: JUMP 000008dc: JUMPDEST 000008dd: PUSH1 0x01 000008df: DUP1 000008e0: SLOAD 000008e1: PUSH1 0x01 000008e3: PUSH1 0x01 000008e5: PUSH1 0xa0 000008e7: SHL 000008e8: SUB 000008e9: NOT 000008ea: AND 000008eb: PUSH1 0x01 000008ed: PUSH1 0x01 000008ef: PUSH1 0xa0 000008f1: SHL 000008f2: SUB 000008f3: SWAP3 000008f4: SWAP1 000008f5: SWAP3 000008f6: AND 000008f7: SWAP2 000008f8: SWAP1 000008f9: SWAP2 000008fa: OR 000008fb: SWAP1 000008fc: SSTORE 000008fd: JUMP 000008fe: JUMPDEST 000008ff: PUSH2 0x0906 00000902: PUSH2 0x0e0d 00000905: JUMP 00000906: JUMPDEST 00000907: PUSH1 0x40 00000909: MLOAD 0000090a: PUSH4 0x70a08231 0000090f: PUSH1 0xe0 00000911: SHL 00000912: DUP2 00000913: MSTORE 00000914: ADDRESS 00000915: PUSH1 0x04 00000917: DUP3 00000918: ADD 00000919: MSTORE 0000091a: PUSH1 0x00 0000091c: SWAP1 0000091d: PUSH32 0x00000000000000000000000020746fde9ae1b7bbd3dbaddae3c9244a27bd2b06 0000093e: PUSH1 0x01 00000940: PUSH1 0x01 00000942: PUSH1 0xa0 00000944: SHL 00000945: SUB 00000946: AND 00000947: SWAP1 00000948: PUSH4 0x70a08231 0000094d: SWAP1 0000094e: PUSH1 0x24 00000950: ADD 00000951: PUSH1 0x20 00000953: PUSH1 0x40 00000955: MLOAD 00000956: DUP1 00000957: DUP4 00000958: SUB 00000959: DUP2 0000095a: DUP7 0000095b: GAS 0000095c: STATICCALL 0000095d: ISZERO 0000095e: DUP1 0000095f: ISZERO 00000960: PUSH2 0x096d 00000963: JUMPI 00000964: RETURNDATASIZE 00000965: PUSH1 0x00 00000967: DUP1 00000968: RETURNDATACOPY 00000969: RETURNDATASIZE 0000096a: PUSH1 0x00 0000096c: REVERT 0000096d: JUMPDEST 0000096e: POP 0000096f: POP 00000970: POP 00000971: POP 00000972: PUSH1 0x40 00000974: MLOAD 00000975: RETURNDATASIZE 00000976: PUSH1 0x1f 00000978: NOT 00000979: PUSH1 0x1f 0000097b: DUP3 0000097c: ADD 0000097d: AND 0000097e: DUP3 0000097f: ADD 00000980: DUP1 00000981: PUSH1 0x40 00000983: MSTORE 00000984: POP 00000985: DUP2 00000986: ADD 00000987: SWAP1 00000988: PUSH2 0x0991 0000098b: SWAP2 0000098c: SWAP1 0000098d: PUSH2 0x106f 00000990: JUMP 00000991: JUMPDEST 00000992: SWAP1 00000993: POP 00000994: PUSH1 0x64 00000996: PUSH2 0x09a0 00000999: PUSH1 0x0a 0000099b: DUP4 0000099c: PUSH2 0x109e 0000099f: JUMP 000009a0: JUMPDEST 000009a1: PUSH2 0x09aa 000009a4: SWAP2 000009a5: SWAP1 000009a6: PUSH2 0x10bb 000009a9: JUMP 000009aa: JUMPDEST 000009ab: DUP3 000009ac: GT 000009ad: ISZERO 000009ae: PUSH2 0x0a05 000009b1: JUMPI 000009b2: PUSH1 0x40 000009b4: MLOAD 000009b5: PUSH3 0x461bcd 000009b9: PUSH1 0xe5 000009bb: SHL 000009bc: DUP2 000009bd: MSTORE 000009be: PUSH1 0x20 000009c0: PUSH1 0x04 000009c2: DUP3 000009c3: ADD 000009c4: MSTORE 000009c5: PUSH1 0x23 000009c7: PUSH1 0x24 000009c9: DUP3 000009ca: ADD 000009cb: MSTORE 000009cc: PUSH32 0x52656d6f76696e67206d6f7265207468616e20313025206f66206c6971756964 000009ed: PUSH1 0x44 000009ef: DUP3 000009f0: ADD 000009f1: MSTORE 000009f2: PUSH3 0x697479 000009f6: PUSH1 0xe8 000009f8: SHL 000009f9: PUSH1 0x64 000009fb: DUP3 000009fc: ADD 000009fd: MSTORE 000009fe: PUSH1 0x84 00000a00: ADD 00000a01: PUSH2 0x060c 00000a04: JUMP 00000a05: JUMPDEST 00000a06: PUSH3 0x015180 00000a0a: PUSH1 0x03 00000a0c: SLOAD 00000a0d: PUSH2 0x0a16 00000a10: SWAP2 00000a11: SWAP1 00000a12: PUSH2 0x1112 00000a15: JUMP 00000a16: JUMPDEST 00000a17: TIMESTAMP 00000a18: GT 00000a19: PUSH2 0x0a64 00000a1c: JUMPI 00000a1d: PUSH1 0x40 00000a1f: MLOAD 00000a20: PUSH3 0x461bcd 00000a24: PUSH1 0xe5 00000a26: SHL 00000a27: DUP2 00000a28: MSTORE 00000a29: PUSH1 0x20 00000a2b: PUSH1 0x04 00000a2d: DUP3 00000a2e: ADD 00000a2f: MSTORE 00000a30: PUSH1 0x19 00000a32: PUSH1 0x24 00000a34: DUP3 00000a35: ADD 00000a36: MSTORE 00000a37: PUSH32 0x52656d6f766564206265666f7265203120646179206c6f636b00000000000000 00000a58: PUSH1 0x44 00000a5a: DUP3 00000a5b: ADD 00000a5c: MSTORE 00000a5d: PUSH1 0x64 00000a5f: ADD 00000a60: PUSH2 0x060c 00000a63: JUMP 00000a64: JUMPDEST 00000a65: TIMESTAMP 00000a66: PUSH1 0x03 00000a68: SSTORE 00000a69: PUSH1 0x40 00000a6b: MLOAD 00000a6c: PUSH4 0x095ea7b3 00000a71: PUSH1 0xe0 00000a73: SHL 00000a74: DUP2 00000a75: MSTORE 00000a76: PUSH1 0x01 00000a78: PUSH1 0x01 00000a7a: PUSH1 0xa0 00000a7c: SHL 00000a7d: SUB 00000a7e: PUSH32 0x0000000000000000000000007a250d5630b4cf539739df2c5dacb4c659f2488d 00000a9f: DUP2 00000aa0: AND 00000aa1: PUSH1 0x04 00000aa3: DUP4 00000aa4: ADD 00000aa5: MSTORE 00000aa6: PUSH1 0x24 00000aa8: DUP3 00000aa9: ADD 00000aaa: DUP5 00000aab: SWAP1 00000aac: MSTORE 00000aad: PUSH32 0x00000000000000000000000020746fde9ae1b7bbd3dbaddae3c9244a27bd2b06 00000ace: AND 00000acf: SWAP1 00000ad0: PUSH4 0x095ea7b3 00000ad5: SWAP1 00000ad6: PUSH1 0x44 00000ad8: ADD 00000ad9: PUSH1 0x20 00000adb: PUSH1 0x40 00000add: MLOAD 00000ade: DUP1 00000adf: DUP4 00000ae0: SUB 00000ae1: DUP2 00000ae2: PUSH1 0x00 00000ae4: DUP8 00000ae5: GAS 00000ae6: CALL 00000ae7: ISZERO 00000ae8: DUP1 00000ae9: ISZERO 00000aea: PUSH2 0x0af7 00000aed: JUMPI 00000aee: RETURNDATASIZE 00000aef: PUSH1 0x00 00000af1: DUP1 00000af2: RETURNDATACOPY 00000af3: RETURNDATASIZE 00000af4: PUSH1 0x00 00000af6: REVERT 00000af7: JUMPDEST 00000af8: POP 00000af9: POP 00000afa: POP 00000afb: POP 00000afc: PUSH1 0x40 00000afe: MLOAD 00000aff: RETURNDATASIZE 00000b00: PUSH1 0x1f 00000b02: NOT 00000b03: PUSH1 0x1f 00000b05: DUP3 00000b06: ADD 00000b07: AND 00000b08: DUP3 00000b09: ADD 00000b0a: DUP1 00000b0b: PUSH1 0x40 00000b0d: MSTORE 00000b0e: POP 00000b0f: DUP2 00000b10: ADD 00000b11: SWAP1 00000b12: PUSH2 0x0b1b 00000b15: SWAP2 00000b16: SWAP1 00000b17: PUSH2 0x10f0 00000b1a: JUMP 00000b1b: JUMPDEST 00000b1c: POP 00000b1d: PUSH1 0x40 00000b1f: MLOAD 00000b20: PUSH4 0xaf2979eb 00000b25: PUSH1 0xe0 00000b27: SHL 00000b28: DUP2 00000b29: MSTORE 00000b2a: PUSH1 0x01 00000b2c: PUSH1 0x01 00000b2e: PUSH1 0xa0 00000b30: SHL 00000b31: SUB 00000b32: PUSH32 0x00000000000000000000000039d8bcb39de75218e3c08200d95fde3a479d7a14 00000b53: DUP2 00000b54: AND 00000b55: PUSH1 0x04 00000b57: DUP4 00000b58: ADD 00000b59: MSTORE 00000b5a: PUSH1 0x24 00000b5c: DUP3 00000b5d: ADD 00000b5e: DUP5 00000b5f: SWAP1 00000b60: MSTORE 00000b61: PUSH1 0x00 00000b63: PUSH1 0x44 00000b65: DUP4 00000b66: ADD 00000b67: DUP2 00000b68: SWAP1 00000b69: MSTORE 00000b6a: PUSH1 0x64 00000b6c: DUP4 00000b6d: ADD 00000b6e: MSTORE 00000b6f: ADDRESS 00000b70: PUSH1 0x84 00000b72: DUP4 00000b73: ADD 00000b74: MSTORE 00000b75: TIMESTAMP 00000b76: PUSH1 0xa4 00000b78: DUP4 00000b79: ADD 00000b7a: MSTORE 00000b7b: PUSH32 0x0000000000000000000000007a250d5630b4cf539739df2c5dacb4c659f2488d 00000b9c: AND 00000b9d: SWAP1 00000b9e: PUSH4 0xaf2979eb 00000ba3: SWAP1 00000ba4: PUSH1 0xc4 00000ba6: ADD 00000ba7: PUSH1 0x20 00000ba9: PUSH1 0x40 00000bab: MLOAD 00000bac: DUP1 00000bad: DUP4 00000bae: SUB 00000baf: DUP2 00000bb0: PUSH1 0x00 00000bb2: DUP8 00000bb3: GAS 00000bb4: CALL 00000bb5: ISZERO 00000bb6: DUP1 00000bb7: ISZERO 00000bb8: PUSH2 0x0bc5 00000bbb: JUMPI 00000bbc: RETURNDATASIZE 00000bbd: PUSH1 0x00 00000bbf: DUP1 00000bc0: RETURNDATACOPY 00000bc1: RETURNDATASIZE 00000bc2: PUSH1 0x00 00000bc4: REVERT 00000bc5: JUMPDEST 00000bc6: POP 00000bc7: POP 00000bc8: POP 00000bc9: POP 00000bca: PUSH1 0x40 00000bcc: MLOAD 00000bcd: RETURNDATASIZE 00000bce: PUSH1 0x1f 00000bd0: NOT 00000bd1: PUSH1 0x1f 00000bd3: DUP3 00000bd4: ADD 00000bd5: AND 00000bd6: DUP3 00000bd7: ADD 00000bd8: DUP1 00000bd9: PUSH1 0x40 00000bdb: MSTORE 00000bdc: POP 00000bdd: DUP2 00000bde: ADD 00000bdf: SWAP1 00000be0: PUSH2 0x0be9 00000be3: SWAP2 00000be4: SWAP1 00000be5: PUSH2 0x106f 00000be8: JUMP 00000be9: JUMPDEST 00000bea: POP 00000beb: PUSH2 0x0bf2 00000bee: PUSH2 0x0eb7 00000bf1: JUMP 00000bf2: JUMPDEST 00000bf3: POP 00000bf4: POP 00000bf5: JUMP 00000bf6: JUMPDEST 00000bf7: SELFBALANCE 00000bf8: DUP1 00000bf9: ISZERO 00000bfa: PUSH2 0x0c58 00000bfd: JUMPI 00000bfe: PUSH32 0x000000000000000000000000c02aaa39b223fe8d0a0e5c4f27ead9083c756cc2 00000c1f: PUSH1 0x01 00000c21: PUSH1 0x01 00000c23: PUSH1 0xa0 00000c25: SHL 00000c26: SUB 00000c27: AND 00000c28: PUSH4 0xd0e30db0 00000c2d: DUP3 00000c2e: PUSH1 0x40 00000c30: MLOAD 00000c31: DUP3 00000c32: PUSH4 0xffffffff 00000c37: AND 00000c38: PUSH1 0xe0 00000c3a: SHL 00000c3b: DUP2 00000c3c: MSTORE 00000c3d: PUSH1 0x04 00000c3f: ADD 00000c40: PUSH1 0x00 00000c42: PUSH1 0x40 00000c44: MLOAD 00000c45: DUP1 00000c46: DUP4 00000c47: SUB 00000c48: DUP2 00000c49: DUP6 00000c4a: DUP9 00000c4b: DUP1 00000c4c: EXTCODESIZE 00000c4d: ISZERO 00000c4e: DUP1 00000c4f: ISZERO 00000c50: PUSH2 0x067f 00000c53: JUMPI 00000c54: PUSH1 0x00 00000c56: DUP1 00000c57: REVERT 00000c58: JUMPDEST 00000c59: POP 00000c5a: JUMP 00000c5b: JUMPDEST 00000c5c: PUSH1 0x40 00000c5e: MLOAD 00000c5f: PUSH4 0x079cc679 00000c64: PUSH1 0xe4 00000c66: SHL 00000c67: DUP2 00000c68: MSTORE 00000c69: CALLER 00000c6a: PUSH1 0x04 00000c6c: DUP3 00000c6d: ADD 00000c6e: MSTORE 00000c6f: PUSH1 0x24 00000c71: DUP2 00000c72: ADD 00000c73: DUP3 00000c74: SWAP1 00000c75: MSTORE 00000c76: PUSH32 0x00000000000000000000000039d8bcb39de75218e3c08200d95fde3a479d7a14 00000c97: PUSH1 0x01 00000c99: PUSH1 0x01 00000c9b: PUSH1 0xa0 00000c9d: SHL 00000c9e: SUB 00000c9f: AND 00000ca0: SWAP1 00000ca1: PUSH4 0x79cc6790 00000ca6: SWAP1 00000ca7: PUSH1 0x44 00000ca9: ADD 00000caa: PUSH1 0x00 00000cac: PUSH1 0x40 00000cae: MLOAD 00000caf: DUP1 00000cb0: DUP4 00000cb1: SUB 00000cb2: DUP2 00000cb3: PUSH1 0x00 00000cb5: DUP8 00000cb6: DUP1 00000cb7: EXTCODESIZE 00000cb8: ISZERO 00000cb9: DUP1 00000cba: ISZERO 00000cbb: PUSH2 0x0cc3 00000cbe: JUMPI 00000cbf: PUSH1 0x00 00000cc1: DUP1 00000cc2: REVERT 00000cc3: JUMPDEST 00000cc4: POP 00000cc5: GAS 00000cc6: CALL 00000cc7: ISZERO 00000cc8: DUP1 00000cc9: ISZERO 00000cca: PUSH2 0x0cd7 00000ccd: JUMPI 00000cce: RETURNDATASIZE 00000ccf: PUSH1 0x00 00000cd1: DUP1 00000cd2: RETURNDATACOPY 00000cd3: RETURNDATASIZE 00000cd4: PUSH1 0x00 00000cd6: REVERT 00000cd7: JUMPDEST 00000cd8: POP 00000cd9: POP 00000cda: POP 00000cdb: POP 00000cdc: PUSH32 0x000000000000000000000000c02aaa39b223fe8d0a0e5c4f27ead9083c756cc2 00000cfd: PUSH1 0x01 00000cff: PUSH1 0x01 00000d01: PUSH1 0xa0 00000d03: SHL 00000d04: SUB 00000d05: AND 00000d06: PUSH4 0xa9059cbb 00000d0b: CALLER 00000d0c: PUSH4 0x3b9aca00 00000d11: PUSH1 0x02 00000d13: SLOAD 00000d14: DUP6 00000d15: PUSH2 0x0d1e 00000d18: SWAP2 00000d19: SWAP1 00000d1a: PUSH2 0x109e 00000d1d: JUMP 00000d1e: JUMPDEST 00000d1f: PUSH2 0x0d28 00000d22: SWAP2 00000d23: SWAP1 00000d24: PUSH2 0x10bb 00000d27: JUMP 00000d28: JUMPDEST 00000d29: PUSH1 0x40 00000d2b: MLOAD 00000d2c: PUSH1 0x01 00000d2e: PUSH1 0x01 00000d30: PUSH1 0xe0 00000d32: SHL 00000d33: SUB 00000d34: NOT 00000d35: PUSH1 0xe0 00000d37: DUP6 00000d38: SWAP1 00000d39: SHL 00000d3a: AND 00000d3b: DUP2 00000d3c: MSTORE 00000d3d: PUSH1 0x01 00000d3f: PUSH1 0x01 00000d41: PUSH1 0xa0 00000d43: SHL 00000d44: SUB 00000d45: SWAP1 00000d46: SWAP3 00000d47: AND 00000d48: PUSH1 0x04 00000d4a: DUP4 00000d4b: ADD 00000d4c: MSTORE 00000d4d: PUSH1 0x24 00000d4f: DUP3 00000d50: ADD 00000d51: MSTORE 00000d52: PUSH1 0x44 00000d54: ADD 00000d55: PUSH1 0x20 00000d57: PUSH1 0x40 00000d59: MLOAD 00000d5a: DUP1 00000d5b: DUP4 00000d5c: SUB 00000d5d: DUP2 00000d5e: PUSH1 0x00 00000d60: DUP8 00000d61: GAS 00000d62: CALL 00000d63: ISZERO 00000d64: DUP1 00000d65: ISZERO 00000d66: PUSH2 0x0d73 00000d69: JUMPI 00000d6a: RETURNDATASIZE 00000d6b: PUSH1 0x00 00000d6d: DUP1 00000d6e: RETURNDATACOPY 00000d6f: RETURNDATASIZE 00000d70: PUSH1 0x00 00000d72: REVERT 00000d73: JUMPDEST 00000d74: POP 00000d75: POP 00000d76: POP 00000d77: POP 00000d78: PUSH1 0x40 00000d7a: MLOAD 00000d7b: RETURNDATASIZE 00000d7c: PUSH1 0x1f 00000d7e: NOT 00000d7f: PUSH1 0x1f 00000d81: DUP3 00000d82: ADD 00000d83: AND 00000d84: DUP3 00000d85: ADD 00000d86: DUP1 00000d87: PUSH1 0x40 00000d89: MSTORE 00000d8a: POP 00000d8b: DUP2 00000d8c: ADD 00000d8d: SWAP1 00000d8e: PUSH2 0x0bf2 00000d91: SWAP2 00000d92: SWAP1 00000d93: PUSH2 0x10f0 00000d96: JUMP 00000d97: JUMPDEST 00000d98: PUSH2 0x0d9f 00000d9b: PUSH2 0x0e0d 00000d9e: JUMP 00000d9f: JUMPDEST 00000da0: PUSH1 0x01 00000da2: PUSH1 0x01 00000da4: PUSH1 0xa0 00000da6: SHL 00000da7: SUB 00000da8: DUP2 00000da9: AND 00000daa: PUSH2 0x0e04 00000dad: JUMPI 00000dae: PUSH1 0x40 00000db0: MLOAD 00000db1: PUSH3 0x461bcd 00000db5: PUSH1 0xe5 00000db7: SHL 00000db8: DUP2 00000db9: MSTORE 00000dba: PUSH1 0x20 00000dbc: PUSH1 0x04 00000dbe: DUP3 00000dbf: ADD 00000dc0: MSTORE 00000dc1: PUSH1 0x26 00000dc3: PUSH1 0x24 00000dc5: DUP3 00000dc6: ADD 00000dc7: MSTORE 00000dc8: PUSH32 0x4f776e61626c653a206e6577206f776e657220697320746865207a65726f2061 00000de9: PUSH1 0x44 00000deb: DUP3 00000dec: ADD 00000ded: MSTORE 00000dee: PUSH6 0x646472657373 00000df5: PUSH1 0xd0 00000df7: SHL 00000df8: PUSH1 0x64 00000dfa: DUP3 00000dfb: ADD 00000dfc: MSTORE 00000dfd: PUSH1 0x84 00000dff: ADD 00000e00: PUSH2 0x060c 00000e03: JUMP 00000e04: JUMPDEST 00000e05: PUSH2 0x0c58 00000e08: DUP2 00000e09: PUSH2 0x0e67 00000e0c: JUMP 00000e0d: JUMPDEST 00000e0e: PUSH1 0x00 00000e10: SLOAD 00000e11: PUSH1 0x01 00000e13: PUSH1 0x01 00000e15: PUSH1 0xa0 00000e17: SHL 00000e18: SUB 00000e19: AND 00000e1a: CALLER 00000e1b: EQ 00000e1c: PUSH2 0x0879 00000e1f: JUMPI 00000e20: PUSH1 0x40 00000e22: MLOAD 00000e23: PUSH3 0x461bcd 00000e27: PUSH1 0xe5 00000e29: SHL 00000e2a: DUP2 00000e2b: MSTORE 00000e2c: PUSH1 0x20 00000e2e: PUSH1 0x04 00000e30: DUP3 00000e31: ADD 00000e32: DUP2 00000e33: SWAP1 00000e34: MSTORE 00000e35: PUSH1 0x24 00000e37: DUP3 00000e38: ADD 00000e39: MSTORE 00000e3a: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572 00000e5b: PUSH1 0x44 00000e5d: DUP3 00000e5e: ADD 00000e5f: MSTORE 00000e60: PUSH1 0x64 00000e62: ADD 00000e63: PUSH2 0x060c 00000e66: JUMP 00000e67: JUMPDEST 00000e68: PUSH1 0x00 00000e6a: DUP1 00000e6b: SLOAD 00000e6c: PUSH1 0x01 00000e6e: PUSH1 0x01 00000e70: PUSH1 0xa0 00000e72: SHL 00000e73: SUB 00000e74: DUP4 00000e75: DUP2 00000e76: AND 00000e77: PUSH1 0x01 00000e79: PUSH1 0x01 00000e7b: PUSH1 0xa0 00000e7d: SHL 00000e7e: SUB 00000e7f: NOT 00000e80: DUP4 00000e81: AND 00000e82: DUP2 00000e83: OR 00000e84: DUP5 00000e85: SSTORE 00000e86: PUSH1 0x40 00000e88: MLOAD 00000e89: SWAP2 00000e8a: SWAP1 00000e8b: SWAP3 00000e8c: AND 00000e8d: SWAP3 00000e8e: DUP4 00000e8f: SWAP2 00000e90: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0 00000eb1: SWAP2 00000eb2: SWAP1 00000eb3: LOG3 00000eb4: POP 00000eb5: POP 00000eb6: JUMP 00000eb7: JUMPDEST 00000eb8: PUSH1 0x40 00000eba: MLOAD 00000ebb: PUSH4 0x70a08231 00000ec0: PUSH1 0xe0 00000ec2: SHL 00000ec3: DUP2 00000ec4: MSTORE 00000ec5: ADDRESS 00000ec6: PUSH1 0x04 00000ec8: DUP3 00000ec9: ADD 00000eca: MSTORE 00000ecb: PUSH1 0x00 00000ecd: SWAP1 00000ece: PUSH32 0x00000000000000000000000039d8bcb39de75218e3c08200d95fde3a479d7a14 00000eef: PUSH1 0x01 00000ef1: PUSH1 0x01 00000ef3: PUSH1 0xa0 00000ef5: SHL 00000ef6: SUB 00000ef7: AND 00000ef8: SWAP1 00000ef9: PUSH4 0x70a08231 00000efe: SWAP1 00000eff: PUSH1 0x24 00000f01: ADD 00000f02: PUSH1 0x20 00000f04: PUSH1 0x40 00000f06: MLOAD 00000f07: DUP1 00000f08: DUP4 00000f09: SUB 00000f0a: DUP2 00000f0b: DUP7 00000f0c: GAS 00000f0d: STATICCALL 00000f0e: ISZERO 00000f0f: DUP1 00000f10: ISZERO 00000f11: PUSH2 0x0f1e 00000f14: JUMPI 00000f15: RETURNDATASIZE 00000f16: PUSH1 0x00 00000f18: DUP1 00000f19: RETURNDATACOPY 00000f1a: RETURNDATASIZE 00000f1b: PUSH1 0x00 00000f1d: REVERT 00000f1e: JUMPDEST 00000f1f: POP 00000f20: POP 00000f21: POP 00000f22: POP 00000f23: PUSH1 0x40 00000f25: MLOAD 00000f26: RETURNDATASIZE 00000f27: PUSH1 0x1f 00000f29: NOT 00000f2a: PUSH1 0x1f 00000f2c: DUP3 00000f2d: ADD 00000f2e: AND 00000f2f: DUP3 00000f30: ADD 00000f31: DUP1 00000f32: PUSH1 0x40 00000f34: MSTORE 00000f35: POP 00000f36: DUP2 00000f37: ADD 00000f38: SWAP1 00000f39: PUSH2 0x0f42 00000f3c: SWAP2 00000f3d: SWAP1 00000f3e: PUSH2 0x106f 00000f41: JUMP 00000f42: JUMPDEST 00000f43: PUSH1 0x40 00000f45: MLOAD 00000f46: PUSH4 0x0852cd8d 00000f4b: PUSH1 0xe3 00000f4d: SHL 00000f4e: DUP2 00000f4f: MSTORE 00000f50: PUSH1 0x04 00000f52: DUP2 00000f53: ADD 00000f54: DUP3 00000f55: SWAP1 00000f56: MSTORE 00000f57: SWAP1 00000f58: SWAP2 00000f59: POP 00000f5a: PUSH32 0x00000000000000000000000039d8bcb39de75218e3c08200d95fde3a479d7a14 00000f7b: PUSH1 0x01 00000f7d: PUSH1 0x01 00000f7f: PUSH1 0xa0 00000f81: SHL 00000f82: SUB 00000f83: AND 00000f84: SWAP1 00000f85: PUSH4 0x42966c68 00000f8a: SWAP1 00000f8b: PUSH1 0x24 00000f8d: ADD 00000f8e: PUSH1 0x00 00000f90: PUSH1 0x40 00000f92: MLOAD 00000f93: DUP1 00000f94: DUP4 00000f95: SUB 00000f96: DUP2 00000f97: PUSH1 0x00 00000f99: DUP8 00000f9a: DUP1 00000f9b: EXTCODESIZE 00000f9c: ISZERO 00000f9d: DUP1 00000f9e: ISZERO 00000f9f: PUSH2 0x0fa7 00000fa2: JUMPI 00000fa3: PUSH1 0x00 00000fa5: DUP1 00000fa6: REVERT 00000fa7: JUMPDEST 00000fa8: POP 00000fa9: GAS 00000faa: CALL 00000fab: ISZERO 00000fac: DUP1 00000fad: ISZERO 00000fae: PUSH2 0x0fbb 00000fb1: JUMPI 00000fb2: RETURNDATASIZE 00000fb3: PUSH1 0x00 00000fb5: DUP1 00000fb6: RETURNDATACOPY 00000fb7: RETURNDATASIZE 00000fb8: PUSH1 0x00 00000fba: REVERT 00000fbb: JUMPDEST 00000fbc: POP 00000fbd: POP 00000fbe: POP 00000fbf: POP 00000fc0: POP 00000fc1: JUMP 00000fc2: JUMPDEST 00000fc3: DUP1 00000fc4: CALLDATALOAD 00000fc5: PUSH1 0x01 00000fc7: PUSH1 0x01 00000fc9: PUSH1 0xa0 00000fcb: SHL 00000fcc: SUB 00000fcd: DUP2 00000fce: AND 00000fcf: DUP2 00000fd0: EQ 00000fd1: PUSH2 0x0fd9 00000fd4: JUMPI 00000fd5: PUSH1 0x00 00000fd7: DUP1 00000fd8: REVERT 00000fd9: JUMPDEST 00000fda: SWAP2 00000fdb: SWAP1 00000fdc: POP 00000fdd: JUMP 00000fde: JUMPDEST 00000fdf: PUSH1 0x00 00000fe1: DUP1 00000fe2: PUSH1 0x40 00000fe4: DUP4 00000fe5: DUP6 00000fe6: SUB 00000fe7: SLT 00000fe8: ISZERO 00000fe9: PUSH2 0x0ff1 00000fec: JUMPI 00000fed: PUSH1 0x00 00000fef: DUP1 00000ff0: REVERT 00000ff1: JUMPDEST 00000ff2: PUSH2 0x0ffa 00000ff5: DUP4 00000ff6: PUSH2 0x0fc2 00000ff9: JUMP 00000ffa: JUMPDEST 00000ffb: SWAP5 00000ffc: PUSH1 0x20 00000ffe: SWAP4 00000fff: SWAP1 00001000: SWAP4 00001001: ADD 00001002: CALLDATALOAD 00001003: SWAP4 00001004: POP 00001005: POP 00001006: POP 00001007: JUMP 00001008: JUMPDEST 00001009: PUSH1 0x00 0000100b: PUSH1 0x20 0000100d: DUP3 0000100e: DUP5 0000100f: SUB 00001010: SLT 00001011: ISZERO 00001012: PUSH2 0x101a 00001015: JUMPI 00001016: PUSH1 0x00 00001018: DUP1 00001019: REVERT 0000101a: JUMPDEST 0000101b: POP 0000101c: CALLDATALOAD 0000101d: SWAP2 0000101e: SWAP1 0000101f: POP 00001020: JUMP 00001021: JUMPDEST 00001022: PUSH1 0x00 00001024: DUP1 00001025: PUSH1 0x40 00001027: DUP4 00001028: DUP6 00001029: SUB 0000102a: SLT 0000102b: ISZERO 0000102c: PUSH2 0x1034 0000102f: JUMPI 00001030: PUSH1 0x00 00001032: DUP1 00001033: REVERT 00001034: JUMPDEST 00001035: DUP3 00001036: CALLDATALOAD 00001037: SWAP2 00001038: POP 00001039: PUSH2 0x1044 0000103c: PUSH1 0x20 0000103e: DUP5 0000103f: ADD 00001040: PUSH2 0x0fc2 00001043: JUMP 00001044: JUMPDEST 00001045: SWAP1 00001046: POP 00001047: SWAP3 00001048: POP 00001049: SWAP3 0000104a: SWAP1 0000104b: POP 0000104c: JUMP 0000104d: JUMPDEST 0000104e: PUSH1 0x00 00001050: PUSH1 0x20 00001052: DUP3 00001053: DUP5 00001054: SUB 00001055: SLT 00001056: ISZERO 00001057: PUSH2 0x105f 0000105a: JUMPI 0000105b: PUSH1 0x00 0000105d: DUP1 0000105e: REVERT 0000105f: JUMPDEST 00001060: PUSH2 0x1068 00001063: DUP3 00001064: PUSH2 0x0fc2 00001067: JUMP 00001068: JUMPDEST 00001069: SWAP4 0000106a: SWAP3 0000106b: POP 0000106c: POP 0000106d: POP 0000106e: JUMP 0000106f: JUMPDEST 00001070: PUSH1 0x00 00001072: PUSH1 0x20 00001074: DUP3 00001075: DUP5 00001076: SUB 00001077: SLT 00001078: ISZERO 00001079: PUSH2 0x1081 0000107c: JUMPI 0000107d: PUSH1 0x00 0000107f: DUP1 00001080: REVERT 00001081: JUMPDEST 00001082: POP 00001083: MLOAD 00001084: SWAP2 00001085: SWAP1 00001086: POP 00001087: JUMP 00001088: JUMPDEST 00001089: PUSH4 0x4e487b71 0000108e: PUSH1 0xe0 00001090: SHL 00001091: PUSH1 0x00 00001093: MSTORE 00001094: PUSH1 0x11 00001096: PUSH1 0x04 00001098: MSTORE 00001099: PUSH1 0x24 0000109b: PUSH1 0x00 0000109d: REVERT 0000109e: JUMPDEST 0000109f: DUP1 000010a0: DUP3 000010a1: MUL 000010a2: DUP2 000010a3: ISZERO 000010a4: DUP3 000010a5: DUP3 000010a6: DIV 000010a7: DUP5 000010a8: EQ 000010a9: OR 000010aa: PUSH2 0x10b5 000010ad: JUMPI 000010ae: PUSH2 0x10b5 000010b1: PUSH2 0x1088 000010b4: JUMP 000010b5: JUMPDEST 000010b6: SWAP3 000010b7: SWAP2 000010b8: POP 000010b9: POP 000010ba: JUMP 000010bb: JUMPDEST 000010bc: PUSH1 0x00 000010be: DUP3 000010bf: PUSH2 0x10d8 000010c2: JUMPI 000010c3: PUSH4 0x4e487b71 000010c8: PUSH1 0xe0 000010ca: SHL 000010cb: PUSH1 0x00 000010cd: MSTORE 000010ce: PUSH1 0x12 000010d0: PUSH1 0x04 000010d2: MSTORE 000010d3: PUSH1 0x24 000010d5: PUSH1 0x00 000010d7: REVERT 000010d8: JUMPDEST 000010d9: POP 000010da: DIV 000010db: SWAP1 000010dc: JUMP 000010dd: JUMPDEST 000010de: DUP2 000010df: DUP2 000010e0: SUB 000010e1: DUP2 000010e2: DUP2 000010e3: GT 000010e4: ISZERO 000010e5: PUSH2 0x10b5 000010e8: JUMPI 000010e9: PUSH2 0x10b5 000010ec: PUSH2 0x1088 000010ef: JUMP 000010f0: JUMPDEST 000010f1: PUSH1 0x00 000010f3: PUSH1 0x20 000010f5: DUP3 000010f6: DUP5 000010f7: SUB 000010f8: SLT 000010f9: ISZERO 000010fa: PUSH2 0x1102 000010fd: JUMPI 000010fe: PUSH1 0x00 00001100: DUP1 00001101: REVERT 00001102: JUMPDEST 00001103: DUP2 00001104: MLOAD 00001105: DUP1 00001106: ISZERO 00001107: ISZERO 00001108: DUP2 00001109: EQ 0000110a: PUSH2 0x1068 0000110d: JUMPI 0000110e: PUSH1 0x00 00001110: DUP1 00001111: REVERT 00001112: JUMPDEST 00001113: DUP1 00001114: DUP3 00001115: ADD 00001116: DUP1 00001117: DUP3 00001118: GT 00001119: ISZERO 0000111a: PUSH2 0x10b5 0000111d: JUMPI 0000111e: PUSH2 0x10b5 00001121: PUSH2 0x1088 00001124: JUMP 00001125: INVALID 00001126: LOG2 00001127: PUSH5 0x6970667358 0000112d: UNKNOWN(0x22) 0000112e: SLT 0000112f: KECCAK256 00001130: UNKNOWN(0x4E) 00001131: PUSH8 0x86c3e4039a306691 0000113a: BLOCKHASH 0000113b: EXTCODECOPY 0000113c: CHAINID 0000113d: UNKNOWN(0xCE) 0000113e: UNKNOWN(0xC2) 0000113f: UNKNOWN(0x29) 00001140: CALLDATASIZE 00001141: UNKNOWN(0xC9) 00001142: PUSH27
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0x987a3c4ec513f50d373aed28731869aebfdb21fe1832dc53be0c80cba2e98a33
call_targets:
0xab01b9419ed5b82c9342886206eacc5059268cb3
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x987a3c4ec513f50d373aed28731869aebfdb21fe1832dc53be0c80cba2e98a33",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xab01b9419ed5b82c9342886206eacc5059268cb3"
],
"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": "0xbfe10928",
"selector": "0xbfe10928",
"calldata_variants": [
"0xbfe10928",
"0xbfe109280000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xdb006a75",
"selector": "0xdb006a75",
"calldata_variants": [
"0xdb006a75",
"0xdb006a750000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xddbed26f",
"selector": "0xddbed26f",
"calldata_variants": [
"0xddbed26f",
"0xddbed26f0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe19b4a17",
"selector": "0xe19b4a17",
"calldata_variants": [
"0xe19b4a17",
"0xe19b4a170000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x82bfefc8",
"selector": "0x82bfefc8",
"calldata_variants": [
"0x82bfefc8",
"0x82bfefc80000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x9c8f9f23",
"selector": "0x9c8f9f23",
"calldata_variants": [
"0x9c8f9f23",
"0x9c8f9f230000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1666,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2093,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2790,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 7,
"guards_detected": [],
"untrusted_call_count": 7
}
|
| high | other | detector | ETH value transfer possible | 55 | no | no |
viewtrace_id: 0x987a3c4ec513f50d373aed28731869aebfdb21fe1832dc53be0c80cba2e98a33
call_targets:
0xab01b9419ed5b82c9342886206eacc5059268cb3
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x987a3c4ec513f50d373aed28731869aebfdb21fe1832dc53be0c80cba2e98a33",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xab01b9419ed5b82c9342886206eacc5059268cb3"
],
"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": "0xbfe10928",
"selector": "0xbfe10928",
"calldata_variants": [
"0xbfe10928",
"0xbfe109280000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xdb006a75",
"selector": "0xdb006a75",
"calldata_variants": [
"0xdb006a75",
"0xdb006a750000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xddbed26f",
"selector": "0xddbed26f",
"calldata_variants": [
"0xddbed26f",
"0xddbed26f0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe19b4a17",
"selector": "0xe19b4a17",
"calldata_variants": [
"0xe19b4a17",
"0xe19b4a170000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x82bfefc8",
"selector": "0x82bfefc8",
"calldata_variants": [
"0x82bfefc8",
"0x82bfefc80000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x9c8f9f23",
"selector": "0x9c8f9f23",
"calldata_variants": [
"0x9c8f9f23",
"0x9c8f9f230000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1666,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2093,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2790,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 7,
"guards_detected": []
}
|
| info | other | cast | Heavy EXTCODE*/BALANCE usage | 55 | no | — |
viewevidence_json{
"notes": "frequent external code or balance checks; may indicate introspection or validation logic",
"ext_balance_count": 5
}
|
| info | other | cast | Heavy CALL-family usage | 55 | no | — |
viewevidence_json{
"notes": "large number of CALL/CALLCODE/STATICCALL opcodes; review external call patterns",
"call_family_count": 12
}
|