019ba9a5-c56f-706a-a7b7-f00ef967c189
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 |
|---|---|---|---|---|
| 36898 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 36899 | proxy.resolve | complete | 1 / 3 | 3 months ago |
| 36900 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 36901 | analysis.bundle | complete | 1 / 3 | 3 months ago |
| 36902 | capability.graph | complete | 1 / 3 | 3 months ago |
| 36903 | detector.run | complete | 1 / 3 | 3 months ago |
| 36904 | 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: CALLVALUE 00000006: DUP1 00000007: ISZERO 00000008: PUSH2 0x0010 0000000b: JUMPI 0000000c: PUSH1 0x00 0000000e: DUP1 0000000f: REVERT 00000010: JUMPDEST 00000011: POP 00000012: PUSH1 0x04 00000014: CALLDATASIZE 00000015: LT 00000016: PUSH2 0x00b4 00000019: JUMPI 0000001a: PUSH1 0x00 0000001c: CALLDATALOAD 0000001d: PUSH1 0xe0 0000001f: SHR 00000020: DUP1 00000021: PUSH4 0x70a08231 00000026: GT 00000027: PUSH2 0x0071 0000002a: JUMPI 0000002b: DUP1 0000002c: PUSH4 0x70a08231 00000031: EQ 00000032: PUSH2 0x02d0 00000035: JUMPI 00000036: DUP1 00000037: PUSH4 0x95d89b41 0000003c: EQ 0000003d: PUSH2 0x0328 00000040: JUMPI 00000041: DUP1 00000042: PUSH4 0xa457c2d7 00000047: EQ 00000048: PUSH2 0x03ab 0000004b: JUMPI 0000004c: DUP1 0000004d: PUSH4 0xa9059cbb 00000052: EQ 00000053: PUSH2 0x0411 00000056: JUMPI 00000057: DUP1 00000058: PUSH4 0xdd62ed3e 0000005d: EQ 0000005e: PUSH2 0x0477 00000061: JUMPI 00000062: DUP1 00000063: PUSH4 0xf26230f1 00000068: EQ 00000069: PUSH2 0x04ef 0000006c: JUMPI 0000006d: PUSH2 0x00b4 00000070: JUMP 00000071: JUMPDEST 00000072: DUP1 00000073: PUSH4 0x06fdde03 00000078: EQ 00000079: PUSH2 0x00b9 0000007c: JUMPI 0000007d: DUP1 0000007e: PUSH4 0x095ea7b3 00000083: EQ 00000084: PUSH2 0x013c 00000087: JUMPI 00000088: DUP1 00000089: PUSH4 0x18160ddd 0000008e: EQ 0000008f: PUSH2 0x01a2 00000092: JUMPI 00000093: DUP1 00000094: PUSH4 0x23b872dd 00000099: EQ 0000009a: PUSH2 0x01c0 0000009d: JUMPI 0000009e: DUP1 0000009f: PUSH4 0x313ce567 000000a4: EQ 000000a5: PUSH2 0x0246 000000a8: JUMPI 000000a9: DUP1 000000aa: PUSH4 0x39509351 000000af: EQ 000000b0: PUSH2 0x026a 000000b3: JUMPI 000000b4: JUMPDEST 000000b5: PUSH1 0x00 000000b7: DUP1 000000b8: REVERT 000000b9: JUMPDEST 000000ba: PUSH2 0x00c1 000000bd: PUSH2 0x050d 000000c0: JUMP 000000c1: JUMPDEST 000000c2: PUSH1 0x40 000000c4: MLOAD 000000c5: DUP1 000000c6: DUP1 000000c7: PUSH1 0x20 000000c9: ADD 000000ca: DUP3 000000cb: DUP2 000000cc: SUB 000000cd: DUP3 000000ce: MSTORE 000000cf: DUP4 000000d0: DUP2 000000d1: DUP2 000000d2: MLOAD 000000d3: DUP2 000000d4: MSTORE 000000d5: PUSH1 0x20 000000d7: ADD 000000d8: SWAP2 000000d9: POP 000000da: DUP1 000000db: MLOAD 000000dc: SWAP1 000000dd: PUSH1 0x20 000000df: ADD 000000e0: SWAP1 000000e1: DUP1 000000e2: DUP4 000000e3: DUP4 000000e4: PUSH1 0x00 000000e6: JUMPDEST 000000e7: DUP4 000000e8: DUP2 000000e9: LT 000000ea: ISZERO 000000eb: PUSH2 0x0101 000000ee: JUMPI 000000ef: DUP1 000000f0: DUP3 000000f1: ADD 000000f2: MLOAD 000000f3: DUP2 000000f4: DUP5 000000f5: ADD 000000f6: MSTORE 000000f7: PUSH1 0x20 000000f9: DUP2 000000fa: ADD 000000fb: SWAP1 000000fc: POP 000000fd: PUSH2 0x00e6 00000100: JUMP 00000101: JUMPDEST 00000102: POP 00000103: POP 00000104: POP 00000105: POP 00000106: SWAP1 00000107: POP 00000108: SWAP1 00000109: DUP2 0000010a: ADD 0000010b: SWAP1 0000010c: PUSH1 0x1f 0000010e: AND 0000010f: DUP1 00000110: ISZERO 00000111: PUSH2 0x012e 00000114: JUMPI 00000115: DUP1 00000116: DUP3 00000117: SUB 00000118: DUP1 00000119: MLOAD 0000011a: PUSH1 0x01 0000011c: DUP4 0000011d: PUSH1 0x20 0000011f: SUB 00000120: PUSH2 0x0100 00000123: EXP 00000124: SUB 00000125: NOT 00000126: AND 00000127: DUP2 00000128: MSTORE 00000129: PUSH1 0x20 0000012b: ADD 0000012c: SWAP2 0000012d: POP 0000012e: JUMPDEST 0000012f: POP 00000130: SWAP3 00000131: POP 00000132: POP 00000133: POP 00000134: PUSH1 0x40 00000136: MLOAD 00000137: DUP1 00000138: SWAP2 00000139: SUB 0000013a: SWAP1 0000013b: RETURN 0000013c: JUMPDEST 0000013d: PUSH2 0x0188 00000140: PUSH1 0x04 00000142: DUP1 00000143: CALLDATASIZE 00000144: SUB 00000145: PUSH1 0x40 00000147: DUP2 00000148: LT 00000149: ISZERO 0000014a: PUSH2 0x0152 0000014d: JUMPI 0000014e: PUSH1 0x00 00000150: DUP1 00000151: REVERT 00000152: JUMPDEST 00000153: DUP2 00000154: ADD 00000155: SWAP1 00000156: DUP1 00000157: DUP1 00000158: CALLDATALOAD 00000159: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000016e: AND 0000016f: SWAP1 00000170: PUSH1 0x20 00000172: ADD 00000173: SWAP1 00000174: SWAP3 00000175: SWAP2 00000176: SWAP1 00000177: DUP1 00000178: CALLDATALOAD 00000179: SWAP1 0000017a: PUSH1 0x20 0000017c: ADD 0000017d: SWAP1 0000017e: SWAP3 0000017f: SWAP2 00000180: SWAP1 00000181: POP 00000182: POP 00000183: POP 00000184: PUSH2 0x05ab 00000187: JUMP 00000188: JUMPDEST 00000189: PUSH1 0x40 0000018b: MLOAD 0000018c: DUP1 0000018d: DUP3 0000018e: ISZERO 0000018f: ISZERO 00000190: ISZERO 00000191: ISZERO 00000192: DUP2 00000193: MSTORE 00000194: PUSH1 0x20 00000196: ADD 00000197: SWAP2 00000198: POP 00000199: POP 0000019a: PUSH1 0x40 0000019c: MLOAD 0000019d: DUP1 0000019e: SWAP2 0000019f: SUB 000001a0: SWAP1 000001a1: RETURN 000001a2: JUMPDEST 000001a3: PUSH2 0x01aa 000001a6: PUSH2 0x05c9 000001a9: JUMP 000001aa: JUMPDEST 000001ab: PUSH1 0x40 000001ad: MLOAD 000001ae: DUP1 000001af: DUP3 000001b0: DUP2 000001b1: MSTORE 000001b2: PUSH1 0x20 000001b4: ADD 000001b5: SWAP2 000001b6: POP 000001b7: POP 000001b8: PUSH1 0x40 000001ba: MLOAD 000001bb: DUP1 000001bc: SWAP2 000001bd: SUB 000001be: SWAP1 000001bf: RETURN 000001c0: JUMPDEST 000001c1: PUSH2 0x022c 000001c4: PUSH1 0x04 000001c6: DUP1 000001c7: CALLDATASIZE 000001c8: SUB 000001c9: PUSH1 0x60 000001cb: DUP2 000001cc: LT 000001cd: ISZERO 000001ce: PUSH2 0x01d6 000001d1: JUMPI 000001d2: PUSH1 0x00 000001d4: DUP1 000001d5: REVERT 000001d6: JUMPDEST 000001d7: DUP2 000001d8: ADD 000001d9: SWAP1 000001da: DUP1 000001db: DUP1 000001dc: CALLDATALOAD 000001dd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000001f2: AND 000001f3: SWAP1 000001f4: PUSH1 0x20 000001f6: ADD 000001f7: SWAP1 000001f8: SWAP3 000001f9: SWAP2 000001fa: SWAP1 000001fb: DUP1 000001fc: CALLDATALOAD 000001fd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000212: AND 00000213: SWAP1 00000214: PUSH1 0x20 00000216: ADD 00000217: SWAP1 00000218: SWAP3 00000219: SWAP2 0000021a: SWAP1 0000021b: DUP1 0000021c: CALLDATALOAD 0000021d: SWAP1 0000021e: PUSH1 0x20 00000220: ADD 00000221: SWAP1 00000222: SWAP3 00000223: SWAP2 00000224: SWAP1 00000225: POP 00000226: POP 00000227: POP 00000228: PUSH2 0x05d3 0000022b: JUMP 0000022c: JUMPDEST 0000022d: PUSH1 0x40 0000022f: MLOAD 00000230: DUP1 00000231: DUP3 00000232: ISZERO 00000233: ISZERO 00000234: ISZERO 00000235: ISZERO 00000236: DUP2 00000237: MSTORE 00000238: PUSH1 0x20 0000023a: ADD 0000023b: SWAP2 0000023c: POP 0000023d: POP 0000023e: PUSH1 0x40 00000240: MLOAD 00000241: DUP1 00000242: SWAP2 00000243: SUB 00000244: SWAP1 00000245: RETURN 00000246: JUMPDEST 00000247: PUSH2 0x024e 0000024a: PUSH2 0x06ac 0000024d: JUMP 0000024e: JUMPDEST 0000024f: PUSH1 0x40 00000251: MLOAD 00000252: DUP1 00000253: DUP3 00000254: PUSH1 0xff 00000256: AND 00000257: PUSH1 0xff 00000259: AND 0000025a: DUP2 0000025b: MSTORE 0000025c: PUSH1 0x20 0000025e: ADD 0000025f: SWAP2 00000260: POP 00000261: POP 00000262: PUSH1 0x40 00000264: MLOAD 00000265: DUP1 00000266: SWAP2 00000267: SUB 00000268: SWAP1 00000269: RETURN 0000026a: JUMPDEST 0000026b: PUSH2 0x02b6 0000026e: PUSH1 0x04 00000270: DUP1 00000271: CALLDATASIZE 00000272: SUB 00000273: PUSH1 0x40 00000275: DUP2 00000276: LT 00000277: ISZERO 00000278: PUSH2 0x0280 0000027b: JUMPI 0000027c: PUSH1 0x00 0000027e: DUP1 0000027f: REVERT 00000280: JUMPDEST 00000281: DUP2 00000282: ADD 00000283: SWAP1 00000284: DUP1 00000285: DUP1 00000286: CALLDATALOAD 00000287: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000029c: AND 0000029d: SWAP1 0000029e: PUSH1 0x20 000002a0: ADD 000002a1: SWAP1 000002a2: SWAP3 000002a3: SWAP2 000002a4: SWAP1 000002a5: DUP1 000002a6: CALLDATALOAD 000002a7: SWAP1 000002a8: PUSH1 0x20 000002aa: ADD 000002ab: SWAP1 000002ac: SWAP3 000002ad: SWAP2 000002ae: SWAP1 000002af: POP 000002b0: POP 000002b1: POP 000002b2: PUSH2 0x06bf 000002b5: JUMP 000002b6: JUMPDEST 000002b7: PUSH1 0x40 000002b9: MLOAD 000002ba: DUP1 000002bb: DUP3 000002bc: ISZERO 000002bd: ISZERO 000002be: ISZERO 000002bf: ISZERO 000002c0: DUP2 000002c1: MSTORE 000002c2: PUSH1 0x20 000002c4: ADD 000002c5: SWAP2 000002c6: POP 000002c7: POP 000002c8: PUSH1 0x40 000002ca: MLOAD 000002cb: DUP1 000002cc: SWAP2 000002cd: SUB 000002ce: SWAP1 000002cf: RETURN 000002d0: JUMPDEST 000002d1: PUSH2 0x0312 000002d4: PUSH1 0x04 000002d6: DUP1 000002d7: CALLDATASIZE 000002d8: SUB 000002d9: PUSH1 0x20 000002db: DUP2 000002dc: LT 000002dd: ISZERO 000002de: PUSH2 0x02e6 000002e1: JUMPI 000002e2: PUSH1 0x00 000002e4: DUP1 000002e5: REVERT 000002e6: JUMPDEST 000002e7: DUP2 000002e8: ADD 000002e9: SWAP1 000002ea: DUP1 000002eb: DUP1 000002ec: CALLDATALOAD 000002ed: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000302: AND 00000303: SWAP1 00000304: PUSH1 0x20 00000306: ADD 00000307: SWAP1 00000308: SWAP3 00000309: SWAP2 0000030a: SWAP1 0000030b: POP 0000030c: POP 0000030d: POP 0000030e: PUSH2 0x0772 00000311: JUMP 00000312: JUMPDEST 00000313: PUSH1 0x40 00000315: MLOAD 00000316: DUP1 00000317: DUP3 00000318: DUP2 00000319: MSTORE 0000031a: PUSH1 0x20 0000031c: ADD 0000031d: SWAP2 0000031e: POP 0000031f: POP 00000320: PUSH1 0x40 00000322: MLOAD 00000323: DUP1 00000324: SWAP2 00000325: SUB 00000326: SWAP1 00000327: RETURN 00000328: JUMPDEST 00000329: PUSH2 0x0330 0000032c: PUSH2 0x07ba 0000032f: JUMP 00000330: JUMPDEST 00000331: PUSH1 0x40 00000333: MLOAD 00000334: DUP1 00000335: DUP1 00000336: PUSH1 0x20 00000338: ADD 00000339: DUP3 0000033a: DUP2 0000033b: SUB 0000033c: DUP3 0000033d: MSTORE 0000033e: DUP4 0000033f: DUP2 00000340: DUP2 00000341: MLOAD 00000342: DUP2 00000343: MSTORE 00000344: PUSH1 0x20 00000346: ADD 00000347: SWAP2 00000348: POP 00000349: DUP1 0000034a: MLOAD 0000034b: SWAP1 0000034c: PUSH1 0x20 0000034e: ADD 0000034f: SWAP1 00000350: DUP1 00000351: DUP4 00000352: DUP4 00000353: PUSH1 0x00 00000355: JUMPDEST 00000356: DUP4 00000357: DUP2 00000358: LT 00000359: ISZERO 0000035a: PUSH2 0x0370 0000035d: JUMPI 0000035e: DUP1 0000035f: DUP3 00000360: ADD 00000361: MLOAD 00000362: DUP2 00000363: DUP5 00000364: ADD 00000365: MSTORE 00000366: PUSH1 0x20 00000368: DUP2 00000369: ADD 0000036a: SWAP1 0000036b: POP 0000036c: PUSH2 0x0355 0000036f: JUMP 00000370: JUMPDEST 00000371: POP 00000372: POP 00000373: POP 00000374: POP 00000375: SWAP1 00000376: POP 00000377: SWAP1 00000378: DUP2 00000379: ADD 0000037a: SWAP1 0000037b: PUSH1 0x1f 0000037d: AND 0000037e: DUP1 0000037f: ISZERO 00000380: PUSH2 0x039d 00000383: JUMPI 00000384: DUP1 00000385: DUP3 00000386: SUB 00000387: DUP1 00000388: MLOAD 00000389: PUSH1 0x01 0000038b: DUP4 0000038c: PUSH1 0x20 0000038e: SUB 0000038f: PUSH2 0x0100 00000392: EXP 00000393: SUB 00000394: NOT 00000395: AND 00000396: DUP2 00000397: MSTORE 00000398: PUSH1 0x20 0000039a: ADD 0000039b: SWAP2 0000039c: POP 0000039d: JUMPDEST 0000039e: POP 0000039f: SWAP3 000003a0: POP 000003a1: POP 000003a2: POP 000003a3: PUSH1 0x40 000003a5: MLOAD 000003a6: DUP1 000003a7: SWAP2 000003a8: SUB 000003a9: SWAP1 000003aa: RETURN 000003ab: JUMPDEST 000003ac: PUSH2 0x03f7 000003af: PUSH1 0x04 000003b1: DUP1 000003b2: CALLDATASIZE 000003b3: SUB 000003b4: PUSH1 0x40 000003b6: DUP2 000003b7: LT 000003b8: ISZERO 000003b9: PUSH2 0x03c1 000003bc: JUMPI 000003bd: PUSH1 0x00 000003bf: DUP1 000003c0: REVERT 000003c1: JUMPDEST 000003c2: DUP2 000003c3: ADD 000003c4: SWAP1 000003c5: DUP1 000003c6: DUP1 000003c7: CALLDATALOAD 000003c8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000003dd: AND 000003de: SWAP1 000003df: PUSH1 0x20 000003e1: ADD 000003e2: SWAP1 000003e3: SWAP3 000003e4: SWAP2 000003e5: SWAP1 000003e6: DUP1 000003e7: CALLDATALOAD 000003e8: SWAP1 000003e9: PUSH1 0x20 000003eb: ADD 000003ec: SWAP1 000003ed: SWAP3 000003ee: SWAP2 000003ef: SWAP1 000003f0: POP 000003f1: POP 000003f2: POP 000003f3: PUSH2 0x0858 000003f6: JUMP 000003f7: JUMPDEST 000003f8: PUSH1 0x40 000003fa: MLOAD 000003fb: DUP1 000003fc: DUP3 000003fd: ISZERO 000003fe: ISZERO 000003ff: ISZERO 00000400: ISZERO 00000401: DUP2 00000402: MSTORE 00000403: PUSH1 0x20 00000405: ADD 00000406: SWAP2 00000407: POP 00000408: POP 00000409: PUSH1 0x40 0000040b: MLOAD 0000040c: DUP1 0000040d: SWAP2 0000040e: SUB 0000040f: SWAP1 00000410: RETURN 00000411: JUMPDEST 00000412: PUSH2 0x045d 00000415: PUSH1 0x04 00000417: DUP1 00000418: CALLDATASIZE 00000419: SUB 0000041a: PUSH1 0x40 0000041c: DUP2 0000041d: LT 0000041e: ISZERO 0000041f: PUSH2 0x0427 00000422: JUMPI 00000423: PUSH1 0x00 00000425: DUP1 00000426: REVERT 00000427: JUMPDEST 00000428: DUP2 00000429: ADD 0000042a: SWAP1 0000042b: DUP1 0000042c: DUP1 0000042d: CALLDATALOAD 0000042e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000443: AND 00000444: SWAP1 00000445: PUSH1 0x20 00000447: ADD 00000448: SWAP1 00000449: SWAP3 0000044a: SWAP2 0000044b: SWAP1 0000044c: DUP1 0000044d: CALLDATALOAD 0000044e: SWAP1 0000044f: PUSH1 0x20 00000451: ADD 00000452: SWAP1 00000453: SWAP3 00000454: SWAP2 00000455: SWAP1 00000456: POP 00000457: POP 00000458: POP 00000459: PUSH2 0x0925 0000045c: JUMP 0000045d: JUMPDEST 0000045e: PUSH1 0x40 00000460: MLOAD 00000461: DUP1 00000462: DUP3 00000463: ISZERO 00000464: ISZERO 00000465: ISZERO 00000466: ISZERO 00000467: DUP2 00000468: MSTORE 00000469: PUSH1 0x20 0000046b: ADD 0000046c: SWAP2 0000046d: POP 0000046e: POP 0000046f: PUSH1 0x40 00000471: MLOAD 00000472: DUP1 00000473: SWAP2 00000474: SUB 00000475: SWAP1 00000476: RETURN 00000477: JUMPDEST 00000478: PUSH2 0x04d9 0000047b: PUSH1 0x04 0000047d: DUP1 0000047e: CALLDATASIZE 0000047f: SUB 00000480: PUSH1 0x40 00000482: DUP2 00000483: LT 00000484: ISZERO 00000485: PUSH2 0x048d 00000488: JUMPI 00000489: PUSH1 0x00 0000048b: DUP1 0000048c: REVERT 0000048d: JUMPDEST 0000048e: DUP2 0000048f: ADD 00000490: SWAP1 00000491: DUP1 00000492: DUP1 00000493: CALLDATALOAD 00000494: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000004a9: AND 000004aa: SWAP1 000004ab: PUSH1 0x20 000004ad: ADD 000004ae: SWAP1 000004af: SWAP3 000004b0: SWAP2 000004b1: SWAP1 000004b2: DUP1 000004b3: CALLDATALOAD 000004b4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000004c9: AND 000004ca: SWAP1 000004cb: PUSH1 0x20 000004cd: ADD 000004ce: SWAP1 000004cf: SWAP3 000004d0: SWAP2 000004d1: SWAP1 000004d2: POP 000004d3: POP 000004d4: POP 000004d5: PUSH2 0x0943 000004d8: JUMP 000004d9: JUMPDEST 000004da: PUSH1 0x40 000004dc: MLOAD 000004dd: DUP1 000004de: DUP3 000004df: DUP2 000004e0: MSTORE 000004e1: PUSH1 0x20 000004e3: ADD 000004e4: SWAP2 000004e5: POP 000004e6: POP 000004e7: PUSH1 0x40 000004e9: MLOAD 000004ea: DUP1 000004eb: SWAP2 000004ec: SUB 000004ed: SWAP1 000004ee: RETURN 000004ef: JUMPDEST 000004f0: PUSH2 0x04f7 000004f3: PUSH2 0x09ca 000004f6: JUMP 000004f7: JUMPDEST 000004f8: PUSH1 0x40 000004fa: MLOAD 000004fb: DUP1 000004fc: DUP3 000004fd: DUP2 000004fe: MSTORE 000004ff: PUSH1 0x20 00000501: ADD 00000502: SWAP2 00000503: POP 00000504: POP 00000505: PUSH1 0x40 00000507: MLOAD 00000508: DUP1 00000509: SWAP2 0000050a: SUB 0000050b: SWAP1 0000050c: RETURN 0000050d: JUMPDEST 0000050e: PUSH1 0x04 00000510: DUP1 00000511: SLOAD 00000512: PUSH1 0x01 00000514: DUP2 00000515: PUSH1 0x01 00000517: AND 00000518: ISZERO 00000519: PUSH2 0x0100 0000051c: MUL 0000051d: SUB 0000051e: AND 0000051f: PUSH1 0x02 00000521: SWAP1 00000522: DIV 00000523: DUP1 00000524: PUSH1 0x1f 00000526: ADD 00000527: PUSH1 0x20 00000529: DUP1 0000052a: SWAP2 0000052b: DIV 0000052c: MUL 0000052d: PUSH1 0x20 0000052f: ADD 00000530: PUSH1 0x40 00000532: MLOAD 00000533: SWAP1 00000534: DUP2 00000535: ADD 00000536: PUSH1 0x40 00000538: MSTORE 00000539: DUP1 0000053a: SWAP3 0000053b: SWAP2 0000053c: SWAP1 0000053d: DUP2 0000053e: DUP2 0000053f: MSTORE 00000540: PUSH1 0x20 00000542: ADD 00000543: DUP3 00000544: DUP1 00000545: SLOAD 00000546: PUSH1 0x01 00000548: DUP2 00000549: PUSH1 0x01 0000054b: AND 0000054c: ISZERO 0000054d: PUSH2 0x0100 00000550: MUL 00000551: SUB 00000552: AND 00000553: PUSH1 0x02 00000555: SWAP1 00000556: DIV 00000557: DUP1 00000558: ISZERO 00000559: PUSH2 0x05a3 0000055c: JUMPI 0000055d: DUP1 0000055e: PUSH1 0x1f 00000560: LT 00000561: PUSH2 0x0578 00000564: JUMPI 00000565: PUSH2 0x0100 00000568: DUP1 00000569: DUP4 0000056a: SLOAD 0000056b: DIV 0000056c: MUL 0000056d: DUP4 0000056e: MSTORE 0000056f: SWAP2 00000570: PUSH1 0x20 00000572: ADD 00000573: SWAP2 00000574: PUSH2 0x05a3 00000577: JUMP 00000578: JUMPDEST 00000579: DUP3 0000057a: ADD 0000057b: SWAP2 0000057c: SWAP1 0000057d: PUSH1 0x00 0000057f: MSTORE 00000580: PUSH1 0x20 00000582: PUSH1 0x00 00000584: KECCAK256 00000585: SWAP1 00000586: JUMPDEST 00000587: DUP2 00000588: SLOAD 00000589: DUP2 0000058a: MSTORE 0000058b: SWAP1 0000058c: PUSH1 0x01 0000058e: ADD 0000058f: SWAP1 00000590: PUSH1 0x20 00000592: ADD 00000593: DUP1 00000594: DUP4 00000595: GT 00000596: PUSH2 0x0586 00000599: JUMPI 0000059a: DUP3 0000059b: SWAP1 0000059c: SUB 0000059d: PUSH1 0x1f 0000059f: AND 000005a0: DUP3 000005a1: ADD 000005a2: SWAP2 000005a3: JUMPDEST 000005a4: POP 000005a5: POP 000005a6: POP 000005a7: POP 000005a8: POP 000005a9: DUP2 000005aa: JUMP 000005ab: JUMPDEST 000005ac: PUSH1 0x00 000005ae: PUSH2 0x05bf 000005b1: PUSH2 0x05b8 000005b4: PUSH2 0x09d0 000005b7: JUMP 000005b8: JUMPDEST 000005b9: DUP5 000005ba: DUP5 000005bb: PUSH2 0x09d8 000005be: JUMP 000005bf: JUMPDEST 000005c0: PUSH1 0x01 000005c2: SWAP1 000005c3: POP 000005c4: SWAP3 000005c5: SWAP2 000005c6: POP 000005c7: POP 000005c8: JUMP 000005c9: JUMPDEST 000005ca: PUSH1 0x00 000005cc: PUSH1 0x02 000005ce: SLOAD 000005cf: SWAP1 000005d0: POP 000005d1: SWAP1 000005d2: JUMP 000005d3: JUMPDEST 000005d4: PUSH1 0x00 000005d6: PUSH2 0x05e0 000005d9: DUP5 000005da: DUP5 000005db: DUP5 000005dc: PUSH2 0x0bcf 000005df: JUMP 000005e0: JUMPDEST 000005e1: PUSH2 0x06a1 000005e4: DUP5 000005e5: PUSH2 0x05ec 000005e8: PUSH2 0x09d0 000005eb: JUMP 000005ec: JUMPDEST 000005ed: PUSH2 0x069c 000005f0: DUP6 000005f1: PUSH1 0x40 000005f3: MLOAD 000005f4: DUP1 000005f5: PUSH1 0x60 000005f7: ADD 000005f8: PUSH1 0x40 000005fa: MSTORE 000005fb: DUP1 000005fc: PUSH1 0x28 000005fe: DUP2 000005ff: MSTORE 00000600: PUSH1 0x20 00000602: ADD 00000603: PUSH2 0x1039 00000606: PUSH1 0x28 00000608: SWAP2 00000609: CODECOPY 0000060a: PUSH1 0x01 0000060c: PUSH1 0x00 0000060e: DUP12 0000060f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000624: AND 00000625: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000063a: AND 0000063b: DUP2 0000063c: MSTORE 0000063d: PUSH1 0x20 0000063f: ADD 00000640: SWAP1 00000641: DUP2 00000642: MSTORE 00000643: PUSH1 0x20 00000645: ADD 00000646: PUSH1 0x00 00000648: KECCAK256 00000649: PUSH1 0x00 0000064b: PUSH2 0x0652 0000064e: PUSH2 0x09d0 00000651: JUMP 00000652: JUMPDEST 00000653: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000668: AND 00000669: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000067e: AND 0000067f: DUP2 00000680: MSTORE 00000681: PUSH1 0x20 00000683: ADD 00000684: SWAP1 00000685: DUP2 00000686: MSTORE 00000687: PUSH1 0x20 00000689: ADD 0000068a: PUSH1 0x00 0000068c: KECCAK256 0000068d: SLOAD 0000068e: PUSH2 0x0e85 00000691: SWAP1 00000692: SWAP3 00000693: SWAP2 00000694: SWAP1 00000695: PUSH4 0xffffffff 0000069a: AND 0000069b: JUMP 0000069c: JUMPDEST 0000069d: PUSH2 0x09d8 000006a0: JUMP 000006a1: JUMPDEST 000006a2: PUSH1 0x01 000006a4: SWAP1 000006a5: POP 000006a6: SWAP4 000006a7: SWAP3 000006a8: POP 000006a9: POP 000006aa: POP 000006ab: JUMP 000006ac: JUMPDEST 000006ad: PUSH1 0x06 000006af: PUSH1 0x00 000006b1: SWAP1 000006b2: SLOAD 000006b3: SWAP1 000006b4: PUSH2 0x0100 000006b7: EXP 000006b8: SWAP1 000006b9: DIV 000006ba: PUSH1 0xff 000006bc: AND 000006bd: DUP2 000006be: JUMP 000006bf: JUMPDEST 000006c0: PUSH1 0x00 000006c2: PUSH2 0x0768 000006c5: PUSH2 0x06cc 000006c8: PUSH2 0x09d0 000006cb: JUMP 000006cc: JUMPDEST 000006cd: DUP5 000006ce: PUSH2 0x0763 000006d1: DUP6 000006d2: PUSH1 0x01 000006d4: PUSH1 0x00 000006d6: PUSH2 0x06dd 000006d9: PUSH2 0x09d0 000006dc: JUMP 000006dd: JUMPDEST 000006de: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000006f3: AND 000006f4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000709: AND 0000070a: DUP2 0000070b: MSTORE 0000070c: PUSH1 0x20 0000070e: ADD 0000070f: SWAP1 00000710: DUP2 00000711: MSTORE 00000712: PUSH1 0x20 00000714: ADD 00000715: PUSH1 0x00 00000717: KECCAK256 00000718: PUSH1 0x00 0000071a: DUP10 0000071b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000730: AND 00000731: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000746: AND 00000747: DUP2 00000748: MSTORE 00000749: PUSH1 0x20 0000074b: ADD 0000074c: SWAP1 0000074d: DUP2 0000074e: MSTORE 0000074f: PUSH1 0x20 00000751: ADD 00000752: PUSH1 0x00 00000754: KECCAK256 00000755: SLOAD 00000756: PUSH2 0x0f45 00000759: SWAP1 0000075a: SWAP2 0000075b: SWAP1 0000075c: PUSH4 0xffffffff 00000761: AND 00000762: JUMP 00000763: JUMPDEST 00000764: PUSH2 0x09d8 00000767: JUMP 00000768: JUMPDEST 00000769: PUSH1 0x01 0000076b: SWAP1 0000076c: POP 0000076d: SWAP3 0000076e: SWAP2 0000076f: POP 00000770: POP 00000771: JUMP 00000772: JUMPDEST 00000773: PUSH1 0x00 00000775: DUP1 00000776: PUSH1 0x00 00000778: DUP4 00000779: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000078e: AND 0000078f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000007a4: AND 000007a5: DUP2 000007a6: MSTORE 000007a7: PUSH1 0x20 000007a9: ADD 000007aa: SWAP1 000007ab: DUP2 000007ac: MSTORE 000007ad: PUSH1 0x20 000007af: ADD 000007b0: PUSH1 0x00 000007b2: KECCAK256 000007b3: SLOAD 000007b4: SWAP1 000007b5: POP 000007b6: SWAP2 000007b7: SWAP1 000007b8: POP 000007b9: JUMP 000007ba: JUMPDEST 000007bb: PUSH1 0x05 000007bd: DUP1 000007be: SLOAD 000007bf: PUSH1 0x01 000007c1: DUP2 000007c2: PUSH1 0x01 000007c4: AND 000007c5: ISZERO 000007c6: PUSH2 0x0100 000007c9: MUL 000007ca: SUB 000007cb: AND 000007cc: PUSH1 0x02 000007ce: SWAP1 000007cf: DIV 000007d0: DUP1 000007d1: PUSH1 0x1f 000007d3: ADD 000007d4: PUSH1 0x20 000007d6: DUP1 000007d7: SWAP2 000007d8: DIV 000007d9: MUL 000007da: PUSH1 0x20 000007dc: ADD 000007dd: PUSH1 0x40 000007df: MLOAD 000007e0: SWAP1 000007e1: DUP2 000007e2: ADD 000007e3: PUSH1 0x40 000007e5: MSTORE 000007e6: DUP1 000007e7: SWAP3 000007e8: SWAP2 000007e9: SWAP1 000007ea: DUP2 000007eb: DUP2 000007ec: MSTORE 000007ed: PUSH1 0x20 000007ef: ADD 000007f0: DUP3 000007f1: DUP1 000007f2: SLOAD 000007f3: PUSH1 0x01 000007f5: DUP2 000007f6: PUSH1 0x01 000007f8: AND 000007f9: ISZERO 000007fa: PUSH2 0x0100 000007fd: MUL 000007fe: SUB 000007ff: AND 00000800: PUSH1 0x02 00000802: SWAP1 00000803: DIV 00000804: DUP1 00000805: ISZERO 00000806: PUSH2 0x0850 00000809: JUMPI 0000080a: DUP1 0000080b: PUSH1 0x1f 0000080d: LT 0000080e: PUSH2 0x0825 00000811: JUMPI 00000812: PUSH2 0x0100 00000815: DUP1 00000816: DUP4 00000817: SLOAD 00000818: DIV 00000819: MUL 0000081a: DUP4 0000081b: MSTORE 0000081c: SWAP2 0000081d: PUSH1 0x20 0000081f: ADD 00000820: SWAP2 00000821: PUSH2 0x0850 00000824: JUMP 00000825: JUMPDEST 00000826: DUP3 00000827: ADD 00000828: SWAP2 00000829: SWAP1 0000082a: PUSH1 0x00 0000082c: MSTORE 0000082d: PUSH1 0x20 0000082f: PUSH1 0x00 00000831: KECCAK256 00000832: SWAP1 00000833: JUMPDEST 00000834: DUP2 00000835: SLOAD 00000836: DUP2 00000837: MSTORE 00000838: SWAP1 00000839: PUSH1 0x01 0000083b: ADD 0000083c: SWAP1 0000083d: PUSH1 0x20 0000083f: ADD 00000840: DUP1 00000841: DUP4 00000842: GT 00000843: PUSH2 0x0833 00000846: JUMPI 00000847: DUP3 00000848: SWAP1 00000849: SUB 0000084a: PUSH1 0x1f 0000084c: AND 0000084d: DUP3 0000084e: ADD 0000084f: SWAP2 00000850: JUMPDEST 00000851: POP 00000852: POP 00000853: POP 00000854: POP 00000855: POP 00000856: DUP2 00000857: JUMP 00000858: JUMPDEST 00000859: PUSH1 0x00 0000085b: PUSH2 0x091b 0000085e: PUSH2 0x0865 00000861: PUSH2 0x09d0 00000864: JUMP 00000865: JUMPDEST 00000866: DUP5 00000867: PUSH2 0x0916 0000086a: DUP6 0000086b: PUSH1 0x40 0000086d: MLOAD 0000086e: DUP1 0000086f: PUSH1 0x60 00000871: ADD 00000872: PUSH1 0x40 00000874: MSTORE 00000875: DUP1 00000876: PUSH1 0x25 00000878: DUP2 00000879: MSTORE 0000087a: PUSH1 0x20 0000087c: ADD 0000087d: PUSH2 0x10aa 00000880: PUSH1 0x25 00000882: SWAP2 00000883: CODECOPY 00000884: PUSH1 0x01 00000886: PUSH1 0x00 00000888: PUSH2 0x088f 0000088b: PUSH2 0x09d0 0000088e: JUMP 0000088f: JUMPDEST 00000890: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000008a5: AND 000008a6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000008bb: AND 000008bc: DUP2 000008bd: MSTORE 000008be: PUSH1 0x20 000008c0: ADD 000008c1: SWAP1 000008c2: DUP2 000008c3: MSTORE 000008c4: PUSH1 0x20 000008c6: ADD 000008c7: PUSH1 0x00 000008c9: KECCAK256 000008ca: PUSH1 0x00 000008cc: DUP11 000008cd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000008e2: AND 000008e3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000008f8: AND 000008f9: DUP2 000008fa: MSTORE 000008fb: PUSH1 0x20 000008fd: ADD 000008fe: SWAP1 000008ff: DUP2 00000900: MSTORE 00000901: PUSH1 0x20 00000903: ADD 00000904: PUSH1 0x00 00000906: KECCAK256 00000907: SLOAD 00000908: PUSH2 0x0e85 0000090b: SWAP1 0000090c: SWAP3 0000090d: SWAP2 0000090e: SWAP1 0000090f: PUSH4 0xffffffff 00000914: AND 00000915: JUMP 00000916: JUMPDEST 00000917: PUSH2 0x09d8 0000091a: JUMP 0000091b: JUMPDEST 0000091c: PUSH1 0x01 0000091e: SWAP1 0000091f: POP 00000920: SWAP3 00000921: SWAP2 00000922: POP 00000923: POP 00000924: JUMP 00000925: JUMPDEST 00000926: PUSH1 0x00 00000928: PUSH2 0x0939 0000092b: PUSH2 0x0932 0000092e: PUSH2 0x09d0 00000931: JUMP 00000932: JUMPDEST 00000933: DUP5 00000934: DUP5 00000935: PUSH2 0x0bcf 00000938: JUMP 00000939: JUMPDEST 0000093a: PUSH1 0x01 0000093c: SWAP1 0000093d: POP 0000093e: SWAP3 0000093f: SWAP2 00000940: POP 00000941: POP 00000942: JUMP 00000943: JUMPDEST 00000944: PUSH1 0x00 00000946: PUSH1 0x01 00000948: PUSH1 0x00 0000094a: DUP5 0000094b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000960: AND 00000961: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000976: AND 00000977: DUP2 00000978: MSTORE 00000979: PUSH1 0x20 0000097b: ADD 0000097c: SWAP1 0000097d: DUP2 0000097e: MSTORE 0000097f: PUSH1 0x20 00000981: ADD 00000982: PUSH1 0x00 00000984: KECCAK256 00000985: PUSH1 0x00 00000987: DUP4 00000988: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000099d: AND 0000099e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000009b3: AND 000009b4: DUP2 000009b5: MSTORE 000009b6: PUSH1 0x20 000009b8: ADD 000009b9: SWAP1 000009ba: DUP2 000009bb: MSTORE 000009bc: PUSH1 0x20 000009be: ADD 000009bf: PUSH1 0x00 000009c1: KECCAK256 000009c2: SLOAD 000009c3: SWAP1 000009c4: POP 000009c5: SWAP3 000009c6: SWAP2 000009c7: POP 000009c8: POP 000009c9: JUMP 000009ca: JUMPDEST 000009cb: PUSH1 0x03 000009cd: SLOAD 000009ce: DUP2 000009cf: JUMP 000009d0: JUMPDEST 000009d1: PUSH1 0x00 000009d3: CALLER 000009d4: SWAP1 000009d5: POP 000009d6: SWAP1 000009d7: JUMP 000009d8: JUMPDEST 000009d9: PUSH1 0x00 000009db: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000009f0: AND 000009f1: DUP4 000009f2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a07: AND 00000a08: EQ 00000a09: ISZERO 00000a0a: PUSH2 0x0a5e 00000a0d: JUMPI 00000a0e: PUSH1 0x40 00000a10: MLOAD 00000a11: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000a32: DUP2 00000a33: MSTORE 00000a34: PUSH1 0x04 00000a36: ADD 00000a37: DUP1 00000a38: DUP1 00000a39: PUSH1 0x20 00000a3b: ADD 00000a3c: DUP3 00000a3d: DUP2 00000a3e: SUB 00000a3f: DUP3 00000a40: MSTORE 00000a41: PUSH1 0x24 00000a43: DUP2 00000a44: MSTORE 00000a45: PUSH1 0x20 00000a47: ADD 00000a48: DUP1 00000a49: PUSH2 0x1086 00000a4c: PUSH1 0x24 00000a4e: SWAP2 00000a4f: CODECOPY 00000a50: PUSH1 0x40 00000a52: ADD 00000a53: SWAP2 00000a54: POP 00000a55: POP 00000a56: PUSH1 0x40 00000a58: MLOAD 00000a59: DUP1 00000a5a: SWAP2 00000a5b: SUB 00000a5c: SWAP1 00000a5d: REVERT 00000a5e: JUMPDEST 00000a5f: PUSH1 0x00 00000a61: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a76: AND 00000a77: DUP3 00000a78: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a8d: AND 00000a8e: EQ 00000a8f: ISZERO 00000a90: PUSH2 0x0ae4 00000a93: JUMPI 00000a94: PUSH1 0x40 00000a96: MLOAD 00000a97: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000ab8: DUP2 00000ab9: MSTORE 00000aba: PUSH1 0x04 00000abc: ADD 00000abd: DUP1 00000abe: DUP1 00000abf: PUSH1 0x20 00000ac1: ADD 00000ac2: DUP3 00000ac3: DUP2 00000ac4: SUB 00000ac5: DUP3 00000ac6: MSTORE 00000ac7: PUSH1 0x22 00000ac9: DUP2 00000aca: MSTORE 00000acb: PUSH1 0x20 00000acd: ADD 00000ace: DUP1 00000acf: PUSH2 0x0ff1 00000ad2: PUSH1 0x22 00000ad4: SWAP2 00000ad5: CODECOPY 00000ad6: PUSH1 0x40 00000ad8: ADD 00000ad9: SWAP2 00000ada: POP 00000adb: POP 00000adc: PUSH1 0x40 00000ade: MLOAD 00000adf: DUP1 00000ae0: SWAP2 00000ae1: SUB 00000ae2: SWAP1 00000ae3: REVERT 00000ae4: JUMPDEST 00000ae5: DUP1 00000ae6: PUSH1 0x01 00000ae8: PUSH1 0x00 00000aea: DUP6 00000aeb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b00: AND 00000b01: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b16: AND 00000b17: DUP2 00000b18: MSTORE 00000b19: PUSH1 0x20 00000b1b: ADD 00000b1c: SWAP1 00000b1d: DUP2 00000b1e: MSTORE 00000b1f: PUSH1 0x20 00000b21: ADD 00000b22: PUSH1 0x00 00000b24: KECCAK256 00000b25: PUSH1 0x00 00000b27: DUP5 00000b28: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b3d: AND 00000b3e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b53: AND 00000b54: DUP2 00000b55: MSTORE 00000b56: PUSH1 0x20 00000b58: ADD 00000b59: SWAP1 00000b5a: DUP2 00000b5b: MSTORE 00000b5c: PUSH1 0x20 00000b5e: ADD 00000b5f: PUSH1 0x00 00000b61: KECCAK256 00000b62: DUP2 00000b63: SWAP1 00000b64: SSTORE 00000b65: POP 00000b66: DUP2 00000b67: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b7c: AND 00000b7d: DUP4 00000b7e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b93: AND 00000b94: PUSH32 0x8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925 00000bb5: DUP4 00000bb6: PUSH1 0x40 00000bb8: MLOAD 00000bb9: DUP1 00000bba: DUP3 00000bbb: DUP2 00000bbc: MSTORE 00000bbd: PUSH1 0x20 00000bbf: ADD 00000bc0: SWAP2 00000bc1: POP 00000bc2: POP 00000bc3: PUSH1 0x40 00000bc5: MLOAD 00000bc6: DUP1 00000bc7: SWAP2 00000bc8: SUB 00000bc9: SWAP1 00000bca: LOG3 00000bcb: POP 00000bcc: POP 00000bcd: POP 00000bce: JUMP 00000bcf: JUMPDEST 00000bd0: PUSH1 0x00 00000bd2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000be7: AND 00000be8: DUP4 00000be9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000bfe: AND 00000bff: EQ 00000c00: ISZERO 00000c01: PUSH2 0x0c55 00000c04: JUMPI 00000c05: PUSH1 0x40 00000c07: MLOAD 00000c08: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000c29: DUP2 00000c2a: MSTORE 00000c2b: PUSH1 0x04 00000c2d: ADD 00000c2e: DUP1 00000c2f: DUP1 00000c30: PUSH1 0x20 00000c32: ADD 00000c33: DUP3 00000c34: DUP2 00000c35: SUB 00000c36: DUP3 00000c37: MSTORE 00000c38: PUSH1 0x25 00000c3a: DUP2 00000c3b: MSTORE 00000c3c: PUSH1 0x20 00000c3e: ADD 00000c3f: DUP1 00000c40: PUSH2 0x1061 00000c43: PUSH1 0x25 00000c45: SWAP2 00000c46: CODECOPY 00000c47: PUSH1 0x40 00000c49: ADD 00000c4a: SWAP2 00000c4b: POP 00000c4c: POP 00000c4d: PUSH1 0x40 00000c4f: MLOAD 00000c50: DUP1 00000c51: SWAP2 00000c52: SUB 00000c53: SWAP1 00000c54: REVERT 00000c55: JUMPDEST 00000c56: PUSH1 0x00 00000c58: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000c6d: AND 00000c6e: DUP3 00000c6f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000c84: AND 00000c85: EQ 00000c86: ISZERO 00000c87: PUSH2 0x0cdb 00000c8a: JUMPI 00000c8b: PUSH1 0x40 00000c8d: MLOAD 00000c8e: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000caf: DUP2 00000cb0: MSTORE 00000cb1: PUSH1 0x04 00000cb3: ADD 00000cb4: DUP1 00000cb5: DUP1 00000cb6: PUSH1 0x20 00000cb8: ADD 00000cb9: DUP3 00000cba: DUP2 00000cbb: SUB 00000cbc: DUP3 00000cbd: MSTORE 00000cbe: PUSH1 0x23 00000cc0: DUP2 00000cc1: MSTORE 00000cc2: PUSH1 0x20 00000cc4: ADD 00000cc5: DUP1 00000cc6: PUSH2 0x0fce 00000cc9: PUSH1 0x23 00000ccb: SWAP2 00000ccc: CODECOPY 00000ccd: PUSH1 0x40 00000ccf: ADD 00000cd0: SWAP2 00000cd1: POP 00000cd2: POP 00000cd3: PUSH1 0x40 00000cd5: MLOAD 00000cd6: DUP1 00000cd7: SWAP2 00000cd8: SUB 00000cd9: SWAP1 00000cda: REVERT 00000cdb: JUMPDEST 00000cdc: PUSH2 0x0d46 00000cdf: DUP2 00000ce0: PUSH1 0x40 00000ce2: MLOAD 00000ce3: DUP1 00000ce4: PUSH1 0x60 00000ce6: ADD 00000ce7: PUSH1 0x40 00000ce9: MSTORE 00000cea: DUP1 00000ceb: PUSH1 0x26 00000ced: DUP2 00000cee: MSTORE 00000cef: PUSH1 0x20 00000cf1: ADD 00000cf2: PUSH2 0x1013 00000cf5: PUSH1 0x26 00000cf7: SWAP2 00000cf8: CODECOPY 00000cf9: PUSH1 0x00 00000cfb: DUP1 00000cfc: DUP8 00000cfd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000d12: AND 00000d13: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000d28: AND 00000d29: DUP2 00000d2a: MSTORE 00000d2b: PUSH1 0x20 00000d2d: ADD 00000d2e: SWAP1 00000d2f: DUP2 00000d30: MSTORE 00000d31: PUSH1 0x20 00000d33: ADD 00000d34: PUSH1 0x00 00000d36: KECCAK256 00000d37: SLOAD 00000d38: PUSH2 0x0e85 00000d3b: SWAP1 00000d3c: SWAP3 00000d3d: SWAP2 00000d3e: SWAP1 00000d3f: PUSH4 0xffffffff 00000d44: AND 00000d45: JUMP 00000d46: JUMPDEST 00000d47: PUSH1 0x00 00000d49: DUP1 00000d4a: DUP6 00000d4b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000d60: AND 00000d61: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000d76: AND 00000d77: DUP2 00000d78: MSTORE 00000d79: PUSH1 0x20 00000d7b: ADD 00000d7c: SWAP1 00000d7d: DUP2 00000d7e: MSTORE 00000d7f: PUSH1 0x20 00000d81: ADD 00000d82: PUSH1 0x00 00000d84: KECCAK256 00000d85: DUP2 00000d86: SWAP1 00000d87: SSTORE 00000d88: POP 00000d89: PUSH2 0x0dd9 00000d8c: DUP2 00000d8d: PUSH1 0x00 00000d8f: DUP1 00000d90: DUP6 00000d91: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000da6: AND 00000da7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000dbc: AND 00000dbd: DUP2 00000dbe: MSTORE 00000dbf: PUSH1 0x20 00000dc1: ADD 00000dc2: SWAP1 00000dc3: DUP2 00000dc4: MSTORE 00000dc5: PUSH1 0x20 00000dc7: ADD 00000dc8: PUSH1 0x00 00000dca: KECCAK256 00000dcb: SLOAD 00000dcc: PUSH2 0x0f45 00000dcf: SWAP1 00000dd0: SWAP2 00000dd1: SWAP1 00000dd2: PUSH4 0xffffffff 00000dd7: AND 00000dd8: JUMP 00000dd9: JUMPDEST 00000dda: PUSH1 0x00 00000ddc: DUP1 00000ddd: DUP5 00000dde: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000df3: AND 00000df4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000e09: AND 00000e0a: DUP2 00000e0b: MSTORE 00000e0c: PUSH1 0x20 00000e0e: ADD 00000e0f: SWAP1 00000e10: DUP2 00000e11: MSTORE 00000e12: PUSH1 0x20 00000e14: ADD 00000e15: PUSH1 0x00 00000e17: KECCAK256 00000e18: DUP2 00000e19: SWAP1 00000e1a: SSTORE 00000e1b: POP 00000e1c: DUP2 00000e1d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000e32: AND 00000e33: DUP4 00000e34: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000e49: AND 00000e4a: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef 00000e6b: DUP4 00000e6c: PUSH1 0x40 00000e6e: MLOAD 00000e6f: DUP1 00000e70: DUP3 00000e71: DUP2 00000e72: MSTORE 00000e73: PUSH1 0x20 00000e75: ADD 00000e76: SWAP2 00000e77: POP 00000e78: POP 00000e79: PUSH1 0x40 00000e7b: MLOAD 00000e7c: DUP1 00000e7d: SWAP2 00000e7e: SUB 00000e7f: SWAP1 00000e80: LOG3 00000e81: POP 00000e82: POP 00000e83: POP 00000e84: JUMP 00000e85: JUMPDEST 00000e86: PUSH1 0x00 00000e88: DUP4 00000e89: DUP4 00000e8a: GT 00000e8b: ISZERO 00000e8c: DUP3 00000e8d: SWAP1 00000e8e: PUSH2 0x0f32 00000e91: JUMPI 00000e92: PUSH1 0x40 00000e94: MLOAD 00000e95: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000eb6: DUP2 00000eb7: MSTORE 00000eb8: PUSH1 0x04 00000eba: ADD 00000ebb: DUP1 00000ebc: DUP1 00000ebd: PUSH1 0x20 00000ebf: ADD 00000ec0: DUP3 00000ec1: DUP2 00000ec2: SUB 00000ec3: DUP3 00000ec4: MSTORE 00000ec5: DUP4 00000ec6: DUP2 00000ec7: DUP2 00000ec8: MLOAD 00000ec9: DUP2 00000eca: MSTORE 00000ecb: PUSH1 0x20 00000ecd: ADD 00000ece: SWAP2 00000ecf: POP 00000ed0: DUP1 00000ed1: MLOAD 00000ed2: SWAP1 00000ed3: PUSH1 0x20 00000ed5: ADD 00000ed6: SWAP1 00000ed7: DUP1 00000ed8: DUP4 00000ed9: DUP4 00000eda: PUSH1 0x00 00000edc: JUMPDEST 00000edd: DUP4 00000ede: DUP2 00000edf: LT 00000ee0: ISZERO 00000ee1: PUSH2 0x0ef7 00000ee4: JUMPI 00000ee5: DUP1 00000ee6: DUP3 00000ee7: ADD 00000ee8: MLOAD 00000ee9: DUP2 00000eea: DUP5 00000eeb: ADD 00000eec: MSTORE 00000eed: PUSH1 0x20 00000eef: DUP2 00000ef0: ADD 00000ef1: SWAP1 00000ef2: POP 00000ef3: PUSH2 0x0edc 00000ef6: JUMP 00000ef7: JUMPDEST 00000ef8: POP 00000ef9: POP 00000efa: POP 00000efb: POP 00000efc: SWAP1 00000efd: POP 00000efe: SWAP1 00000eff: DUP2 00000f00: ADD 00000f01: SWAP1 00000f02: PUSH1 0x1f 00000f04: AND 00000f05: DUP1 00000f06: ISZERO 00000f07: PUSH2 0x0f24 00000f0a: JUMPI 00000f0b: DUP1 00000f0c: DUP3 00000f0d: SUB 00000f0e: DUP1 00000f0f: MLOAD 00000f10: PUSH1 0x01 00000f12: DUP4 00000f13: PUSH1 0x20 00000f15: SUB 00000f16: PUSH2 0x0100 00000f19: EXP 00000f1a: SUB 00000f1b: NOT 00000f1c: AND 00000f1d: DUP2 00000f1e: MSTORE 00000f1f: PUSH1 0x20 00000f21: ADD 00000f22: SWAP2 00000f23: POP 00000f24: JUMPDEST 00000f25: POP 00000f26: SWAP3 00000f27: POP 00000f28: POP 00000f29: POP 00000f2a: PUSH1 0x40 00000f2c: MLOAD 00000f2d: DUP1 00000f2e: SWAP2 00000f2f: SUB 00000f30: SWAP1 00000f31: REVERT 00000f32: JUMPDEST 00000f33: POP 00000f34: PUSH1 0x00 00000f36: DUP4 00000f37: DUP6 00000f38: SUB 00000f39: SWAP1 00000f3a: POP 00000f3b: DUP1 00000f3c: SWAP2 00000f3d: POP 00000f3e: POP 00000f3f: SWAP4 00000f40: SWAP3 00000f41: POP 00000f42: POP 00000f43: POP 00000f44: JUMP 00000f45: JUMPDEST 00000f46: PUSH1 0x00 00000f48: DUP1 00000f49: DUP3 00000f4a: DUP5 00000f4b: ADD 00000f4c: SWAP1 00000f4d: POP 00000f4e: DUP4 00000f4f: DUP2 00000f50: LT 00000f51: ISZERO 00000f52: PUSH2 0x0fc3 00000f55: JUMPI 00000f56: PUSH1 0x40 00000f58: MLOAD 00000f59: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000f7a: DUP2 00000f7b: MSTORE 00000f7c: PUSH1 0x04 00000f7e: ADD 00000f7f: DUP1 00000f80: DUP1 00000f81: PUSH1 0x20 00000f83: ADD 00000f84: DUP3 00000f85: DUP2 00000f86: SUB 00000f87: DUP3 00000f88: MSTORE 00000f89: PUSH1 0x1b 00000f8b: DUP2 00000f8c: MSTORE 00000f8d: PUSH1 0x20 00000f8f: ADD 00000f90: DUP1 00000f91: PUSH32 0x536166654d6174683a206164646974696f6e206f766572666c6f770000000000 00000fb2: DUP2 00000fb3: MSTORE 00000fb4: POP 00000fb5: PUSH1 0x20 00000fb7: ADD 00000fb8: SWAP2 00000fb9: POP 00000fba: POP 00000fbb: PUSH1 0x40 00000fbd: MLOAD 00000fbe: DUP1 00000fbf: SWAP2 00000fc0: SUB 00000fc1: SWAP1 00000fc2: REVERT 00000fc3: JUMPDEST 00000fc4: DUP1 00000fc5: SWAP2 00000fc6: POP 00000fc7: POP 00000fc8: SWAP3 00000fc9: SWAP2 00000fca: POP 00000fcb: POP 00000fcc: JUMP 00000fcd: INVALID 00000fce: GASLIMIT 00000fcf: MSTORE 00000fd0: NUMBER 00000fd1: ORIGIN 00000fd2: ADDRESS 00000fd3: GASPRICE 00000fd4: KECCAK256 00000fd5: PUSH21 0x72616e7366657220746f20746865207a65726f2061 00000feb: PUSH5 0x6472657373 00000ff1: GASLIMIT 00000ff2: MSTORE 00000ff3: NUMBER 00000ff4: ORIGIN 00000ff5: ADDRESS 00000ff6: GASPRICE 00000ff7: KECCAK256 00000ff8: PUSH2 0x7070 00000ffb: PUSH19 0x6f766520746f20746865207a65726f20616464 0000100f: PUSH19 0x65737345524332303a207472616e7366657220 00001023: PUSH2 0x6d6f 00001026: PUSH22 0x6e7420657863656564732062616c616e636545524332 0000103d: ADDRESS 0000103e: GASPRICE 0000103f: KECCAK256 00001040: PUSH21 0x72616e7366657220616d6f756e7420657863656564 00001056: PUSH20 0x20616c6c6f77616e636545524332303a20747261 0000106b: PUSH15 0x736665722066726f6d20746865207a 0000107b: PUSH6 0x726f20616464 00001082: PUSH19 0x65737345524332303a20617070726f76652066 00001096: PUSH19 0x6f6d20746865207a65726f2061646472657373 000010aa: GASLIMIT 000010ab: MSTORE 000010ac: NUMBER 000010ad: ORIGIN 000010ae: ADDRESS 000010af: GASPRICE 000010b0: KECCAK256 000010b1: PUSH5 0x6563726561 000010b7: PUSH20 0x656420616c6c6f77616e63652062656c6f77207a 000010cc: PUSH6 0x726fa265627a 000010d3: PUSH27 0x7231582085cee725bcacd3c725bba5bebcc422d4a64a9ed379a4ba 000010ef: SWAP4 000010f0: SWAP10 000010f1: CREATE2 000010f2: UNKNOWN(0xA5) 000010f3: SLOAD 000010f4: UNKNOWN(0xB5) 000010f5: DUP10 000010f6: DUP13 000010f7: MULMOD 000010f8: PUSH5 0x736f6c6343 000010fe: STOP 000010ff: SDIV 00001100: GT 00001101: STOP 00001102: ORIGIN
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | auth | detector | Authorization based on tx.origin | 70 | no | — |
viewvalidation_json{
"reason": "missing sink mapping",
"status": "no_sink"
}
witness_json{
"notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
"constraints": [],
"entrypoints": [
{
"calldata": "0x70a08231",
"selector": "0x70a08231",
"calldata_variants": [
"0x70a08231",
"0x70a082310000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x95d89b41",
"selector": "0x95d89b41",
"calldata_variants": [
"0x95d89b41",
"0x95d89b410000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa457c2d7",
"selector": "0xa457c2d7",
"calldata_variants": [
"0xa457c2d7",
"0xa457c2d70000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa9059cbb",
"selector": "0xa9059cbb",
"calldata_variants": [
"0xa9059cbb",
"0xa9059cbb0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xdd62ed3e",
"selector": "0xdd62ed3e",
"calldata_variants": [
"0xdd62ed3e",
"0xdd62ed3e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf26230f1",
"selector": "0xf26230f1",
"calldata_variants": [
"0xf26230f1",
"0xf26230f10000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x06fdde03",
"selector": "0x06fdde03",
"calldata_variants": [
"0x06fdde03",
"0x06fdde030000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x095ea7b3",
"selector": "0x095ea7b3",
"calldata_variants": [
"0x095ea7b3",
"0x095ea7b30000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"guards_detected": [
{
"pc": 4049,
"type": "tx_origin_used"
},
{
"pc": 4084,
"type": "tx_origin_used"
},
{
"pc": 4269,
"type": "tx_origin_used"
},
{
"pc": 4354,
"type": "tx_origin_used"
}
]
}
|
| medium | other | detector | CREATE/CREATE2 reachable | 45 | no | no |
viewtrace_id: 0x09ba3448aa7a2b89c4390dd0fed11c06df8f871d33872cd77c74e92f79ae81b1
validation_json{
"sink": "CREATE",
"errors": 0,
"status": "unknown",
"attempts": 24,
"trace_id": "0x09ba3448aa7a2b89c4390dd0fed11c06df8f871d33872cd77c74e92f79ae81b1",
"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": "0x70a08231",
"selector": "0x70a08231",
"calldata_variants": [
"0x70a08231",
"0x70a082310000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x95d89b41",
"selector": "0x95d89b41",
"calldata_variants": [
"0x95d89b41",
"0x95d89b410000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa457c2d7",
"selector": "0xa457c2d7",
"calldata_variants": [
"0xa457c2d7",
"0xa457c2d70000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa9059cbb",
"selector": "0xa9059cbb",
"calldata_variants": [
"0xa9059cbb",
"0xa9059cbb0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xdd62ed3e",
"selector": "0xdd62ed3e",
"calldata_variants": [
"0xdd62ed3e",
"0xdd62ed3e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf26230f1",
"selector": "0xf26230f1",
"calldata_variants": [
"0xf26230f1",
"0xf26230f10000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x06fdde03",
"selector": "0x06fdde03",
"calldata_variants": [
"0x06fdde03",
"0x06fdde030000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x095ea7b3",
"selector": "0x095ea7b3",
"calldata_variants": [
"0x095ea7b3",
"0x095ea7b30000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"create_count": 0,
"create2_count": 1
}
|
| low | other | cast | Contract creation opcode present | 60 | no | — |
viewevidence_json{
"notes": "runtime can deploy contracts dynamically via CREATE/CREATE2",
"create_count": 0,
"create2_count": 1
}
|