019ba940-88bd-73f5-8247-4809b8adb1ba
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 |
|---|---|---|---|---|
| 36385 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 36386 | proxy.resolve | complete | 1 / 3 | 3 months ago |
| 36387 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 36388 | analysis.bundle | complete | 1 / 3 | 3 months ago |
| 36389 | capability.graph | complete | 1 / 3 | 3 months ago |
| 36390 | detector.run | complete | 1 / 3 | 3 months ago |
| 36391 | 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 0x0091 0000000c: JUMPI 0000000d: PUSH1 0x00 0000000f: CALLDATALOAD 00000010: PUSH1 0xe0 00000012: SHR 00000013: DUP1 00000014: PUSH4 0x46d7ce37 00000019: GT 0000001a: PUSH2 0x0059 0000001d: JUMPI 0000001e: DUP1 0000001f: PUSH4 0x46d7ce37 00000024: EQ 00000025: PUSH2 0x01d4 00000028: JUMPI 00000029: DUP1 0000002a: PUSH4 0x9104ab83 0000002f: EQ 00000030: PUSH2 0x01e9 00000033: JUMPI 00000034: DUP1 00000035: PUSH4 0x95e5922c 0000003a: EQ 0000003b: PUSH2 0x021d 0000003e: JUMPI 0000003f: DUP1 00000040: PUSH4 0xcd139742 00000045: EQ 00000046: PUSH2 0x0251 00000049: JUMPI 0000004a: DUP1 0000004b: PUSH4 0xfd307272 00000050: EQ 00000051: PUSH2 0x0264 00000054: JUMPI 00000055: PUSH1 0x00 00000057: DUP1 00000058: REVERT 00000059: JUMPDEST 0000005a: DUP1 0000005b: PUSH4 0x17134a58 00000060: EQ 00000061: PUSH2 0x0096 00000064: JUMPI 00000065: DUP1 00000066: PUSH4 0x213ea6bb 0000006b: EQ 0000006c: PUSH2 0x00e7 0000006f: JUMPI 00000070: DUP1 00000071: PUSH4 0x36a0abcb 00000076: EQ 00000077: PUSH2 0x011b 0000007a: JUMPI 0000007b: DUP1 0000007c: PUSH4 0x3b7acec6 00000081: EQ 00000082: PUSH2 0x015e 00000085: JUMPI 00000086: DUP1 00000087: PUSH4 0x410a1d32 0000008c: EQ 0000008d: PUSH2 0x0192 00000090: JUMPI 00000091: JUMPDEST 00000092: PUSH1 0x00 00000094: DUP1 00000095: REVERT 00000096: JUMPDEST 00000097: CALLVALUE 00000098: DUP1 00000099: ISZERO 0000009a: PUSH2 0x00a2 0000009d: JUMPI 0000009e: PUSH1 0x00 000000a0: DUP1 000000a1: REVERT 000000a2: JUMPDEST 000000a3: POP 000000a4: PUSH2 0x00ca 000000a7: PUSH32 0x000000000000000000000000c026395860db2d07ee33e05fe50ed7bd583189c7 000000c8: DUP2 000000c9: JUMP 000000ca: JUMPDEST 000000cb: PUSH1 0x40 000000cd: MLOAD 000000ce: PUSH1 0x01 000000d0: PUSH1 0x01 000000d2: PUSH1 0xa0 000000d4: SHL 000000d5: SUB 000000d6: SWAP1 000000d7: SWAP2 000000d8: AND 000000d9: DUP2 000000da: MSTORE 000000db: PUSH1 0x20 000000dd: ADD 000000de: JUMPDEST 000000df: PUSH1 0x40 000000e1: MLOAD 000000e2: DUP1 000000e3: SWAP2 000000e4: SUB 000000e5: SWAP1 000000e6: RETURN 000000e7: JUMPDEST 000000e8: CALLVALUE 000000e9: DUP1 000000ea: ISZERO 000000eb: PUSH2 0x00f3 000000ee: JUMPI 000000ef: PUSH1 0x00 000000f1: DUP1 000000f2: REVERT 000000f3: JUMPDEST 000000f4: POP 000000f5: PUSH2 0x00ca 000000f8: PUSH32 0x00000000000000000000000025941dc771bb64514fc8abbce970307fb9d477e9 00000119: DUP2 0000011a: JUMP 0000011b: JUMPDEST 0000011c: CALLVALUE 0000011d: DUP1 0000011e: ISZERO 0000011f: PUSH2 0x0127 00000122: JUMPI 00000123: PUSH1 0x00 00000125: DUP1 00000126: REVERT 00000127: JUMPDEST 00000128: POP 00000129: PUSH2 0x0150 0000012c: PUSH2 0x0136 0000012f: CALLDATASIZE 00000130: PUSH1 0x04 00000132: PUSH2 0x0cbe 00000135: JUMP 00000136: JUMPDEST 00000137: PUSH1 0x00 00000139: PUSH1 0x20 0000013b: DUP2 0000013c: DUP2 0000013d: MSTORE 0000013e: SWAP3 0000013f: DUP2 00000140: MSTORE 00000141: PUSH1 0x40 00000143: DUP1 00000144: DUP3 00000145: KECCAK256 00000146: SWAP1 00000147: SWAP4 00000148: MSTORE 00000149: SWAP1 0000014a: DUP2 0000014b: MSTORE 0000014c: KECCAK256 0000014d: SLOAD 0000014e: DUP2 0000014f: JUMP 00000150: JUMPDEST 00000151: PUSH1 0x40 00000153: MLOAD 00000154: SWAP1 00000155: DUP2 00000156: MSTORE 00000157: PUSH1 0x20 00000159: ADD 0000015a: PUSH2 0x00de 0000015d: JUMP 0000015e: JUMPDEST 0000015f: CALLVALUE 00000160: DUP1 00000161: ISZERO 00000162: PUSH2 0x016a 00000165: JUMPI 00000166: PUSH1 0x00 00000168: DUP1 00000169: REVERT 0000016a: JUMPDEST 0000016b: POP 0000016c: PUSH2 0x00ca 0000016f: PUSH32 0x000000000000000000000000dac17f958d2ee523a2206206994597c13d831ec7 00000190: DUP2 00000191: JUMP 00000192: JUMPDEST 00000193: CALLVALUE 00000194: DUP1 00000195: ISZERO 00000196: PUSH2 0x019e 00000199: JUMPI 0000019a: PUSH1 0x00 0000019c: DUP1 0000019d: REVERT 0000019e: JUMPDEST 0000019f: POP 000001a0: PUSH2 0x01b2 000001a3: PUSH2 0x01ad 000001a6: CALLDATASIZE 000001a7: PUSH1 0x04 000001a9: PUSH2 0x0cf1 000001ac: JUMP 000001ad: JUMPDEST 000001ae: PUSH2 0x0298 000001b1: JUMP 000001b2: JUMPDEST 000001b3: PUSH1 0x40 000001b5: DUP1 000001b6: MLOAD 000001b7: DUP3 000001b8: MLOAD 000001b9: DUP2 000001ba: MSTORE 000001bb: PUSH1 0x20 000001bd: DUP1 000001be: DUP5 000001bf: ADD 000001c0: MLOAD 000001c1: SWAP1 000001c2: DUP3 000001c3: ADD 000001c4: MSTORE 000001c5: SWAP2 000001c6: DUP2 000001c7: ADD 000001c8: MLOAD 000001c9: SWAP1 000001ca: DUP3 000001cb: ADD 000001cc: MSTORE 000001cd: PUSH1 0x60 000001cf: ADD 000001d0: PUSH2 0x00de 000001d3: JUMP 000001d4: JUMPDEST 000001d5: PUSH2 0x01e7 000001d8: PUSH2 0x01e2 000001db: CALLDATASIZE 000001dc: PUSH1 0x04 000001de: PUSH2 0x0d1b 000001e1: JUMP 000001e2: JUMPDEST 000001e3: PUSH2 0x0384 000001e6: JUMP 000001e7: JUMPDEST 000001e8: STOP 000001e9: JUMPDEST 000001ea: CALLVALUE 000001eb: DUP1 000001ec: ISZERO 000001ed: PUSH2 0x01f5 000001f0: JUMPI 000001f1: PUSH1 0x00 000001f3: DUP1 000001f4: REVERT 000001f5: JUMPDEST 000001f6: POP 000001f7: PUSH2 0x00ca 000001fa: PUSH32 0x00000000000000000000000077b2043768d28e9c9ab44e1abfc95944bce57931 0000021b: DUP2 0000021c: JUMP 0000021d: JUMPDEST 0000021e: CALLVALUE 0000021f: DUP1 00000220: ISZERO 00000221: PUSH2 0x0229 00000224: JUMPI 00000225: PUSH1 0x00 00000227: DUP1 00000228: REVERT 00000229: JUMPDEST 0000022a: POP 0000022b: PUSH2 0x00ca 0000022e: PUSH32 0x000000000000000000000000a0b86991c6218b36c1d19d4a2e9eb0ce3606eb48 0000024f: DUP2 00000250: JUMP 00000251: JUMPDEST 00000252: PUSH2 0x01e7 00000255: PUSH2 0x025f 00000258: CALLDATASIZE 00000259: PUSH1 0x04 0000025b: PUSH2 0x0d45 0000025e: JUMP 0000025f: JUMPDEST 00000260: PUSH2 0x0770 00000263: JUMP 00000264: JUMPDEST 00000265: CALLVALUE 00000266: DUP1 00000267: ISZERO 00000268: PUSH2 0x0270 0000026b: JUMPI 0000026c: PUSH1 0x00 0000026e: DUP1 0000026f: REVERT 00000270: JUMPDEST 00000271: POP 00000272: PUSH2 0x00ca 00000275: PUSH32 0x000000000000000000000000933597a323eb81cae705c5bc29985172fd5a3973 00000296: DUP2 00000297: JUMP 00000298: JUMPDEST 00000299: PUSH2 0x02bc 0000029c: PUSH1 0x40 0000029e: MLOAD 0000029f: DUP1 000002a0: PUSH1 0x60 000002a2: ADD 000002a3: PUSH1 0x40 000002a5: MSTORE 000002a6: DUP1 000002a7: PUSH1 0x00 000002a9: DUP2 000002aa: MSTORE 000002ab: PUSH1 0x20 000002ad: ADD 000002ae: PUSH1 0x00 000002b0: DUP2 000002b1: MSTORE 000002b2: PUSH1 0x20 000002b4: ADD 000002b5: PUSH1 0x00 000002b7: DUP2 000002b8: MSTORE 000002b9: POP 000002ba: SWAP1 000002bb: JUMP 000002bc: JUMPDEST 000002bd: POP 000002be: PUSH1 0x40 000002c0: DUP1 000002c1: MLOAD 000002c2: PUSH1 0x60 000002c4: DUP2 000002c5: ADD 000002c6: DUP3 000002c7: MSTORE 000002c8: PUSH1 0x01 000002ca: PUSH1 0x01 000002cc: PUSH1 0xa0 000002ce: SHL 000002cf: SUB 000002d0: PUSH32 0x000000000000000000000000c026395860db2d07ee33e05fe50ed7bd583189c7 000002f1: DUP2 000002f2: AND 000002f3: PUSH1 0x00 000002f5: SWAP1 000002f6: DUP2 000002f7: MSTORE 000002f8: PUSH1 0x20 000002fa: DUP2 000002fb: DUP2 000002fc: MSTORE 000002fd: DUP5 000002fe: DUP3 000002ff: KECCAK256 00000300: SWAP6 00000301: DUP4 00000302: AND 00000303: DUP1 00000304: DUP4 00000305: MSTORE 00000306: SWAP6 00000307: DUP2 00000308: MSTORE 00000309: DUP5 0000030a: DUP3 0000030b: KECCAK256 0000030c: SLOAD 0000030d: DUP5 0000030e: MSTORE 0000030f: PUSH32 0x000000000000000000000000933597a323eb81cae705c5bc29985172fd5a3973 00000330: DUP4 00000331: AND 00000332: DUP3 00000333: MSTORE 00000334: DUP2 00000335: DUP2 00000336: MSTORE 00000337: DUP5 00000338: DUP3 00000339: KECCAK256 0000033a: DUP7 0000033b: DUP4 0000033c: MSTORE 0000033d: DUP2 0000033e: MSTORE 0000033f: DUP5 00000340: DUP3 00000341: KECCAK256 00000342: SLOAD 00000343: DUP2 00000344: DUP6 00000345: ADD 00000346: MSTORE 00000347: PUSH32 0x00000000000000000000000077b2043768d28e9c9ab44e1abfc95944bce57931 00000368: SWAP1 00000369: SWAP3 0000036a: AND 0000036b: DUP2 0000036c: MSTORE 0000036d: DUP1 0000036e: DUP3 0000036f: MSTORE 00000370: DUP4 00000371: DUP2 00000372: KECCAK256 00000373: SWAP5 00000374: DUP2 00000375: MSTORE 00000376: SWAP4 00000377: SWAP1 00000378: MSTORE 00000379: SWAP2 0000037a: DUP2 0000037b: SWAP1 0000037c: KECCAK256 0000037d: SLOAD 0000037e: SWAP1 0000037f: DUP3 00000380: ADD 00000381: MSTORE 00000382: SWAP1 00000383: JUMP 00000384: JUMPDEST 00000385: CALLVALUE 00000386: ISZERO 00000387: PUSH2 0x03a3 0000038a: JUMPI 0000038b: PUSH1 0x40 0000038d: MLOAD 0000038e: PUSH4 0xbd28e889 00000393: PUSH1 0xe0 00000395: SHL 00000396: DUP2 00000397: MSTORE 00000398: PUSH1 0x04 0000039a: ADD 0000039b: PUSH1 0x40 0000039d: MLOAD 0000039e: DUP1 0000039f: SWAP2 000003a0: SUB 000003a1: SWAP1 000003a2: REVERT 000003a3: JUMPDEST 000003a4: PUSH1 0x00 000003a6: DUP1 000003a7: DUP4 000003a8: PUSH1 0x02 000003aa: DUP2 000003ab: GT 000003ac: ISZERO 000003ad: PUSH2 0x03b8 000003b0: JUMPI 000003b1: PUSH2 0x03b8 000003b4: PUSH2 0x0d81 000003b7: JUMP 000003b8: JUMPDEST 000003b9: EQ 000003ba: DUP1 000003bb: ISZERO 000003bc: PUSH2 0x03ed 000003bf: JUMPI 000003c0: POP 000003c1: PUSH32 0x000000000000000000000000c026395860db2d07ee33e05fe50ed7bd583189c7 000003e2: PUSH1 0x01 000003e4: PUSH1 0x01 000003e6: PUSH1 0xa0 000003e8: SHL 000003e9: SUB 000003ea: AND 000003eb: ISZERO 000003ec: ISZERO 000003ed: JUMPDEST 000003ee: ISZERO 000003ef: PUSH2 0x04d5 000003f2: JUMPI 000003f3: PUSH1 0x40 000003f5: MLOAD 000003f6: PUSH4 0x70a08231 000003fb: PUSH1 0xe0 000003fd: SHL 000003fe: DUP2 000003ff: MSTORE 00000400: ADDRESS 00000401: PUSH1 0x04 00000403: DUP3 00000404: ADD 00000405: MSTORE 00000406: PUSH32 0x000000000000000000000000a0b86991c6218b36c1d19d4a2e9eb0ce3606eb48 00000427: PUSH1 0x01 00000429: PUSH1 0x01 0000042b: PUSH1 0xa0 0000042d: SHL 0000042e: SUB 0000042f: AND 00000430: SWAP1 00000431: PUSH4 0x70a08231 00000436: SWAP1 00000437: PUSH1 0x24 00000439: ADD 0000043a: PUSH1 0x20 0000043c: PUSH1 0x40 0000043e: MLOAD 0000043f: DUP1 00000440: DUP4 00000441: SUB 00000442: DUP2 00000443: DUP7 00000444: GAS 00000445: STATICCALL 00000446: ISZERO 00000447: DUP1 00000448: ISZERO 00000449: PUSH2 0x0456 0000044c: JUMPI 0000044d: RETURNDATASIZE 0000044e: PUSH1 0x00 00000450: DUP1 00000451: RETURNDATACOPY 00000452: RETURNDATASIZE 00000453: PUSH1 0x00 00000455: REVERT 00000456: JUMPDEST 00000457: POP 00000458: POP 00000459: POP 0000045a: POP 0000045b: PUSH1 0x40 0000045d: MLOAD 0000045e: RETURNDATASIZE 0000045f: PUSH1 0x1f 00000461: NOT 00000462: PUSH1 0x1f 00000464: DUP3 00000465: ADD 00000466: AND 00000467: DUP3 00000468: ADD 00000469: DUP1 0000046a: PUSH1 0x40 0000046c: MSTORE 0000046d: POP 0000046e: DUP2 0000046f: ADD 00000470: SWAP1 00000471: PUSH2 0x047a 00000474: SWAP2 00000475: SWAP1 00000476: PUSH2 0x0d97 00000479: JUMP 0000047a: JUMPDEST 0000047b: SWAP1 0000047c: POP 0000047d: PUSH2 0x04d0 00000480: PUSH1 0x01 00000482: PUSH1 0x01 00000484: PUSH1 0xa0 00000486: SHL 00000487: SUB 00000488: PUSH32 0x000000000000000000000000a0b86991c6218b36c1d19d4a2e9eb0ce3606eb48 000004a9: AND 000004aa: PUSH32 0x00000000000000000000000025941dc771bb64514fc8abbce970307fb9d477e9 000004cb: DUP4 000004cc: PUSH2 0x0a61 000004cf: JUMP 000004d0: JUMPDEST 000004d1: PUSH2 0x0710 000004d4: JUMP 000004d5: JUMPDEST 000004d6: PUSH1 0x01 000004d8: DUP4 000004d9: PUSH1 0x02 000004db: DUP2 000004dc: GT 000004dd: ISZERO 000004de: PUSH2 0x04e9 000004e1: JUMPI 000004e2: PUSH2 0x04e9 000004e5: PUSH2 0x0d81 000004e8: JUMP 000004e9: JUMPDEST 000004ea: EQ 000004eb: DUP1 000004ec: ISZERO 000004ed: PUSH2 0x051e 000004f0: JUMPI 000004f1: POP 000004f2: PUSH32 0x000000000000000000000000933597a323eb81cae705c5bc29985172fd5a3973 00000513: PUSH1 0x01 00000515: PUSH1 0x01 00000517: PUSH1 0xa0 00000519: SHL 0000051a: SUB 0000051b: AND 0000051c: ISZERO 0000051d: ISZERO 0000051e: JUMPDEST 0000051f: ISZERO 00000520: PUSH2 0x0601 00000523: JUMPI 00000524: PUSH1 0x40 00000526: MLOAD 00000527: PUSH4 0x70a08231 0000052c: PUSH1 0xe0 0000052e: SHL 0000052f: DUP2 00000530: MSTORE 00000531: ADDRESS 00000532: PUSH1 0x04 00000534: DUP3 00000535: ADD 00000536: MSTORE 00000537: PUSH32 0x000000000000000000000000dac17f958d2ee523a2206206994597c13d831ec7 00000558: PUSH1 0x01 0000055a: PUSH1 0x01 0000055c: PUSH1 0xa0 0000055e: SHL 0000055f: SUB 00000560: AND 00000561: SWAP1 00000562: PUSH4 0x70a08231 00000567: SWAP1 00000568: PUSH1 0x24 0000056a: ADD 0000056b: PUSH1 0x20 0000056d: PUSH1 0x40 0000056f: MLOAD 00000570: DUP1 00000571: DUP4 00000572: SUB 00000573: DUP2 00000574: DUP7 00000575: GAS 00000576: STATICCALL 00000577: ISZERO 00000578: DUP1 00000579: ISZERO 0000057a: PUSH2 0x0587 0000057d: JUMPI 0000057e: RETURNDATASIZE 0000057f: PUSH1 0x00 00000581: DUP1 00000582: RETURNDATACOPY 00000583: RETURNDATASIZE 00000584: PUSH1 0x00 00000586: REVERT 00000587: JUMPDEST 00000588: POP 00000589: POP 0000058a: POP 0000058b: POP 0000058c: PUSH1 0x40 0000058e: MLOAD 0000058f: RETURNDATASIZE 00000590: PUSH1 0x1f 00000592: NOT 00000593: PUSH1 0x1f 00000595: DUP3 00000596: ADD 00000597: AND 00000598: DUP3 00000599: ADD 0000059a: DUP1 0000059b: PUSH1 0x40 0000059d: MSTORE 0000059e: POP 0000059f: DUP2 000005a0: ADD 000005a1: SWAP1 000005a2: PUSH2 0x05ab 000005a5: SWAP2 000005a6: SWAP1 000005a7: PUSH2 0x0d97 000005aa: JUMP 000005ab: JUMPDEST 000005ac: SWAP1 000005ad: POP 000005ae: PUSH2 0x04d0 000005b1: PUSH1 0x01 000005b3: PUSH1 0x01 000005b5: PUSH1 0xa0 000005b7: SHL 000005b8: SUB 000005b9: PUSH32 0x000000000000000000000000dac17f958d2ee523a2206206994597c13d831ec7 000005da: AND 000005db: PUSH32 0x00000000000000000000000025941dc771bb64514fc8abbce970307fb9d477e9 000005fc: DUP4 000005fd: PUSH2 0x0a61 00000600: JUMP 00000601: JUMPDEST 00000602: PUSH1 0x02 00000604: DUP4 00000605: PUSH1 0x02 00000607: DUP2 00000608: GT 00000609: ISZERO 0000060a: PUSH2 0x0615 0000060d: JUMPI 0000060e: PUSH2 0x0615 00000611: PUSH2 0x0d81 00000614: JUMP 00000615: JUMPDEST 00000616: EQ 00000617: DUP1 00000618: ISZERO 00000619: PUSH2 0x064a 0000061c: JUMPI 0000061d: POP 0000061e: PUSH32 0x00000000000000000000000077b2043768d28e9c9ab44e1abfc95944bce57931 0000063f: PUSH1 0x01 00000641: PUSH1 0x01 00000643: PUSH1 0xa0 00000645: SHL 00000646: SUB 00000647: AND 00000648: ISZERO 00000649: ISZERO 0000064a: JUMPDEST 0000064b: ISZERO 0000064c: PUSH2 0x06ec 0000064f: JUMPI 00000650: SELFBALANCE 00000651: SWAP1 00000652: POP 00000653: PUSH1 0x00 00000655: PUSH32 0x00000000000000000000000025941dc771bb64514fc8abbce970307fb9d477e9 00000676: PUSH1 0x01 00000678: PUSH1 0x01 0000067a: PUSH1 0xa0 0000067c: SHL 0000067d: SUB 0000067e: AND 0000067f: DUP3 00000680: PUSH1 0x40 00000682: MLOAD 00000683: PUSH1 0x00 00000685: PUSH1 0x40 00000687: MLOAD 00000688: DUP1 00000689: DUP4 0000068a: SUB 0000068b: DUP2 0000068c: DUP6 0000068d: DUP8 0000068e: GAS 0000068f: CALL 00000690: SWAP3 00000691: POP 00000692: POP 00000693: POP 00000694: RETURNDATASIZE 00000695: DUP1 00000696: PUSH1 0x00 00000698: DUP2 00000699: EQ 0000069a: PUSH2 0x06bf 0000069d: JUMPI 0000069e: PUSH1 0x40 000006a0: MLOAD 000006a1: SWAP2 000006a2: POP 000006a3: PUSH1 0x1f 000006a5: NOT 000006a6: PUSH1 0x3f 000006a8: RETURNDATASIZE 000006a9: ADD 000006aa: AND 000006ab: DUP3 000006ac: ADD 000006ad: PUSH1 0x40 000006af: MSTORE 000006b0: RETURNDATASIZE 000006b1: DUP3 000006b2: MSTORE 000006b3: RETURNDATASIZE 000006b4: PUSH1 0x00 000006b6: PUSH1 0x20 000006b8: DUP5 000006b9: ADD 000006ba: RETURNDATACOPY 000006bb: PUSH2 0x06c4 000006be: JUMP 000006bf: JUMPDEST 000006c0: PUSH1 0x60 000006c2: SWAP2 000006c3: POP 000006c4: JUMPDEST 000006c5: POP 000006c6: POP 000006c7: SWAP1 000006c8: POP 000006c9: DUP1 000006ca: PUSH2 0x06e6 000006cd: JUMPI 000006ce: PUSH1 0x40 000006d0: MLOAD 000006d1: PUSH4 0xf2fde461 000006d6: PUSH1 0xe0 000006d8: SHL 000006d9: DUP2 000006da: MSTORE 000006db: PUSH1 0x04 000006dd: ADD 000006de: PUSH1 0x40 000006e0: MLOAD 000006e1: DUP1 000006e2: SWAP2 000006e3: SUB 000006e4: SWAP1 000006e5: REVERT 000006e6: JUMPDEST 000006e7: POP 000006e8: PUSH2 0x0710 000006eb: JUMP 000006ec: JUMPDEST 000006ed: DUP3 000006ee: PUSH1 0x40 000006f0: MLOAD 000006f1: PUSH4 0xde0a0bd1 000006f6: PUSH1 0xe0 000006f8: SHL 000006f9: DUP2 000006fa: MSTORE 000006fb: PUSH1 0x04 000006fd: ADD 000006fe: PUSH2 0x0707 00000701: SWAP2 00000702: SWAP1 00000703: PUSH2 0x0dd2 00000706: JUMP 00000707: JUMPDEST 00000708: PUSH1 0x40 0000070a: MLOAD 0000070b: DUP1 0000070c: SWAP2 0000070d: SUB 0000070e: SWAP1 0000070f: REVERT 00000710: JUMPDEST 00000711: PUSH32 0x1b49ef1f9ba04901621f39b8fe69af48e9bd581c094e785f268297f667dbf229 00000732: DUP4 00000733: PUSH32 0x00000000000000000000000025941dc771bb64514fc8abbce970307fb9d477e9 00000754: DUP4 00000755: PUSH1 0x40 00000757: MLOAD 00000758: PUSH2 0x0763 0000075b: SWAP4 0000075c: SWAP3 0000075d: SWAP2 0000075e: SWAP1 0000075f: PUSH2 0x0de0 00000762: JUMP 00000763: JUMPDEST 00000764: PUSH1 0x40 00000766: MLOAD 00000767: DUP1 00000768: SWAP2 00000769: SUB 0000076a: SWAP1 0000076b: LOG1 0000076c: POP 0000076d: POP 0000076e: POP 0000076f: JUMP 00000770: JUMPDEST 00000771: PUSH1 0x00 00000773: DUP4 00000774: PUSH1 0x02 00000776: DUP2 00000777: GT 00000778: ISZERO 00000779: PUSH2 0x0784 0000077c: JUMPI 0000077d: PUSH2 0x0784 00000780: PUSH2 0x0d81 00000783: JUMP 00000784: JUMPDEST 00000785: EQ 00000786: DUP1 00000787: ISZERO 00000788: PUSH2 0x07b9 0000078b: JUMPI 0000078c: POP 0000078d: PUSH32 0x000000000000000000000000c026395860db2d07ee33e05fe50ed7bd583189c7 000007ae: PUSH1 0x01 000007b0: PUSH1 0x01 000007b2: PUSH1 0xa0 000007b4: SHL 000007b5: SUB 000007b6: AND 000007b7: ISZERO 000007b8: ISZERO 000007b9: JUMPDEST 000007ba: ISZERO 000007bb: PUSH2 0x0872 000007be: JUMPI 000007bf: CALLVALUE 000007c0: ISZERO 000007c1: PUSH2 0x07dd 000007c4: JUMPI 000007c5: PUSH1 0x40 000007c7: MLOAD 000007c8: PUSH4 0xbd28e889 000007cd: PUSH1 0xe0 000007cf: SHL 000007d0: DUP2 000007d1: MSTORE 000007d2: PUSH1 0x04 000007d4: ADD 000007d5: PUSH1 0x40 000007d7: MLOAD 000007d8: DUP1 000007d9: SWAP2 000007da: SUB 000007db: SWAP1 000007dc: REVERT 000007dd: JUMPDEST 000007de: PUSH2 0x0812 000007e1: PUSH1 0x01 000007e3: PUSH1 0x01 000007e5: PUSH1 0xa0 000007e7: SHL 000007e8: SUB 000007e9: PUSH32 0x000000000000000000000000a0b86991c6218b36c1d19d4a2e9eb0ce3606eb48 0000080a: AND 0000080b: CALLER 0000080c: ADDRESS 0000080d: DUP6 0000080e: PUSH2 0x0ac5 00000811: JUMP 00000812: JUMPDEST 00000813: PUSH1 0x01 00000815: PUSH1 0x01 00000817: PUSH1 0xa0 00000819: SHL 0000081a: SUB 0000081b: PUSH32 0x000000000000000000000000c026395860db2d07ee33e05fe50ed7bd583189c7 0000083c: DUP2 0000083d: AND 0000083e: PUSH1 0x00 00000840: SWAP1 00000841: DUP2 00000842: MSTORE 00000843: PUSH1 0x20 00000845: DUP2 00000846: DUP2 00000847: MSTORE 00000848: PUSH1 0x40 0000084a: DUP1 0000084b: DUP4 0000084c: KECCAK256 0000084d: SWAP4 0000084e: DUP6 0000084f: AND 00000850: DUP4 00000851: MSTORE 00000852: SWAP3 00000853: SWAP1 00000854: MSTORE 00000855: SWAP1 00000856: DUP2 00000857: KECCAK256 00000858: DUP1 00000859: SLOAD 0000085a: DUP5 0000085b: SWAP3 0000085c: SWAP1 0000085d: PUSH2 0x0867 00000860: SWAP1 00000861: DUP5 00000862: SWAP1 00000863: PUSH2 0x0e08 00000866: JUMP 00000867: JUMPDEST 00000868: SWAP1 00000869: SWAP2 0000086a: SSTORE 0000086b: POP 0000086c: PUSH2 0x0a2c 0000086f: SWAP1 00000870: POP 00000871: JUMP 00000872: JUMPDEST 00000873: PUSH1 0x01 00000875: DUP4 00000876: PUSH1 0x02 00000878: DUP2 00000879: GT 0000087a: ISZERO 0000087b: PUSH2 0x0886 0000087e: JUMPI 0000087f: PUSH2 0x0886 00000882: PUSH2 0x0d81 00000885: JUMP 00000886: JUMPDEST 00000887: EQ 00000888: DUP1 00000889: ISZERO 0000088a: PUSH2 0x08bb 0000088d: JUMPI 0000088e: POP 0000088f: PUSH32 0x000000000000000000000000933597a323eb81cae705c5bc29985172fd5a3973 000008b0: PUSH1 0x01 000008b2: PUSH1 0x01 000008b4: PUSH1 0xa0 000008b6: SHL 000008b7: SUB 000008b8: AND 000008b9: ISZERO 000008ba: ISZERO 000008bb: JUMPDEST 000008bc: ISZERO 000008bd: PUSH2 0x0969 000008c0: JUMPI 000008c1: CALLVALUE 000008c2: ISZERO 000008c3: PUSH2 0x08df 000008c6: JUMPI 000008c7: PUSH1 0x40 000008c9: MLOAD 000008ca: PUSH4 0xbd28e889 000008cf: PUSH1 0xe0 000008d1: SHL 000008d2: DUP2 000008d3: MSTORE 000008d4: PUSH1 0x04 000008d6: ADD 000008d7: PUSH1 0x40 000008d9: MLOAD 000008da: DUP1 000008db: SWAP2 000008dc: SUB 000008dd: SWAP1 000008de: REVERT 000008df: JUMPDEST 000008e0: PUSH2 0x0914 000008e3: PUSH1 0x01 000008e5: PUSH1 0x01 000008e7: PUSH1 0xa0 000008e9: SHL 000008ea: SUB 000008eb: PUSH32 0x000000000000000000000000dac17f958d2ee523a2206206994597c13d831ec7 0000090c: AND 0000090d: CALLER 0000090e: ADDRESS 0000090f: DUP6 00000910: PUSH2 0x0ac5 00000913: JUMP 00000914: JUMPDEST 00000915: PUSH1 0x01 00000917: PUSH1 0x01 00000919: PUSH1 0xa0 0000091b: SHL 0000091c: SUB 0000091d: PUSH32 0x000000000000000000000000933597a323eb81cae705c5bc29985172fd5a3973 0000093e: DUP2 0000093f: AND 00000940: PUSH1 0x00 00000942: SWAP1 00000943: DUP2 00000944: MSTORE 00000945: PUSH1 0x20 00000947: DUP2 00000948: DUP2 00000949: MSTORE 0000094a: PUSH1 0x40 0000094c: DUP1 0000094d: DUP4 0000094e: KECCAK256 0000094f: SWAP4 00000950: DUP6 00000951: AND 00000952: DUP4 00000953: MSTORE 00000954: SWAP3 00000955: SWAP1 00000956: MSTORE 00000957: SWAP1 00000958: DUP2 00000959: KECCAK256 0000095a: DUP1 0000095b: SLOAD 0000095c: DUP5 0000095d: SWAP3 0000095e: SWAP1 0000095f: PUSH2 0x0867 00000962: SWAP1 00000963: DUP5 00000964: SWAP1 00000965: PUSH2 0x0e08 00000968: JUMP 00000969: JUMPDEST 0000096a: PUSH1 0x02 0000096c: DUP4 0000096d: PUSH1 0x02 0000096f: DUP2 00000970: GT 00000971: ISZERO 00000972: PUSH2 0x097d 00000975: JUMPI 00000976: PUSH2 0x097d 00000979: PUSH2 0x0d81 0000097c: JUMP 0000097d: JUMPDEST 0000097e: EQ 0000097f: DUP1 00000980: ISZERO 00000981: PUSH2 0x09b2 00000984: JUMPI 00000985: POP 00000986: PUSH32 0x00000000000000000000000077b2043768d28e9c9ab44e1abfc95944bce57931 000009a7: PUSH1 0x01 000009a9: PUSH1 0x01 000009ab: PUSH1 0xa0 000009ad: SHL 000009ae: SUB 000009af: AND 000009b0: ISZERO 000009b1: ISZERO 000009b2: JUMPDEST 000009b3: ISZERO 000009b4: PUSH2 0x06ec 000009b7: JUMPI 000009b8: DUP2 000009b9: CALLVALUE 000009ba: EQ 000009bb: PUSH2 0x09d7 000009be: JUMPI 000009bf: PUSH1 0x40 000009c1: MLOAD 000009c2: PUSH4 0x3c79c7bb 000009c7: PUSH1 0xe1 000009c9: SHL 000009ca: DUP2 000009cb: MSTORE 000009cc: PUSH1 0x04 000009ce: ADD 000009cf: PUSH1 0x40 000009d1: MLOAD 000009d2: DUP1 000009d3: SWAP2 000009d4: SUB 000009d5: SWAP1 000009d6: REVERT 000009d7: JUMPDEST 000009d8: PUSH1 0x01 000009da: PUSH1 0x01 000009dc: PUSH1 0xa0 000009de: SHL 000009df: SUB 000009e0: PUSH32 0x00000000000000000000000077b2043768d28e9c9ab44e1abfc95944bce57931 00000a01: DUP2 00000a02: AND 00000a03: PUSH1 0x00 00000a05: SWAP1 00000a06: DUP2 00000a07: MSTORE 00000a08: PUSH1 0x20 00000a0a: DUP2 00000a0b: DUP2 00000a0c: MSTORE 00000a0d: PUSH1 0x40 00000a0f: DUP1 00000a10: DUP4 00000a11: KECCAK256 00000a12: SWAP4 00000a13: DUP6 00000a14: AND 00000a15: DUP4 00000a16: MSTORE 00000a17: SWAP3 00000a18: SWAP1 00000a19: MSTORE 00000a1a: SWAP1 00000a1b: DUP2 00000a1c: KECCAK256 00000a1d: DUP1 00000a1e: SLOAD 00000a1f: DUP5 00000a20: SWAP3 00000a21: SWAP1 00000a22: PUSH2 0x0867 00000a25: SWAP1 00000a26: DUP5 00000a27: SWAP1 00000a28: PUSH2 0x0e08 00000a2b: JUMP 00000a2c: JUMPDEST 00000a2d: PUSH32 0xa7c13646a84823baec5e7033cc38cf2fb367229e7ae4af5306f9c922a95ccbd6 00000a4e: DUP4 00000a4f: CALLER 00000a50: DUP4 00000a51: DUP6 00000a52: PUSH1 0x40 00000a54: MLOAD 00000a55: PUSH2 0x0763 00000a58: SWAP5 00000a59: SWAP4 00000a5a: SWAP3 00000a5b: SWAP2 00000a5c: SWAP1 00000a5d: PUSH2 0x0e29 00000a60: JUMP 00000a61: JUMPDEST 00000a62: PUSH1 0x40 00000a64: MLOAD 00000a65: PUSH1 0x01 00000a67: PUSH1 0x01 00000a69: PUSH1 0xa0 00000a6b: SHL 00000a6c: SUB 00000a6d: DUP4 00000a6e: DUP2 00000a6f: AND 00000a70: PUSH1 0x24 00000a72: DUP4 00000a73: ADD 00000a74: MSTORE 00000a75: PUSH1 0x44 00000a77: DUP3 00000a78: ADD 00000a79: DUP4 00000a7a: SWAP1 00000a7b: MSTORE 00000a7c: PUSH2 0x0ac0 00000a7f: SWAP2 00000a80: DUP6 00000a81: SWAP2 00000a82: DUP3 00000a83: AND 00000a84: SWAP1 00000a85: PUSH4 0xa9059cbb 00000a8a: SWAP1 00000a8b: PUSH1 0x64 00000a8d: ADD 00000a8e: JUMPDEST 00000a8f: PUSH1 0x40 00000a91: MLOAD 00000a92: PUSH1 0x20 00000a94: DUP2 00000a95: DUP4 00000a96: SUB 00000a97: SUB 00000a98: DUP2 00000a99: MSTORE 00000a9a: SWAP1 00000a9b: PUSH1 0x40 00000a9d: MSTORE 00000a9e: SWAP2 00000a9f: POP 00000aa0: PUSH1 0xe0 00000aa2: SHL 00000aa3: PUSH1 0x20 00000aa5: DUP3 00000aa6: ADD 00000aa7: DUP1 00000aa8: MLOAD 00000aa9: PUSH1 0x01 00000aab: PUSH1 0x01 00000aad: PUSH1 0xe0 00000aaf: SHL 00000ab0: SUB 00000ab1: DUP4 00000ab2: DUP2 00000ab3: DUP4 00000ab4: AND 00000ab5: OR 00000ab6: DUP4 00000ab7: MSTORE 00000ab8: POP 00000ab9: POP 00000aba: POP 00000abb: POP 00000abc: PUSH2 0x0b04 00000abf: JUMP 00000ac0: JUMPDEST 00000ac1: POP 00000ac2: POP 00000ac3: POP 00000ac4: JUMP 00000ac5: JUMPDEST 00000ac6: PUSH1 0x40 00000ac8: MLOAD 00000ac9: PUSH1 0x01 00000acb: PUSH1 0x01 00000acd: PUSH1 0xa0 00000acf: SHL 00000ad0: SUB 00000ad1: DUP5 00000ad2: DUP2 00000ad3: AND 00000ad4: PUSH1 0x24 00000ad6: DUP4 00000ad7: ADD 00000ad8: MSTORE 00000ad9: DUP4 00000ada: DUP2 00000adb: AND 00000adc: PUSH1 0x44 00000ade: DUP4 00000adf: ADD 00000ae0: MSTORE 00000ae1: PUSH1 0x64 00000ae3: DUP3 00000ae4: ADD 00000ae5: DUP4 00000ae6: SWAP1 00000ae7: MSTORE 00000ae8: PUSH2 0x0afe 00000aeb: SWAP2 00000aec: DUP7 00000aed: SWAP2 00000aee: DUP3 00000aef: AND 00000af0: SWAP1 00000af1: PUSH4 0x23b872dd 00000af6: SWAP1 00000af7: PUSH1 0x84 00000af9: ADD 00000afa: PUSH2 0x0a8e 00000afd: JUMP 00000afe: JUMPDEST 00000aff: POP 00000b00: POP 00000b01: POP 00000b02: POP 00000b03: JUMP 00000b04: JUMPDEST 00000b05: PUSH1 0x00 00000b07: PUSH2 0x0b19 00000b0a: PUSH1 0x01 00000b0c: PUSH1 0x01 00000b0e: PUSH1 0xa0 00000b10: SHL 00000b11: SUB 00000b12: DUP5 00000b13: AND 00000b14: DUP4 00000b15: PUSH2 0x0b67 00000b18: JUMP 00000b19: JUMPDEST 00000b1a: SWAP1 00000b1b: POP 00000b1c: DUP1 00000b1d: MLOAD 00000b1e: PUSH1 0x00 00000b20: EQ 00000b21: ISZERO 00000b22: DUP1 00000b23: ISZERO 00000b24: PUSH2 0x0b3e 00000b27: JUMPI 00000b28: POP 00000b29: DUP1 00000b2a: DUP1 00000b2b: PUSH1 0x20 00000b2d: ADD 00000b2e: SWAP1 00000b2f: MLOAD 00000b30: DUP2 00000b31: ADD 00000b32: SWAP1 00000b33: PUSH2 0x0b3c 00000b36: SWAP2 00000b37: SWAP1 00000b38: PUSH2 0x0e5e 00000b3b: JUMP 00000b3c: JUMPDEST 00000b3d: ISZERO 00000b3e: JUMPDEST 00000b3f: ISZERO 00000b40: PUSH2 0x0ac0 00000b43: JUMPI 00000b44: PUSH1 0x40 00000b46: MLOAD 00000b47: PUSH4 0x5274afe7 00000b4c: PUSH1 0xe0 00000b4e: SHL 00000b4f: DUP2 00000b50: MSTORE 00000b51: PUSH1 0x01 00000b53: PUSH1 0x01 00000b55: PUSH1 0xa0 00000b57: SHL 00000b58: SUB 00000b59: DUP5 00000b5a: AND 00000b5b: PUSH1 0x04 00000b5d: DUP3 00000b5e: ADD 00000b5f: MSTORE 00000b60: PUSH1 0x24 00000b62: ADD 00000b63: PUSH2 0x0707 00000b66: JUMP 00000b67: JUMPDEST 00000b68: PUSH1 0x60 00000b6a: PUSH2 0x0b75 00000b6d: DUP4 00000b6e: DUP4 00000b6f: PUSH1 0x00 00000b71: PUSH2 0x0b7e 00000b74: JUMP 00000b75: JUMPDEST 00000b76: SWAP1 00000b77: POP 00000b78: JUMPDEST 00000b79: SWAP3 00000b7a: SWAP2 00000b7b: POP 00000b7c: POP 00000b7d: JUMP 00000b7e: JUMPDEST 00000b7f: PUSH1 0x60 00000b81: DUP2 00000b82: SELFBALANCE 00000b83: LT 00000b84: ISZERO 00000b85: PUSH2 0x0ba3 00000b88: JUMPI 00000b89: PUSH1 0x40 00000b8b: MLOAD 00000b8c: PUSH4 0xcd786059 00000b91: PUSH1 0xe0 00000b93: SHL 00000b94: DUP2 00000b95: MSTORE 00000b96: ADDRESS 00000b97: PUSH1 0x04 00000b99: DUP3 00000b9a: ADD 00000b9b: MSTORE 00000b9c: PUSH1 0x24 00000b9e: ADD 00000b9f: PUSH2 0x0707 00000ba2: JUMP 00000ba3: JUMPDEST 00000ba4: PUSH1 0x00 00000ba6: DUP1 00000ba7: DUP6 00000ba8: PUSH1 0x01 00000baa: PUSH1 0x01 00000bac: PUSH1 0xa0 00000bae: SHL 00000baf: SUB 00000bb0: AND 00000bb1: DUP5 00000bb2: DUP7 00000bb3: PUSH1 0x40 00000bb5: MLOAD 00000bb6: PUSH2 0x0bbf 00000bb9: SWAP2 00000bba: SWAP1 00000bbb: PUSH2 0x0e80 00000bbe: JUMP 00000bbf: JUMPDEST 00000bc0: PUSH1 0x00 00000bc2: PUSH1 0x40 00000bc4: MLOAD 00000bc5: DUP1 00000bc6: DUP4 00000bc7: SUB 00000bc8: DUP2 00000bc9: DUP6 00000bca: DUP8 00000bcb: GAS 00000bcc: CALL 00000bcd: SWAP3 00000bce: POP 00000bcf: POP 00000bd0: POP 00000bd1: RETURNDATASIZE 00000bd2: DUP1 00000bd3: PUSH1 0x00 00000bd5: DUP2 00000bd6: EQ 00000bd7: PUSH2 0x0bfc 00000bda: JUMPI 00000bdb: PUSH1 0x40 00000bdd: MLOAD 00000bde: SWAP2 00000bdf: POP 00000be0: PUSH1 0x1f 00000be2: NOT 00000be3: PUSH1 0x3f 00000be5: RETURNDATASIZE 00000be6: ADD 00000be7: AND 00000be8: DUP3 00000be9: ADD 00000bea: PUSH1 0x40 00000bec: MSTORE 00000bed: RETURNDATASIZE 00000bee: DUP3 00000bef: MSTORE 00000bf0: RETURNDATASIZE 00000bf1: PUSH1 0x00 00000bf3: PUSH1 0x20 00000bf5: DUP5 00000bf6: ADD 00000bf7: RETURNDATACOPY 00000bf8: PUSH2 0x0c01 00000bfb: JUMP 00000bfc: JUMPDEST 00000bfd: PUSH1 0x60 00000bff: SWAP2 00000c00: POP 00000c01: JUMPDEST 00000c02: POP 00000c03: SWAP2 00000c04: POP 00000c05: SWAP2 00000c06: POP 00000c07: PUSH2 0x0c11 00000c0a: DUP7 00000c0b: DUP4 00000c0c: DUP4 00000c0d: PUSH2 0x0c1d 00000c10: JUMP 00000c11: JUMPDEST 00000c12: SWAP3 00000c13: POP 00000c14: POP 00000c15: POP 00000c16: JUMPDEST 00000c17: SWAP4 00000c18: SWAP3 00000c19: POP 00000c1a: POP 00000c1b: POP 00000c1c: JUMP 00000c1d: JUMPDEST 00000c1e: PUSH1 0x60 00000c20: DUP3 00000c21: PUSH2 0x0c32 00000c24: JUMPI 00000c25: PUSH2 0x0c2d 00000c28: DUP3 00000c29: PUSH2 0x0c79 00000c2c: JUMP 00000c2d: JUMPDEST 00000c2e: PUSH2 0x0c16 00000c31: JUMP 00000c32: JUMPDEST 00000c33: DUP2 00000c34: MLOAD 00000c35: ISZERO 00000c36: DUP1 00000c37: ISZERO 00000c38: PUSH2 0x0c49 00000c3b: JUMPI 00000c3c: POP 00000c3d: PUSH1 0x01 00000c3f: PUSH1 0x01 00000c41: PUSH1 0xa0 00000c43: SHL 00000c44: SUB 00000c45: DUP5 00000c46: AND 00000c47: EXTCODESIZE 00000c48: ISZERO 00000c49: JUMPDEST 00000c4a: ISZERO 00000c4b: PUSH2 0x0c72 00000c4e: JUMPI 00000c4f: PUSH1 0x40 00000c51: MLOAD 00000c52: PUSH4 0x9996b315 00000c57: PUSH1 0xe0 00000c59: SHL 00000c5a: DUP2 00000c5b: MSTORE 00000c5c: PUSH1 0x01 00000c5e: PUSH1 0x01 00000c60: PUSH1 0xa0 00000c62: SHL 00000c63: SUB 00000c64: DUP6 00000c65: AND 00000c66: PUSH1 0x04 00000c68: DUP3 00000c69: ADD 00000c6a: MSTORE 00000c6b: PUSH1 0x24 00000c6d: ADD 00000c6e: PUSH2 0x0707 00000c71: JUMP 00000c72: JUMPDEST 00000c73: POP 00000c74: DUP1 00000c75: PUSH2 0x0c16 00000c78: JUMP 00000c79: JUMPDEST 00000c7a: DUP1 00000c7b: MLOAD 00000c7c: ISZERO 00000c7d: PUSH2 0x0c89 00000c80: JUMPI 00000c81: DUP1 00000c82: MLOAD 00000c83: DUP1 00000c84: DUP3 00000c85: PUSH1 0x20 00000c87: ADD 00000c88: REVERT 00000c89: JUMPDEST 00000c8a: PUSH1 0x40 00000c8c: MLOAD 00000c8d: PUSH4 0x0a12f521 00000c92: PUSH1 0xe1 00000c94: SHL 00000c95: DUP2 00000c96: MSTORE 00000c97: PUSH1 0x04 00000c99: ADD 00000c9a: PUSH1 0x40 00000c9c: MLOAD 00000c9d: DUP1 00000c9e: SWAP2 00000c9f: SUB 00000ca0: SWAP1 00000ca1: REVERT 00000ca2: JUMPDEST 00000ca3: DUP1 00000ca4: CALLDATALOAD 00000ca5: PUSH1 0x01 00000ca7: PUSH1 0x01 00000ca9: PUSH1 0xa0 00000cab: SHL 00000cac: SUB 00000cad: DUP2 00000cae: AND 00000caf: DUP2 00000cb0: EQ 00000cb1: PUSH2 0x0cb9 00000cb4: JUMPI 00000cb5: PUSH1 0x00 00000cb7: DUP1 00000cb8: REVERT 00000cb9: JUMPDEST 00000cba: SWAP2 00000cbb: SWAP1 00000cbc: POP 00000cbd: JUMP 00000cbe: JUMPDEST 00000cbf: PUSH1 0x00 00000cc1: DUP1 00000cc2: PUSH1 0x40 00000cc4: DUP4 00000cc5: DUP6 00000cc6: SUB 00000cc7: SLT 00000cc8: ISZERO 00000cc9: PUSH2 0x0cd1 00000ccc: JUMPI 00000ccd: PUSH1 0x00 00000ccf: DUP1 00000cd0: REVERT 00000cd1: JUMPDEST 00000cd2: PUSH2 0x0cda 00000cd5: DUP4 00000cd6: PUSH2 0x0ca2 00000cd9: JUMP 00000cda: JUMPDEST 00000cdb: SWAP2 00000cdc: POP 00000cdd: PUSH2 0x0ce8 00000ce0: PUSH1 0x20 00000ce2: DUP5 00000ce3: ADD 00000ce4: PUSH2 0x0ca2 00000ce7: JUMP 00000ce8: JUMPDEST 00000ce9: SWAP1 00000cea: POP 00000ceb: SWAP3 00000cec: POP 00000ced: SWAP3 00000cee: SWAP1 00000cef: POP 00000cf0: JUMP 00000cf1: JUMPDEST 00000cf2: PUSH1 0x00 00000cf4: PUSH1 0x20 00000cf6: DUP3 00000cf7: DUP5 00000cf8: SUB 00000cf9: SLT 00000cfa: ISZERO 00000cfb: PUSH2 0x0d03 00000cfe: JUMPI 00000cff: PUSH1 0x00 00000d01: DUP1 00000d02: REVERT 00000d03: JUMPDEST 00000d04: PUSH2 0x0b75 00000d07: DUP3 00000d08: PUSH2 0x0ca2 00000d0b: JUMP 00000d0c: JUMPDEST 00000d0d: DUP1 00000d0e: CALLDATALOAD 00000d0f: PUSH1 0x03 00000d11: DUP2 00000d12: LT 00000d13: PUSH2 0x0cb9 00000d16: JUMPI 00000d17: PUSH1 0x00 00000d19: DUP1 00000d1a: REVERT 00000d1b: JUMPDEST 00000d1c: PUSH1 0x00 00000d1e: DUP1 00000d1f: PUSH1 0x40 00000d21: DUP4 00000d22: DUP6 00000d23: SUB 00000d24: SLT 00000d25: ISZERO 00000d26: PUSH2 0x0d2e 00000d29: JUMPI 00000d2a: PUSH1 0x00 00000d2c: DUP1 00000d2d: REVERT 00000d2e: JUMPDEST 00000d2f: PUSH2 0x0d37 00000d32: DUP4 00000d33: PUSH2 0x0d0c 00000d36: JUMP 00000d37: JUMPDEST 00000d38: SWAP5 00000d39: PUSH1 0x20 00000d3b: SWAP4 00000d3c: SWAP1 00000d3d: SWAP4 00000d3e: ADD 00000d3f: CALLDATALOAD 00000d40: SWAP4 00000d41: POP 00000d42: POP 00000d43: POP 00000d44: JUMP 00000d45: JUMPDEST 00000d46: PUSH1 0x00 00000d48: DUP1 00000d49: PUSH1 0x00 00000d4b: PUSH1 0x60 00000d4d: DUP5 00000d4e: DUP7 00000d4f: SUB 00000d50: SLT 00000d51: ISZERO 00000d52: PUSH2 0x0d5a 00000d55: JUMPI 00000d56: PUSH1 0x00 00000d58: DUP1 00000d59: REVERT 00000d5a: JUMPDEST 00000d5b: PUSH2 0x0d63 00000d5e: DUP5 00000d5f: PUSH2 0x0d0c 00000d62: JUMP 00000d63: JUMPDEST 00000d64: SWAP3 00000d65: POP 00000d66: PUSH1 0x20 00000d68: DUP5 00000d69: ADD 00000d6a: CALLDATALOAD 00000d6b: SWAP2 00000d6c: POP 00000d6d: PUSH2 0x0d78 00000d70: PUSH1 0x40 00000d72: DUP6 00000d73: ADD 00000d74: PUSH2 0x0ca2 00000d77: JUMP 00000d78: JUMPDEST 00000d79: SWAP1 00000d7a: POP 00000d7b: SWAP3 00000d7c: POP 00000d7d: SWAP3 00000d7e: POP 00000d7f: SWAP3 00000d80: JUMP 00000d81: JUMPDEST 00000d82: PUSH4 0x4e487b71 00000d87: PUSH1 0xe0 00000d89: SHL 00000d8a: PUSH1 0x00 00000d8c: MSTORE 00000d8d: PUSH1 0x21 00000d8f: PUSH1 0x04 00000d91: MSTORE 00000d92: PUSH1 0x24 00000d94: PUSH1 0x00 00000d96: REVERT 00000d97: JUMPDEST 00000d98: PUSH1 0x00 00000d9a: PUSH1 0x20 00000d9c: DUP3 00000d9d: DUP5 00000d9e: SUB 00000d9f: SLT 00000da0: ISZERO 00000da1: PUSH2 0x0da9 00000da4: JUMPI 00000da5: PUSH1 0x00 00000da7: DUP1 00000da8: REVERT 00000da9: JUMPDEST 00000daa: POP 00000dab: MLOAD 00000dac: SWAP2 00000dad: SWAP1 00000dae: POP 00000daf: JUMP 00000db0: JUMPDEST 00000db1: PUSH1 0x03 00000db3: DUP2 00000db4: LT 00000db5: PUSH2 0x0dce 00000db8: JUMPI 00000db9: PUSH4 0x4e487b71 00000dbe: PUSH1 0xe0 00000dc0: SHL 00000dc1: PUSH1 0x00 00000dc3: MSTORE 00000dc4: PUSH1 0x21 00000dc6: PUSH1 0x04 00000dc8: MSTORE 00000dc9: PUSH1 0x24 00000dcb: PUSH1 0x00 00000dcd: REVERT 00000dce: JUMPDEST 00000dcf: SWAP1 00000dd0: MSTORE 00000dd1: JUMP 00000dd2: JUMPDEST 00000dd3: PUSH1 0x20 00000dd5: DUP2 00000dd6: ADD 00000dd7: PUSH2 0x0b78 00000dda: DUP3 00000ddb: DUP5 00000ddc: PUSH2 0x0db0 00000ddf: JUMP 00000de0: JUMPDEST 00000de1: PUSH1 0x60 00000de3: DUP2 00000de4: ADD 00000de5: PUSH2 0x0dee 00000de8: DUP3 00000de9: DUP7 00000dea: PUSH2 0x0db0 00000ded: JUMP 00000dee: JUMPDEST 00000def: PUSH1 0x01 00000df1: PUSH1 0x01 00000df3: PUSH1 0xa0 00000df5: SHL 00000df6: SUB 00000df7: SWAP4 00000df8: SWAP1 00000df9: SWAP4 00000dfa: AND 00000dfb: PUSH1 0x20 00000dfd: DUP3 00000dfe: ADD 00000dff: MSTORE 00000e00: PUSH1 0x40 00000e02: ADD 00000e03: MSTORE 00000e04: SWAP2 00000e05: SWAP1 00000e06: POP 00000e07: JUMP 00000e08: JUMPDEST 00000e09: DUP1 00000e0a: DUP3 00000e0b: ADD 00000e0c: DUP1 00000e0d: DUP3 00000e0e: GT 00000e0f: ISZERO 00000e10: PUSH2 0x0b78 00000e13: JUMPI 00000e14: PUSH4 0x4e487b71 00000e19: PUSH1 0xe0 00000e1b: SHL 00000e1c: PUSH1 0x00 00000e1e: MSTORE 00000e1f: PUSH1 0x11 00000e21: PUSH1 0x04 00000e23: MSTORE 00000e24: PUSH1 0x24 00000e26: PUSH1 0x00 00000e28: REVERT 00000e29: JUMPDEST 00000e2a: PUSH1 0x80 00000e2c: DUP2 00000e2d: ADD 00000e2e: PUSH2 0x0e37 00000e31: DUP3 00000e32: DUP8 00000e33: PUSH2 0x0db0 00000e36: JUMP 00000e37: JUMPDEST 00000e38: PUSH1 0x01 00000e3a: PUSH1 0x01 00000e3c: PUSH1 0xa0 00000e3e: SHL 00000e3f: SUB 00000e40: SWAP5 00000e41: DUP6 00000e42: AND 00000e43: PUSH1 0x20 00000e45: DUP4 00000e46: ADD 00000e47: MSTORE 00000e48: SWAP3 00000e49: SWAP1 00000e4a: SWAP4 00000e4b: AND 00000e4c: PUSH1 0x40 00000e4e: DUP5 00000e4f: ADD 00000e50: MSTORE 00000e51: PUSH1 0x60 00000e53: SWAP1 00000e54: SWAP3 00000e55: ADD 00000e56: SWAP2 00000e57: SWAP1 00000e58: SWAP2 00000e59: MSTORE 00000e5a: SWAP2 00000e5b: SWAP1 00000e5c: POP 00000e5d: JUMP 00000e5e: JUMPDEST 00000e5f: PUSH1 0x00 00000e61: PUSH1 0x20 00000e63: DUP3 00000e64: DUP5 00000e65: SUB 00000e66: SLT 00000e67: ISZERO 00000e68: PUSH2 0x0e70 00000e6b: JUMPI 00000e6c: PUSH1 0x00 00000e6e: DUP1 00000e6f: REVERT 00000e70: JUMPDEST 00000e71: DUP2 00000e72: MLOAD 00000e73: DUP1 00000e74: ISZERO 00000e75: ISZERO 00000e76: DUP2 00000e77: EQ 00000e78: PUSH2 0x0c16 00000e7b: JUMPI 00000e7c: PUSH1 0x00 00000e7e: DUP1 00000e7f: REVERT 00000e80: JUMPDEST 00000e81: PUSH1 0x00 00000e83: DUP3 00000e84: MLOAD 00000e85: PUSH1 0x00 00000e87: JUMPDEST 00000e88: DUP2 00000e89: DUP2 00000e8a: LT 00000e8b: ISZERO 00000e8c: PUSH2 0x0ea1 00000e8f: JUMPI 00000e90: PUSH1 0x20 00000e92: DUP2 00000e93: DUP7 00000e94: ADD 00000e95: DUP2 00000e96: ADD 00000e97: MLOAD 00000e98: DUP6 00000e99: DUP4 00000e9a: ADD 00000e9b: MSTORE 00000e9c: ADD 00000e9d: PUSH2 0x0e87 00000ea0: JUMP 00000ea1: JUMPDEST 00000ea2: POP 00000ea3: PUSH1 0x00 00000ea5: SWAP3 00000ea6: ADD 00000ea7: SWAP2 00000ea8: DUP3 00000ea9: MSTORE 00000eaa: POP 00000eab: SWAP2 00000eac: SWAP1 00000ead: POP 00000eae: JUMP 00000eaf: INVALID 00000eb0: LOG2 00000eb1: PUSH5 0x6970667358 00000eb7: UNKNOWN(0x22) 00000eb8: SLT 00000eb9: KECCAK256 00000eba: UNKNOWN(0xD4) 00000ebb: TLOAD 00000ebc: ISZERO 00000ebd: SIGNEXTEND 00000ebe: PUSH6 0x013eb6ef7f23 00000ec5: ADD 00000ec6: RETURNDATASIZE 00000ec7: DUP10 00000ec8: CALLDATASIZE 00000ec9: EXP 00000eca: CALLDATACOPY 00000ecb: UNKNOWN(0xC6) 00000ecc: DUP12 00000ecd: SUB 00000ece: UNKNOWN(0xCD) 00000ecf: UNKNOWN(0xA9) 00000ed0: DUP11 00000ed1: DUP6 00000ed2: SWAP2 00000ed3: DUP16 00000ed4: UNKNOWN(0xAE) 00000ed5: UNKNOWN(0xA8) 00000ed6: SUB 00000ed7: ISZERO 00000ed8: UNKNOWN(0xCD) 00000ed9: UNKNOWN(0xC6) 00000eda: PUSH5 0x736f6c6343 00000ee0: STOP 00000ee1: ADDMOD 00000ee2: AND 00000ee3: STOP 00000ee4: CALLER
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0xb177ed0a931a1f4d42347a4fae1d78a1e6bc87807e27c949b7b213d65d226b2e
call_targets:
0x35644a949d2eeb4b5e592f13166aafd330645cf6
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xb177ed0a931a1f4d42347a4fae1d78a1e6bc87807e27c949b7b213d65d226b2e",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x35644a949d2eeb4b5e592f13166aafd330645cf6"
],
"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": "0x46d7ce37",
"selector": "0x46d7ce37",
"calldata_variants": [
"0x46d7ce37",
"0x46d7ce370000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x9104ab83",
"selector": "0x9104ab83",
"calldata_variants": [
"0x9104ab83",
"0x9104ab830000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x95e5922c",
"selector": "0x95e5922c",
"calldata_variants": [
"0x95e5922c",
"0x95e5922c0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xcd139742",
"selector": "0xcd139742",
"calldata_variants": [
"0xcd139742",
"0xcd1397420000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xfd307272",
"selector": "0xfd307272",
"calldata_variants": [
"0xfd307272",
"0xfd3072720000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x17134a58",
"selector": "0x17134a58",
"calldata_variants": [
"0x17134a58",
"0x17134a580000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x213ea6bb",
"selector": "0x213ea6bb",
"calldata_variants": [
"0x213ea6bb",
"0x213ea6bb0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x36a0abcb",
"selector": "0x36a0abcb",
"calldata_variants": [
"0x36a0abcb",
"0x36a0abcb0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1679,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 3020,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 2,
"guards_detected": [],
"untrusted_call_count": 2
}
|
| high | other | detector | ETH value transfer possible | 55 | no | no |
viewtrace_id: 0xb177ed0a931a1f4d42347a4fae1d78a1e6bc87807e27c949b7b213d65d226b2e
call_targets:
0x35644a949d2eeb4b5e592f13166aafd330645cf6
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xb177ed0a931a1f4d42347a4fae1d78a1e6bc87807e27c949b7b213d65d226b2e",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x35644a949d2eeb4b5e592f13166aafd330645cf6"
],
"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": "0x46d7ce37",
"selector": "0x46d7ce37",
"calldata_variants": [
"0x46d7ce37",
"0x46d7ce370000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x9104ab83",
"selector": "0x9104ab83",
"calldata_variants": [
"0x9104ab83",
"0x9104ab830000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x95e5922c",
"selector": "0x95e5922c",
"calldata_variants": [
"0x95e5922c",
"0x95e5922c0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xcd139742",
"selector": "0xcd139742",
"calldata_variants": [
"0xcd139742",
"0xcd1397420000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xfd307272",
"selector": "0xfd307272",
"calldata_variants": [
"0xfd307272",
"0xfd3072720000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x17134a58",
"selector": "0x17134a58",
"calldata_variants": [
"0x17134a58",
"0x17134a580000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x213ea6bb",
"selector": "0x213ea6bb",
"calldata_variants": [
"0x213ea6bb",
"0x213ea6bb0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x36a0abcb",
"selector": "0x36a0abcb",
"calldata_variants": [
"0x36a0abcb",
"0x36a0abcb0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1679,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 3020,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 2,
"guards_detected": []
}
|