019b477e-ce6e-7385-925e-068e54c54528
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 |
|---|---|---|---|---|
| 27205 | artifact.fetch | complete | 1 / 3 | 4 months ago |
| 27206 | tool.cast_disasm | complete | 1 / 3 | 4 months ago |
| 70522 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 70523 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 70524 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 70525 | validation.fork | complete | 1 / 3 | 2 weeks ago |
No slither job recorded yet.
No codex job recorded yet.
00000000: PUSH1 0x80 00000002: PUSH1 0x40 00000004: MSTORE 00000005: PUSH1 0x04 00000007: CALLDATASIZE 00000008: LT 00000009: PUSH2 0x0079 0000000c: JUMPI 0000000d: PUSH1 0x00 0000000f: CALLDATALOAD 00000010: PUSH1 0xe0 00000012: SHR 00000013: DUP1 00000014: PUSH4 0x8f283970 00000019: GT 0000001a: PUSH2 0x004e 0000001d: JUMPI 0000001e: DUP1 0000001f: PUSH4 0x8f283970 00000024: EQ 00000025: PUSH2 0x012a 00000028: JUMPI 00000029: DUP1 0000002a: PUSH4 0xdbe55e56 0000002f: EQ 00000030: PUSH2 0x0153 00000033: JUMPI 00000034: DUP1 00000035: PUSH4 0xf851a440 0000003a: EQ 0000003b: PUSH2 0x017e 0000003e: JUMPI 0000003f: DUP1 00000040: PUSH4 0xfe64d6ff 00000045: EQ 00000046: PUSH2 0x01a9 00000049: JUMPI 0000004a: PUSH2 0x0079 0000004d: JUMP 0000004e: JUMPDEST 0000004f: DUP1 00000050: PUSH3 0x07df30 00000054: EQ 00000055: PUSH2 0x007e 00000058: JUMPI 00000059: DUP1 0000005a: PUSH3 0xf714ce 0000005e: EQ 0000005f: PUSH2 0x00bc 00000062: JUMPI 00000063: DUP1 00000064: PUSH4 0x80abbe57 00000069: EQ 0000006a: PUSH2 0x00e5 0000006d: JUMPI 0000006e: DUP1 0000006f: PUSH4 0x8de93222 00000074: EQ 00000075: PUSH2 0x010e 00000078: JUMPI 00000079: JUMPDEST 0000007a: PUSH1 0x00 0000007c: DUP1 0000007d: REVERT 0000007e: JUMPDEST 0000007f: CALLVALUE 00000080: DUP1 00000081: ISZERO 00000082: PUSH2 0x008a 00000085: JUMPI 00000086: PUSH1 0x00 00000088: DUP1 00000089: REVERT 0000008a: JUMPDEST 0000008b: POP 0000008c: PUSH2 0x00a5 0000008f: PUSH1 0x04 00000091: DUP1 00000092: CALLDATASIZE 00000093: SUB 00000094: DUP2 00000095: ADD 00000096: SWAP1 00000097: PUSH2 0x00a0 0000009a: SWAP2 0000009b: SWAP1 0000009c: PUSH2 0x0a8f 0000009f: JUMP 000000a0: JUMPDEST 000000a1: PUSH2 0x01d2 000000a4: JUMP 000000a5: JUMPDEST 000000a6: PUSH1 0x40 000000a8: MLOAD 000000a9: PUSH2 0x00b3 000000ac: SWAP3 000000ad: SWAP2 000000ae: SWAP1 000000af: PUSH2 0x0aed 000000b2: JUMP 000000b3: JUMPDEST 000000b4: PUSH1 0x40 000000b6: MLOAD 000000b7: DUP1 000000b8: SWAP2 000000b9: SUB 000000ba: SWAP1 000000bb: RETURN 000000bc: JUMPDEST 000000bd: CALLVALUE 000000be: DUP1 000000bf: ISZERO 000000c0: PUSH2 0x00c8 000000c3: JUMPI 000000c4: PUSH1 0x00 000000c6: DUP1 000000c7: REVERT 000000c8: JUMPDEST 000000c9: POP 000000ca: PUSH2 0x00e3 000000cd: PUSH1 0x04 000000cf: DUP1 000000d0: CALLDATASIZE 000000d1: SUB 000000d2: DUP2 000000d3: ADD 000000d4: SWAP1 000000d5: PUSH2 0x00de 000000d8: SWAP2 000000d9: SWAP1 000000da: PUSH2 0x0b54 000000dd: JUMP 000000de: JUMPDEST 000000df: PUSH2 0x0223 000000e2: JUMP 000000e3: JUMPDEST 000000e4: STOP 000000e5: JUMPDEST 000000e6: CALLVALUE 000000e7: DUP1 000000e8: ISZERO 000000e9: PUSH2 0x00f1 000000ec: JUMPI 000000ed: PUSH1 0x00 000000ef: DUP1 000000f0: REVERT 000000f1: JUMPDEST 000000f2: POP 000000f3: PUSH2 0x010c 000000f6: PUSH1 0x04 000000f8: DUP1 000000f9: CALLDATASIZE 000000fa: SUB 000000fb: DUP2 000000fc: ADD 000000fd: SWAP1 000000fe: PUSH2 0x0107 00000101: SWAP2 00000102: SWAP1 00000103: PUSH2 0x0b94 00000106: JUMP 00000107: JUMPDEST 00000108: PUSH2 0x02fe 0000010b: JUMP 0000010c: JUMPDEST 0000010d: STOP 0000010e: JUMPDEST 0000010f: PUSH2 0x0128 00000112: PUSH1 0x04 00000114: DUP1 00000115: CALLDATASIZE 00000116: SUB 00000117: DUP2 00000118: ADD 00000119: SWAP1 0000011a: PUSH2 0x0123 0000011d: SWAP2 0000011e: SWAP1 0000011f: PUSH2 0x0a8f 00000122: JUMP 00000123: JUMPDEST 00000124: PUSH2 0x04be 00000127: JUMP 00000128: JUMPDEST 00000129: STOP 0000012a: JUMPDEST 0000012b: CALLVALUE 0000012c: DUP1 0000012d: ISZERO 0000012e: PUSH2 0x0136 00000131: JUMPI 00000132: PUSH1 0x00 00000134: DUP1 00000135: REVERT 00000136: JUMPDEST 00000137: POP 00000138: PUSH2 0x0151 0000013b: PUSH1 0x04 0000013d: DUP1 0000013e: CALLDATASIZE 0000013f: SUB 00000140: DUP2 00000141: ADD 00000142: SWAP1 00000143: PUSH2 0x014c 00000146: SWAP2 00000147: SWAP1 00000148: PUSH2 0x0be7 0000014b: JUMP 0000014c: JUMPDEST 0000014d: PUSH2 0x0802 00000150: JUMP 00000151: JUMPDEST 00000152: STOP 00000153: JUMPDEST 00000154: CALLVALUE 00000155: DUP1 00000156: ISZERO 00000157: PUSH2 0x015f 0000015a: JUMPI 0000015b: PUSH1 0x00 0000015d: DUP1 0000015e: REVERT 0000015f: JUMPDEST 00000160: POP 00000161: PUSH2 0x0168 00000164: PUSH2 0x08d6 00000167: JUMP 00000168: JUMPDEST 00000169: PUSH1 0x40 0000016b: MLOAD 0000016c: PUSH2 0x0175 0000016f: SWAP2 00000170: SWAP1 00000171: PUSH2 0x0c14 00000174: JUMP 00000175: JUMPDEST 00000176: PUSH1 0x40 00000178: MLOAD 00000179: DUP1 0000017a: SWAP2 0000017b: SUB 0000017c: SWAP1 0000017d: RETURN 0000017e: JUMPDEST 0000017f: CALLVALUE 00000180: DUP1 00000181: ISZERO 00000182: PUSH2 0x018a 00000185: JUMPI 00000186: PUSH1 0x00 00000188: DUP1 00000189: REVERT 0000018a: JUMPDEST 0000018b: POP 0000018c: PUSH2 0x0193 0000018f: PUSH2 0x08fc 00000192: JUMP 00000193: JUMPDEST 00000194: PUSH1 0x40 00000196: MLOAD 00000197: PUSH2 0x01a0 0000019a: SWAP2 0000019b: SWAP1 0000019c: PUSH2 0x0c14 0000019f: JUMP 000001a0: JUMPDEST 000001a1: PUSH1 0x40 000001a3: MLOAD 000001a4: DUP1 000001a5: SWAP2 000001a6: SUB 000001a7: SWAP1 000001a8: RETURN 000001a9: JUMPDEST 000001aa: CALLVALUE 000001ab: DUP1 000001ac: ISZERO 000001ad: PUSH2 0x01b5 000001b0: JUMPI 000001b1: PUSH1 0x00 000001b3: DUP1 000001b4: REVERT 000001b5: JUMPDEST 000001b6: POP 000001b7: PUSH2 0x01d0 000001ba: PUSH1 0x04 000001bc: DUP1 000001bd: CALLDATASIZE 000001be: SUB 000001bf: DUP2 000001c0: ADD 000001c1: SWAP1 000001c2: PUSH2 0x01cb 000001c5: SWAP2 000001c6: SWAP1 000001c7: PUSH2 0x0be7 000001ca: JUMP 000001cb: JUMPDEST 000001cc: PUSH2 0x0922 000001cf: JUMP 000001d0: JUMPDEST 000001d1: STOP 000001d2: JUMPDEST 000001d3: PUSH1 0x00 000001d5: PUSH1 0x20 000001d7: MSTORE 000001d8: DUP2 000001d9: PUSH1 0x00 000001db: MSTORE 000001dc: PUSH1 0x40 000001de: PUSH1 0x00 000001e0: KECCAK256 000001e1: PUSH1 0x20 000001e3: MSTORE 000001e4: DUP1 000001e5: PUSH1 0x00 000001e7: MSTORE 000001e8: PUSH1 0x40 000001ea: PUSH1 0x00 000001ec: KECCAK256 000001ed: PUSH1 0x00 000001ef: SWAP2 000001f0: POP 000001f1: SWAP2 000001f2: POP 000001f3: POP 000001f4: DUP1 000001f5: PUSH1 0x00 000001f7: ADD 000001f8: SLOAD 000001f9: SWAP1 000001fa: DUP1 000001fb: PUSH1 0x01 000001fd: ADD 000001fe: PUSH1 0x00 00000200: SWAP1 00000201: SLOAD 00000202: SWAP1 00000203: PUSH2 0x0100 00000206: EXP 00000207: SWAP1 00000208: DIV 00000209: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000021e: AND 0000021f: SWAP1 00000220: POP 00000221: DUP3 00000222: JUMP 00000223: JUMPDEST 00000224: PUSH1 0x01 00000226: PUSH1 0x00 00000228: SWAP1 00000229: SLOAD 0000022a: SWAP1 0000022b: PUSH2 0x0100 0000022e: EXP 0000022f: SWAP1 00000230: DIV 00000231: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000246: AND 00000247: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000025c: AND 0000025d: CALLER 0000025e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000273: AND 00000274: EQ 00000275: PUSH2 0x02b3 00000278: JUMPI 00000279: PUSH1 0x40 0000027b: MLOAD 0000027c: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 0000029d: DUP2 0000029e: MSTORE 0000029f: PUSH1 0x04 000002a1: ADD 000002a2: PUSH2 0x02aa 000002a5: SWAP1 000002a6: PUSH2 0x0c8c 000002a9: JUMP 000002aa: JUMPDEST 000002ab: PUSH1 0x40 000002ad: MLOAD 000002ae: DUP1 000002af: SWAP2 000002b0: SUB 000002b1: SWAP1 000002b2: REVERT 000002b3: JUMPDEST 000002b4: DUP1 000002b5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000002ca: AND 000002cb: PUSH2 0x08fc 000002ce: DUP4 000002cf: SWAP1 000002d0: DUP2 000002d1: ISZERO 000002d2: MUL 000002d3: SWAP1 000002d4: PUSH1 0x40 000002d6: MLOAD 000002d7: PUSH1 0x00 000002d9: PUSH1 0x40 000002db: MLOAD 000002dc: DUP1 000002dd: DUP4 000002de: SUB 000002df: DUP2 000002e0: DUP6 000002e1: DUP9 000002e2: DUP9 000002e3: CALL 000002e4: SWAP4 000002e5: POP 000002e6: POP 000002e7: POP 000002e8: POP 000002e9: ISZERO 000002ea: DUP1 000002eb: ISZERO 000002ec: PUSH2 0x02f9 000002ef: JUMPI 000002f0: RETURNDATASIZE 000002f1: PUSH1 0x00 000002f3: DUP1 000002f4: RETURNDATACOPY 000002f5: RETURNDATASIZE 000002f6: PUSH1 0x00 000002f8: REVERT 000002f9: JUMPDEST 000002fa: POP 000002fb: POP 000002fc: POP 000002fd: JUMP 000002fe: JUMPDEST 000002ff: PUSH1 0x00 00000301: DUP3 00000302: SWAP1 00000303: POP 00000304: CALLER 00000305: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000031a: AND 0000031b: DUP2 0000031c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000331: AND 00000332: PUSH4 0x6352211e 00000337: DUP5 00000338: PUSH1 0x40 0000033a: MLOAD 0000033b: DUP3 0000033c: PUSH4 0xffffffff 00000341: AND 00000342: PUSH1 0xe0 00000344: SHL 00000345: DUP2 00000346: MSTORE 00000347: PUSH1 0x04 00000349: ADD 0000034a: PUSH2 0x0353 0000034d: SWAP2 0000034e: SWAP1 0000034f: PUSH2 0x0cac 00000352: JUMP 00000353: JUMPDEST 00000354: PUSH1 0x20 00000356: PUSH1 0x40 00000358: MLOAD 00000359: DUP1 0000035a: DUP4 0000035b: SUB 0000035c: DUP2 0000035d: DUP7 0000035e: GAS 0000035f: STATICCALL 00000360: ISZERO 00000361: DUP1 00000362: ISZERO 00000363: PUSH2 0x0370 00000366: JUMPI 00000367: RETURNDATASIZE 00000368: PUSH1 0x00 0000036a: DUP1 0000036b: RETURNDATACOPY 0000036c: RETURNDATASIZE 0000036d: PUSH1 0x00 0000036f: REVERT 00000370: JUMPDEST 00000371: POP 00000372: POP 00000373: POP 00000374: POP 00000375: PUSH1 0x40 00000377: MLOAD 00000378: RETURNDATASIZE 00000379: PUSH1 0x1f 0000037b: NOT 0000037c: PUSH1 0x1f 0000037e: DUP3 0000037f: ADD 00000380: AND 00000381: DUP3 00000382: ADD 00000383: DUP1 00000384: PUSH1 0x40 00000386: MSTORE 00000387: POP 00000388: DUP2 00000389: ADD 0000038a: SWAP1 0000038b: PUSH2 0x0394 0000038e: SWAP2 0000038f: SWAP1 00000390: PUSH2 0x0cdc 00000393: JUMP 00000394: JUMPDEST 00000395: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000003aa: AND 000003ab: EQ 000003ac: PUSH2 0x03ea 000003af: JUMPI 000003b0: PUSH1 0x40 000003b2: MLOAD 000003b3: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000003d4: DUP2 000003d5: MSTORE 000003d6: PUSH1 0x04 000003d8: ADD 000003d9: PUSH2 0x03e1 000003dc: SWAP1 000003dd: PUSH2 0x0d55 000003e0: JUMP 000003e1: JUMPDEST 000003e2: PUSH1 0x40 000003e4: MLOAD 000003e5: DUP1 000003e6: SWAP2 000003e7: SUB 000003e8: SWAP1 000003e9: REVERT 000003ea: JUMPDEST 000003eb: PUSH1 0x40 000003ed: MLOAD 000003ee: DUP1 000003ef: PUSH1 0x40 000003f1: ADD 000003f2: PUSH1 0x40 000003f4: MSTORE 000003f5: DUP1 000003f6: DUP6 000003f7: DUP2 000003f8: MSTORE 000003f9: PUSH1 0x20 000003fb: ADD 000003fc: CALLER 000003fd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000412: AND 00000413: DUP2 00000414: MSTORE 00000415: POP 00000416: PUSH1 0x00 00000418: DUP1 00000419: DUP6 0000041a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000042f: AND 00000430: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000445: AND 00000446: DUP2 00000447: MSTORE 00000448: PUSH1 0x20 0000044a: ADD 0000044b: SWAP1 0000044c: DUP2 0000044d: MSTORE 0000044e: PUSH1 0x20 00000450: ADD 00000451: PUSH1 0x00 00000453: KECCAK256 00000454: PUSH1 0x00 00000456: DUP5 00000457: DUP2 00000458: MSTORE 00000459: PUSH1 0x20 0000045b: ADD 0000045c: SWAP1 0000045d: DUP2 0000045e: MSTORE 0000045f: PUSH1 0x20 00000461: ADD 00000462: PUSH1 0x00 00000464: KECCAK256 00000465: PUSH1 0x00 00000467: DUP3 00000468: ADD 00000469: MLOAD 0000046a: DUP2 0000046b: PUSH1 0x00 0000046d: ADD 0000046e: SSTORE 0000046f: PUSH1 0x20 00000471: DUP3 00000472: ADD 00000473: MLOAD 00000474: DUP2 00000475: PUSH1 0x01 00000477: ADD 00000478: PUSH1 0x00 0000047a: PUSH2 0x0100 0000047d: EXP 0000047e: DUP2 0000047f: SLOAD 00000480: DUP2 00000481: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000496: MUL 00000497: NOT 00000498: AND 00000499: SWAP1 0000049a: DUP4 0000049b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000004b0: AND 000004b1: MUL 000004b2: OR 000004b3: SWAP1 000004b4: SSTORE 000004b5: POP 000004b6: SWAP1 000004b7: POP 000004b8: POP 000004b9: POP 000004ba: POP 000004bb: POP 000004bc: POP 000004bd: JUMP 000004be: JUMPDEST 000004bf: PUSH1 0x00 000004c1: DUP1 000004c2: PUSH1 0x00 000004c4: DUP5 000004c5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000004da: AND 000004db: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000004f0: AND 000004f1: DUP2 000004f2: MSTORE 000004f3: PUSH1 0x20 000004f5: ADD 000004f6: SWAP1 000004f7: DUP2 000004f8: MSTORE 000004f9: PUSH1 0x20 000004fb: ADD 000004fc: PUSH1 0x00 000004fe: KECCAK256 000004ff: PUSH1 0x00 00000501: DUP4 00000502: DUP2 00000503: MSTORE 00000504: PUSH1 0x20 00000506: ADD 00000507: SWAP1 00000508: DUP2 00000509: MSTORE 0000050a: PUSH1 0x20 0000050c: ADD 0000050d: PUSH1 0x00 0000050f: KECCAK256 00000510: PUSH1 0x40 00000512: MLOAD 00000513: DUP1 00000514: PUSH1 0x40 00000516: ADD 00000517: PUSH1 0x40 00000519: MSTORE 0000051a: SWAP1 0000051b: DUP2 0000051c: PUSH1 0x00 0000051e: DUP3 0000051f: ADD 00000520: SLOAD 00000521: DUP2 00000522: MSTORE 00000523: PUSH1 0x20 00000525: ADD 00000526: PUSH1 0x01 00000528: DUP3 00000529: ADD 0000052a: PUSH1 0x00 0000052c: SWAP1 0000052d: SLOAD 0000052e: SWAP1 0000052f: PUSH2 0x0100 00000532: EXP 00000533: SWAP1 00000534: DIV 00000535: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000054a: AND 0000054b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000560: AND 00000561: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000576: AND 00000577: DUP2 00000578: MSTORE 00000579: POP 0000057a: POP 0000057b: SWAP1 0000057c: POP 0000057d: DUP1 0000057e: PUSH1 0x00 00000580: ADD 00000581: MLOAD 00000582: CALLVALUE 00000583: LT 00000584: ISZERO 00000585: PUSH2 0x05c3 00000588: JUMPI 00000589: PUSH1 0x40 0000058b: MLOAD 0000058c: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000005ad: DUP2 000005ae: MSTORE 000005af: PUSH1 0x04 000005b1: ADD 000005b2: PUSH2 0x05ba 000005b5: SWAP1 000005b6: PUSH2 0x0dc1 000005b9: JUMP 000005ba: JUMPDEST 000005bb: PUSH1 0x40 000005bd: MLOAD 000005be: DUP1 000005bf: SWAP2 000005c0: SUB 000005c1: SWAP1 000005c2: REVERT 000005c3: JUMPDEST 000005c4: PUSH1 0x00 000005c6: DUP4 000005c7: SWAP1 000005c8: POP 000005c9: PUSH1 0x00 000005cb: DUP1 000005cc: DUP3 000005cd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000005e2: AND 000005e3: PUSH4 0xed47d4d1 000005e8: DUP7 000005e9: PUSH1 0x40 000005eb: MLOAD 000005ec: DUP3 000005ed: PUSH4 0xffffffff 000005f2: AND 000005f3: PUSH1 0xe0 000005f5: SHL 000005f6: DUP2 000005f7: MSTORE 000005f8: PUSH1 0x04 000005fa: ADD 000005fb: PUSH2 0x0604 000005fe: SWAP2 000005ff: SWAP1 00000600: PUSH2 0x0cac 00000603: JUMP 00000604: JUMPDEST 00000605: PUSH1 0x40 00000607: DUP1 00000608: MLOAD 00000609: DUP1 0000060a: DUP4 0000060b: SUB 0000060c: DUP2 0000060d: DUP7 0000060e: GAS 0000060f: STATICCALL 00000610: ISZERO 00000611: DUP1 00000612: ISZERO 00000613: PUSH2 0x0620 00000616: JUMPI 00000617: RETURNDATASIZE 00000618: PUSH1 0x00 0000061a: DUP1 0000061b: RETURNDATACOPY 0000061c: RETURNDATASIZE 0000061d: PUSH1 0x00 0000061f: REVERT 00000620: JUMPDEST 00000621: POP 00000622: POP 00000623: POP 00000624: POP 00000625: PUSH1 0x40 00000627: MLOAD 00000628: RETURNDATASIZE 00000629: PUSH1 0x1f 0000062b: NOT 0000062c: PUSH1 0x1f 0000062e: DUP3 0000062f: ADD 00000630: AND 00000631: DUP3 00000632: ADD 00000633: DUP1 00000634: PUSH1 0x40 00000636: MSTORE 00000637: POP 00000638: DUP2 00000639: ADD 0000063a: SWAP1 0000063b: PUSH2 0x0644 0000063e: SWAP2 0000063f: SWAP1 00000640: PUSH2 0x0df6 00000643: JUMP 00000644: JUMPDEST 00000645: SWAP2 00000646: POP 00000647: SWAP2 00000648: POP 00000649: PUSH1 0x00 0000064b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000660: AND 00000661: DUP3 00000662: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000677: AND 00000678: SUB 00000679: PUSH2 0x06b7 0000067c: JUMPI 0000067d: PUSH1 0x40 0000067f: MLOAD 00000680: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000006a1: DUP2 000006a2: MSTORE 000006a3: PUSH1 0x04 000006a5: ADD 000006a6: PUSH2 0x06ae 000006a9: SWAP1 000006aa: PUSH2 0x0ea8 000006ad: JUMP 000006ae: JUMPDEST 000006af: PUSH1 0x40 000006b1: MLOAD 000006b2: DUP1 000006b3: SWAP2 000006b4: SUB 000006b5: SWAP1 000006b6: REVERT 000006b7: JUMPDEST 000006b8: DUP3 000006b9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000006ce: AND 000006cf: PUSH4 0xc78c6a92 000006d4: DUP6 000006d5: PUSH1 0x20 000006d7: ADD 000006d8: MLOAD 000006d9: CALLER 000006da: DUP9 000006db: PUSH1 0x40 000006dd: MLOAD 000006de: DUP5 000006df: PUSH4 0xffffffff 000006e4: AND 000006e5: PUSH1 0xe0 000006e7: SHL 000006e8: DUP2 000006e9: MSTORE 000006ea: PUSH1 0x04 000006ec: ADD 000006ed: PUSH2 0x06f8 000006f0: SWAP4 000006f1: SWAP3 000006f2: SWAP2 000006f3: SWAP1 000006f4: PUSH2 0x0ec8 000006f7: JUMP 000006f8: JUMPDEST 000006f9: PUSH1 0x00 000006fb: PUSH1 0x40 000006fd: MLOAD 000006fe: DUP1 000006ff: DUP4 00000700: SUB 00000701: DUP2 00000702: PUSH1 0x00 00000704: DUP8 00000705: DUP1 00000706: EXTCODESIZE 00000707: ISZERO 00000708: DUP1 00000709: ISZERO 0000070a: PUSH2 0x0712 0000070d: JUMPI 0000070e: PUSH1 0x00 00000710: DUP1 00000711: REVERT 00000712: JUMPDEST 00000713: POP 00000714: GAS 00000715: CALL 00000716: ISZERO 00000717: DUP1 00000718: ISZERO 00000719: PUSH2 0x0726 0000071c: JUMPI 0000071d: RETURNDATASIZE 0000071e: PUSH1 0x00 00000720: DUP1 00000721: RETURNDATACOPY 00000722: RETURNDATASIZE 00000723: PUSH1 0x00 00000725: REVERT 00000726: JUMPDEST 00000727: POP 00000728: POP 00000729: POP 0000072a: POP 0000072b: PUSH1 0x40 0000072d: MLOAD 0000072e: DUP1 0000072f: PUSH1 0x40 00000731: ADD 00000732: PUSH1 0x40 00000734: MSTORE 00000735: DUP1 00000736: PUSH1 0x00 00000738: DUP2 00000739: MSTORE 0000073a: PUSH1 0x20 0000073c: ADD 0000073d: PUSH1 0x00 0000073f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000754: AND 00000755: DUP2 00000756: MSTORE 00000757: POP 00000758: PUSH1 0x00 0000075a: DUP1 0000075b: DUP9 0000075c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000771: AND 00000772: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000787: AND 00000788: DUP2 00000789: MSTORE 0000078a: PUSH1 0x20 0000078c: ADD 0000078d: SWAP1 0000078e: DUP2 0000078f: MSTORE 00000790: PUSH1 0x20 00000792: ADD 00000793: PUSH1 0x00 00000795: KECCAK256 00000796: PUSH1 0x00 00000798: DUP8 00000799: DUP2 0000079a: MSTORE 0000079b: PUSH1 0x20 0000079d: ADD 0000079e: SWAP1 0000079f: DUP2 000007a0: MSTORE 000007a1: PUSH1 0x20 000007a3: ADD 000007a4: PUSH1 0x00 000007a6: KECCAK256 000007a7: PUSH1 0x00 000007a9: DUP3 000007aa: ADD 000007ab: MLOAD 000007ac: DUP2 000007ad: PUSH1 0x00 000007af: ADD 000007b0: SSTORE 000007b1: PUSH1 0x20 000007b3: DUP3 000007b4: ADD 000007b5: MLOAD 000007b6: DUP2 000007b7: PUSH1 0x01 000007b9: ADD 000007ba: PUSH1 0x00 000007bc: PUSH2 0x0100 000007bf: EXP 000007c0: DUP2 000007c1: SLOAD 000007c2: DUP2 000007c3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000007d8: MUL 000007d9: NOT 000007da: AND 000007db: SWAP1 000007dc: DUP4 000007dd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000007f2: AND 000007f3: MUL 000007f4: OR 000007f5: SWAP1 000007f6: SSTORE 000007f7: POP 000007f8: SWAP1 000007f9: POP 000007fa: POP 000007fb: POP 000007fc: POP 000007fd: POP 000007fe: POP 000007ff: POP 00000800: POP 00000801: JUMP 00000802: JUMPDEST 00000803: PUSH1 0x01 00000805: PUSH1 0x00 00000807: SWAP1 00000808: SLOAD 00000809: SWAP1 0000080a: PUSH2 0x0100 0000080d: EXP 0000080e: SWAP1 0000080f: DIV 00000810: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000825: AND 00000826: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000083b: AND 0000083c: CALLER 0000083d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000852: AND 00000853: EQ 00000854: PUSH2 0x0892 00000857: JUMPI 00000858: PUSH1 0x40 0000085a: MLOAD 0000085b: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 0000087c: DUP2 0000087d: MSTORE 0000087e: PUSH1 0x04 00000880: ADD 00000881: PUSH2 0x0889 00000884: SWAP1 00000885: PUSH2 0x0f4b 00000888: JUMP 00000889: JUMPDEST 0000088a: PUSH1 0x40 0000088c: MLOAD 0000088d: DUP1 0000088e: SWAP2 0000088f: SUB 00000890: SWAP1 00000891: REVERT 00000892: JUMPDEST 00000893: DUP1 00000894: PUSH1 0x01 00000896: PUSH1 0x00 00000898: PUSH2 0x0100 0000089b: EXP 0000089c: DUP2 0000089d: SLOAD 0000089e: DUP2 0000089f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000008b4: MUL 000008b5: NOT 000008b6: AND 000008b7: SWAP1 000008b8: DUP4 000008b9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000008ce: AND 000008cf: MUL 000008d0: OR 000008d1: SWAP1 000008d2: SSTORE 000008d3: POP 000008d4: POP 000008d5: JUMP 000008d6: JUMPDEST 000008d7: PUSH1 0x02 000008d9: PUSH1 0x00 000008db: SWAP1 000008dc: SLOAD 000008dd: SWAP1 000008de: PUSH2 0x0100 000008e1: EXP 000008e2: SWAP1 000008e3: DIV 000008e4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000008f9: AND 000008fa: DUP2 000008fb: JUMP 000008fc: JUMPDEST 000008fd: PUSH1 0x01 000008ff: PUSH1 0x00 00000901: SWAP1 00000902: SLOAD 00000903: SWAP1 00000904: PUSH2 0x0100 00000907: EXP 00000908: SWAP1 00000909: DIV 0000090a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000091f: AND 00000920: DUP2 00000921: JUMP 00000922: JUMPDEST 00000923: PUSH1 0x01 00000925: PUSH1 0x00 00000927: SWAP1 00000928: SLOAD 00000929: SWAP1 0000092a: PUSH2 0x0100 0000092d: EXP 0000092e: SWAP1 0000092f: DIV 00000930: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000945: AND 00000946: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000095b: AND 0000095c: CALLER 0000095d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000972: AND 00000973: EQ 00000974: PUSH2 0x09b2 00000977: JUMPI 00000978: PUSH1 0x40 0000097a: MLOAD 0000097b: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 0000099c: DUP2 0000099d: MSTORE 0000099e: PUSH1 0x04 000009a0: ADD 000009a1: PUSH2 0x09a9 000009a4: SWAP1 000009a5: PUSH2 0x0fb7 000009a8: JUMP 000009a9: JUMPDEST 000009aa: PUSH1 0x40 000009ac: MLOAD 000009ad: DUP1 000009ae: SWAP2 000009af: SUB 000009b0: SWAP1 000009b1: REVERT 000009b2: JUMPDEST 000009b3: DUP1 000009b4: PUSH1 0x02 000009b6: PUSH1 0x00 000009b8: PUSH2 0x0100 000009bb: EXP 000009bc: DUP2 000009bd: SLOAD 000009be: DUP2 000009bf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000009d4: MUL 000009d5: NOT 000009d6: AND 000009d7: SWAP1 000009d8: DUP4 000009d9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000009ee: AND 000009ef: MUL 000009f0: OR 000009f1: SWAP1 000009f2: SSTORE 000009f3: POP 000009f4: POP 000009f5: JUMP 000009f6: JUMPDEST 000009f7: PUSH1 0x00 000009f9: DUP1 000009fa: REVERT 000009fb: JUMPDEST 000009fc: PUSH1 0x00 000009fe: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a13: DUP3 00000a14: AND 00000a15: SWAP1 00000a16: POP 00000a17: SWAP2 00000a18: SWAP1 00000a19: POP 00000a1a: JUMP 00000a1b: JUMPDEST 00000a1c: PUSH1 0x00 00000a1e: PUSH2 0x0a26 00000a21: DUP3 00000a22: PUSH2 0x09fb 00000a25: JUMP 00000a26: JUMPDEST 00000a27: SWAP1 00000a28: POP 00000a29: SWAP2 00000a2a: SWAP1 00000a2b: POP 00000a2c: JUMP 00000a2d: JUMPDEST 00000a2e: PUSH2 0x0a36 00000a31: DUP2 00000a32: PUSH2 0x0a1b 00000a35: JUMP 00000a36: JUMPDEST 00000a37: DUP2 00000a38: EQ 00000a39: PUSH2 0x0a41 00000a3c: JUMPI 00000a3d: PUSH1 0x00 00000a3f: DUP1 00000a40: REVERT 00000a41: JUMPDEST 00000a42: POP 00000a43: JUMP 00000a44: JUMPDEST 00000a45: PUSH1 0x00 00000a47: DUP2 00000a48: CALLDATALOAD 00000a49: SWAP1 00000a4a: POP 00000a4b: PUSH2 0x0a53 00000a4e: DUP2 00000a4f: PUSH2 0x0a2d 00000a52: JUMP 00000a53: JUMPDEST 00000a54: SWAP3 00000a55: SWAP2 00000a56: POP 00000a57: POP 00000a58: JUMP 00000a59: JUMPDEST 00000a5a: PUSH1 0x00 00000a5c: DUP2 00000a5d: SWAP1 00000a5e: POP 00000a5f: SWAP2 00000a60: SWAP1 00000a61: POP 00000a62: JUMP 00000a63: JUMPDEST 00000a64: PUSH2 0x0a6c 00000a67: DUP2 00000a68: PUSH2 0x0a59 00000a6b: JUMP 00000a6c: JUMPDEST 00000a6d: DUP2 00000a6e: EQ 00000a6f: PUSH2 0x0a77 00000a72: JUMPI 00000a73: PUSH1 0x00 00000a75: DUP1 00000a76: REVERT 00000a77: JUMPDEST 00000a78: POP 00000a79: JUMP 00000a7a: JUMPDEST 00000a7b: PUSH1 0x00 00000a7d: DUP2 00000a7e: CALLDATALOAD 00000a7f: SWAP1 00000a80: POP 00000a81: PUSH2 0x0a89 00000a84: DUP2 00000a85: PUSH2 0x0a63 00000a88: JUMP 00000a89: JUMPDEST 00000a8a: SWAP3 00000a8b: SWAP2 00000a8c: POP 00000a8d: POP 00000a8e: JUMP 00000a8f: JUMPDEST 00000a90: PUSH1 0x00 00000a92: DUP1 00000a93: PUSH1 0x40 00000a95: DUP4 00000a96: DUP6 00000a97: SUB 00000a98: SLT 00000a99: ISZERO 00000a9a: PUSH2 0x0aa6 00000a9d: JUMPI 00000a9e: PUSH2 0x0aa5 00000aa1: PUSH2 0x09f6 00000aa4: JUMP 00000aa5: JUMPDEST 00000aa6: JUMPDEST 00000aa7: PUSH1 0x00 00000aa9: PUSH2 0x0ab4 00000aac: DUP6 00000aad: DUP3 00000aae: DUP7 00000aaf: ADD 00000ab0: PUSH2 0x0a44 00000ab3: JUMP 00000ab4: JUMPDEST 00000ab5: SWAP3 00000ab6: POP 00000ab7: POP 00000ab8: PUSH1 0x20 00000aba: PUSH2 0x0ac5 00000abd: DUP6 00000abe: DUP3 00000abf: DUP7 00000ac0: ADD 00000ac1: PUSH2 0x0a7a 00000ac4: JUMP 00000ac5: JUMPDEST 00000ac6: SWAP2 00000ac7: POP 00000ac8: POP 00000ac9: SWAP3 00000aca: POP 00000acb: SWAP3 00000acc: SWAP1 00000acd: POP 00000ace: JUMP 00000acf: JUMPDEST 00000ad0: PUSH2 0x0ad8 00000ad3: DUP2 00000ad4: PUSH2 0x0a59 00000ad7: JUMP 00000ad8: JUMPDEST 00000ad9: DUP3 00000ada: MSTORE 00000adb: POP 00000adc: POP 00000add: JUMP 00000ade: JUMPDEST 00000adf: PUSH2 0x0ae7 00000ae2: DUP2 00000ae3: PUSH2 0x0a1b 00000ae6: JUMP 00000ae7: JUMPDEST 00000ae8: DUP3 00000ae9: MSTORE 00000aea: POP 00000aeb: POP 00000aec: JUMP 00000aed: JUMPDEST 00000aee: PUSH1 0x00 00000af0: PUSH1 0x40 00000af2: DUP3 00000af3: ADD 00000af4: SWAP1 00000af5: POP 00000af6: PUSH2 0x0b02 00000af9: PUSH1 0x00 00000afb: DUP4 00000afc: ADD 00000afd: DUP6 00000afe: PUSH2 0x0acf 00000b01: JUMP 00000b02: JUMPDEST 00000b03: PUSH2 0x0b0f 00000b06: PUSH1 0x20 00000b08: DUP4 00000b09: ADD 00000b0a: DUP5 00000b0b: PUSH2 0x0ade 00000b0e: JUMP 00000b0f: JUMPDEST 00000b10: SWAP4 00000b11: SWAP3 00000b12: POP 00000b13: POP 00000b14: POP 00000b15: JUMP 00000b16: JUMPDEST 00000b17: PUSH1 0x00 00000b19: PUSH2 0x0b21 00000b1c: DUP3 00000b1d: PUSH2 0x09fb 00000b20: JUMP 00000b21: JUMPDEST 00000b22: SWAP1 00000b23: POP 00000b24: SWAP2 00000b25: SWAP1 00000b26: POP 00000b27: JUMP 00000b28: JUMPDEST 00000b29: PUSH2 0x0b31 00000b2c: DUP2 00000b2d: PUSH2 0x0b16 00000b30: JUMP 00000b31: JUMPDEST 00000b32: DUP2 00000b33: EQ 00000b34: PUSH2 0x0b3c 00000b37: JUMPI 00000b38: PUSH1 0x00 00000b3a: DUP1 00000b3b: REVERT 00000b3c: JUMPDEST 00000b3d: POP 00000b3e: JUMP 00000b3f: JUMPDEST 00000b40: PUSH1 0x00 00000b42: DUP2 00000b43: CALLDATALOAD 00000b44: SWAP1 00000b45: POP 00000b46: PUSH2 0x0b4e 00000b49: DUP2 00000b4a: PUSH2 0x0b28 00000b4d: JUMP 00000b4e: JUMPDEST 00000b4f: SWAP3 00000b50: SWAP2 00000b51: POP 00000b52: POP 00000b53: JUMP 00000b54: JUMPDEST 00000b55: PUSH1 0x00 00000b57: DUP1 00000b58: PUSH1 0x40 00000b5a: DUP4 00000b5b: DUP6 00000b5c: SUB 00000b5d: SLT 00000b5e: ISZERO 00000b5f: PUSH2 0x0b6b 00000b62: JUMPI 00000b63: PUSH2 0x0b6a 00000b66: PUSH2 0x09f6 00000b69: JUMP 00000b6a: JUMPDEST 00000b6b: JUMPDEST 00000b6c: PUSH1 0x00 00000b6e: PUSH2 0x0b79 00000b71: DUP6 00000b72: DUP3 00000b73: DUP7 00000b74: ADD 00000b75: PUSH2 0x0a7a 00000b78: JUMP 00000b79: JUMPDEST 00000b7a: SWAP3 00000b7b: POP 00000b7c: POP 00000b7d: PUSH1 0x20 00000b7f: PUSH2 0x0b8a 00000b82: DUP6 00000b83: DUP3 00000b84: DUP7 00000b85: ADD 00000b86: PUSH2 0x0b3f 00000b89: JUMP 00000b8a: JUMPDEST 00000b8b: SWAP2 00000b8c: POP 00000b8d: POP 00000b8e: SWAP3 00000b8f: POP 00000b90: SWAP3 00000b91: SWAP1 00000b92: POP 00000b93: JUMP 00000b94: JUMPDEST 00000b95: PUSH1 0x00 00000b97: DUP1 00000b98: PUSH1 0x00 00000b9a: PUSH1 0x60 00000b9c: DUP5 00000b9d: DUP7 00000b9e: SUB 00000b9f: SLT 00000ba0: ISZERO 00000ba1: PUSH2 0x0bad 00000ba4: JUMPI 00000ba5: PUSH2 0x0bac 00000ba8: PUSH2 0x09f6 00000bab: JUMP 00000bac: JUMPDEST 00000bad: JUMPDEST 00000bae: PUSH1 0x00 00000bb0: PUSH2 0x0bbb 00000bb3: DUP7 00000bb4: DUP3 00000bb5: DUP8 00000bb6: ADD 00000bb7: PUSH2 0x0a7a 00000bba: JUMP 00000bbb: JUMPDEST 00000bbc: SWAP4 00000bbd: POP 00000bbe: POP 00000bbf: PUSH1 0x20 00000bc1: PUSH2 0x0bcc 00000bc4: DUP7 00000bc5: DUP3 00000bc6: DUP8 00000bc7: ADD 00000bc8: PUSH2 0x0a44 00000bcb: JUMP 00000bcc: JUMPDEST 00000bcd: SWAP3 00000bce: POP 00000bcf: POP 00000bd0: PUSH1 0x40 00000bd2: PUSH2 0x0bdd 00000bd5: DUP7 00000bd6: DUP3 00000bd7: DUP8 00000bd8: ADD 00000bd9: PUSH2 0x0a7a 00000bdc: JUMP 00000bdd: JUMPDEST 00000bde: SWAP2 00000bdf: POP 00000be0: POP 00000be1: SWAP3 00000be2: POP 00000be3: SWAP3 00000be4: POP 00000be5: SWAP3 00000be6: JUMP 00000be7: JUMPDEST 00000be8: PUSH1 0x00 00000bea: PUSH1 0x20 00000bec: DUP3 00000bed: DUP5 00000bee: SUB 00000bef: SLT 00000bf0: ISZERO 00000bf1: PUSH2 0x0bfd 00000bf4: JUMPI 00000bf5: PUSH2 0x0bfc 00000bf8: PUSH2 0x09f6 00000bfb: JUMP 00000bfc: JUMPDEST 00000bfd: JUMPDEST 00000bfe: PUSH1 0x00 00000c00: PUSH2 0x0c0b 00000c03: DUP5 00000c04: DUP3 00000c05: DUP6 00000c06: ADD 00000c07: PUSH2 0x0a44 00000c0a: JUMP 00000c0b: JUMPDEST 00000c0c: SWAP2 00000c0d: POP 00000c0e: POP 00000c0f: SWAP3 00000c10: SWAP2 00000c11: POP 00000c12: POP 00000c13: JUMP 00000c14: JUMPDEST 00000c15: PUSH1 0x00 00000c17: PUSH1 0x20 00000c19: DUP3 00000c1a: ADD 00000c1b: SWAP1 00000c1c: POP 00000c1d: PUSH2 0x0c29 00000c20: PUSH1 0x00 00000c22: DUP4 00000c23: ADD 00000c24: DUP5 00000c25: PUSH2 0x0ade 00000c28: JUMP 00000c29: JUMPDEST 00000c2a: SWAP3 00000c2b: SWAP2 00000c2c: POP 00000c2d: POP 00000c2e: JUMP 00000c2f: JUMPDEST 00000c30: PUSH1 0x00 00000c32: DUP3 00000c33: DUP3 00000c34: MSTORE 00000c35: PUSH1 0x20 00000c37: DUP3 00000c38: ADD 00000c39: SWAP1 00000c3a: POP 00000c3b: SWAP3 00000c3c: SWAP2 00000c3d: POP 00000c3e: POP 00000c3f: JUMP 00000c40: JUMPDEST 00000c41: PUSH32 0x6f6e6c792061646d696e2063616e207769746864726177000000000000000000 00000c62: PUSH1 0x00 00000c64: DUP3 00000c65: ADD 00000c66: MSTORE 00000c67: POP 00000c68: JUMP 00000c69: JUMPDEST 00000c6a: PUSH1 0x00 00000c6c: PUSH2 0x0c76 00000c6f: PUSH1 0x17 00000c71: DUP4 00000c72: PUSH2 0x0c2f 00000c75: JUMP 00000c76: JUMPDEST 00000c77: SWAP2 00000c78: POP 00000c79: PUSH2 0x0c81 00000c7c: DUP3 00000c7d: PUSH2 0x0c40 00000c80: JUMP 00000c81: JUMPDEST 00000c82: PUSH1 0x20 00000c84: DUP3 00000c85: ADD 00000c86: SWAP1 00000c87: POP 00000c88: SWAP2 00000c89: SWAP1 00000c8a: POP 00000c8b: JUMP 00000c8c: JUMPDEST 00000c8d: PUSH1 0x00 00000c8f: PUSH1 0x20 00000c91: DUP3 00000c92: ADD 00000c93: SWAP1 00000c94: POP 00000c95: DUP2 00000c96: DUP2 00000c97: SUB 00000c98: PUSH1 0x00 00000c9a: DUP4 00000c9b: ADD 00000c9c: MSTORE 00000c9d: PUSH2 0x0ca5 00000ca0: DUP2 00000ca1: PUSH2 0x0c69 00000ca4: JUMP 00000ca5: JUMPDEST 00000ca6: SWAP1 00000ca7: POP 00000ca8: SWAP2 00000ca9: SWAP1 00000caa: POP 00000cab: JUMP 00000cac: JUMPDEST 00000cad: PUSH1 0x00 00000caf: PUSH1 0x20 00000cb1: DUP3 00000cb2: ADD 00000cb3: SWAP1 00000cb4: POP 00000cb5: PUSH2 0x0cc1 00000cb8: PUSH1 0x00 00000cba: DUP4 00000cbb: ADD 00000cbc: DUP5 00000cbd: PUSH2 0x0acf 00000cc0: JUMP 00000cc1: JUMPDEST 00000cc2: SWAP3 00000cc3: SWAP2 00000cc4: POP 00000cc5: POP 00000cc6: JUMP 00000cc7: JUMPDEST 00000cc8: PUSH1 0x00 00000cca: DUP2 00000ccb: MLOAD 00000ccc: SWAP1 00000ccd: POP 00000cce: PUSH2 0x0cd6 00000cd1: DUP2 00000cd2: PUSH2 0x0a2d 00000cd5: JUMP 00000cd6: JUMPDEST 00000cd7: SWAP3 00000cd8: SWAP2 00000cd9: POP 00000cda: POP 00000cdb: JUMP 00000cdc: JUMPDEST 00000cdd: PUSH1 0x00 00000cdf: PUSH1 0x20 00000ce1: DUP3 00000ce2: DUP5 00000ce3: SUB 00000ce4: SLT 00000ce5: ISZERO 00000ce6: PUSH2 0x0cf2 00000ce9: JUMPI 00000cea: PUSH2 0x0cf1 00000ced: PUSH2 0x09f6 00000cf0: JUMP 00000cf1: JUMPDEST 00000cf2: JUMPDEST 00000cf3: PUSH1 0x00 00000cf5: PUSH2 0x0d00 00000cf8: DUP5 00000cf9: DUP3 00000cfa: DUP6 00000cfb: ADD 00000cfc: PUSH2 0x0cc7 00000cff: JUMP 00000d00: JUMPDEST 00000d01: SWAP2 00000d02: POP 00000d03: POP 00000d04: SWAP3 00000d05: SWAP2 00000d06: POP 00000d07: POP 00000d08: JUMP 00000d09: JUMPDEST 00000d0a: PUSH32 0x63616c6c6572206e6f74206f776e6572206f6620746f6b656e00000000000000 00000d2b: PUSH1 0x00 00000d2d: DUP3 00000d2e: ADD 00000d2f: MSTORE 00000d30: POP 00000d31: JUMP 00000d32: JUMPDEST 00000d33: PUSH1 0x00 00000d35: PUSH2 0x0d3f 00000d38: PUSH1 0x19 00000d3a: DUP4 00000d3b: PUSH2 0x0c2f 00000d3e: JUMP 00000d3f: JUMPDEST 00000d40: SWAP2 00000d41: POP 00000d42: PUSH2 0x0d4a 00000d45: DUP3 00000d46: PUSH2 0x0d09 00000d49: JUMP 00000d4a: JUMPDEST 00000d4b: PUSH1 0x20 00000d4d: DUP3 00000d4e: ADD 00000d4f: SWAP1 00000d50: POP 00000d51: SWAP2 00000d52: SWAP1 00000d53: POP 00000d54: JUMP 00000d55: JUMPDEST 00000d56: PUSH1 0x00 00000d58: PUSH1 0x20 00000d5a: DUP3 00000d5b: ADD 00000d5c: SWAP1 00000d5d: POP 00000d5e: DUP2 00000d5f: DUP2 00000d60: SUB 00000d61: PUSH1 0x00 00000d63: DUP4 00000d64: ADD 00000d65: MSTORE 00000d66: PUSH2 0x0d6e 00000d69: DUP2 00000d6a: PUSH2 0x0d32 00000d6d: JUMP 00000d6e: JUMPDEST 00000d6f: SWAP1 00000d70: POP 00000d71: SWAP2 00000d72: SWAP1 00000d73: POP 00000d74: JUMP 00000d75: JUMPDEST 00000d76: PUSH32 0x6e6f7420656e6f7567682066756e64732073656e740000000000000000000000 00000d97: PUSH1 0x00 00000d99: DUP3 00000d9a: ADD 00000d9b: MSTORE 00000d9c: POP 00000d9d: JUMP 00000d9e: JUMPDEST 00000d9f: PUSH1 0x00 00000da1: PUSH2 0x0dab 00000da4: PUSH1 0x15 00000da6: DUP4 00000da7: PUSH2 0x0c2f 00000daa: JUMP 00000dab: JUMPDEST 00000dac: SWAP2 00000dad: POP 00000dae: PUSH2 0x0db6 00000db1: DUP3 00000db2: PUSH2 0x0d75 00000db5: JUMP 00000db6: JUMPDEST 00000db7: PUSH1 0x20 00000db9: DUP3 00000dba: ADD 00000dbb: SWAP1 00000dbc: POP 00000dbd: SWAP2 00000dbe: SWAP1 00000dbf: POP 00000dc0: JUMP 00000dc1: JUMPDEST 00000dc2: PUSH1 0x00 00000dc4: PUSH1 0x20 00000dc6: DUP3 00000dc7: ADD 00000dc8: SWAP1 00000dc9: POP 00000dca: DUP2 00000dcb: DUP2 00000dcc: SUB 00000dcd: PUSH1 0x00 00000dcf: DUP4 00000dd0: ADD 00000dd1: MSTORE 00000dd2: PUSH2 0x0dda 00000dd5: DUP2 00000dd6: PUSH2 0x0d9e 00000dd9: JUMP 00000dda: JUMPDEST 00000ddb: SWAP1 00000ddc: POP 00000ddd: SWAP2 00000dde: SWAP1 00000ddf: POP 00000de0: JUMP 00000de1: JUMPDEST 00000de2: PUSH1 0x00 00000de4: DUP2 00000de5: MLOAD 00000de6: SWAP1 00000de7: POP 00000de8: PUSH2 0x0df0 00000deb: DUP2 00000dec: PUSH2 0x0a63 00000def: JUMP 00000df0: JUMPDEST 00000df1: SWAP3 00000df2: SWAP2 00000df3: POP 00000df4: POP 00000df5: JUMP 00000df6: JUMPDEST 00000df7: PUSH1 0x00 00000df9: DUP1 00000dfa: PUSH1 0x40 00000dfc: DUP4 00000dfd: DUP6 00000dfe: SUB 00000dff: SLT 00000e00: ISZERO 00000e01: PUSH2 0x0e0d 00000e04: JUMPI 00000e05: PUSH2 0x0e0c 00000e08: PUSH2 0x09f6 00000e0b: JUMP 00000e0c: JUMPDEST 00000e0d: JUMPDEST 00000e0e: PUSH1 0x00 00000e10: PUSH2 0x0e1b 00000e13: DUP6 00000e14: DUP3 00000e15: DUP7 00000e16: ADD 00000e17: PUSH2 0x0cc7 00000e1a: JUMP 00000e1b: JUMPDEST 00000e1c: SWAP3 00000e1d: POP 00000e1e: POP 00000e1f: PUSH1 0x20 00000e21: PUSH2 0x0e2c 00000e24: DUP6 00000e25: DUP3 00000e26: DUP7 00000e27: ADD 00000e28: PUSH2 0x0de1 00000e2b: JUMP 00000e2c: JUMPDEST 00000e2d: SWAP2 00000e2e: POP 00000e2f: POP 00000e30: SWAP3 00000e31: POP 00000e32: SWAP3 00000e33: SWAP1 00000e34: POP 00000e35: JUMP 00000e36: JUMPDEST 00000e37: PUSH32 0x546865206974656d207761736e2774206d696e746564206f6e20746869732063 00000e58: PUSH1 0x00 00000e5a: DUP3 00000e5b: ADD 00000e5c: MSTORE 00000e5d: PUSH32 0x6f6e747261637400000000000000000000000000000000000000000000000000 00000e7e: PUSH1 0x20 00000e80: DUP3 00000e81: ADD 00000e82: MSTORE 00000e83: POP 00000e84: JUMP 00000e85: JUMPDEST 00000e86: PUSH1 0x00 00000e88: PUSH2 0x0e92 00000e8b: PUSH1 0x27 00000e8d: DUP4 00000e8e: PUSH2 0x0c2f 00000e91: JUMP 00000e92: JUMPDEST 00000e93: SWAP2 00000e94: POP 00000e95: PUSH2 0x0e9d 00000e98: DUP3 00000e99: PUSH2 0x0e36 00000e9c: JUMP 00000e9d: JUMPDEST 00000e9e: PUSH1 0x40 00000ea0: DUP3 00000ea1: ADD 00000ea2: SWAP1 00000ea3: POP 00000ea4: SWAP2 00000ea5: SWAP1 00000ea6: POP 00000ea7: JUMP 00000ea8: JUMPDEST 00000ea9: PUSH1 0x00 00000eab: PUSH1 0x20 00000ead: DUP3 00000eae: ADD 00000eaf: SWAP1 00000eb0: POP 00000eb1: DUP2 00000eb2: DUP2 00000eb3: SUB 00000eb4: PUSH1 0x00 00000eb6: DUP4 00000eb7: ADD 00000eb8: MSTORE 00000eb9: PUSH2 0x0ec1 00000ebc: DUP2 00000ebd: PUSH2 0x0e85 00000ec0: JUMP 00000ec1: JUMPDEST 00000ec2: SWAP1 00000ec3: POP 00000ec4: SWAP2 00000ec5: SWAP1 00000ec6: POP 00000ec7: JUMP 00000ec8: JUMPDEST 00000ec9: PUSH1 0x00 00000ecb: PUSH1 0x60 00000ecd: DUP3 00000ece: ADD 00000ecf: SWAP1 00000ed0: POP 00000ed1: PUSH2 0x0edd 00000ed4: PUSH1 0x00 00000ed6: DUP4 00000ed7: ADD 00000ed8: DUP7 00000ed9: PUSH2 0x0ade 00000edc: JUMP 00000edd: JUMPDEST 00000ede: PUSH2 0x0eea 00000ee1: PUSH1 0x20 00000ee3: DUP4 00000ee4: ADD 00000ee5: DUP6 00000ee6: PUSH2 0x0ade 00000ee9: JUMP 00000eea: JUMPDEST 00000eeb: PUSH2 0x0ef7 00000eee: PUSH1 0x40 00000ef0: DUP4 00000ef1: ADD 00000ef2: DUP5 00000ef3: PUSH2 0x0acf 00000ef6: JUMP 00000ef7: JUMPDEST 00000ef8: SWAP5 00000ef9: SWAP4 00000efa: POP 00000efb: POP 00000efc: POP 00000efd: POP 00000efe: JUMP 00000eff: JUMPDEST 00000f00: PUSH32 0x6f6e6c792061646d696e2063616e206368616e6765206f776e65727368697000 00000f21: PUSH1 0x00 00000f23: DUP3 00000f24: ADD 00000f25: MSTORE 00000f26: POP 00000f27: JUMP 00000f28: JUMPDEST 00000f29: PUSH1 0x00 00000f2b: PUSH2 0x0f35 00000f2e: PUSH1 0x1f 00000f30: DUP4 00000f31: PUSH2 0x0c2f 00000f34: JUMP 00000f35: JUMPDEST 00000f36: SWAP2 00000f37: POP 00000f38: PUSH2 0x0f40 00000f3b: DUP3 00000f3c: PUSH2 0x0eff 00000f3f: JUMP 00000f40: JUMPDEST 00000f41: PUSH1 0x20 00000f43: DUP3 00000f44: ADD 00000f45: SWAP1 00000f46: POP 00000f47: SWAP2 00000f48: SWAP1 00000f49: POP 00000f4a: JUMP 00000f4b: JUMPDEST 00000f4c: PUSH1 0x00 00000f4e: PUSH1 0x20 00000f50: DUP3 00000f51: ADD 00000f52: SWAP1 00000f53: POP 00000f54: DUP2 00000f55: DUP2 00000f56: SUB 00000f57: PUSH1 0x00 00000f59: DUP4 00000f5a: ADD 00000f5b: MSTORE 00000f5c: PUSH2 0x0f64 00000f5f: DUP2 00000f60: PUSH2 0x0f28 00000f63: JUMP 00000f64: JUMPDEST 00000f65: SWAP1 00000f66: POP 00000f67: SWAP2 00000f68: SWAP1 00000f69: POP 00000f6a: JUMP 00000f6b: JUMPDEST 00000f6c: PUSH32 0x6f6e6c792061646d696e2063616e206368616e67652066656573000000000000 00000f8d: PUSH1 0x00 00000f8f: DUP3 00000f90: ADD 00000f91: MSTORE 00000f92: POP 00000f93: JUMP 00000f94: JUMPDEST 00000f95: PUSH1 0x00 00000f97: PUSH2 0x0fa1 00000f9a: PUSH1 0x1a 00000f9c: DUP4 00000f9d: PUSH2 0x0c2f 00000fa0: JUMP 00000fa1: JUMPDEST 00000fa2: SWAP2 00000fa3: POP 00000fa4: PUSH2 0x0fac 00000fa7: DUP3 00000fa8: PUSH2 0x0f6b 00000fab: JUMP 00000fac: JUMPDEST 00000fad: PUSH1 0x20 00000faf: DUP3 00000fb0: ADD 00000fb1: SWAP1 00000fb2: POP 00000fb3: SWAP2 00000fb4: SWAP1 00000fb5: POP 00000fb6: JUMP 00000fb7: JUMPDEST 00000fb8: PUSH1 0x00 00000fba: PUSH1 0x20 00000fbc: DUP3 00000fbd: ADD 00000fbe: SWAP1 00000fbf: POP 00000fc0: DUP2 00000fc1: DUP2 00000fc2: SUB 00000fc3: PUSH1 0x00 00000fc5: DUP4 00000fc6: ADD 00000fc7: MSTORE 00000fc8: PUSH2 0x0fd0 00000fcb: DUP2 00000fcc: PUSH2 0x0f94 00000fcf: JUMP 00000fd0: JUMPDEST 00000fd1: SWAP1 00000fd2: POP 00000fd3: SWAP2 00000fd4: SWAP1 00000fd5: POP 00000fd6: JUMP 00000fd7: INVALID 00000fd8: LOG2 00000fd9: PUSH5 0x6970667358 00000fdf: UNKNOWN(0x22) 00000fe0: SLT 00000fe1: KECCAK256 00000fe2: UNKNOWN(0xD5) 00000fe3: SWAP16 00000fe4: DUP6 00000fe5: ADDMOD 00000fe6: INVALID 00000fe7: DUP4 00000fe8: CALLDATACOPY 00000fe9: NOT 00000fea: SHR 00000feb: UNKNOWN(0xC0) 00000fec: UNKNOWN(0xBE) 00000fed: DUP15 00000fee: ISZERO 00000fef: UNKNOWN(0xE7) 00000ff0: UNKNOWN(0xB0) 00000ff1: UNKNOWN(0xB5) 00000ff2: SWAP9 00000ff3: UNKNOWN(0x0D) 00000ff4: GASPRICE 00000ff5: SELFDESTRUCT 00000ff6: UNKNOWN(0xBE) 00000ff7: AND 00000ff8: UNKNOWN(0x4F) 00000ff9: UNKNOWN(0xEF) 00000ffa: EXTCODECOPY 00000ffb: UNKNOWN(0xAB) 00000ffc: UNKNOWN(0x2A) 00000ffd: PUSH15 0xbe7dde9f64736f6c63430008110033
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| medium | other | detector | Untrusted CALL target/value reachable | 45 | no | no |
viewtrace_id: 0x01066100b95bc119de9f33a451d83484ce2468bc501c0e52938067da45c02638
call_targets:
0xaf97e8cc0d7f7177dfdf44dc636e1cb9631a4285
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x01066100b95bc119de9f33a451d83484ce2468bc501c0e52938067da45c02638",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xaf97e8cc0d7f7177dfdf44dc636e1cb9631a4285"
],
"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": "0x8f283970",
"selector": "0x8f283970",
"calldata_variants": [
"0x8f283970",
"0x8f2839700000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xdbe55e56",
"selector": "0xdbe55e56",
"calldata_variants": [
"0xdbe55e56",
"0xdbe55e560000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf851a440",
"selector": "0xf851a440",
"calldata_variants": [
"0xf851a440",
"0xf851a4400000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xfe64d6ff",
"selector": "0xfe64d6ff",
"calldata_variants": [
"0xfe64d6ff",
"0xfe64d6ff0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x80abbe57",
"selector": "0x80abbe57",
"calldata_variants": [
"0x80abbe57",
"0x80abbe570000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8de93222",
"selector": "0x8de93222",
"calldata_variants": [
"0x8de93222",
"0x8de932220000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 739,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1813,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 2,
"guards_detected": [
{
"pc": 605,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 2108,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 2396,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
}
],
"untrusted_call_count": 2
}
|
| medium | other | detector | ETH value transfer possible | 40 | no | no |
viewtrace_id: 0x01066100b95bc119de9f33a451d83484ce2468bc501c0e52938067da45c02638
call_targets:
0xaf97e8cc0d7f7177dfdf44dc636e1cb9631a4285
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x01066100b95bc119de9f33a451d83484ce2468bc501c0e52938067da45c02638",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xaf97e8cc0d7f7177dfdf44dc636e1cb9631a4285"
],
"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": "0x8f283970",
"selector": "0x8f283970",
"calldata_variants": [
"0x8f283970",
"0x8f2839700000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xdbe55e56",
"selector": "0xdbe55e56",
"calldata_variants": [
"0xdbe55e56",
"0xdbe55e560000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf851a440",
"selector": "0xf851a440",
"calldata_variants": [
"0xf851a440",
"0xf851a4400000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xfe64d6ff",
"selector": "0xfe64d6ff",
"calldata_variants": [
"0xfe64d6ff",
"0xfe64d6ff0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x80abbe57",
"selector": "0x80abbe57",
"calldata_variants": [
"0x80abbe57",
"0x80abbe570000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8de93222",
"selector": "0x8de93222",
"calldata_variants": [
"0x8de93222",
"0x8de932220000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 739,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1813,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 2,
"guards_detected": [
{
"pc": 605,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 2108,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 2396,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
}
]
}
|
| medium | other | detector | SELFDESTRUCT reachable | 45 | no | no |
viewtrace_id: 0x9b715936ce46ddd3182da460d8308fb5ed0712d1465110c3eaa7cd4470126fd4
validation_json{
"sink": "SELFDESTRUCT",
"errors": 0,
"status": "unknown",
"attempts": 12,
"trace_id": "0x9b715936ce46ddd3182da460d8308fb5ed0712d1465110c3eaa7cd4470126fd4",
"confirmed": false,
"trace_mode": "structLogs",
"call_targets": null,
"matched_probe": null,
"target_varies": null,
"classification": "no_sink"
}
witness_json{
"notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
"constraints": [],
"entrypoints": [
{
"calldata": "0x8f283970",
"selector": "0x8f283970",
"calldata_variants": [
"0x8f283970",
"0x8f2839700000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xdbe55e56",
"selector": "0xdbe55e56",
"calldata_variants": [
"0xdbe55e56",
"0xdbe55e560000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf851a440",
"selector": "0xf851a440",
"calldata_variants": [
"0xf851a440",
"0xf851a4400000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xfe64d6ff",
"selector": "0xfe64d6ff",
"calldata_variants": [
"0xfe64d6ff",
"0xfe64d6ff0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x80abbe57",
"selector": "0x80abbe57",
"calldata_variants": [
"0x80abbe57",
"0x80abbe570000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8de93222",
"selector": "0x8de93222",
"calldata_variants": [
"0x8de93222",
"0x8de932220000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"guards_detected": [
{
"pc": 605,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 2108,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 2396,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
}
],
"selfdestruct_count": 1
}
|