019b3836-3084-71d1-9fb6-440f864fbb4f
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 |
|---|---|---|---|---|
| 2633 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 2634 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 46168 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 46169 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 46170 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 46171 | 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 0x0181fbc2 00000019: DUP2 0000001a: EQ 0000001b: PUSH2 0x00ae 0000001e: JUMPI 0000001f: DUP1 00000020: PUSH4 0x01e210b7 00000025: EQ 00000026: PUSH2 0x00d2 00000029: JUMPI 0000002a: DUP1 0000002b: PUSH4 0x09e69ede 00000030: EQ 00000031: PUSH2 0x018e 00000034: JUMPI 00000035: DUP1 00000036: PUSH4 0x167d3e9c 0000003b: EQ 0000003c: PUSH2 0x01a6 0000003f: JUMPI 00000040: DUP1 00000041: PUSH4 0x3c128873 00000046: EQ 00000047: PUSH2 0x01dc 0000004a: JUMPI 0000004b: DUP1 0000004c: PUSH4 0x4c1a4115 00000051: EQ 00000052: PUSH2 0x0227 00000055: JUMPI 00000056: DUP1 00000057: PUSH4 0x5a9f6b0b 0000005c: EQ 0000005d: PUSH2 0x0230 00000060: JUMPI 00000061: DUP1 00000062: PUSH4 0x72a67b32 00000067: EQ 00000068: PUSH2 0x0239 0000006b: JUMPI 0000006c: DUP1 0000006d: PUSH4 0x8550af16 00000072: EQ 00000073: PUSH2 0x0262 00000076: JUMPI 00000077: DUP1 00000078: PUSH4 0x8da5cb5b 0000007d: EQ 0000007e: PUSH2 0x026b 00000081: JUMPI 00000082: DUP1 00000083: PUSH4 0xb69ef8a8 00000088: EQ 00000089: PUSH2 0x027d 0000008c: JUMPI 0000008d: DUP1 0000008e: PUSH4 0xed21248c 00000093: EQ 00000094: PUSH2 0x0286 00000097: JUMPI 00000098: DUP1 00000099: PUSH4 0xfd709fd4 0000009e: EQ 0000009f: PUSH2 0x02ef 000000a2: JUMPI 000000a3: JUMPDEST 000000a4: PUSH2 0x034b 000000a7: PUSH2 0x034d 000000aa: PUSH2 0x028a 000000ad: JUMP 000000ae: JUMPDEST 000000af: PUSH2 0x034b 000000b2: PUSH1 0x04 000000b4: CALLDATALOAD 000000b5: PUSH1 0x05 000000b7: SLOAD 000000b8: PUSH1 0x01 000000ba: PUSH1 0xa0 000000bc: PUSH1 0x02 000000be: EXP 000000bf: SUB 000000c0: SWAP1 000000c1: DUP2 000000c2: AND 000000c3: CALLER 000000c4: SWAP2 000000c5: SWAP1 000000c6: SWAP2 000000c7: AND 000000c8: EQ 000000c9: ISZERO 000000ca: PUSH2 0x039f 000000cd: JUMPI 000000ce: PUSH1 0x01 000000d0: SSTORE 000000d1: JUMP 000000d2: JUMPDEST 000000d3: PUSH2 0x034b 000000d6: PUSH1 0x04 000000d8: CALLDATALOAD 000000d9: PUSH1 0x24 000000db: CALLDATALOAD 000000dc: PUSH1 0x01 000000de: PUSH1 0xa0 000000e0: PUSH1 0x02 000000e2: EXP 000000e3: SUB 000000e4: CALLER 000000e5: AND 000000e6: PUSH1 0x00 000000e8: SWAP1 000000e9: DUP2 000000ea: MSTORE 000000eb: PUSH1 0x20 000000ed: DUP2 000000ee: SWAP1 000000ef: MSTORE 000000f0: PUSH1 0x40 000000f2: DUP2 000000f3: KECCAK256 000000f4: SLOAD 000000f5: DUP2 000000f6: SWAP1 000000f7: DUP2 000000f8: SWAP1 000000f9: DUP2 000000fa: SWAP1 000000fb: DUP2 000000fc: SWAP1 000000fd: DUP2 000000fe: SWAP1 000000ff: DUP2 00000100: SWAP1 00000101: GT 00000102: ISZERO 00000103: PUSH2 0x0666 00000106: JUMPI 00000107: PUSH1 0x40 00000109: DUP2 0000010a: KECCAK256 0000010b: PUSH1 0x02 0000010d: DUP1 0000010e: SLOAD 0000010f: CALLVALUE 00000110: ADD 00000111: SWAP1 00000112: SSTORE 00000113: PUSH1 0x01 00000115: ADD 00000116: DUP1 00000117: SLOAD 00000118: PUSH7 0x038d7ea4c68000 00000120: DUP10 00000121: MUL 00000122: SWAP8 00000123: POP 00000124: DUP10 00000125: SWAP1 00000126: DUP2 00000127: LT 00000128: ISZERO 00000129: PUSH2 0x0002 0000012c: JUMPI 0000012d: POP 0000012e: DUP2 0000012f: MSTORE 00000130: PUSH1 0x20 00000132: DUP2 00000133: KECCAK256 00000134: PUSH1 0x04 00000136: DUP10 00000137: MUL 00000138: ADD 00000139: SLOAD 0000013a: SWAP5 0000013b: POP 0000013c: DUP5 0000013d: DUP7 0000013e: GT 0000013f: DUP1 00000140: PUSH2 0x0184 00000143: JUMPI 00000144: POP 00000145: PUSH1 0x01 00000147: PUSH1 0xa0 00000149: PUSH1 0x02 0000014b: EXP 0000014c: SUB 0000014d: CALLER 0000014e: AND 0000014f: PUSH1 0x00 00000151: SWAP1 00000152: DUP2 00000153: MSTORE 00000154: PUSH1 0x20 00000156: DUP2 00000157: SWAP1 00000158: MSTORE 00000159: PUSH1 0x40 0000015b: SWAP1 0000015c: KECCAK256 0000015d: PUSH1 0x01 0000015f: ADD 00000160: DUP1 00000161: SLOAD 00000162: TIMESTAMP 00000163: SWAP2 00000164: SWAP1 00000165: DUP11 00000166: SWAP1 00000167: DUP2 00000168: LT 00000169: ISZERO 0000016a: PUSH2 0x0002 0000016d: JUMPI 0000016e: SWAP1 0000016f: PUSH1 0x00 00000171: MSTORE 00000172: PUSH1 0x20 00000174: PUSH1 0x00 00000176: KECCAK256 00000177: SWAP1 00000178: PUSH1 0x04 0000017a: MUL 0000017b: ADD 0000017c: PUSH1 0x00 0000017e: POP 0000017f: PUSH1 0x03 00000181: ADD 00000182: SLOAD 00000183: GT 00000184: JUMPDEST 00000185: ISZERO 00000186: PUSH2 0x04e4 00000189: JUMPI 0000018a: PUSH2 0x0666 0000018d: JUMP 0000018e: JUMPDEST 0000018f: PUSH2 0x034f 00000192: PUSH1 0x04 00000194: CALLDATALOAD 00000195: PUSH1 0x00 00000197: PUSH1 0x20 00000199: DUP2 0000019a: SWAP1 0000019b: MSTORE 0000019c: SWAP1 0000019d: DUP2 0000019e: MSTORE 0000019f: PUSH1 0x40 000001a1: SWAP1 000001a2: KECCAK256 000001a3: SLOAD 000001a4: DUP2 000001a5: JUMP 000001a6: JUMPDEST 000001a7: PUSH2 0x034b 000001aa: PUSH1 0x04 000001ac: CALLDATALOAD 000001ad: PUSH1 0x05 000001af: SLOAD 000001b0: PUSH1 0x01 000001b2: PUSH1 0xa0 000001b4: PUSH1 0x02 000001b6: EXP 000001b7: SUB 000001b8: SWAP1 000001b9: DUP2 000001ba: AND 000001bb: CALLER 000001bc: SWAP2 000001bd: SWAP1 000001be: SWAP2 000001bf: AND 000001c0: EQ 000001c1: ISZERO 000001c2: PUSH2 0x039f 000001c5: JUMPI 000001c6: DUP1 000001c7: PUSH1 0x01 000001c9: PUSH1 0xa0 000001cb: PUSH1 0x02 000001cd: EXP 000001ce: SUB 000001cf: AND 000001d0: PUSH1 0x00 000001d2: EQ 000001d3: ISZERO 000001d4: PUSH2 0x093d 000001d7: JUMPI 000001d8: PUSH2 0x039f 000001db: JUMP 000001dc: JUMPDEST 000001dd: PUSH2 0x034b 000001e0: PUSH1 0x04 000001e2: CALLDATALOAD 000001e3: PUSH1 0x01 000001e5: PUSH1 0xa0 000001e7: PUSH1 0x02 000001e9: EXP 000001ea: SUB 000001eb: CALLER 000001ec: AND 000001ed: PUSH1 0x00 000001ef: SWAP1 000001f0: DUP2 000001f1: MSTORE 000001f2: PUSH1 0x20 000001f4: DUP2 000001f5: SWAP1 000001f6: MSTORE 000001f7: PUSH1 0x40 000001f9: DUP2 000001fa: KECCAK256 000001fb: SLOAD 000001fc: DUP2 000001fd: SWAP1 000001fe: DUP2 000001ff: SWAP1 00000200: DUP2 00000201: SWAP1 00000202: DUP2 00000203: SWAP1 00000204: DUP2 00000205: SWAP1 00000206: DUP2 00000207: SWAP1 00000208: DUP2 00000209: SWAP1 0000020a: DUP2 0000020b: SWAP1 0000020c: DUP2 0000020d: SWAP1 0000020e: GT 0000020f: ISZERO 00000210: PUSH2 0x0673 00000213: JUMPI 00000214: PUSH1 0x02 00000216: DUP1 00000217: SLOAD 00000218: CALLVALUE 00000219: ADD 0000021a: SWAP1 0000021b: SSTORE 0000021c: DUP10 0000021d: ISZERO 0000021e: ISZERO 0000021f: PUSH2 0x067f 00000222: JUMPI 00000223: PUSH2 0x0673 00000226: JUMP 00000227: JUMPDEST 00000228: PUSH2 0x034f 0000022b: PUSH1 0x01 0000022d: SLOAD 0000022e: DUP2 0000022f: JUMP 00000230: JUMPDEST 00000231: PUSH2 0x034f 00000234: PUSH1 0x03 00000236: SLOAD 00000237: DUP2 00000238: JUMP 00000239: JUMPDEST 0000023a: PUSH2 0x034b 0000023d: PUSH1 0x04 0000023f: CALLDATALOAD 00000240: PUSH1 0x05 00000242: SLOAD 00000243: PUSH1 0x01 00000245: PUSH1 0xa0 00000247: PUSH1 0x02 00000249: EXP 0000024a: SUB 0000024b: SWAP1 0000024c: DUP2 0000024d: AND 0000024e: CALLER 0000024f: SWAP2 00000250: SWAP1 00000251: SWAP2 00000252: AND 00000253: EQ 00000254: ISZERO 00000255: PUSH2 0x039f 00000258: JUMPI 00000259: PUSH3 0x015180 0000025d: MUL 0000025e: PUSH1 0x04 00000260: SSTORE 00000261: JUMP 00000262: JUMPDEST 00000263: PUSH2 0x034f 00000266: PUSH1 0x04 00000268: SLOAD 00000269: DUP2 0000026a: JUMP 0000026b: JUMPDEST 0000026c: PUSH2 0x0361 0000026f: PUSH1 0x05 00000271: SLOAD 00000272: PUSH1 0x01 00000274: PUSH1 0xa0 00000276: PUSH1 0x02 00000278: EXP 00000279: SUB 0000027a: AND 0000027b: DUP2 0000027c: JUMP 0000027d: JUMPDEST 0000027e: PUSH2 0x034f 00000281: PUSH1 0x02 00000283: SLOAD 00000284: DUP2 00000285: JUMP 00000286: JUMPDEST 00000287: PUSH2 0x034b 0000028a: JUMPDEST 0000028b: PUSH1 0x00 0000028d: PUSH7 0x038d7ea4c68000 00000295: CALLVALUE 00000296: LT 00000297: PUSH2 0x037e 0000029a: JUMPI 0000029b: PUSH1 0x02 0000029d: DUP1 0000029e: SLOAD 0000029f: CALLVALUE 000002a0: ADD 000002a1: SWAP1 000002a2: SSTORE 000002a3: PUSH1 0x01 000002a5: PUSH1 0xa0 000002a7: PUSH1 0x02 000002a9: EXP 000002aa: SUB 000002ab: CALLER 000002ac: AND 000002ad: DUP2 000002ae: MSTORE 000002af: PUSH1 0x20 000002b1: DUP2 000002b2: SWAP1 000002b3: MSTORE 000002b4: PUSH1 0x40 000002b6: SWAP1 000002b7: KECCAK256 000002b8: PUSH1 0x01 000002ba: SWAP1 000002bb: DUP2 000002bc: ADD 000002bd: DUP1 000002be: SLOAD 000002bf: SWAP2 000002c0: DUP3 000002c1: ADD 000002c2: DUP1 000002c3: DUP3 000002c4: SSTORE 000002c5: SWAP1 000002c6: DUP2 000002c7: DUP4 000002c8: DUP1 000002c9: ISZERO 000002ca: DUP3 000002cb: SWAP1 000002cc: GT 000002cd: PUSH2 0x03a2 000002d0: JUMPI 000002d1: PUSH1 0x04 000002d3: MUL 000002d4: DUP2 000002d5: PUSH1 0x04 000002d7: MUL 000002d8: DUP4 000002d9: PUSH1 0x00 000002db: MSTORE 000002dc: PUSH1 0x20 000002de: PUSH1 0x00 000002e0: KECCAK256 000002e1: SWAP2 000002e2: DUP3 000002e3: ADD 000002e4: SWAP2 000002e5: ADD 000002e6: PUSH2 0x03a2 000002e9: SWAP2 000002ea: SWAP1 000002eb: PUSH2 0x04b9 000002ee: JUMP 000002ef: JUMPDEST 000002f0: PUSH2 0x034b 000002f3: PUSH1 0x04 000002f5: CALLDATALOAD 000002f6: PUSH1 0x24 000002f8: CALLDATALOAD 000002f9: PUSH1 0x05 000002fb: SLOAD 000002fc: PUSH1 0x00 000002fe: SWAP1 000002ff: PUSH1 0x01 00000301: PUSH1 0xa0 00000303: PUSH1 0x02 00000305: EXP 00000306: SUB 00000307: SWAP1 00000308: DUP2 00000309: AND 0000030a: CALLER 0000030b: SWAP2 0000030c: SWAP1 0000030d: SWAP2 0000030e: AND 0000030f: EQ 00000310: ISZERO 00000311: PUSH2 0x0346 00000314: JUMPI 00000315: PUSH1 0x40 00000317: MLOAD 00000318: PUSH7 0x038d7ea4c68000 00000320: DUP4 00000321: MUL 00000322: SWAP2 00000323: PUSH1 0x01 00000325: PUSH1 0xa0 00000327: PUSH1 0x02 00000329: EXP 0000032a: SUB 0000032b: DUP6 0000032c: AND 0000032d: SWAP2 0000032e: DUP4 0000032f: SWAP1 00000330: DUP3 00000331: DUP2 00000332: DUP2 00000333: DUP2 00000334: DUP6 00000335: DUP9 00000336: DUP4 00000337: CALL 00000338: POP 00000339: POP 0000033a: PUSH1 0x02 0000033c: DUP1 0000033d: SLOAD 0000033e: SWAP2 0000033f: SWAP1 00000340: SWAP2 00000341: SUB 00000342: SWAP1 00000343: SSTORE 00000344: POP 00000345: POP 00000346: JUMPDEST 00000347: POP 00000348: POP 00000349: POP 0000034a: JUMP 0000034b: JUMPDEST 0000034c: STOP 0000034d: JUMPDEST 0000034e: JUMP 0000034f: JUMPDEST 00000350: PUSH1 0x40 00000352: DUP1 00000353: MLOAD 00000354: SWAP2 00000355: DUP3 00000356: MSTORE 00000357: MLOAD 00000358: SWAP1 00000359: DUP2 0000035a: SWAP1 0000035b: SUB 0000035c: PUSH1 0x20 0000035e: ADD 0000035f: SWAP1 00000360: RETURN 00000361: JUMPDEST 00000362: PUSH1 0x40 00000364: DUP1 00000365: MLOAD 00000366: PUSH1 0x01 00000368: PUSH1 0xa0 0000036a: PUSH1 0x02 0000036c: EXP 0000036d: SUB 0000036e: SWAP3 0000036f: SWAP1 00000370: SWAP3 00000371: AND 00000372: DUP3 00000373: MSTORE 00000374: MLOAD 00000375: SWAP1 00000376: DUP2 00000377: SWAP1 00000378: SUB 00000379: PUSH1 0x20 0000037b: ADD 0000037c: SWAP1 0000037d: RETURN 0000037e: JUMPDEST 0000037f: PUSH1 0x40 00000381: MLOAD 00000382: PUSH1 0x01 00000384: PUSH1 0xa0 00000386: PUSH1 0x02 00000388: EXP 00000389: SUB 0000038a: CALLER 0000038b: AND 0000038c: SWAP1 0000038d: PUSH1 0x00 0000038f: SWAP1 00000390: CALLVALUE 00000391: SWAP1 00000392: DUP3 00000393: DUP2 00000394: DUP2 00000395: DUP2 00000396: DUP6 00000397: DUP9 00000398: DUP4 00000399: CALL 0000039a: POP 0000039b: POP 0000039c: POP 0000039d: POP 0000039e: POP 0000039f: JUMPDEST 000003a0: POP 000003a1: JUMP 000003a2: JUMPDEST 000003a3: POP 000003a4: POP 000003a5: POP 000003a6: PUSH1 0x01 000003a8: PUSH1 0xa0 000003aa: PUSH1 0x02 000003ac: EXP 000003ad: SUB 000003ae: CALLER 000003af: AND 000003b0: PUSH1 0x00 000003b2: SWAP1 000003b3: DUP2 000003b4: MSTORE 000003b5: PUSH1 0x20 000003b7: DUP2 000003b8: SWAP1 000003b9: MSTORE 000003ba: PUSH1 0x40 000003bc: SWAP1 000003bd: KECCAK256 000003be: DUP1 000003bf: SLOAD 000003c0: PUSH1 0x01 000003c2: SWAP1 000003c3: DUP2 000003c4: ADD 000003c5: DUP3 000003c6: SSTORE 000003c7: ADD 000003c8: DUP1 000003c9: SLOAD 000003ca: CALLVALUE 000003cb: SWAP3 000003cc: POP 000003cd: DUP4 000003ce: SWAP1 000003cf: DUP2 000003d0: LT 000003d1: ISZERO 000003d2: PUSH2 0x0002 000003d5: JUMPI 000003d6: SWAP1 000003d7: PUSH1 0x00 000003d9: MSTORE 000003da: PUSH1 0x20 000003dc: PUSH1 0x00 000003de: KECCAK256 000003df: SWAP1 000003e0: PUSH1 0x04 000003e2: MUL 000003e3: ADD 000003e4: PUSH1 0x00 000003e6: POP 000003e7: SSTORE 000003e8: PUSH1 0x01 000003ea: PUSH1 0xa0 000003ec: PUSH1 0x02 000003ee: EXP 000003ef: SUB 000003f0: CALLER 000003f1: AND 000003f2: PUSH1 0x00 000003f4: SWAP1 000003f5: DUP2 000003f6: MSTORE 000003f7: PUSH1 0x20 000003f9: DUP2 000003fa: SWAP1 000003fb: MSTORE 000003fc: PUSH1 0x40 000003fe: SWAP1 000003ff: KECCAK256 00000400: PUSH1 0x01 00000402: ADD 00000403: DUP1 00000404: SLOAD 00000405: TIMESTAMP 00000406: SWAP2 00000407: SWAP1 00000408: DUP4 00000409: SWAP1 0000040a: DUP2 0000040b: LT 0000040c: ISZERO 0000040d: PUSH2 0x0002 00000410: JUMPI 00000411: SWAP1 00000412: PUSH1 0x00 00000414: MSTORE 00000415: PUSH1 0x20 00000417: PUSH1 0x00 00000419: KECCAK256 0000041a: SWAP1 0000041b: PUSH1 0x04 0000041d: MUL 0000041e: ADD 0000041f: PUSH1 0x00 00000421: POP 00000422: PUSH1 0x01 00000424: SWAP1 00000425: DUP2 00000426: ADD 00000427: SWAP2 00000428: SWAP1 00000429: SWAP2 0000042a: SSTORE 0000042b: PUSH1 0x03 0000042d: SLOAD 0000042e: PUSH1 0x01 00000430: PUSH1 0xa0 00000432: PUSH1 0x02 00000434: EXP 00000435: SUB 00000436: CALLER 00000437: AND 00000438: PUSH1 0x00 0000043a: SWAP1 0000043b: DUP2 0000043c: MSTORE 0000043d: PUSH1 0x20 0000043f: DUP2 00000440: SWAP1 00000441: MSTORE 00000442: PUSH1 0x40 00000444: SWAP1 00000445: KECCAK256 00000446: SWAP1 00000447: SWAP2 00000448: ADD 00000449: DUP1 0000044a: SLOAD 0000044b: DUP4 0000044c: SWAP1 0000044d: DUP2 0000044e: LT 0000044f: ISZERO 00000450: PUSH2 0x0002 00000453: JUMPI 00000454: SWAP1 00000455: PUSH1 0x00 00000457: MSTORE 00000458: PUSH1 0x20 0000045a: PUSH1 0x00 0000045c: KECCAK256 0000045d: SWAP1 0000045e: PUSH1 0x04 00000460: MUL 00000461: ADD 00000462: PUSH1 0x00 00000464: POP 00000465: PUSH1 0x02 00000467: ADD 00000468: SSTORE 00000469: PUSH1 0x04 0000046b: SLOAD 0000046c: PUSH1 0x01 0000046e: PUSH1 0xa0 00000470: PUSH1 0x02 00000472: EXP 00000473: SUB 00000474: CALLER 00000475: AND 00000476: PUSH1 0x00 00000478: SWAP1 00000479: DUP2 0000047a: MSTORE 0000047b: PUSH1 0x20 0000047d: DUP2 0000047e: SWAP1 0000047f: MSTORE 00000480: PUSH1 0x40 00000482: SWAP1 00000483: KECCAK256 00000484: PUSH1 0x01 00000486: ADD 00000487: DUP1 00000488: SLOAD 00000489: TIMESTAMP 0000048a: SWAP3 0000048b: SWAP1 0000048c: SWAP3 0000048d: ADD 0000048e: SWAP2 0000048f: DUP4 00000490: SWAP1 00000491: DUP2 00000492: LT 00000493: ISZERO 00000494: PUSH2 0x0002 00000497: JUMPI 00000498: SWAP1 00000499: PUSH1 0x00 0000049b: MSTORE 0000049c: PUSH1 0x20 0000049e: PUSH1 0x00 000004a0: KECCAK256 000004a1: SWAP1 000004a2: PUSH1 0x04 000004a4: MUL 000004a5: ADD 000004a6: PUSH1 0x00 000004a8: POP 000004a9: PUSH1 0x03 000004ab: ADD 000004ac: SSTORE 000004ad: PUSH2 0x039f 000004b0: JUMP 000004b1: JUMPDEST 000004b2: POP 000004b3: PUSH2 0x0670 000004b6: SWAP3 000004b7: SWAP2 000004b8: POP 000004b9: JUMPDEST 000004ba: DUP1 000004bb: DUP3 000004bc: GT 000004bd: ISZERO 000004be: PUSH2 0x04e0 000004c1: JUMPI 000004c2: PUSH1 0x00 000004c4: DUP1 000004c5: DUP3 000004c6: SSTORE 000004c7: PUSH1 0x01 000004c9: DUP3 000004ca: ADD 000004cb: DUP2 000004cc: DUP2 000004cd: SSTORE 000004ce: PUSH1 0x02 000004d0: DUP4 000004d1: ADD 000004d2: DUP3 000004d3: SWAP1 000004d4: SSTORE 000004d5: PUSH1 0x03 000004d7: SWAP3 000004d8: SWAP1 000004d9: SWAP3 000004da: ADD 000004db: SSTORE 000004dc: PUSH2 0x04b9 000004df: JUMP 000004e0: JUMPDEST 000004e1: POP 000004e2: SWAP1 000004e3: JUMP 000004e4: JUMPDEST 000004e5: PUSH1 0x01 000004e7: PUSH1 0xa0 000004e9: PUSH1 0x02 000004eb: EXP 000004ec: SUB 000004ed: CALLER 000004ee: AND 000004ef: PUSH1 0x00 000004f1: SWAP1 000004f2: DUP2 000004f3: MSTORE 000004f4: PUSH1 0x20 000004f6: DUP2 000004f7: SWAP1 000004f8: MSTORE 000004f9: PUSH1 0x40 000004fb: SWAP1 000004fc: KECCAK256 000004fd: PUSH1 0x01 000004ff: ADD 00000500: DUP1 00000501: SLOAD 00000502: DUP10 00000503: SWAP1 00000504: DUP2 00000505: LT 00000506: ISZERO 00000507: PUSH2 0x0002 0000050a: JUMPI 0000050b: POP 0000050c: DUP1 0000050d: SLOAD 0000050e: PUSH1 0x00 00000510: DUP3 00000511: DUP2 00000512: MSTORE 00000513: PUSH1 0x20 00000515: DUP2 00000516: KECCAK256 00000517: PUSH1 0x04 00000519: DUP13 0000051a: MUL 0000051b: ADD 0000051c: PUSH1 0x01 0000051e: ADD 0000051f: SLOAD 00000520: CALLER 00000521: PUSH1 0x01 00000523: PUSH1 0xa0 00000525: PUSH1 0x02 00000527: EXP 00000528: SUB 00000529: AND 0000052a: SWAP1 0000052b: SWAP2 0000052c: MSTORE 0000052d: TIMESTAMP 0000052e: SUB 0000052f: SWAP6 00000530: POP 00000531: PUSH3 0x278d00 00000535: SWAP2 00000536: PUSH1 0x64 00000538: SWAP2 00000539: DUP12 0000053a: SWAP1 0000053b: DUP2 0000053c: LT 0000053d: ISZERO 0000053e: PUSH2 0x0002 00000541: JUMPI 00000542: SWAP1 00000543: PUSH1 0x00 00000545: MSTORE 00000546: PUSH1 0x20 00000548: PUSH1 0x00 0000054a: KECCAK256 0000054b: SWAP1 0000054c: PUSH1 0x04 0000054e: MUL 0000054f: ADD 00000550: PUSH1 0x00 00000552: POP 00000553: PUSH1 0x02 00000555: ADD 00000556: SLOAD 00000557: DUP9 00000558: DUP8 00000559: MUL 0000055a: MUL 0000055b: DIV 0000055c: DIV 0000055d: SWAP3 0000055e: POP 0000055f: DUP3 00000560: DUP7 00000561: ADD 00000562: SWAP2 00000563: POP 00000564: ADDRESS 00000565: PUSH1 0x01 00000567: PUSH1 0xa0 00000569: PUSH1 0x02 0000056b: EXP 0000056c: SUB 0000056d: AND 0000056e: BALANCE 0000056f: DUP3 00000570: SWAP1 00000571: LT 00000572: PUSH2 0x0666 00000575: JUMPI 00000576: POP 00000577: PUSH1 0x40 00000579: MLOAD 0000057a: PUSH1 0x01 0000057c: SLOAD 0000057d: PUSH1 0x64 0000057f: SWAP1 00000580: DUP5 00000581: MUL 00000582: DIV 00000583: SWAP1 00000584: PUSH1 0x01 00000586: PUSH1 0xa0 00000588: PUSH1 0x02 0000058a: EXP 0000058b: SUB 0000058c: CALLER 0000058d: AND 0000058e: SWAP1 0000058f: PUSH1 0x00 00000591: SWAP1 00000592: DUP4 00000593: DUP6 00000594: SUB 00000595: SWAP1 00000596: DUP3 00000597: DUP2 00000598: DUP2 00000599: DUP2 0000059a: DUP6 0000059b: DUP9 0000059c: DUP4 0000059d: CALL 0000059e: POP 0000059f: PUSH1 0x05 000005a1: SLOAD 000005a2: PUSH1 0x01 000005a4: PUSH1 0xa0 000005a6: PUSH1 0x02 000005a8: EXP 000005a9: SUB 000005aa: AND 000005ab: SWAP4 000005ac: POP 000005ad: DUP5 000005ae: SWAP2 000005af: POP 000005b0: DUP3 000005b1: DUP2 000005b2: DUP2 000005b3: DUP2 000005b4: DUP6 000005b5: DUP9 000005b6: DUP4 000005b7: CALL 000005b8: POP 000005b9: POP 000005ba: POP 000005bb: PUSH1 0x01 000005bd: PUSH1 0xa0 000005bf: PUSH1 0x02 000005c1: EXP 000005c2: SUB 000005c3: CALLER 000005c4: AND 000005c5: DUP2 000005c6: MSTORE 000005c7: PUSH1 0x20 000005c9: DUP2 000005ca: SWAP1 000005cb: MSTORE 000005cc: PUSH1 0x40 000005ce: SWAP1 000005cf: KECCAK256 000005d0: PUSH1 0x01 000005d2: ADD 000005d3: DUP1 000005d4: SLOAD 000005d5: SWAP1 000005d6: SWAP2 000005d7: POP 000005d8: DUP10 000005d9: SWAP1 000005da: DUP2 000005db: LT 000005dc: ISZERO 000005dd: PUSH2 0x0002 000005e0: JUMPI 000005e1: SWAP1 000005e2: PUSH1 0x00 000005e4: MSTORE 000005e5: PUSH1 0x20 000005e7: PUSH1 0x00 000005e9: KECCAK256 000005ea: SWAP1 000005eb: PUSH1 0x04 000005ed: MUL 000005ee: ADD 000005ef: PUSH1 0x00 000005f1: POP 000005f2: SLOAD 000005f3: DUP8 000005f4: EQ 000005f5: ISZERO 000005f6: PUSH2 0x061a 000005f9: JUMPI 000005fa: PUSH1 0x01 000005fc: PUSH1 0xa0 000005fe: PUSH1 0x02 00000600: EXP 00000601: SUB 00000602: CALLER 00000603: AND 00000604: PUSH1 0x00 00000606: SWAP1 00000607: DUP2 00000608: MSTORE 00000609: PUSH1 0x20 0000060b: DUP2 0000060c: SWAP1 0000060d: MSTORE 0000060e: PUSH1 0x40 00000610: SWAP1 00000611: KECCAK256 00000612: DUP1 00000613: SLOAD 00000614: PUSH1 0x00 00000616: NOT 00000617: ADD 00000618: SWAP1 00000619: SSTORE 0000061a: JUMPDEST 0000061b: PUSH1 0x01 0000061d: PUSH1 0xa0 0000061f: PUSH1 0x02 00000621: EXP 00000622: SUB 00000623: CALLER 00000624: AND 00000625: PUSH1 0x00 00000627: SWAP1 00000628: DUP2 00000629: MSTORE 0000062a: PUSH1 0x20 0000062c: DUP2 0000062d: SWAP1 0000062e: MSTORE 0000062f: PUSH1 0x40 00000631: SWAP1 00000632: KECCAK256 00000633: PUSH1 0x01 00000635: ADD 00000636: DUP1 00000637: SLOAD 00000638: DUP8 00000639: SWAP2 0000063a: SWAP1 0000063b: DUP11 0000063c: SWAP1 0000063d: DUP2 0000063e: LT 0000063f: ISZERO 00000640: PUSH2 0x0002 00000643: JUMPI 00000644: SWAP1 00000645: PUSH1 0x00 00000647: MSTORE 00000648: PUSH1 0x20 0000064a: PUSH1 0x00 0000064c: KECCAK256 0000064d: SWAP1 0000064e: PUSH1 0x04 00000650: MUL 00000651: ADD 00000652: PUSH1 0x00 00000654: POP 00000655: DUP1 00000656: SLOAD 00000657: SWAP2 00000658: SWAP1 00000659: SWAP2 0000065a: SUB 0000065b: SWAP1 0000065c: SSTORE 0000065d: PUSH1 0x02 0000065f: DUP1 00000660: SLOAD 00000661: DUP4 00000662: SWAP1 00000663: SUB 00000664: SWAP1 00000665: SSTORE 00000666: JUMPDEST 00000667: POP 00000668: POP 00000669: POP 0000066a: POP 0000066b: POP 0000066c: POP 0000066d: POP 0000066e: POP 0000066f: JUMP 00000670: JUMPDEST 00000671: POP 00000672: POP 00000673: JUMPDEST 00000674: POP 00000675: POP 00000676: POP 00000677: POP 00000678: POP 00000679: POP 0000067a: POP 0000067b: POP 0000067c: POP 0000067d: POP 0000067e: JUMP 0000067f: JUMPDEST 00000680: PUSH1 0x01 00000682: PUSH1 0xa0 00000684: PUSH1 0x02 00000686: EXP 00000687: SUB 00000688: CALLER 00000689: DUP2 0000068a: AND 0000068b: PUSH1 0x00 0000068d: SWAP1 0000068e: DUP2 0000068f: MSTORE 00000690: PUSH1 0x20 00000692: DUP2 00000693: SWAP1 00000694: MSTORE 00000695: PUSH1 0x40 00000697: DUP2 00000698: KECCAK256 00000699: PUSH1 0x01 0000069b: ADD 0000069c: DUP1 0000069d: SLOAD 0000069e: SWAP1 0000069f: SWAP12 000006a0: POP 000006a1: SWAP10 000006a2: POP 000006a3: ADDRESS 000006a4: SWAP1 000006a5: SWAP2 000006a6: AND 000006a7: BALANCE 000006a8: SWAP8 000006a9: POP 000006aa: SWAP6 000006ab: POP 000006ac: JUMPDEST 000006ad: DUP8 000006ae: DUP7 000006af: LT 000006b0: ISZERO 000006b1: PUSH2 0x06e0 000006b4: JUMPI 000006b5: TIMESTAMP 000006b6: DUP10 000006b7: DUP8 000006b8: DUP2 000006b9: SLOAD 000006ba: DUP2 000006bb: LT 000006bc: ISZERO 000006bd: PUSH2 0x0002 000006c0: JUMPI 000006c1: SWAP1 000006c2: PUSH1 0x00 000006c4: MSTORE 000006c5: PUSH1 0x20 000006c7: PUSH1 0x00 000006c9: KECCAK256 000006ca: SWAP1 000006cb: PUSH1 0x04 000006cd: MUL 000006ce: ADD 000006cf: PUSH1 0x00 000006d1: POP 000006d2: PUSH1 0x03 000006d4: ADD 000006d5: SLOAD 000006d6: GT 000006d7: ISZERO 000006d8: PUSH2 0x0765 000006db: JUMPI 000006dc: PUSH2 0x0931 000006df: JUMP 000006e0: JUMPDEST 000006e1: PUSH1 0x01 000006e3: PUSH1 0xa0 000006e5: PUSH1 0x02 000006e7: EXP 000006e8: SUB 000006e9: CALLER 000006ea: AND 000006eb: PUSH1 0x00 000006ed: SWAP1 000006ee: DUP2 000006ef: MSTORE 000006f0: PUSH1 0x20 000006f2: DUP2 000006f3: DUP2 000006f4: MSTORE 000006f5: PUSH1 0x40 000006f7: DUP3 000006f8: KECCAK256 000006f9: DUP12 000006fa: SLOAD 000006fb: PUSH1 0x01 000006fd: SWAP2 000006fe: SWAP1 000006ff: SWAP2 00000700: ADD 00000701: DUP1 00000702: SLOAD 00000703: DUP3 00000704: DUP3 00000705: SSTORE 00000706: DUP2 00000707: DUP6 00000708: MSTORE 00000709: SWAP3 0000070a: SWAP1 0000070b: SWAP4 0000070c: KECCAK256 0000070d: PUSH1 0x04 0000070f: SWAP3 00000710: SWAP1 00000711: SWAP3 00000712: MUL 00000713: DUP3 00000714: ADD 00000715: SWAP2 00000716: DUP13 00000717: DUP3 00000718: ISZERO 00000719: PUSH2 0x04b1 0000071c: JUMPI 0000071d: PUSH1 0x00 0000071f: MSTORE 00000720: PUSH1 0x20 00000722: PUSH1 0x00 00000724: KECCAK256 00000725: SWAP2 00000726: PUSH1 0x04 00000728: MUL 00000729: DUP3 0000072a: ADD 0000072b: JUMPDEST 0000072c: DUP3 0000072d: DUP2 0000072e: GT 0000072f: ISZERO 00000730: PUSH2 0x04b1 00000733: JUMPI 00000734: DUP3 00000735: SLOAD 00000736: DUP3 00000737: SSTORE 00000738: PUSH1 0x01 0000073a: DUP4 0000073b: DUP2 0000073c: ADD 0000073d: SLOAD 0000073e: SWAP1 0000073f: DUP4 00000740: ADD 00000741: SSTORE 00000742: PUSH1 0x02 00000744: DUP4 00000745: DUP2 00000746: ADD 00000747: SLOAD 00000748: SWAP1 00000749: DUP4 0000074a: ADD 0000074b: SSTORE 0000074c: PUSH1 0x03 0000074e: DUP4 0000074f: DUP2 00000750: ADD 00000751: SLOAD 00000752: SWAP1 00000753: DUP4 00000754: ADD 00000755: SSTORE 00000756: PUSH1 0x04 00000758: SWAP3 00000759: DUP4 0000075a: ADD 0000075b: SWAP3 0000075c: SWAP2 0000075d: SWAP1 0000075e: SWAP2 0000075f: ADD 00000760: SWAP1 00000761: PUSH2 0x072b 00000764: JUMP 00000765: JUMPDEST 00000766: DUP9 00000767: DUP7 00000768: DUP2 00000769: SLOAD 0000076a: DUP2 0000076b: LT 0000076c: ISZERO 0000076d: PUSH2 0x0002 00000770: JUMPI 00000771: SWAP1 00000772: PUSH1 0x00 00000774: MSTORE 00000775: PUSH1 0x20 00000777: PUSH1 0x00 00000779: KECCAK256 0000077a: SWAP1 0000077b: PUSH1 0x04 0000077d: MUL 0000077e: ADD 0000077f: PUSH1 0x00 00000781: POP 00000782: DUP10 00000783: SLOAD 00000784: SWAP1 00000785: SLOAD 00000786: SWAP6 00000787: POP 00000788: DUP10 00000789: SWAP1 0000078a: DUP8 0000078b: SWAP1 0000078c: DUP2 0000078d: LT 0000078e: ISZERO 0000078f: PUSH2 0x0002 00000792: JUMPI 00000793: SWAP1 00000794: PUSH1 0x00 00000796: MSTORE 00000797: PUSH1 0x20 00000799: PUSH1 0x00 0000079b: KECCAK256 0000079c: SWAP1 0000079d: PUSH1 0x04 0000079f: MUL 000007a0: ADD 000007a1: PUSH1 0x00 000007a3: POP 000007a4: PUSH1 0x01 000007a6: ADD 000007a7: PUSH1 0x00 000007a9: POP 000007aa: SLOAD 000007ab: TIMESTAMP 000007ac: SUB 000007ad: SWAP4 000007ae: POP 000007af: PUSH3 0x278d00 000007b3: PUSH1 0x64 000007b5: DUP11 000007b6: DUP9 000007b7: DUP2 000007b8: SLOAD 000007b9: DUP2 000007ba: LT 000007bb: ISZERO 000007bc: PUSH2 0x0002 000007bf: JUMPI 000007c0: SWAP1 000007c1: PUSH1 0x00 000007c3: MSTORE 000007c4: PUSH1 0x20 000007c6: PUSH1 0x00 000007c8: KECCAK256 000007c9: SWAP1 000007ca: PUSH1 0x04 000007cc: MUL 000007cd: ADD 000007ce: PUSH1 0x00 000007d0: POP 000007d1: PUSH1 0x02 000007d3: ADD 000007d4: SLOAD 000007d5: DUP8 000007d6: DUP8 000007d7: MUL 000007d8: MUL 000007d9: DIV 000007da: DIV 000007db: SWAP3 000007dc: POP 000007dd: DUP3 000007de: DUP6 000007df: ADD 000007e0: SWAP2 000007e1: POP 000007e2: DUP2 000007e3: DUP8 000007e4: LT 000007e5: PUSH2 0x08a0 000007e8: JUMPI 000007e9: POP 000007ea: PUSH1 0x01 000007ec: SLOAD 000007ed: PUSH1 0x40 000007ef: MLOAD 000007f0: PUSH1 0x64 000007f2: SWAP2 000007f3: DUP5 000007f4: MUL 000007f5: SWAP2 000007f6: SWAP1 000007f7: SWAP2 000007f8: DIV 000007f9: SWAP1 000007fa: PUSH1 0x01 000007fc: PUSH1 0xa0 000007fe: PUSH1 0x02 00000800: EXP 00000801: SUB 00000802: CALLER 00000803: AND 00000804: SWAP1 00000805: PUSH1 0x00 00000807: SWAP1 00000808: DUP4 00000809: DUP6 0000080a: SUB 0000080b: SWAP1 0000080c: DUP3 0000080d: DUP2 0000080e: DUP2 0000080f: DUP2 00000810: DUP6 00000811: DUP9 00000812: DUP4 00000813: CALL 00000814: POP 00000815: PUSH1 0x05 00000817: SLOAD 00000818: PUSH1 0x01 0000081a: PUSH1 0xa0 0000081c: PUSH1 0x02 0000081e: EXP 0000081f: SUB 00000820: AND 00000821: SWAP4 00000822: POP 00000823: DUP5 00000824: SWAP2 00000825: POP 00000826: DUP3 00000827: DUP2 00000828: DUP2 00000829: DUP2 0000082a: DUP6 0000082b: DUP9 0000082c: DUP4 0000082d: CALL 0000082e: POP 0000082f: DUP13 00000830: SLOAD 00000831: PUSH1 0x20 00000833: DUP2 00000834: DUP2 00000835: MUL 00000836: DUP4 00000837: ADD 00000838: DUP2 00000839: ADD 0000083a: PUSH1 0x40 0000083c: MSTORE 0000083d: DUP2 0000083e: DUP4 0000083f: MSTORE 00000840: PUSH2 0x08a5 00000843: SWAP6 00000844: POP 00000845: SWAP2 00000846: SWAP4 00000847: DUP15 00000848: SWAP4 00000849: POP 0000084a: SWAP1 0000084b: SWAP2 0000084c: DUP5 0000084d: ADD 0000084e: JUMPDEST 0000084f: DUP3 00000850: DUP3 00000851: LT 00000852: ISZERO 00000853: PUSH2 0x08db 00000856: JUMPI 00000857: PUSH1 0x00 00000859: DUP5 0000085a: DUP2 0000085b: MSTORE 0000085c: PUSH1 0x40 0000085e: DUP1 0000085f: MLOAD 00000860: PUSH1 0x20 00000862: SWAP3 00000863: DUP4 00000864: SWAP1 00000865: KECCAK256 00000866: PUSH1 0x80 00000868: DUP3 00000869: ADD 0000086a: DUP4 0000086b: MSTORE 0000086c: PUSH1 0x04 0000086e: DUP7 0000086f: MUL 00000870: ADD 00000871: DUP1 00000872: SLOAD 00000873: DUP3 00000874: MSTORE 00000875: PUSH1 0x01 00000877: DUP2 00000878: DUP2 00000879: ADD 0000087a: SLOAD 0000087b: DUP4 0000087c: DUP7 0000087d: ADD 0000087e: MSTORE 0000087f: PUSH1 0x02 00000881: DUP3 00000882: ADD 00000883: SLOAD 00000884: SWAP4 00000885: DUP4 00000886: ADD 00000887: SWAP4 00000888: SWAP1 00000889: SWAP4 0000088a: MSTORE 0000088b: PUSH1 0x03 0000088d: ADD 0000088e: SLOAD 0000088f: PUSH1 0x60 00000891: DUP3 00000892: ADD 00000893: MSTORE 00000894: DUP4 00000895: MSTORE 00000896: SWAP3 00000897: SWAP1 00000898: SWAP3 00000899: ADD 0000089a: SWAP2 0000089b: ADD 0000089c: PUSH2 0x084e 0000089f: JUMP 000008a0: JUMPDEST 000008a1: PUSH2 0x0673 000008a4: JUMP 000008a5: JUMPDEST 000008a6: POP 000008a7: DUP9 000008a8: SLOAD 000008a9: PUSH1 0x00 000008ab: NOT 000008ac: DUP2 000008ad: ADD 000008ae: DUP1 000008af: DUP12 000008b0: SSTORE 000008b1: DUP11 000008b2: SWAP1 000008b3: DUP3 000008b4: DUP1 000008b5: ISZERO 000008b6: DUP3 000008b7: SWAP1 000008b8: GT 000008b9: PUSH2 0x08fe 000008bc: JUMPI 000008bd: PUSH1 0x04 000008bf: MUL 000008c0: DUP2 000008c1: PUSH1 0x04 000008c3: MUL 000008c4: DUP4 000008c5: PUSH1 0x00 000008c7: MSTORE 000008c8: PUSH1 0x20 000008ca: PUSH1 0x00 000008cc: KECCAK256 000008cd: SWAP2 000008ce: DUP3 000008cf: ADD 000008d0: SWAP2 000008d1: ADD 000008d2: PUSH2 0x08fe 000008d5: SWAP2 000008d6: SWAP1 000008d7: PUSH2 0x04b9 000008da: JUMP 000008db: JUMPDEST 000008dc: POP 000008dd: POP 000008de: POP 000008df: POP 000008e0: DUP8 000008e1: PUSH1 0x40 000008e3: DUP1 000008e4: MLOAD 000008e5: PUSH1 0x20 000008e7: DUP2 000008e8: ADD 000008e9: SWAP1 000008ea: SWAP2 000008eb: MSTORE 000008ec: PUSH1 0x00 000008ee: DUP2 000008ef: MSTORE 000008f0: DUP3 000008f1: MLOAD 000008f2: DUP3 000008f3: LT 000008f4: PUSH2 0x095f 000008f7: JUMPI 000008f8: JUMPDEST 000008f9: SWAP3 000008fa: SWAP2 000008fb: POP 000008fc: POP 000008fd: JUMP 000008fe: JUMPDEST 000008ff: POP 00000900: POP 00000901: POP 00000902: PUSH1 0x01 00000904: PUSH1 0xa0 00000906: PUSH1 0x02 00000908: EXP 00000909: SUB 0000090a: CALLER 0000090b: AND 0000090c: PUSH1 0x00 0000090e: SWAP1 0000090f: DUP2 00000910: MSTORE 00000911: PUSH1 0x20 00000913: DUP2 00000914: SWAP1 00000915: MSTORE 00000916: PUSH1 0x40 00000918: SWAP1 00000919: KECCAK256 0000091a: DUP1 0000091b: SLOAD 0000091c: PUSH1 0x00 0000091e: NOT 0000091f: ADD 00000920: SWAP1 00000921: SSTORE 00000922: POP 00000923: PUSH1 0x02 00000925: DUP1 00000926: SLOAD 00000927: DUP4 00000928: SWAP1 00000929: SUB 0000092a: SWAP1 0000092b: SSTORE 0000092c: SWAP6 0000092d: DUP2 0000092e: SWAP1 0000092f: SUB 00000930: SWAP6 00000931: JUMPDEST 00000932: PUSH1 0x01 00000934: SWAP6 00000935: SWAP1 00000936: SWAP6 00000937: ADD 00000938: SWAP5 00000939: PUSH2 0x06ac 0000093c: JUMP 0000093d: JUMPDEST 0000093e: PUSH1 0x05 00000940: DUP1 00000941: SLOAD 00000942: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000957: NOT 00000958: AND 00000959: DUP3 0000095a: OR 0000095b: SWAP1 0000095c: SSTORE 0000095d: POP 0000095e: JUMP 0000095f: JUMPDEST 00000960: JUMPDEST 00000961: PUSH1 0x01 00000963: DUP4 00000964: MLOAD 00000965: SUB 00000966: DUP3 00000967: LT 00000968: ISZERO 00000969: PUSH2 0x09a6 0000096c: JUMPI 0000096d: DUP3 0000096e: DUP3 0000096f: PUSH1 0x01 00000971: ADD 00000972: DUP2 00000973: MLOAD 00000974: DUP2 00000975: LT 00000976: ISZERO 00000977: PUSH2 0x0002 0000097a: JUMPI 0000097b: SWAP1 0000097c: PUSH1 0x20 0000097e: ADD 0000097f: SWAP1 00000980: PUSH1 0x20 00000982: MUL 00000983: ADD 00000984: MLOAD 00000985: DUP4 00000986: DUP4 00000987: DUP2 00000988: MLOAD 00000989: DUP2 0000098a: LT 0000098b: ISZERO 0000098c: PUSH2 0x0002 0000098f: JUMPI 00000990: POP 00000991: POP 00000992: PUSH1 0x20 00000994: DUP4 00000995: DUP2 00000996: MUL 00000997: DUP6 00000998: ADD 00000999: ADD 0000099a: MSTORE 0000099b: PUSH1 0x01 0000099d: SWAP2 0000099e: SWAP1 0000099f: SWAP2 000009a0: ADD 000009a1: SWAP1 000009a2: PUSH2 0x0960 000009a5: JUMP 000009a6: JUMPDEST 000009a7: DUP3 000009a8: PUSH1 0x01 000009aa: DUP5 000009ab: MLOAD 000009ac: SUB 000009ad: DUP2 000009ae: MLOAD 000009af: DUP2 000009b0: LT 000009b1: ISZERO 000009b2: PUSH2 0x0002 000009b5: JUMPI 000009b6: PUSH1 0x40 000009b8: DUP1 000009b9: MLOAD 000009ba: PUSH1 0x80 000009bc: DUP2 000009bd: ADD 000009be: DUP3 000009bf: MSTORE 000009c0: PUSH1 0x00 000009c2: DUP1 000009c3: DUP3 000009c4: MSTORE 000009c5: PUSH1 0x20 000009c7: DUP3 000009c8: DUP2 000009c9: ADD 000009ca: DUP3 000009cb: SWAP1 000009cc: MSTORE 000009cd: SWAP3 000009ce: DUP3 000009cf: ADD 000009d0: DUP2 000009d1: SWAP1 000009d2: MSTORE 000009d3: PUSH1 0x60 000009d5: DUP3 000009d6: ADD 000009d7: MSTORE 000009d8: SWAP2 000009d9: DUP2 000009da: MUL 000009db: SWAP1 000009dc: SWAP3 000009dd: ADD 000009de: SWAP1 000009df: SWAP2 000009e0: ADD 000009e1: MSTORE 000009e2: POP 000009e3: DUP2 000009e4: PUSH2 0x08f8 000009e7: 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 | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0x439888a2bda9c1a88b393c569442cea8d2e7918e791f6a224a64a1cd40a828a9
call_targets:
0x350e114cf73ebe9d7345b9a9a52cb0d8fa4bcf17
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x439888a2bda9c1a88b393c569442cea8d2e7918e791f6a224a64a1cd40a828a9",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x350e114cf73ebe9d7345b9a9a52cb0d8fa4bcf17"
],
"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": "0x0181fbc2",
"selector": "0x0181fbc2",
"calldata_variants": [
"0x0181fbc2",
"0x0181fbc20000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x01e210b7",
"selector": "0x01e210b7",
"calldata_variants": [
"0x01e210b7",
"0x01e210b70000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x09e69ede",
"selector": "0x09e69ede",
"calldata_variants": [
"0x09e69ede",
"0x09e69ede0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x167d3e9c",
"selector": "0x167d3e9c",
"calldata_variants": [
"0x167d3e9c",
"0x167d3e9c0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3c128873",
"selector": "0x3c128873",
"calldata_variants": [
"0x3c128873",
"0x3c1288730000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x4c1a4115",
"selector": "0x4c1a4115",
"calldata_variants": [
"0x4c1a4115",
"0x4c1a41150000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x5a9f6b0b",
"selector": "0x5a9f6b0b",
"calldata_variants": [
"0x5a9f6b0b",
"0x5a9f6b0b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x72a67b32",
"selector": "0x72a67b32",
"calldata_variants": [
"0x72a67b32",
"0x72a67b320000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 823,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 921,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1437,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 6,
"guards_detected": [],
"untrusted_call_count": 6
}
|
| high | other | detector | ETH value transfer possible | 55 | no | no |
viewtrace_id: 0x439888a2bda9c1a88b393c569442cea8d2e7918e791f6a224a64a1cd40a828a9
call_targets:
0x350e114cf73ebe9d7345b9a9a52cb0d8fa4bcf17
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x439888a2bda9c1a88b393c569442cea8d2e7918e791f6a224a64a1cd40a828a9",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x350e114cf73ebe9d7345b9a9a52cb0d8fa4bcf17"
],
"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": "0x0181fbc2",
"selector": "0x0181fbc2",
"calldata_variants": [
"0x0181fbc2",
"0x0181fbc20000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x01e210b7",
"selector": "0x01e210b7",
"calldata_variants": [
"0x01e210b7",
"0x01e210b70000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x09e69ede",
"selector": "0x09e69ede",
"calldata_variants": [
"0x09e69ede",
"0x09e69ede0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x167d3e9c",
"selector": "0x167d3e9c",
"calldata_variants": [
"0x167d3e9c",
"0x167d3e9c0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3c128873",
"selector": "0x3c128873",
"calldata_variants": [
"0x3c128873",
"0x3c1288730000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x4c1a4115",
"selector": "0x4c1a4115",
"calldata_variants": [
"0x4c1a4115",
"0x4c1a41150000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x5a9f6b0b",
"selector": "0x5a9f6b0b",
"calldata_variants": [
"0x5a9f6b0b",
"0x5a9f6b0b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x72a67b32",
"selector": "0x72a67b32",
"calldata_variants": [
"0x72a67b32",
"0x72a67b320000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 823,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 921,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1437,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 6,
"guards_detected": []
}
|