019b3836-29bb-70e9-ab9a-e2816ba05bcd
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 |
|---|---|---|---|---|
| 1477 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 1478 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 44808 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 44809 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 44810 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 44811 | validation.fork | complete | 1 / 3 | 2 weeks ago |
No slither job recorded yet.
No codex job recorded yet.
00000000: PUSH1 0x60 00000002: PUSH1 0x40 00000004: MSTORE 00000005: CALLDATASIZE 00000006: ISZERO 00000007: PUSH2 0x00a3 0000000a: JUMPI 0000000b: PUSH1 0xe0 0000000d: PUSH1 0x02 0000000f: EXP 00000010: PUSH1 0x00 00000012: CALLDATALOAD 00000013: DIV 00000014: PUSH4 0x3cc86b80 00000019: DUP2 0000001a: EQ 0000001b: PUSH2 0x00a5 0000001e: JUMPI 0000001f: DUP1 00000020: PUSH4 0x3ffd80df 00000025: EQ 00000026: PUSH2 0x00ea 00000029: JUMPI 0000002a: DUP1 0000002b: PUSH4 0x4dc3141b 00000030: EQ 00000031: PUSH2 0x012e 00000034: JUMPI 00000035: DUP1 00000036: PUSH4 0x6de00927 0000003b: EQ 0000003c: PUSH2 0x017e 0000003f: JUMPI 00000040: DUP1 00000041: PUSH4 0x7281854d 00000046: EQ 00000047: PUSH2 0x01c9 0000004a: JUMPI 0000004b: DUP1 0000004c: PUSH4 0x755f99c2 00000051: EQ 00000052: PUSH2 0x01ec 00000055: JUMPI 00000056: DUP1 00000057: PUSH4 0x769dc523 0000005c: EQ 0000005d: PUSH2 0x0215 00000060: JUMPI 00000061: DUP1 00000062: PUSH4 0x797fdd7b 00000067: EQ 00000068: PUSH2 0x0259 0000006b: JUMPI 0000006c: DUP1 0000006d: PUSH4 0x842bc37b 00000072: EQ 00000073: PUSH2 0x0282 00000076: JUMPI 00000077: DUP1 00000078: PUSH4 0x85a1c950 0000007d: EQ 0000007e: PUSH2 0x02d0 00000081: JUMPI 00000082: DUP1 00000083: PUSH4 0x8a4c4527 00000088: EQ 00000089: PUSH2 0x02f8 0000008c: JUMPI 0000008d: DUP1 0000008e: PUSH4 0x95df6906 00000093: EQ 00000094: PUSH2 0x0340 00000097: JUMPI 00000098: DUP1 00000099: PUSH4 0xf1273c0b 0000009e: EQ 0000009f: PUSH2 0x039e 000000a2: JUMPI 000000a3: JUMPDEST 000000a4: STOP 000000a5: JUMPDEST 000000a6: PUSH2 0x00a3 000000a9: PUSH1 0x04 000000ab: CALLDATALOAD 000000ac: PUSH1 0x24 000000ae: CALLDATALOAD 000000af: PUSH1 0x04 000000b1: SLOAD 000000b2: PUSH1 0x01 000000b4: PUSH1 0xa0 000000b6: PUSH1 0x02 000000b8: EXP 000000b9: SUB 000000ba: SWAP1 000000bb: DUP2 000000bc: AND 000000bd: CALLER 000000be: SWAP1 000000bf: SWAP2 000000c0: AND 000000c1: EQ 000000c2: ISZERO 000000c3: PUSH2 0x0636 000000c6: JUMPI 000000c7: PUSH1 0x40 000000c9: MLOAD 000000ca: PUSH1 0x01 000000cc: PUSH1 0xa0 000000ce: PUSH1 0x02 000000d0: EXP 000000d1: SUB 000000d2: DUP3 000000d3: AND 000000d4: SWAP1 000000d5: PUSH1 0x00 000000d7: SWAP1 000000d8: DUP5 000000d9: SWAP1 000000da: DUP3 000000db: DUP2 000000dc: DUP2 000000dd: DUP2 000000de: DUP6 000000df: DUP9 000000e0: DUP4 000000e1: CALL 000000e2: POP 000000e3: POP 000000e4: POP 000000e5: POP 000000e6: POP 000000e7: POP 000000e8: POP 000000e9: JUMP 000000ea: JUMPDEST 000000eb: PUSH2 0x00a3 000000ee: JUMPDEST 000000ef: ADDRESS 000000f0: PUSH1 0x01 000000f2: PUSH1 0xa0 000000f4: PUSH1 0x02 000000f6: EXP 000000f7: SUB 000000f8: AND 000000f9: BALANCE 000000fa: PUSH1 0x00 000000fc: JUMPDEST 000000fd: PUSH1 0x00 000000ff: SLOAD 00000100: PUSH1 0xff 00000102: SWAP1 00000103: DUP2 00000104: AND 00000105: SWAP1 00000106: DUP3 00000107: AND 00000108: LT 00000109: ISZERO 0000010a: PUSH2 0x0605 0000010d: JUMPI 0000010e: PUSH1 0xff 00000110: DUP2 00000111: AND 00000112: PUSH1 0x00 00000114: SWAP1 00000115: DUP2 00000116: MSTORE 00000117: PUSH1 0x01 00000119: PUSH1 0x20 0000011b: DUP2 0000011c: SWAP1 0000011d: MSTORE 0000011e: PUSH1 0x40 00000120: DUP3 00000121: KECCAK256 00000122: ADD 00000123: SLOAD 00000124: EQ 00000125: ISZERO 00000126: PUSH2 0x063a 00000129: JUMPI 0000012a: PUSH2 0x0656 0000012d: JUMP 0000012e: JUMPDEST 0000012f: PUSH2 0x00a3 00000132: PUSH1 0x00 00000134: PUSH1 0x00 00000136: PUSH1 0x00 00000138: PUSH1 0x00 0000013a: PUSH1 0x00 0000013c: PUSH1 0x00 0000013e: PUSH1 0x00 00000140: PUSH1 0x00 00000142: PUSH1 0x00 00000144: PUSH1 0x00 00000146: PUSH1 0x00 00000148: PUSH1 0x04 0000014a: PUSH1 0x00 0000014c: SWAP1 0000014d: SLOAD 0000014e: SWAP1 0000014f: PUSH2 0x0100 00000152: EXP 00000153: SWAP1 00000154: DIV 00000155: PUSH1 0x01 00000157: PUSH1 0xa0 00000159: PUSH1 0x02 0000015b: EXP 0000015c: SUB 0000015d: AND 0000015e: PUSH1 0x01 00000160: PUSH1 0xa0 00000162: PUSH1 0x02 00000164: EXP 00000165: SUB 00000166: AND 00000167: CALLER 00000168: PUSH1 0x01 0000016a: PUSH1 0xa0 0000016c: PUSH1 0x02 0000016e: EXP 0000016f: SUB 00000170: AND 00000171: EQ 00000172: ISZERO 00000173: PUSH2 0x0c0e 00000176: JUMPI 00000177: PUSH2 0x065e 0000017a: PUSH2 0x00ee 0000017d: JUMP 0000017e: JUMPDEST 0000017f: PUSH1 0xff 00000181: PUSH1 0x04 00000183: CALLDATALOAD 00000184: AND 00000185: PUSH1 0x00 00000187: SWAP1 00000188: DUP2 00000189: MSTORE 0000018a: PUSH1 0x01 0000018c: PUSH1 0x20 0000018e: SWAP1 0000018f: DUP2 00000190: MSTORE 00000191: PUSH1 0x40 00000193: DUP1 00000194: DUP4 00000195: KECCAK256 00000196: PUSH1 0x24 00000198: CALLDATALOAD 00000199: PUSH1 0x01 0000019b: PUSH1 0xa0 0000019d: PUSH1 0x02 0000019f: EXP 000001a0: SUB 000001a1: AND 000001a2: DUP5 000001a3: MSTORE 000001a4: PUSH1 0x02 000001a6: ADD 000001a7: SWAP1 000001a8: SWAP2 000001a9: MSTORE 000001aa: SWAP1 000001ab: KECCAK256 000001ac: SLOAD 000001ad: PUSH2 0xffff 000001b0: AND 000001b1: JUMPDEST 000001b2: PUSH1 0x40 000001b4: DUP1 000001b5: MLOAD 000001b6: PUSH2 0xffff 000001b9: SWAP3 000001ba: SWAP1 000001bb: SWAP3 000001bc: AND 000001bd: DUP3 000001be: MSTORE 000001bf: MLOAD 000001c0: SWAP1 000001c1: DUP2 000001c2: SWAP1 000001c3: SUB 000001c4: PUSH1 0x20 000001c6: ADD 000001c7: SWAP1 000001c8: RETURN 000001c9: JUMPDEST 000001ca: PUSH2 0x03c9 000001cd: PUSH1 0x04 000001cf: CALLDATALOAD 000001d0: PUSH1 0xff 000001d2: DUP2 000001d3: AND 000001d4: PUSH1 0x00 000001d6: SWAP1 000001d7: DUP2 000001d8: MSTORE 000001d9: PUSH1 0x01 000001db: PUSH1 0x20 000001dd: DUP2 000001de: SWAP1 000001df: MSTORE 000001e0: PUSH1 0x40 000001e2: SWAP1 000001e3: SWAP2 000001e4: KECCAK256 000001e5: ADD 000001e6: SLOAD 000001e7: JUMPDEST 000001e8: SWAP2 000001e9: SWAP1 000001ea: POP 000001eb: JUMP 000001ec: JUMPDEST 000001ed: PUSH2 0x00a3 000001f0: PUSH1 0x04 000001f2: CALLDATALOAD 000001f3: PUSH1 0x04 000001f5: SLOAD 000001f6: PUSH1 0x01 000001f8: PUSH1 0xa0 000001fa: PUSH1 0x02 000001fc: EXP 000001fd: SUB 000001fe: SWAP1 000001ff: DUP2 00000200: AND 00000201: CALLER 00000202: SWAP1 00000203: SWAP2 00000204: AND 00000205: EQ 00000206: DUP1 00000207: ISZERO 00000208: PUSH2 0x043c 0000020b: JUMPI 0000020c: POP 0000020d: PUSH2 0x0431 00000210: DUP2 00000211: PUSH2 0x0289 00000214: JUMP 00000215: JUMPDEST 00000216: PUSH2 0x03db 00000219: PUSH1 0x04 0000021b: CALLDATALOAD 0000021c: JUMPDEST 0000021d: PUSH1 0x00 0000021f: DUP1 00000220: JUMPDEST 00000221: PUSH1 0x00 00000223: SLOAD 00000224: PUSH1 0xff 00000226: SWAP1 00000227: DUP2 00000228: AND 00000229: SWAP1 0000022a: DUP3 0000022b: AND 0000022c: LT 0000022d: ISZERO 0000022e: PUSH2 0x040b 00000231: JUMPI 00000232: PUSH1 0xff 00000234: DUP2 00000235: AND 00000236: PUSH1 0x00 00000238: SWAP1 00000239: DUP2 0000023a: MSTORE 0000023b: PUSH1 0x01 0000023d: PUSH1 0x20 0000023f: MSTORE 00000240: PUSH1 0x40 00000242: SWAP1 00000243: KECCAK256 00000244: SLOAD 00000245: PUSH1 0xe0 00000247: PUSH1 0x02 00000249: EXP 0000024a: MUL 0000024b: DUP4 0000024c: EQ 0000024d: ISZERO 0000024e: PUSH2 0x0416 00000251: JUMPI 00000252: DUP1 00000253: SWAP2 00000254: POP 00000255: PUSH2 0x0410 00000258: JUMP 00000259: JUMPDEST 0000025a: PUSH2 0x00a3 0000025d: PUSH1 0x04 0000025f: CALLDATALOAD 00000260: PUSH1 0x24 00000262: CALLDATALOAD 00000263: PUSH1 0x04 00000265: SLOAD 00000266: PUSH1 0x00 00000268: SWAP1 00000269: DUP2 0000026a: SWAP1 0000026b: ORIGIN 0000026c: PUSH1 0x01 0000026e: PUSH1 0xa0 00000270: PUSH1 0x02 00000272: EXP 00000273: SUB 00000274: SWAP1 00000275: DUP2 00000276: AND 00000277: SWAP2 00000278: AND 00000279: EQ 0000027a: PUSH2 0x05b5 0000027d: JUMPI 0000027e: PUSH2 0x05af 00000281: JUMP 00000282: JUMPDEST 00000283: PUSH2 0x03f2 00000286: PUSH1 0x04 00000288: CALLDATALOAD 00000289: JUMPDEST 0000028a: PUSH1 0x00 0000028c: DUP1 0000028d: JUMPDEST 0000028e: PUSH1 0x02 00000290: SLOAD 00000291: PUSH3 0xffffff 00000295: SWAP1 00000296: DUP2 00000297: AND 00000298: SWAP1 00000299: DUP3 0000029a: AND 0000029b: LT 0000029c: ISZERO 0000029d: PUSH2 0x041e 000002a0: JUMPI 000002a1: PUSH3 0xffffff 000002a5: DUP2 000002a6: AND 000002a7: PUSH1 0x00 000002a9: SWAP1 000002aa: DUP2 000002ab: MSTORE 000002ac: PUSH1 0x03 000002ae: PUSH1 0x20 000002b0: MSTORE 000002b1: PUSH1 0x40 000002b3: SWAP1 000002b4: KECCAK256 000002b5: SLOAD 000002b6: PUSH1 0x01 000002b8: PUSH1 0xa0 000002ba: PUSH1 0x02 000002bc: EXP 000002bd: SUB 000002be: DUP5 000002bf: DUP2 000002c0: AND 000002c1: SWAP2 000002c2: AND 000002c3: EQ 000002c4: ISZERO 000002c5: PUSH2 0x0429 000002c8: JUMPI 000002c9: DUP1 000002ca: SWAP2 000002cb: POP 000002cc: PUSH2 0x0410 000002cf: JUMP 000002d0: JUMPDEST 000002d1: PUSH2 0x00a3 000002d4: PUSH1 0x04 000002d6: CALLDATALOAD 000002d7: PUSH1 0x04 000002d9: SLOAD 000002da: CALLER 000002db: PUSH1 0x01 000002dd: PUSH1 0xa0 000002df: PUSH1 0x02 000002e1: EXP 000002e2: SUB 000002e3: SWAP1 000002e4: DUP2 000002e5: AND 000002e6: SWAP2 000002e7: AND 000002e8: EQ 000002e9: DUP1 000002ea: ISZERO 000002eb: PUSH2 0x0493 000002ee: JUMPI 000002ef: POP 000002f0: PUSH2 0x048c 000002f3: DUP2 000002f4: PUSH2 0x021c 000002f7: JUMP 000002f8: JUMPDEST 000002f9: PUSH1 0xff 000002fb: PUSH1 0x44 000002fd: CALLDATALOAD 000002fe: AND 000002ff: PUSH1 0x00 00000301: SWAP1 00000302: DUP2 00000303: MSTORE 00000304: PUSH1 0x01 00000306: PUSH1 0x20 00000308: SWAP1 00000309: DUP2 0000030a: MSTORE 0000030b: PUSH1 0x40 0000030d: DUP1 0000030e: DUP4 0000030f: KECCAK256 00000310: PUSH1 0x01 00000312: PUSH1 0xa0 00000314: PUSH1 0x02 00000316: EXP 00000317: SUB 00000318: PUSH1 0x04 0000031a: CALLDATALOAD 0000031b: DUP2 0000031c: AND 0000031d: DUP6 0000031e: MSTORE 0000031f: PUSH1 0x03 00000321: SWAP2 00000322: SWAP1 00000323: SWAP2 00000324: ADD 00000325: DUP4 00000326: MSTORE 00000327: DUP2 00000328: DUP5 00000329: KECCAK256 0000032a: PUSH1 0x24 0000032c: CALLDATALOAD 0000032d: SWAP1 0000032e: SWAP2 0000032f: AND 00000330: DUP5 00000331: MSTORE 00000332: SWAP1 00000333: SWAP2 00000334: MSTORE 00000335: SWAP1 00000336: KECCAK256 00000337: SLOAD 00000338: PUSH2 0xffff 0000033b: AND 0000033c: PUSH2 0x01b1 0000033f: JUMP 00000340: JUMPDEST 00000341: PUSH2 0x00a3 00000344: PUSH1 0x04 00000346: CALLDATALOAD 00000347: PUSH1 0x24 00000349: CALLDATALOAD 0000034a: PUSH1 0x44 0000034c: CALLDATALOAD 0000034d: PUSH1 0x04 0000034f: SLOAD 00000350: PUSH1 0x00 00000352: SWAP1 00000353: CALLER 00000354: PUSH1 0x01 00000356: PUSH1 0xa0 00000358: PUSH1 0x02 0000035a: EXP 0000035b: SUB 0000035c: SWAP1 0000035d: DUP2 0000035e: AND 0000035f: SWAP2 00000360: AND 00000361: EQ 00000362: ISZERO 00000363: PUSH2 0x05af 00000366: JUMPI 00000367: PUSH1 0xff 00000369: SWAP1 0000036a: SWAP4 0000036b: AND 0000036c: DUP4 0000036d: MSTORE 0000036e: PUSH1 0x01 00000370: PUSH1 0x20 00000372: SWAP1 00000373: DUP2 00000374: MSTORE 00000375: PUSH1 0x40 00000377: DUP1 00000378: DUP6 00000379: KECCAK256 0000037a: PUSH1 0x01 0000037c: PUSH1 0xa0 0000037e: PUSH1 0x02 00000380: EXP 00000381: SUB 00000382: SWAP5 00000383: SWAP1 00000384: SWAP5 00000385: AND 00000386: DUP6 00000387: MSTORE 00000388: PUSH1 0x02 0000038a: SWAP1 0000038b: SWAP4 0000038c: ADD 0000038d: SWAP1 0000038e: MSTORE 0000038f: SWAP2 00000390: KECCAK256 00000391: DUP1 00000392: SLOAD 00000393: PUSH2 0xffff 00000396: NOT 00000397: AND 00000398: SWAP1 00000399: SWAP2 0000039a: OR 0000039b: SWAP1 0000039c: SSTORE 0000039d: JUMP 0000039e: JUMPDEST 0000039f: PUSH2 0x03c9 000003a2: PUSH1 0x04 000003a4: CALLDATALOAD 000003a5: PUSH3 0xffffff 000003a9: DUP2 000003aa: AND 000003ab: PUSH1 0x00 000003ad: SWAP1 000003ae: DUP2 000003af: MSTORE 000003b0: PUSH1 0x03 000003b2: PUSH1 0x20 000003b4: MSTORE 000003b5: PUSH1 0x40 000003b7: DUP2 000003b8: KECCAK256 000003b9: SLOAD 000003ba: PUSH1 0x01 000003bc: PUSH1 0xa0 000003be: PUSH1 0x02 000003c0: EXP 000003c1: SUB 000003c2: AND 000003c3: EQ 000003c4: ISZERO 000003c5: PUSH2 0x01e7 000003c8: JUMP 000003c9: JUMPDEST 000003ca: PUSH1 0x40 000003cc: DUP1 000003cd: MLOAD 000003ce: SWAP2 000003cf: DUP3 000003d0: MSTORE 000003d1: MLOAD 000003d2: SWAP1 000003d3: DUP2 000003d4: SWAP1 000003d5: SUB 000003d6: PUSH1 0x20 000003d8: ADD 000003d9: SWAP1 000003da: RETURN 000003db: JUMPDEST 000003dc: PUSH1 0x40 000003de: DUP1 000003df: MLOAD 000003e0: PUSH1 0xff 000003e2: SWAP3 000003e3: SWAP1 000003e4: SWAP3 000003e5: AND 000003e6: DUP3 000003e7: MSTORE 000003e8: MLOAD 000003e9: SWAP1 000003ea: DUP2 000003eb: SWAP1 000003ec: SUB 000003ed: PUSH1 0x20 000003ef: ADD 000003f0: SWAP1 000003f1: RETURN 000003f2: JUMPDEST 000003f3: PUSH1 0x40 000003f5: DUP1 000003f6: MLOAD 000003f7: PUSH3 0xffffff 000003fb: SWAP3 000003fc: SWAP1 000003fd: SWAP3 000003fe: AND 000003ff: DUP3 00000400: MSTORE 00000401: MLOAD 00000402: SWAP1 00000403: DUP2 00000404: SWAP1 00000405: SUB 00000406: PUSH1 0x20 00000408: ADD 00000409: SWAP1 0000040a: RETURN 0000040b: JUMPDEST 0000040c: PUSH1 0xff 0000040e: SWAP2 0000040f: POP 00000410: JUMPDEST 00000411: POP 00000412: SWAP2 00000413: SWAP1 00000414: POP 00000415: JUMP 00000416: JUMPDEST 00000417: PUSH1 0x01 00000419: ADD 0000041a: PUSH2 0x0220 0000041d: JUMP 0000041e: JUMPDEST 0000041f: PUSH3 0xffffff 00000423: SWAP2 00000424: POP 00000425: PUSH2 0x0410 00000428: JUMP 00000429: JUMPDEST 0000042a: PUSH1 0x01 0000042c: ADD 0000042d: PUSH2 0x028d 00000430: JUMP 00000431: JUMPDEST 00000432: PUSH3 0xffffff 00000436: AND 00000437: PUSH3 0xffffff 0000043b: EQ 0000043c: JUMPDEST 0000043d: ISZERO 0000043e: PUSH2 0x0489 00000441: JUMPI 00000442: PUSH1 0x02 00000444: DUP1 00000445: SLOAD 00000446: PUSH3 0xffffff 0000044a: SWAP1 0000044b: DUP2 0000044c: AND 0000044d: PUSH1 0x00 0000044f: SWAP1 00000450: DUP2 00000451: MSTORE 00000452: PUSH1 0x03 00000454: PUSH1 0x20 00000456: MSTORE 00000457: PUSH1 0x40 00000459: SWAP1 0000045a: KECCAK256 0000045b: DUP1 0000045c: SLOAD 0000045d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000472: NOT 00000473: AND 00000474: DUP5 00000475: OR 00000476: SWAP1 00000477: SSTORE 00000478: DUP2 00000479: SLOAD 0000047a: PUSH3 0xffffff 0000047e: NOT 0000047f: DUP2 00000480: AND 00000481: SWAP2 00000482: AND 00000483: PUSH1 0x01 00000485: ADD 00000486: OR 00000487: SWAP1 00000488: SSTORE 00000489: JUMPDEST 0000048a: POP 0000048b: JUMP 0000048c: JUMPDEST 0000048d: PUSH1 0xff 0000048f: AND 00000490: PUSH1 0xff 00000492: EQ 00000493: JUMPDEST 00000494: ISZERO 00000495: PUSH2 0x0489 00000498: JUMPI 00000499: PUSH1 0x00 0000049b: DUP1 0000049c: SLOAD 0000049d: PUSH1 0xff 0000049f: SWAP1 000004a0: DUP2 000004a1: AND 000004a2: DUP3 000004a3: MSTORE 000004a4: PUSH1 0x01 000004a6: PUSH1 0x20 000004a8: DUP2 000004a9: SWAP1 000004aa: MSTORE 000004ab: PUSH1 0x40 000004ad: DUP1 000004ae: DUP5 000004af: KECCAK256 000004b0: DUP1 000004b1: SLOAD 000004b2: PUSH1 0xe0 000004b4: PUSH1 0x02 000004b6: EXP 000004b7: DUP8 000004b8: DIV 000004b9: PUSH4 0xffffffff 000004be: NOT 000004bf: SWAP1 000004c0: SWAP2 000004c1: AND 000004c2: OR 000004c3: SWAP1 000004c4: SSTORE 000004c5: DUP4 000004c6: SLOAD 000004c7: DUP4 000004c8: AND 000004c9: DUP5 000004ca: MSTORE 000004cb: DUP4 000004cc: KECCAK256 000004cd: DUP2 000004ce: ADD 000004cf: DUP4 000004d0: SWAP1 000004d1: SSTORE 000004d2: DUP3 000004d3: SLOAD 000004d4: PUSH1 0xff 000004d6: NOT 000004d7: DUP2 000004d8: AND 000004d9: SWAP3 000004da: AND 000004db: ADD 000004dc: OR 000004dd: SWAP1 000004de: SSTORE 000004df: POP 000004e0: JUMP 000004e1: JUMPDEST 000004e2: POP 000004e3: PUSH1 0xff 000004e5: DUP2 000004e6: AND 000004e7: PUSH1 0x00 000004e9: SWAP1 000004ea: DUP2 000004eb: MSTORE 000004ec: PUSH1 0x01 000004ee: PUSH1 0x20 000004f0: DUP2 000004f1: DUP2 000004f2: MSTORE 000004f3: PUSH1 0x40 000004f5: DUP1 000004f6: DUP5 000004f7: KECCAK256 000004f8: SWAP3 000004f9: DUP4 000004fa: ADD 000004fb: DUP1 000004fc: SLOAD 000004fd: CALLVALUE 000004fe: ADD 000004ff: SWAP1 00000500: SSTORE 00000501: CALLER 00000502: PUSH1 0x01 00000504: PUSH1 0xa0 00000506: PUSH1 0x02 00000508: EXP 00000509: SUB 0000050a: AND 0000050b: DUP5 0000050c: MSTORE 0000050d: PUSH1 0x02 0000050f: DUP4 00000510: ADD 00000511: SWAP1 00000512: SWAP2 00000513: MSTORE 00000514: DUP3 00000515: KECCAK256 00000516: SLOAD 00000517: SWAP1 00000518: SWAP2 00000519: PUSH2 0xffff 0000051c: SWAP1 0000051d: SWAP2 0000051e: AND 0000051f: EQ 00000520: ISZERO 00000521: PUSH2 0x0539 00000524: JUMPI 00000525: PUSH1 0x40 00000527: PUSH1 0x00 00000529: KECCAK256 0000052a: DUP1 0000052b: SLOAD 0000052c: PUSH2 0x03e8 0000052f: PUSH2 0xffff 00000532: NOT 00000533: SWAP1 00000534: SWAP2 00000535: AND 00000536: OR 00000537: SWAP1 00000538: SSTORE 00000539: JUMPDEST 0000053a: PUSH1 0x01 0000053c: PUSH1 0xa0 0000053e: PUSH1 0x02 00000540: EXP 00000541: SUB 00000542: DUP5 00000543: AND 00000544: PUSH1 0x00 00000546: SWAP1 00000547: DUP2 00000548: MSTORE 00000549: PUSH1 0x02 0000054b: DUP3 0000054c: ADD 0000054d: PUSH1 0x20 0000054f: MSTORE 00000550: PUSH1 0x40 00000552: DUP2 00000553: KECCAK256 00000554: SLOAD 00000555: PUSH2 0xffff 00000558: AND 00000559: EQ 0000055a: ISZERO 0000055b: PUSH2 0x0571 0000055e: JUMPI 0000055f: PUSH1 0x40 00000561: PUSH1 0x00 00000563: KECCAK256 00000564: DUP1 00000565: SLOAD 00000566: PUSH2 0xffff 00000569: NOT 0000056a: AND 0000056b: PUSH2 0x03e8 0000056e: OR 0000056f: SWAP1 00000570: SSTORE 00000571: JUMPDEST 00000572: PUSH1 0x01 00000574: PUSH1 0xa0 00000576: PUSH1 0x02 00000578: EXP 00000579: SUB 0000057a: DUP5 0000057b: DUP2 0000057c: AND 0000057d: PUSH1 0x00 0000057f: SWAP1 00000580: DUP2 00000581: MSTORE 00000582: PUSH1 0x03 00000584: DUP4 00000585: ADD 00000586: PUSH1 0x20 00000588: SWAP1 00000589: DUP2 0000058a: MSTORE 0000058b: PUSH1 0x40 0000058d: DUP1 0000058e: DUP4 0000058f: KECCAK256 00000590: CALLER 00000591: SWAP1 00000592: SWAP5 00000593: AND 00000594: DUP4 00000595: MSTORE 00000596: SWAP3 00000597: SWAP1 00000598: MSTORE 00000599: KECCAK256 0000059a: DUP1 0000059b: SLOAD 0000059c: PUSH2 0xffff 0000059f: NOT 000005a0: DUP2 000005a1: AND 000005a2: PUSH2 0xffff 000005a5: SWAP2 000005a6: SWAP1 000005a7: SWAP2 000005a8: AND 000005a9: PUSH1 0x01 000005ab: ADD 000005ac: OR 000005ad: SWAP1 000005ae: SSTORE 000005af: JUMPDEST 000005b0: POP 000005b1: POP 000005b2: POP 000005b3: POP 000005b4: JUMP 000005b5: JUMPDEST 000005b6: PUSH2 0x05be 000005b9: DUP4 000005ba: PUSH2 0x021c 000005bd: JUMP 000005be: JUMPDEST 000005bf: SWAP2 000005c0: POP 000005c1: DUP2 000005c2: PUSH1 0xff 000005c4: AND 000005c5: PUSH1 0xff 000005c7: EQ 000005c8: DUP1 000005c9: PUSH2 0x05e1 000005cc: JUMPI 000005cd: POP 000005ce: PUSH2 0x05d6 000005d1: CALLER 000005d2: PUSH2 0x0289 000005d5: JUMP 000005d6: JUMPDEST 000005d7: PUSH3 0xffffff 000005db: AND 000005dc: PUSH3 0xffffff 000005e0: EQ 000005e1: JUMPDEST 000005e2: DUP1 000005e3: PUSH2 0x05fb 000005e6: JUMPI 000005e7: POP 000005e8: PUSH2 0x05f0 000005eb: DUP5 000005ec: PUSH2 0x0289 000005ef: JUMP 000005f0: JUMPDEST 000005f1: PUSH3 0xffffff 000005f5: AND 000005f6: PUSH3 0xffffff 000005fa: EQ 000005fb: JUMPDEST 000005fc: ISZERO 000005fd: PUSH2 0x04e1 00000600: JUMPI 00000601: PUSH2 0x05af 00000604: JUMP 00000605: JUMPDEST 00000606: PUSH1 0x00 00000608: DUP1 00000609: MSTORE 0000060a: PUSH1 0x01 0000060c: PUSH1 0x20 0000060e: MSTORE 0000060f: PUSH32 0xa6eef7e35abe7026729641147f7915573c7e97b47efa546f5f6e3230263bcb4a 00000630: DUP1 00000631: SLOAD 00000632: DUP4 00000633: ADD 00000634: SWAP1 00000635: SSTORE 00000636: JUMPDEST 00000637: POP 00000638: POP 00000639: JUMP 0000063a: JUMPDEST 0000063b: PUSH1 0xff 0000063d: DUP2 0000063e: AND 0000063f: PUSH1 0x00 00000641: SWAP1 00000642: DUP2 00000643: MSTORE 00000644: PUSH1 0x01 00000646: PUSH1 0x20 00000648: DUP2 00000649: SWAP1 0000064a: MSTORE 0000064b: PUSH1 0x40 0000064d: SWAP1 0000064e: SWAP2 0000064f: KECCAK256 00000650: ADD 00000651: SLOAD 00000652: SWAP1 00000653: SWAP2 00000654: SUB 00000655: SWAP1 00000656: JUMPDEST 00000657: PUSH1 0x01 00000659: ADD 0000065a: PUSH2 0x00fc 0000065d: JUMP 0000065e: JUMPDEST 0000065f: PUSH1 0x00 00000661: SWAP8 00000662: POP 00000663: JUMPDEST 00000664: PUSH1 0x00 00000666: SLOAD 00000667: PUSH1 0xff 00000669: SWAP1 0000066a: DUP2 0000066b: AND 0000066c: SWAP1 0000066d: DUP10 0000066e: AND 0000066f: LT 00000670: ISZERO 00000671: PUSH2 0x07cd 00000674: JUMPI 00000675: PUSH1 0xff 00000677: DUP9 00000678: AND 00000679: PUSH1 0x00 0000067b: SWAP1 0000067c: DUP2 0000067d: MSTORE 0000067e: PUSH1 0x01 00000680: PUSH1 0x20 00000682: MSTORE 00000683: PUSH1 0x40 00000685: DUP2 00000686: KECCAK256 00000687: SWAP1 00000688: SWAP11 00000689: POP 0000068a: SWAP7 0000068b: POP 0000068c: DUP10 0000068d: SWAP6 0000068e: POP 0000068f: DUP6 00000690: SWAP5 00000691: POP 00000692: JUMPDEST 00000693: PUSH1 0x02 00000695: SLOAD 00000696: PUSH3 0xffffff 0000069a: SWAP1 0000069b: DUP2 0000069c: AND 0000069d: SWAP1 0000069e: DUP12 0000069f: AND 000006a0: LT 000006a1: ISZERO 000006a2: PUSH2 0x082e 000006a5: JUMPI 000006a6: PUSH3 0xffffff 000006aa: DUP11 000006ab: AND 000006ac: PUSH1 0x00 000006ae: SWAP1 000006af: DUP2 000006b0: MSTORE 000006b1: PUSH1 0x20 000006b3: DUP4 000006b4: SWAP1 000006b5: MSTORE 000006b6: PUSH1 0x40 000006b8: DUP2 000006b9: KECCAK256 000006ba: DUP1 000006bb: SLOAD 000006bc: PUSH2 0xffff 000006bf: NOT 000006c0: AND 000006c1: SWAP1 000006c2: SSTORE 000006c3: SWAP9 000006c4: POP 000006c5: JUMPDEST 000006c6: PUSH1 0x02 000006c8: SLOAD 000006c9: PUSH3 0xffffff 000006cd: SWAP1 000006ce: DUP2 000006cf: AND 000006d0: SWAP1 000006d1: DUP11 000006d2: AND 000006d3: LT 000006d4: ISZERO 000006d5: PUSH2 0x0a97 000006d8: JUMPI 000006d9: DUP7 000006da: PUSH1 0x03 000006dc: ADD 000006dd: PUSH1 0x00 000006df: POP 000006e0: PUSH1 0x00 000006e2: PUSH1 0x03 000006e4: PUSH1 0x00 000006e6: POP 000006e7: PUSH1 0x00 000006e9: DUP13 000006ea: PUSH3 0xffffff 000006ee: AND 000006ef: DUP2 000006f0: MSTORE 000006f1: PUSH1 0x20 000006f3: ADD 000006f4: SWAP1 000006f5: DUP2 000006f6: MSTORE 000006f7: PUSH1 0x20 000006f9: ADD 000006fa: PUSH1 0x00 000006fc: KECCAK256 000006fd: PUSH1 0x00 000006ff: SWAP1 00000700: SLOAD 00000701: SWAP1 00000702: PUSH2 0x0100 00000705: EXP 00000706: SWAP1 00000707: DIV 00000708: PUSH1 0x01 0000070a: PUSH1 0xa0 0000070c: PUSH1 0x02 0000070e: EXP 0000070f: SUB 00000710: AND 00000711: PUSH1 0x01 00000713: PUSH1 0xa0 00000715: PUSH1 0x02 00000717: EXP 00000718: SUB 00000719: AND 0000071a: DUP2 0000071b: MSTORE 0000071c: PUSH1 0x20 0000071e: ADD 0000071f: SWAP1 00000720: DUP2 00000721: MSTORE 00000722: PUSH1 0x20 00000724: ADD 00000725: PUSH1 0x00 00000727: KECCAK256 00000728: PUSH1 0x00 0000072a: POP 0000072b: PUSH1 0x00 0000072d: PUSH1 0x03 0000072f: PUSH1 0x00 00000731: POP 00000732: PUSH1 0x00 00000734: DUP14 00000735: PUSH3 0xffffff 00000739: AND 0000073a: DUP2 0000073b: MSTORE 0000073c: PUSH1 0x20 0000073e: ADD 0000073f: SWAP1 00000740: DUP2 00000741: MSTORE 00000742: PUSH1 0x20 00000744: ADD 00000745: PUSH1 0x00 00000747: KECCAK256 00000748: PUSH1 0x00 0000074a: SWAP1 0000074b: SLOAD 0000074c: SWAP1 0000074d: PUSH2 0x0100 00000750: EXP 00000751: SWAP1 00000752: DIV 00000753: PUSH1 0x01 00000755: PUSH1 0xa0 00000757: PUSH1 0x02 00000759: EXP 0000075a: SUB 0000075b: AND 0000075c: PUSH1 0x01 0000075e: PUSH1 0xa0 00000760: PUSH1 0x02 00000762: EXP 00000763: SUB 00000764: AND 00000765: DUP2 00000766: MSTORE 00000767: PUSH1 0x20 00000769: ADD 0000076a: SWAP1 0000076b: DUP2 0000076c: MSTORE 0000076d: PUSH1 0x20 0000076f: ADD 00000770: PUSH1 0x00 00000772: KECCAK256 00000773: PUSH1 0x00 00000775: SWAP1 00000776: SLOAD 00000777: SWAP1 00000778: PUSH2 0x0100 0000077b: EXP 0000077c: SWAP1 0000077d: DIV 0000077e: PUSH2 0xffff 00000781: AND 00000782: DUP3 00000783: PUSH1 0x00 00000785: DUP13 00000786: PUSH3 0xffffff 0000078a: AND 0000078b: DUP2 0000078c: MSTORE 0000078d: PUSH1 0x20 0000078f: ADD 00000790: SWAP1 00000791: DUP2 00000792: MSTORE 00000793: PUSH1 0x20 00000795: ADD 00000796: PUSH1 0x00 00000798: KECCAK256 00000799: PUSH1 0x00 0000079b: DUP3 0000079c: DUP3 0000079d: DUP3 0000079e: SWAP1 0000079f: SLOAD 000007a0: SWAP1 000007a1: PUSH2 0x0100 000007a4: EXP 000007a5: SWAP1 000007a6: DIV 000007a7: PUSH2 0xffff 000007aa: AND 000007ab: ADD 000007ac: SWAP3 000007ad: POP 000007ae: PUSH2 0x0100 000007b1: EXP 000007b2: DUP2 000007b3: SLOAD 000007b4: DUP2 000007b5: PUSH2 0xffff 000007b8: MUL 000007b9: NOT 000007ba: AND 000007bb: SWAP1 000007bc: DUP4 000007bd: MUL 000007be: OR 000007bf: SWAP1 000007c0: SSTORE 000007c1: POP 000007c2: PUSH1 0x01 000007c4: SWAP9 000007c5: SWAP1 000007c6: SWAP9 000007c7: ADD 000007c8: SWAP8 000007c9: PUSH2 0x06c5 000007cc: JUMP 000007cd: JUMPDEST 000007ce: PUSH1 0x00 000007d0: SWAP10 000007d1: POP 000007d2: JUMPDEST 000007d3: PUSH1 0x02 000007d5: SLOAD 000007d6: PUSH3 0xffffff 000007da: SWAP1 000007db: DUP2 000007dc: AND 000007dd: SWAP1 000007de: DUP12 000007df: AND 000007e0: LT 000007e1: ISZERO 000007e2: PUSH2 0x0c0e 000007e5: JUMPI 000007e6: PUSH3 0xffffff 000007ea: DUP11 000007eb: AND 000007ec: PUSH1 0x00 000007ee: SWAP1 000007ef: DUP2 000007f0: MSTORE 000007f1: PUSH1 0x03 000007f3: PUSH1 0x20 000007f5: SWAP1 000007f6: DUP2 000007f7: MSTORE 000007f8: PUSH1 0x40 000007fa: DUP1 000007fb: DUP4 000007fc: KECCAK256 000007fd: SLOAD 000007fe: SWAP2 000007ff: DUP15 00000800: SWAP1 00000801: MSTORE 00000802: DUP1 00000803: DUP4 00000804: KECCAK256 00000805: SLOAD 00000806: SWAP1 00000807: MLOAD 00000808: PUSH1 0x01 0000080a: PUSH1 0xa0 0000080c: PUSH1 0x02 0000080e: EXP 0000080f: SUB 00000810: SWAP3 00000811: SWAP1 00000812: SWAP3 00000813: AND 00000814: SWAP3 00000815: SWAP2 00000816: DUP3 00000817: DUP2 00000818: DUP2 00000819: DUP2 0000081a: DUP6 0000081b: DUP9 0000081c: DUP4 0000081d: CALL 0000081e: POP 0000081f: POP 00000820: POP 00000821: POP 00000822: POP 00000823: PUSH1 0x01 00000825: SWAP10 00000826: SWAP1 00000827: SWAP10 00000828: ADD 00000829: SWAP9 0000082a: PUSH2 0x07d2 0000082d: JUMP 0000082e: JUMPDEST 0000082f: PUSH1 0x00 00000831: SWAP10 00000832: POP 00000833: JUMPDEST 00000834: PUSH1 0x02 00000836: SLOAD 00000837: PUSH3 0xffffff 0000083b: SWAP1 0000083c: DUP2 0000083d: AND 0000083e: SWAP1 0000083f: DUP12 00000840: AND 00000841: LT 00000842: ISZERO 00000843: PUSH2 0x0aa3 00000846: JUMPI 00000847: PUSH3 0xffffff 0000084b: DUP11 0000084c: AND 0000084d: PUSH1 0x00 0000084f: SWAP1 00000850: DUP2 00000851: MSTORE 00000852: PUSH1 0x03 00000854: PUSH1 0x20 00000856: SWAP1 00000857: DUP2 00000858: MSTORE 00000859: PUSH1 0x40 0000085b: DUP1 0000085c: DUP4 0000085d: KECCAK256 0000085e: SLOAD 0000085f: PUSH1 0x01 00000861: PUSH1 0xa0 00000863: PUSH1 0x02 00000865: EXP 00000866: SUB 00000867: AND 00000868: DUP4 00000869: MSTORE 0000086a: PUSH1 0x02 0000086c: DUP11 0000086d: ADD 0000086e: SWAP1 0000086f: SWAP2 00000870: MSTORE 00000871: DUP2 00000872: KECCAK256 00000873: SLOAD 00000874: PUSH2 0xffff 00000877: AND 00000878: GT 00000879: ISZERO 0000087a: PUSH2 0x0b47 0000087d: JUMPI 0000087e: PUSH1 0x00 00000880: SWAP9 00000881: POP 00000882: PUSH1 0x01 00000884: SWAP5 00000885: SWAP1 00000886: SWAP5 00000887: ADD 00000888: SWAP4 00000889: DUP9 0000088a: SWAP4 0000088b: POP 0000088c: JUMPDEST 0000088d: PUSH1 0x02 0000088f: SLOAD 00000890: PUSH3 0xffffff 00000894: SWAP1 00000895: DUP2 00000896: AND 00000897: SWAP1 00000898: DUP11 00000899: AND 0000089a: LT 0000089b: ISZERO 0000089c: PUSH2 0x0af4 0000089f: JUMPI 000008a0: POP 000008a1: PUSH3 0xffffff 000008a5: DUP9 000008a6: AND 000008a7: PUSH1 0x00 000008a9: SWAP1 000008aa: DUP2 000008ab: MSTORE 000008ac: PUSH1 0x03 000008ae: PUSH1 0x20 000008b0: SWAP1 000008b1: DUP2 000008b2: MSTORE 000008b3: PUSH1 0x40 000008b5: DUP1 000008b6: DUP4 000008b7: KECCAK256 000008b8: SLOAD 000008b9: PUSH1 0x01 000008bb: PUSH1 0xa0 000008bd: PUSH1 0x02 000008bf: EXP 000008c0: SUB 000008c1: AND 000008c2: DUP4 000008c3: MSTORE 000008c4: PUSH1 0x02 000008c6: DUP10 000008c7: ADD 000008c8: SWAP1 000008c9: SWAP2 000008ca: MSTORE 000008cb: DUP2 000008cc: KECCAK256 000008cd: SLOAD 000008ce: PUSH2 0xffff 000008d1: AND 000008d2: SWAP1 000008d3: DUP2 000008d4: EQ 000008d5: ISZERO 000008d6: PUSH2 0x08de 000008d9: JUMPI 000008da: POP 000008db: PUSH2 0x03e8 000008de: JUMPDEST 000008df: DUP9 000008e0: PUSH3 0xffffff 000008e4: AND 000008e5: DUP11 000008e6: PUSH3 0xffffff 000008ea: AND 000008eb: EQ 000008ec: ISZERO 000008ed: DUP1 000008ee: ISZERO 000008ef: PUSH2 0x09a5 000008f2: JUMPI 000008f3: POP 000008f4: DUP7 000008f5: PUSH1 0x03 000008f7: ADD 000008f8: PUSH1 0x00 000008fa: POP 000008fb: PUSH1 0x00 000008fd: PUSH1 0x03 000008ff: PUSH1 0x00 00000901: POP 00000902: PUSH1 0x00 00000904: DUP14 00000905: PUSH3 0xffffff 00000909: AND 0000090a: DUP2 0000090b: MSTORE 0000090c: PUSH1 0x20 0000090e: ADD 0000090f: SWAP1 00000910: DUP2 00000911: MSTORE 00000912: PUSH1 0x20 00000914: ADD 00000915: PUSH1 0x00 00000917: KECCAK256 00000918: PUSH1 0x00 0000091a: SWAP1 0000091b: SLOAD 0000091c: SWAP1 0000091d: PUSH2 0x0100 00000920: EXP 00000921: SWAP1 00000922: DIV 00000923: PUSH1 0x01 00000925: PUSH1 0xa0 00000927: PUSH1 0x02 00000929: EXP 0000092a: SUB 0000092b: AND 0000092c: PUSH1 0x01 0000092e: PUSH1 0xa0 00000930: PUSH1 0x02 00000932: EXP 00000933: SUB 00000934: AND 00000935: DUP2 00000936: MSTORE 00000937: PUSH1 0x20 00000939: ADD 0000093a: SWAP1 0000093b: DUP2 0000093c: MSTORE 0000093d: PUSH1 0x20 0000093f: ADD 00000940: PUSH1 0x00 00000942: KECCAK256 00000943: PUSH1 0x00 00000945: POP 00000946: PUSH1 0x00 00000948: PUSH1 0x03 0000094a: PUSH1 0x00 0000094c: POP 0000094d: PUSH1 0x00 0000094f: DUP13 00000950: PUSH3 0xffffff 00000954: AND 00000955: DUP2 00000956: MSTORE 00000957: PUSH1 0x20 00000959: ADD 0000095a: SWAP1 0000095b: DUP2 0000095c: MSTORE 0000095d: PUSH1 0x20 0000095f: ADD 00000960: PUSH1 0x00 00000962: KECCAK256 00000963: PUSH1 0x00 00000965: SWAP1 00000966: SLOAD 00000967: SWAP1 00000968: PUSH2 0x0100 0000096b: EXP 0000096c: SWAP1 0000096d: DIV 0000096e: PUSH1 0x01 00000970: PUSH1 0xa0 00000972: PUSH1 0x02 00000974: EXP 00000975: SUB 00000976: AND 00000977: PUSH1 0x01 00000979: PUSH1 0xa0 0000097b: PUSH1 0x02 0000097d: EXP 0000097e: SUB 0000097f: AND 00000980: DUP2 00000981: MSTORE 00000982: PUSH1 0x20 00000984: ADD 00000985: SWAP1 00000986: DUP2 00000987: MSTORE 00000988: PUSH1 0x20 0000098a: ADD 0000098b: PUSH1 0x00 0000098d: KECCAK256 0000098e: PUSH1 0x00 00000990: SWAP1 00000991: SLOAD 00000992: SWAP1 00000993: PUSH2 0x0100 00000996: EXP 00000997: SWAP1 00000998: DIV 00000999: PUSH2 0xffff 0000099c: AND 0000099d: PUSH2 0xffff 000009a0: AND 000009a1: PUSH1 0x00 000009a3: EQ 000009a4: ISZERO 000009a5: JUMPDEST 000009a6: ISZERO 000009a7: PUSH2 0x0a8b 000009aa: JUMPI 000009ab: DUP2 000009ac: PUSH1 0x00 000009ae: DUP11 000009af: PUSH3 0xffffff 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: PUSH1 0x00 000009c4: SWAP1 000009c5: SLOAD 000009c6: SWAP1 000009c7: PUSH2 0x0100 000009ca: EXP 000009cb: SWAP1 000009cc: DIV 000009cd: PUSH2 0xffff 000009d0: AND 000009d1: PUSH2 0xffff 000009d4: AND 000009d5: DUP8 000009d6: PUSH1 0x03 000009d8: ADD 000009d9: PUSH1 0x00 000009db: POP 000009dc: PUSH1 0x00 000009de: PUSH1 0x03 000009e0: PUSH1 0x00 000009e2: POP 000009e3: PUSH1 0x00 000009e5: DUP15 000009e6: PUSH3 0xffffff 000009ea: AND 000009eb: DUP2 000009ec: MSTORE 000009ed: PUSH1 0x20 000009ef: ADD 000009f0: SWAP1 000009f1: DUP2 000009f2: MSTORE 000009f3: PUSH1 0x20 000009f5: ADD 000009f6: PUSH1 0x00 000009f8: KECCAK256 000009f9: PUSH1 0x00 000009fb: SWAP1 000009fc: SLOAD 000009fd: SWAP1 000009fe: PUSH2 0x0100 00000a01: EXP 00000a02: SWAP1 00000a03: DIV 00000a04: PUSH1 0x01 00000a06: PUSH1 0xa0 00000a08: PUSH1 0x02 00000a0a: EXP 00000a0b: SUB 00000a0c: AND 00000a0d: PUSH1 0x01 00000a0f: PUSH1 0xa0 00000a11: PUSH1 0x02 00000a13: EXP 00000a14: SUB 00000a15: AND 00000a16: DUP2 00000a17: MSTORE 00000a18: PUSH1 0x20 00000a1a: ADD 00000a1b: SWAP1 00000a1c: DUP2 00000a1d: MSTORE 00000a1e: PUSH1 0x20 00000a20: ADD 00000a21: PUSH1 0x00 00000a23: KECCAK256 00000a24: PUSH1 0x00 00000a26: POP 00000a27: PUSH1 0x00 00000a29: PUSH1 0x03 00000a2b: PUSH1 0x00 00000a2d: POP 00000a2e: PUSH1 0x00 00000a30: DUP14 00000a31: PUSH3 0xffffff 00000a35: AND 00000a36: DUP2 00000a37: MSTORE 00000a38: PUSH1 0x20 00000a3a: ADD 00000a3b: SWAP1 00000a3c: DUP2 00000a3d: MSTORE 00000a3e: PUSH1 0x20 00000a40: ADD 00000a41: PUSH1 0x00 00000a43: KECCAK256 00000a44: PUSH1 0x00 00000a46: SWAP1 00000a47: SLOAD 00000a48: SWAP1 00000a49: PUSH2 0x0100 00000a4c: EXP 00000a4d: SWAP1 00000a4e: DIV 00000a4f: PUSH1 0x01 00000a51: PUSH1 0xa0 00000a53: PUSH1 0x02 00000a55: EXP 00000a56: SUB 00000a57: AND 00000a58: PUSH1 0x01 00000a5a: PUSH1 0xa0 00000a5c: PUSH1 0x02 00000a5e: EXP 00000a5f: SUB 00000a60: AND 00000a61: DUP2 00000a62: MSTORE 00000a63: PUSH1 0x20 00000a65: ADD 00000a66: SWAP1 00000a67: DUP2 00000a68: MSTORE 00000a69: PUSH1 0x20 00000a6b: ADD 00000a6c: PUSH1 0x00 00000a6e: KECCAK256 00000a6f: PUSH1 0x00 00000a71: SWAP1 00000a72: SLOAD 00000a73: SWAP1 00000a74: PUSH2 0x0100 00000a77: EXP 00000a78: SWAP1 00000a79: DIV 00000a7a: PUSH2 0xffff 00000a7d: AND 00000a7e: PUSH2 0xffff 00000a81: AND 00000a82: DUP3 00000a83: MUL 00000a84: DIV 00000a85: DUP5 00000a86: ADD 00000a87: SWAP4 00000a88: POP 00000a89: DUP4 00000a8a: POP 00000a8b: JUMPDEST 00000a8c: PUSH1 0x01 00000a8e: SWAP9 00000a8f: SWAP1 00000a90: SWAP9 00000a91: ADD 00000a92: SWAP8 00000a93: PUSH2 0x088c 00000a96: JUMP 00000a97: JUMPDEST 00000a98: PUSH1 0x01 00000a9a: SWAP10 00000a9b: SWAP1 00000a9c: SWAP10 00000a9d: ADD 00000a9e: SWAP9 00000a9f: PUSH2 0x0692 00000aa2: JUMP 00000aa3: JUMPDEST 00000aa4: PUSH2 0x03e8 00000aa7: DUP6 00000aa8: MUL 00000aa9: DUP7 00000aaa: GT 00000aab: ISZERO 00000aac: PUSH2 0x0b53 00000aaf: JUMPI 00000ab0: PUSH1 0x00 00000ab2: SWAP10 00000ab3: POP 00000ab4: JUMPDEST 00000ab5: PUSH1 0x02 00000ab7: SLOAD 00000ab8: PUSH3 0xffffff 00000abc: SWAP1 00000abd: DUP2 00000abe: AND 00000abf: SWAP1 00000ac0: DUP12 00000ac1: AND 00000ac2: LT 00000ac3: ISZERO 00000ac4: PUSH2 0x0b53 00000ac7: JUMPI 00000ac8: PUSH3 0xffffff 00000acc: DUP11 00000acd: AND 00000ace: PUSH1 0x00 00000ad0: SWAP1 00000ad1: DUP2 00000ad2: MSTORE 00000ad3: PUSH1 0x20 00000ad5: DUP5 00000ad6: SWAP1 00000ad7: MSTORE 00000ad8: PUSH1 0x40 00000ada: SWAP1 00000adb: KECCAK256 00000adc: DUP1 00000add: SLOAD 00000ade: DUP7 00000adf: DUP9 00000ae0: DIV 00000ae1: PUSH2 0x03e8 00000ae4: MUL 00000ae5: SWAP1 00000ae6: DIV 00000ae7: SWAP1 00000ae8: SSTORE 00000ae9: PUSH1 0x01 00000aeb: SWAP10 00000aec: SWAP1 00000aed: SWAP10 00000aee: ADD 00000aef: SWAP9 00000af0: PUSH2 0x0ab4 00000af3: JUMP 00000af4: JUMPDEST 00000af5: PUSH3 0xffffff 00000af9: DUP11 00000afa: AND 00000afb: PUSH1 0x00 00000afd: DUP2 00000afe: DUP2 00000aff: MSTORE 00000b00: PUSH1 0x03 00000b02: PUSH1 0x20 00000b04: SWAP1 00000b05: DUP2 00000b06: MSTORE 00000b07: PUSH1 0x40 00000b09: DUP1 00000b0a: DUP4 00000b0b: KECCAK256 00000b0c: SLOAD 00000b0d: PUSH1 0x01 00000b0f: PUSH1 0xa0 00000b11: PUSH1 0x02 00000b13: EXP 00000b14: SUB 00000b15: AND 00000b16: DUP4 00000b17: MSTORE 00000b18: PUSH1 0x02 00000b1a: DUP12 00000b1b: DUP2 00000b1c: ADD 00000b1d: DUP4 00000b1e: MSTORE 00000b1f: DUP2 00000b20: DUP5 00000b21: KECCAK256 00000b22: SLOAD 00000b23: SWAP5 00000b24: DUP5 00000b25: MSTORE 00000b26: SWAP2 00000b27: DUP8 00000b28: SWAP1 00000b29: MSTORE 00000b2a: SWAP1 00000b2b: SWAP2 00000b2c: KECCAK256 00000b2d: PUSH2 0xffff 00000b30: SWAP3 00000b31: DUP4 00000b32: AND 00000b33: PUSH2 0x03e7 00000b36: NOT 00000b37: ADD 00000b38: SWAP1 00000b39: SWAP3 00000b3a: AND 00000b3b: SWAP1 00000b3c: DUP7 00000b3d: DIV 00000b3e: ADD 00000b3f: SWAP1 00000b40: DUP2 00000b41: SWAP1 00000b42: SSTORE 00000b43: SWAP1 00000b44: SWAP6 00000b45: ADD 00000b46: SWAP5 00000b47: JUMPDEST 00000b48: PUSH1 0x01 00000b4a: SWAP10 00000b4b: SWAP1 00000b4c: SWAP10 00000b4d: ADD 00000b4e: SWAP9 00000b4f: PUSH2 0x0833 00000b52: JUMP 00000b53: JUMPDEST 00000b54: PUSH1 0x00 00000b56: SWAP10 00000b57: POP 00000b58: JUMPDEST 00000b59: PUSH1 0x02 00000b5b: SLOAD 00000b5c: PUSH3 0xffffff 00000b60: SWAP1 00000b61: DUP2 00000b62: AND 00000b63: SWAP1 00000b64: DUP12 00000b65: AND 00000b66: LT 00000b67: ISZERO 00000b68: PUSH2 0x0bfb 00000b6b: JUMPI 00000b6c: PUSH3 0xffffff 00000b70: DUP11 00000b71: AND 00000b72: PUSH1 0x00 00000b74: SWAP1 00000b75: DUP2 00000b76: MSTORE 00000b77: PUSH1 0x20 00000b79: DUP5 00000b7a: SWAP1 00000b7b: MSTORE 00000b7c: PUSH1 0x40 00000b7e: DUP2 00000b7f: KECCAK256 00000b80: SLOAD 00000b81: EQ 00000b82: PUSH2 0x0bef 00000b85: JUMPI 00000b86: PUSH1 0x40 00000b88: PUSH1 0x00 00000b8a: DUP2 00000b8b: DUP2 00000b8c: KECCAK256 00000b8d: PUSH3 0xffffff 00000b91: DUP14 00000b92: AND 00000b93: DUP1 00000b94: DUP4 00000b95: MSTORE 00000b96: DUP2 00000b97: SLOAD 00000b98: PUSH1 0x03 00000b9a: PUSH1 0x20 00000b9c: SWAP1 00000b9d: DUP2 00000b9e: MSTORE 00000b9f: DUP6 00000ba0: DUP6 00000ba1: KECCAK256 00000ba2: SLOAD 00000ba3: PUSH1 0x01 00000ba5: PUSH1 0xa0 00000ba7: PUSH1 0x02 00000ba9: EXP 00000baa: SUB 00000bab: AND 00000bac: DUP6 00000bad: MSTORE 00000bae: PUSH1 0x02 00000bb0: DUP14 00000bb1: ADD 00000bb2: DUP2 00000bb3: MSTORE 00000bb4: DUP6 00000bb5: DUP6 00000bb6: KECCAK256 00000bb7: DUP1 00000bb8: SLOAD 00000bb9: PUSH2 0xffff 00000bbc: DUP2 00000bbd: AND 00000bbe: SWAP1 00000bbf: SWAP4 00000bc0: ADD 00000bc1: PUSH2 0xffff 00000bc4: NOT 00000bc5: SWAP4 00000bc6: SWAP1 00000bc7: SWAP4 00000bc8: AND 00000bc9: SWAP3 00000bca: SWAP1 00000bcb: SWAP3 00000bcc: OR 00000bcd: SWAP1 00000bce: SWAP2 00000bcf: SSTORE 00000bd0: SWAP1 00000bd1: DUP4 00000bd2: MSTORE 00000bd3: SWAP1 00000bd4: SLOAD 00000bd5: PUSH1 0x01 00000bd7: DUP12 00000bd8: ADD 00000bd9: SLOAD 00000bda: SWAP2 00000bdb: DUP16 00000bdc: SWAP1 00000bdd: MSTORE 00000bde: SWAP3 00000bdf: SWAP1 00000be0: SWAP2 00000be1: KECCAK256 00000be2: DUP1 00000be3: SLOAD 00000be4: SWAP3 00000be5: DUP10 00000be6: DIV 00000be7: SWAP1 00000be8: SWAP2 00000be9: DIV 00000bea: SWAP1 00000beb: SWAP2 00000bec: ADD 00000bed: SWAP1 00000bee: SSTORE 00000bef: JUMPDEST 00000bf0: PUSH1 0x01 00000bf2: SWAP10 00000bf3: SWAP1 00000bf4: SWAP10 00000bf5: ADD 00000bf6: SWAP9 00000bf7: PUSH2 0x0b58 00000bfa: JUMP 00000bfb: JUMPDEST 00000bfc: PUSH1 0x00 00000bfe: PUSH1 0x01 00000c00: DUP9 00000c01: ADD 00000c02: SSTORE 00000c03: PUSH1 0x01 00000c05: SWAP8 00000c06: SWAP1 00000c07: SWAP8 00000c08: ADD 00000c09: SWAP7 00000c0a: PUSH2 0x0663 00000c0d: JUMP 00000c0e: JUMPDEST 00000c0f: POP 00000c10: POP 00000c11: POP 00000c12: POP 00000c13: POP 00000c14: POP 00000c15: POP 00000c16: POP 00000c17: POP 00000c18: POP 00000c19: POP 00000c1a: JUMP
Warning: This is a nightly build of Foundry. It is recommended to use the latest stable version. To mute this warning set `FOUNDRY_DISABLE_NIGHTLY_WARNING` in your environment.
| 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": "0x3cc86b80",
"selector": "0x3cc86b80",
"calldata_variants": [
"0x3cc86b80",
"0x3cc86b800000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3ffd80df",
"selector": "0x3ffd80df",
"calldata_variants": [
"0x3ffd80df",
"0x3ffd80df0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x4dc3141b",
"selector": "0x4dc3141b",
"calldata_variants": [
"0x4dc3141b",
"0x4dc3141b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x6de00927",
"selector": "0x6de00927",
"calldata_variants": [
"0x6de00927",
"0x6de009270000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x7281854d",
"selector": "0x7281854d",
"calldata_variants": [
"0x7281854d",
"0x7281854d0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x755f99c2",
"selector": "0x755f99c2",
"calldata_variants": [
"0x755f99c2",
"0x755f99c20000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x769dc523",
"selector": "0x769dc523",
"calldata_variants": [
"0x769dc523",
"0x769dc5230000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x797fdd7b",
"selector": "0x797fdd7b",
"calldata_variants": [
"0x797fdd7b",
"0x797fdd7b0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"guards_detected": [
{
"pc": 619,
"type": "tx_origin_used"
}
]
}
|
| medium | other | detector | Untrusted CALL target/value reachable | 45 | no | no |
viewtrace_id: 0x3a0802c3b1d45cac8eadc6c6a94f6669f0e12e6e6d2eeda36181caa310562ddb
call_targets:
0xaac62548ca88f6afd060077bdac481e5a1652b29
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x3a0802c3b1d45cac8eadc6c6a94f6669f0e12e6e6d2eeda36181caa310562ddb",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xaac62548ca88f6afd060077bdac481e5a1652b29"
],
"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": "0x3cc86b80",
"selector": "0x3cc86b80",
"calldata_variants": [
"0x3cc86b80",
"0x3cc86b800000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3ffd80df",
"selector": "0x3ffd80df",
"calldata_variants": [
"0x3ffd80df",
"0x3ffd80df0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x4dc3141b",
"selector": "0x4dc3141b",
"calldata_variants": [
"0x4dc3141b",
"0x4dc3141b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x6de00927",
"selector": "0x6de00927",
"calldata_variants": [
"0x6de00927",
"0x6de009270000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x7281854d",
"selector": "0x7281854d",
"calldata_variants": [
"0x7281854d",
"0x7281854d0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x755f99c2",
"selector": "0x755f99c2",
"calldata_variants": [
"0x755f99c2",
"0x755f99c20000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x769dc523",
"selector": "0x769dc523",
"calldata_variants": [
"0x769dc523",
"0x769dc5230000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x797fdd7b",
"selector": "0x797fdd7b",
"calldata_variants": [
"0x797fdd7b",
"0x797fdd7b0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 225,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2077,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 2,
"guards_detected": [
{
"pc": 619,
"type": "tx_origin_used"
}
],
"untrusted_call_count": 2
}
|
| medium | other | detector | ETH value transfer possible | 40 | no | no |
viewtrace_id: 0x3a0802c3b1d45cac8eadc6c6a94f6669f0e12e6e6d2eeda36181caa310562ddb
call_targets:
0xaac62548ca88f6afd060077bdac481e5a1652b29
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x3a0802c3b1d45cac8eadc6c6a94f6669f0e12e6e6d2eeda36181caa310562ddb",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xaac62548ca88f6afd060077bdac481e5a1652b29"
],
"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": "0x3cc86b80",
"selector": "0x3cc86b80",
"calldata_variants": [
"0x3cc86b80",
"0x3cc86b800000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3ffd80df",
"selector": "0x3ffd80df",
"calldata_variants": [
"0x3ffd80df",
"0x3ffd80df0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x4dc3141b",
"selector": "0x4dc3141b",
"calldata_variants": [
"0x4dc3141b",
"0x4dc3141b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x6de00927",
"selector": "0x6de00927",
"calldata_variants": [
"0x6de00927",
"0x6de009270000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x7281854d",
"selector": "0x7281854d",
"calldata_variants": [
"0x7281854d",
"0x7281854d0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x755f99c2",
"selector": "0x755f99c2",
"calldata_variants": [
"0x755f99c2",
"0x755f99c20000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x769dc523",
"selector": "0x769dc523",
"calldata_variants": [
"0x769dc523",
"0x769dc5230000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x797fdd7b",
"selector": "0x797fdd7b",
"calldata_variants": [
"0x797fdd7b",
"0x797fdd7b0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 225,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2077,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 2,
"guards_detected": [
{
"pc": 619,
"type": "tx_origin_used"
}
]
}
|