019b3836-402a-723d-9d3e-d69776a61619
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 |
|---|---|---|---|---|
| 5171 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 5172 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 97902 | analysis.bundle | complete | 1 / 3 | 1 week ago |
| 97903 | capability.graph | complete | 1 / 3 | 1 week ago |
| 97904 | detector.run | complete | 1 / 3 | 1 week ago |
| 97905 | validation.fork | complete | 1 / 3 | 1 week 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 0x0106 0000000a: JUMPI 0000000b: PUSH1 0xe0 0000000d: PUSH1 0x02 0000000f: EXP 00000010: PUSH1 0x00 00000012: CALLDATALOAD 00000013: DIV 00000014: PUSH4 0x11613fc9 00000019: DUP2 0000001a: EQ 0000001b: PUSH2 0x0111 0000001e: JUMPI 0000001f: DUP1 00000020: PUSH4 0x146ca531 00000025: EQ 00000026: PUSH2 0x011a 00000029: JUMPI 0000002a: DUP1 0000002b: PUSH4 0x1fdf6e0c 00000030: EQ 00000031: PUSH2 0x0130 00000034: JUMPI 00000035: DUP1 00000036: PUSH4 0x314e99a2 0000003b: EQ 0000003c: PUSH2 0x016b 0000003f: JUMPI 00000040: DUP1 00000041: PUSH4 0x5841b9bf 00000046: EQ 00000047: PUSH2 0x0244 0000004a: JUMPI 0000004b: DUP1 0000004c: PUSH4 0x816f3f4d 00000051: EQ 00000052: PUSH2 0x024d 00000055: JUMPI 00000056: DUP1 00000057: PUSH4 0x9935b968 0000005c: EQ 0000005d: PUSH2 0x0266 00000060: JUMPI 00000061: DUP1 00000062: PUSH4 0xa2e7241c 00000067: EQ 00000068: PUSH2 0x026f 0000006b: JUMPI 0000006c: DUP1 0000006d: PUSH4 0xb117a3e8 00000072: EQ 00000073: PUSH2 0x02b5 00000076: JUMPI 00000077: DUP1 00000078: PUSH4 0xb7d5d4c0 0000007d: EQ 0000007e: PUSH2 0x02be 00000081: JUMPI 00000082: DUP1 00000083: PUSH4 0xbd6bbc31 00000088: EQ 00000089: PUSH2 0x02c7 0000008c: JUMPI 0000008d: DUP1 0000008e: PUSH4 0xbd7b09e4 00000093: EQ 00000094: PUSH2 0x02d0 00000097: JUMPI 00000098: DUP1 00000099: PUSH4 0xccf1ab9b 0000009e: EQ 0000009f: PUSH2 0x02df 000000a2: JUMPI 000000a3: DUP1 000000a4: PUSH4 0xd466a03f 000000a9: EQ 000000aa: PUSH2 0x030d 000000ad: JUMPI 000000ae: DUP1 000000af: PUSH4 0xd4d5d32a 000000b4: EQ 000000b5: PUSH2 0x0338 000000b8: JUMPI 000000b9: DUP1 000000ba: PUSH4 0xd94395e2 000000bf: EQ 000000c0: PUSH2 0x037a 000000c3: JUMPI 000000c4: DUP1 000000c5: PUSH4 0xd954cbcb 000000ca: EQ 000000cb: PUSH2 0x0391 000000ce: JUMPI 000000cf: DUP1 000000d0: PUSH4 0xe2202a4d 000000d5: EQ 000000d6: PUSH2 0x039a 000000d9: JUMPI 000000da: DUP1 000000db: PUSH4 0xe684aa5c 000000e0: EQ 000000e1: PUSH2 0x03ac 000000e4: JUMPI 000000e5: DUP1 000000e6: PUSH4 0xf113fccd 000000eb: EQ 000000ec: PUSH2 0x03b5 000000ef: JUMPI 000000f0: DUP1 000000f1: PUSH4 0xf64c08b1 000000f6: EQ 000000f7: PUSH2 0x03c7 000000fa: JUMPI 000000fb: DUP1 000000fc: PUSH4 0xfbeaebc6 00000101: EQ 00000102: PUSH2 0x03d0 00000105: JUMPI 00000106: JUMPDEST 00000107: PUSH2 0x046c 0000010a: PUSH2 0x0477 0000010d: PUSH2 0x0134 00000110: JUMP 00000111: JUMPDEST 00000112: PUSH2 0x047b 00000115: PUSH1 0x06 00000117: SLOAD 00000118: DUP2 00000119: JUMP 0000011a: JUMPDEST 0000011b: PUSH2 0x048d 0000011e: PUSH1 0x0b 00000120: SLOAD 00000121: PUSH1 0xe0 00000123: PUSH1 0x02 00000125: EXP 00000126: SWAP1 00000127: DIV 00000128: PUSH4 0xffffffff 0000012d: AND 0000012e: DUP2 0000012f: JUMP 00000130: JUMPDEST 00000131: PUSH2 0x047b 00000134: JUMPDEST 00000135: PUSH1 0x00 00000137: CALLVALUE 00000138: PUSH7 0x2386f26fc10000 00000140: DUP2 00000141: LT 00000142: ISZERO 00000143: PUSH2 0x04c4 00000146: JUMPI 00000147: PUSH1 0x40 00000149: MLOAD 0000014a: PUSH1 0x01 0000014c: PUSH1 0xa0 0000014e: PUSH1 0x02 00000150: EXP 00000151: SUB 00000152: CALLER 00000153: AND 00000154: SWAP1 00000155: DUP4 00000156: SWAP1 00000157: DUP4 00000158: SWAP1 00000159: DUP3 0000015a: DUP2 0000015b: DUP2 0000015c: DUP2 0000015d: DUP6 0000015e: DUP9 0000015f: DUP4 00000160: CALL 00000161: POP 00000162: PUSH2 0x0913 00000165: SWAP4 00000166: POP 00000167: POP 00000168: POP 00000169: POP 0000016a: JUMP 0000016b: JUMPDEST 0000016c: PUSH2 0x046c 0000016f: PUSH1 0x0b 00000171: SLOAD 00000172: PUSH1 0x40 00000174: PUSH1 0x02 00000176: EXP 00000177: SWAP1 00000178: DIV 00000179: PUSH1 0x01 0000017b: PUSH1 0xa0 0000017d: PUSH1 0x02 0000017f: EXP 00000180: SUB 00000181: SWAP1 00000182: DUP2 00000183: AND 00000184: CALLER 00000185: SWAP2 00000186: SWAP1 00000187: SWAP2 00000188: AND 00000189: EQ 0000018a: DUP1 0000018b: ISZERO 0000018c: PUSH2 0x01a5 0000018f: JUMPI 00000190: POP 00000191: PUSH1 0x00 00000193: SLOAD 00000194: PUSH1 0x01 00000196: PUSH1 0xa0 00000198: PUSH1 0x02 0000019a: EXP 0000019b: SUB 0000019c: SWAP1 0000019d: DUP2 0000019e: AND 0000019f: CALLER 000001a0: SWAP1 000001a1: SWAP2 000001a2: AND 000001a3: EQ 000001a4: ISZERO 000001a5: JUMPDEST 000001a6: ISZERO 000001a7: PUSH2 0x0479 000001aa: JUMPI 000001ab: PUSH1 0x0b 000001ad: SLOAD 000001ae: PUSH1 0x08 000001b0: SLOAD 000001b1: PUSH1 0x40 000001b3: MLOAD 000001b4: PUSH1 0x40 000001b6: PUSH1 0x02 000001b8: EXP 000001b9: SWAP1 000001ba: SWAP3 000001bb: DIV 000001bc: PUSH1 0x01 000001be: PUSH1 0xa0 000001c0: PUSH1 0x02 000001c2: EXP 000001c3: SUB 000001c4: AND 000001c5: SWAP2 000001c6: PUSH1 0x00 000001c8: SWAP2 000001c9: SWAP1 000001ca: DUP3 000001cb: DUP2 000001cc: DUP2 000001cd: DUP2 000001ce: DUP6 000001cf: DUP9 000001d0: DUP4 000001d1: CALL 000001d2: SWAP4 000001d3: POP 000001d4: POP 000001d5: POP 000001d6: POP 000001d7: POP 000001d8: PUSH1 0x64 000001da: PUSH1 0x04 000001dc: PUSH1 0x00 000001de: POP 000001df: SLOAD 000001e0: PUSH1 0x28 000001e2: MUL 000001e3: DIV 000001e4: PUSH1 0x05 000001e6: PUSH1 0x00 000001e8: POP 000001e9: SLOAD 000001ea: GT 000001eb: ISZERO 000001ec: PUSH2 0x0c04 000001ef: JUMPI 000001f0: PUSH1 0x04 000001f2: SLOAD 000001f3: PUSH1 0x0b 000001f5: SLOAD 000001f6: PUSH1 0x40 000001f8: MLOAD 000001f9: PUSH1 0x40 000001fb: PUSH1 0x02 000001fd: EXP 000001fe: SWAP1 000001ff: SWAP2 00000200: DIV 00000201: PUSH1 0x01 00000203: PUSH1 0xa0 00000205: PUSH1 0x02 00000207: EXP 00000208: SUB 00000209: AND 0000020a: SWAP2 0000020b: PUSH1 0x00 0000020d: SWAP2 0000020e: PUSH1 0x64 00000210: PUSH1 0x28 00000212: SWAP1 00000213: SWAP3 00000214: MUL 00000215: SWAP2 00000216: SWAP1 00000217: SWAP2 00000218: DIV 00000219: SWAP1 0000021a: DUP3 0000021b: DUP2 0000021c: DUP2 0000021d: DUP2 0000021e: DUP6 0000021f: DUP9 00000220: DUP4 00000221: CALL 00000222: POP 00000223: POP 00000224: PUSH1 0x04 00000226: SLOAD 00000227: PUSH1 0x05 00000229: DUP1 0000022a: SLOAD 0000022b: PUSH1 0x64 0000022d: PUSH1 0x28 0000022f: SWAP4 00000230: SWAP1 00000231: SWAP4 00000232: MUL 00000233: SWAP3 00000234: SWAP1 00000235: SWAP3 00000236: DIV 00000237: SWAP1 00000238: SWAP2 00000239: SUB 0000023a: SWAP1 0000023b: SSTORE 0000023c: POP 0000023d: PUSH2 0x0c32 00000240: SWAP2 00000241: POP 00000242: POP 00000243: JUMP 00000244: JUMPDEST 00000245: PUSH2 0x047b 00000248: PUSH1 0x04 0000024a: SLOAD 0000024b: DUP2 0000024c: JUMP 0000024d: JUMPDEST 0000024e: PUSH2 0x04a7 00000251: PUSH1 0x0b 00000253: SLOAD 00000254: PUSH1 0x40 00000256: PUSH1 0x02 00000258: EXP 00000259: SWAP1 0000025a: DIV 0000025b: PUSH1 0x01 0000025d: PUSH1 0xa0 0000025f: PUSH1 0x02 00000261: EXP 00000262: SUB 00000263: AND 00000264: DUP2 00000265: JUMP 00000266: JUMPDEST 00000267: PUSH2 0x047b 0000026a: PUSH1 0x07 0000026c: SLOAD 0000026d: DUP2 0000026e: JUMP 0000026f: JUMPDEST 00000270: PUSH2 0x04a7 00000273: PUSH1 0x04 00000275: CALLDATALOAD 00000276: PUSH1 0x09 00000278: DUP1 00000279: SLOAD 0000027a: DUP3 0000027b: SWAP1 0000027c: DUP2 0000027d: LT 0000027e: ISZERO 0000027f: PUSH2 0x0002 00000282: JUMPI 00000283: POP 00000284: PUSH1 0x00 00000286: MSTORE 00000287: PUSH32 0x6e1540171b6c0c960b71a7020d9f60077f6af931a8bbf590da0223dacf75c7af 000002a8: ADD 000002a9: SLOAD 000002aa: PUSH1 0x01 000002ac: PUSH1 0xa0 000002ae: PUSH1 0x02 000002b0: EXP 000002b1: SUB 000002b2: AND 000002b3: DUP2 000002b4: JUMP 000002b5: JUMPDEST 000002b6: PUSH2 0x047b 000002b9: PUSH1 0x08 000002bb: SLOAD 000002bc: DUP2 000002bd: JUMP 000002be: JUMPDEST 000002bf: PUSH2 0x047b 000002c2: PUSH1 0x05 000002c4: SLOAD 000002c5: DUP2 000002c6: JUMP 000002c7: JUMPDEST 000002c8: PUSH2 0x047b 000002cb: PUSH1 0x02 000002cd: SLOAD 000002ce: DUP2 000002cf: JUMP 000002d0: JUMPDEST 000002d1: PUSH2 0x048d 000002d4: PUSH1 0x0b 000002d6: SLOAD 000002d7: PUSH4 0xffffffff 000002dc: AND 000002dd: DUP2 000002de: JUMP 000002df: JUMPDEST 000002e0: PUSH2 0x046c 000002e3: PUSH1 0x0b 000002e5: SLOAD 000002e6: CALLVALUE 000002e7: SWAP1 000002e8: PUSH1 0x40 000002ea: PUSH1 0x02 000002ec: EXP 000002ed: SWAP1 000002ee: DIV 000002ef: PUSH1 0x01 000002f1: PUSH1 0xa0 000002f3: PUSH1 0x02 000002f5: EXP 000002f6: SUB 000002f7: SWAP1 000002f8: DUP2 000002f9: AND 000002fa: CALLER 000002fb: SWAP2 000002fc: SWAP1 000002fd: SWAP2 000002fe: AND 000002ff: EQ 00000300: ISZERO 00000301: PUSH2 0x0c7f 00000304: JUMPI 00000305: PUSH2 0x046e 00000308: DUP2 00000309: PUSH2 0x094e 0000030c: JUMP 0000030d: JUMPDEST 0000030e: PUSH2 0x047b 00000311: PUSH1 0x04 00000313: CALLDATALOAD 00000314: PUSH1 0x0a 00000316: DUP1 00000317: SLOAD 00000318: DUP3 00000319: SWAP1 0000031a: DUP2 0000031b: LT 0000031c: ISZERO 0000031d: PUSH2 0x0002 00000320: JUMPI 00000321: POP 00000322: PUSH1 0x00 00000324: MSTORE 00000325: PUSH1 0x00 00000327: DUP1 00000328: MLOAD 00000329: PUSH1 0x20 0000032b: PUSH2 0x0d61 0000032e: DUP4 0000032f: CODECOPY 00000330: DUP2 00000331: MLOAD 00000332: SWAP2 00000333: MSTORE 00000334: ADD 00000335: SLOAD 00000336: DUP2 00000337: JUMP 00000338: JUMPDEST 00000339: PUSH2 0x046c 0000033c: PUSH1 0x00 0000033e: SLOAD 0000033f: PUSH1 0x01 00000341: PUSH1 0xa0 00000343: PUSH1 0x02 00000345: EXP 00000346: SUB 00000347: SWAP1 00000348: DUP2 00000349: AND 0000034a: CALLER 0000034b: SWAP2 0000034c: SWAP1 0000034d: SWAP2 0000034e: AND 0000034f: EQ 00000350: ISZERO 00000351: PUSH2 0x0479 00000354: JUMPI 00000355: PUSH1 0x40 00000357: MLOAD 00000358: PUSH1 0x00 0000035a: DUP1 0000035b: SLOAD 0000035c: PUSH1 0x06 0000035e: SLOAD 0000035f: PUSH1 0x01 00000361: PUSH1 0xa0 00000363: PUSH1 0x02 00000365: EXP 00000366: SUB 00000367: SWAP2 00000368: SWAP1 00000369: SWAP2 0000036a: AND 0000036b: SWAP3 0000036c: DUP3 0000036d: DUP2 0000036e: DUP2 0000036f: DUP2 00000370: DUP6 00000371: DUP9 00000372: DUP4 00000373: CALL 00000374: POP 00000375: POP 00000376: POP 00000377: POP 00000378: POP 00000379: JUMP 0000037a: JUMPDEST 0000037b: PUSH2 0x048d 0000037e: PUSH1 0x0b 00000380: SLOAD 00000381: PUSH5 0x0100000000 00000387: SWAP1 00000388: DIV 00000389: PUSH4 0xffffffff 0000038e: AND 0000038f: DUP2 00000390: JUMP 00000391: JUMPDEST 00000392: PUSH2 0x047b 00000395: PUSH1 0x0d 00000397: SLOAD 00000398: DUP2 00000399: JUMP 0000039a: JUMPDEST 0000039b: PUSH2 0x04a7 0000039e: PUSH1 0x01 000003a0: SLOAD 000003a1: PUSH1 0x01 000003a3: PUSH1 0xa0 000003a5: PUSH1 0x02 000003a7: EXP 000003a8: SUB 000003a9: AND 000003aa: DUP2 000003ab: JUMP 000003ac: JUMPDEST 000003ad: PUSH2 0x047b 000003b0: PUSH1 0x0c 000003b2: SLOAD 000003b3: DUP2 000003b4: JUMP 000003b5: JUMPDEST 000003b6: PUSH2 0x04a7 000003b9: PUSH1 0x00 000003bb: SLOAD 000003bc: PUSH1 0x01 000003be: PUSH1 0xa0 000003c0: PUSH1 0x02 000003c2: EXP 000003c3: SUB 000003c4: AND 000003c5: DUP2 000003c6: JUMP 000003c7: JUMPDEST 000003c8: PUSH2 0x047b 000003cb: PUSH1 0x03 000003cd: SLOAD 000003ce: DUP2 000003cf: JUMP 000003d0: JUMPDEST 000003d1: PUSH2 0x046c 000003d4: PUSH8 0x016345785d8a0000 000003dd: CALLVALUE 000003de: DUP2 000003df: SWAP1 000003e0: LT 000003e1: DUP1 000003e2: ISZERO 000003e3: SWAP1 000003e4: PUSH2 0x03fd 000003e7: JUMPI 000003e8: POP 000003e9: PUSH1 0x01 000003eb: SLOAD 000003ec: PUSH1 0x01 000003ee: PUSH1 0xa0 000003f0: PUSH1 0x02 000003f2: EXP 000003f3: SUB 000003f4: SWAP1 000003f5: DUP2 000003f6: AND 000003f7: CALLER 000003f8: SWAP1 000003f9: SWAP2 000003fa: AND 000003fb: EQ 000003fc: ISZERO 000003fd: JUMPDEST 000003fe: ISZERO 000003ff: PUSH2 0x0c7a 00000402: JUMPI 00000403: PUSH1 0x07 00000405: SLOAD 00000406: PUSH1 0x01 00000408: SLOAD 00000409: PUSH1 0x40 0000040b: MLOAD 0000040c: PUSH1 0x01 0000040e: PUSH1 0xa0 00000410: PUSH1 0x02 00000412: EXP 00000413: SUB 00000414: SWAP2 00000415: SWAP1 00000416: SWAP2 00000417: AND 00000418: SWAP2 00000419: PUSH1 0x00 0000041b: SWAP2 0000041c: DUP3 0000041d: DUP2 0000041e: DUP2 0000041f: DUP2 00000420: DUP6 00000421: DUP9 00000422: DUP4 00000423: CALL 00000424: POP 00000425: POP 00000426: POP 00000427: PUSH1 0x07 00000429: DUP2 0000042a: SWAP1 0000042b: SSTORE 0000042c: PUSH1 0x01 0000042e: DUP1 0000042f: SLOAD 00000430: PUSH1 0x01 00000432: PUSH1 0xa0 00000434: PUSH1 0x02 00000436: EXP 00000437: SUB 00000438: NOT 00000439: AND 0000043a: CALLER 0000043b: SWAP1 0000043c: DUP2 0000043d: OR 0000043e: SWAP1 0000043f: SWAP2 00000440: SSTORE 00000441: PUSH1 0x40 00000443: MLOAD 00000444: PUSH1 0x01 00000446: PUSH1 0xa0 00000448: PUSH1 0x02 0000044a: EXP 0000044b: SUB 0000044c: SWAP1 0000044d: SWAP2 0000044e: AND 0000044f: SWAP3 00000450: POP 00000451: CALLVALUE 00000452: DUP5 00000453: SWAP1 00000454: SUB 00000455: SWAP1 00000456: DUP3 00000457: DUP2 00000458: DUP2 00000459: DUP2 0000045a: DUP6 0000045b: DUP9 0000045c: DUP4 0000045d: CALL 0000045e: SWAP4 0000045f: POP 00000460: POP 00000461: POP 00000462: POP 00000463: POP 00000464: PUSH2 0x0477 00000467: DUP2 00000468: PUSH2 0x094e 0000046b: JUMP 0000046c: JUMPDEST 0000046d: STOP 0000046e: JUMPDEST 0000046f: PUSH1 0x04 00000471: DUP1 00000472: SLOAD 00000473: DUP3 00000474: ADD 00000475: SWAP1 00000476: SSTORE 00000477: JUMPDEST 00000478: POP 00000479: JUMPDEST 0000047a: JUMP 0000047b: JUMPDEST 0000047c: PUSH1 0x40 0000047e: DUP1 0000047f: MLOAD 00000480: SWAP2 00000481: DUP3 00000482: MSTORE 00000483: MLOAD 00000484: SWAP1 00000485: DUP2 00000486: SWAP1 00000487: SUB 00000488: PUSH1 0x20 0000048a: ADD 0000048b: SWAP1 0000048c: RETURN 0000048d: JUMPDEST 0000048e: PUSH1 0x40 00000490: DUP1 00000491: MLOAD 00000492: PUSH4 0xffffffff 00000497: SWAP3 00000498: SWAP1 00000499: SWAP3 0000049a: AND 0000049b: DUP3 0000049c: MSTORE 0000049d: MLOAD 0000049e: SWAP1 0000049f: DUP2 000004a0: SWAP1 000004a1: SUB 000004a2: PUSH1 0x20 000004a4: ADD 000004a5: SWAP1 000004a6: RETURN 000004a7: JUMPDEST 000004a8: PUSH1 0x40 000004aa: DUP1 000004ab: MLOAD 000004ac: PUSH1 0x01 000004ae: PUSH1 0xa0 000004b0: PUSH1 0x02 000004b2: EXP 000004b3: SUB 000004b4: SWAP3 000004b5: SWAP1 000004b6: SWAP3 000004b7: AND 000004b8: DUP3 000004b9: MSTORE 000004ba: MLOAD 000004bb: SWAP1 000004bc: DUP2 000004bd: SWAP1 000004be: SUB 000004bf: PUSH1 0x20 000004c1: ADD 000004c2: SWAP1 000004c3: RETURN 000004c4: JUMPDEST 000004c5: PUSH9 0x056bc75e2d63100000 000004cf: DUP2 000004d0: GT 000004d1: ISZERO 000004d2: PUSH2 0x050e 000004d5: JUMPI 000004d6: PUSH1 0x40 000004d8: MLOAD 000004d9: PUSH1 0x01 000004db: PUSH1 0xa0 000004dd: PUSH1 0x02 000004df: EXP 000004e0: SUB 000004e1: CALLER 000004e2: AND 000004e3: SWAP1 000004e4: PUSH1 0x00 000004e6: SWAP1 000004e7: PUSH9 0x056bc75e2d630fffff 000004f1: NOT 000004f2: CALLVALUE 000004f3: ADD 000004f4: SWAP1 000004f5: DUP3 000004f6: DUP2 000004f7: DUP2 000004f8: DUP2 000004f9: DUP6 000004fa: DUP9 000004fb: DUP4 000004fc: CALL 000004fd: POP 000004fe: PUSH9 0x056bc75e2d63100000 00000508: SWAP5 00000509: POP 0000050a: POP 0000050b: POP 0000050c: POP 0000050d: POP 0000050e: JUMPDEST 0000050f: TIMESTAMP 00000510: PUSH3 0x015180 00000514: PUSH1 0x02 00000516: PUSH1 0x00 00000518: POP 00000519: SLOAD 0000051a: ADD 0000051b: LT 0000051c: ISZERO 0000051d: PUSH2 0x059f 00000520: JUMPI 00000521: PUSH1 0x0b 00000523: SLOAD 00000524: PUSH4 0xffffffff 00000529: AND 0000052a: PUSH1 0x01 0000052c: EQ 0000052d: ISZERO 0000052e: PUSH2 0x05cf 00000531: JUMPI 00000532: PUSH1 0x09 00000534: DUP1 00000535: SLOAD 00000536: PUSH1 0x00 00000538: NOT 00000539: DUP2 0000053a: ADD 0000053b: SWAP1 0000053c: DUP2 0000053d: LT 0000053e: ISZERO 0000053f: PUSH2 0x0002 00000542: JUMPI 00000543: POP 00000544: DUP1 00000545: SLOAD 00000546: PUSH1 0x00 00000548: SWAP2 00000549: DUP3 0000054a: MSTORE 0000054b: PUSH1 0x05 0000054d: SLOAD 0000054e: PUSH1 0x40 00000550: MLOAD 00000551: PUSH32 0x6e1540171b6c0c960b71a7020d9f60077f6af931a8bbf590da0223dacf75c7ae 00000572: SWAP1 00000573: SWAP3 00000574: ADD 00000575: SLOAD 00000576: PUSH1 0x01 00000578: PUSH1 0xa0 0000057a: PUSH1 0x02 0000057c: EXP 0000057d: SUB 0000057e: AND 0000057f: SWAP3 00000580: SWAP2 00000581: PUSH1 0x64 00000583: PUSH1 0x5f 00000585: SWAP1 00000586: SWAP3 00000587: MUL 00000588: SWAP2 00000589: SWAP1 0000058a: SWAP2 0000058b: DIV 0000058c: SWAP1 0000058d: DUP3 0000058e: DUP2 0000058f: DUP2 00000590: DUP2 00000591: DUP6 00000592: DUP9 00000593: DUP4 00000594: CALL 00000595: SWAP4 00000596: POP 00000597: POP 00000598: POP 00000599: POP 0000059a: POP 0000059b: PUSH2 0x080e 0000059e: JUMP 0000059f: JUMPDEST 000005a0: PUSH1 0x09 000005a2: DUP1 000005a3: SLOAD 000005a4: PUSH1 0x01 000005a6: DUP2 000005a7: ADD 000005a8: DUP1 000005a9: DUP4 000005aa: SSTORE 000005ab: DUP3 000005ac: DUP2 000005ad: DUP4 000005ae: DUP1 000005af: ISZERO 000005b0: DUP3 000005b1: SWAP1 000005b2: GT 000005b3: PUSH2 0x09fd 000005b6: JUMPI 000005b7: DUP2 000005b8: DUP4 000005b9: PUSH1 0x00 000005bb: MSTORE 000005bc: PUSH1 0x20 000005be: PUSH1 0x00 000005c0: KECCAK256 000005c1: SWAP2 000005c2: DUP3 000005c3: ADD 000005c4: SWAP2 000005c5: ADD 000005c6: PUSH2 0x09fd 000005c9: SWAP2 000005ca: SWAP1 000005cb: PUSH2 0x0868 000005ce: JUMP 000005cf: JUMPDEST 000005d0: PUSH1 0x0b 000005d2: SLOAD 000005d3: PUSH4 0xffffffff 000005d8: AND 000005d9: PUSH1 0x02 000005db: EQ 000005dc: ISZERO 000005dd: PUSH2 0x06ba 000005e0: JUMPI 000005e1: PUSH1 0x09 000005e3: DUP1 000005e4: SLOAD 000005e5: PUSH1 0x00 000005e7: NOT 000005e8: DUP2 000005e9: ADD 000005ea: SWAP1 000005eb: DUP2 000005ec: LT 000005ed: ISZERO 000005ee: PUSH2 0x0002 000005f1: JUMPI 000005f2: POP 000005f3: DUP1 000005f4: SLOAD 000005f5: PUSH1 0x00 000005f7: SWAP2 000005f8: DUP3 000005f9: MSTORE 000005fa: PUSH1 0x05 000005fc: SLOAD 000005fd: PUSH1 0x40 000005ff: MLOAD 00000600: PUSH32 0x6e1540171b6c0c960b71a7020d9f60077f6af931a8bbf590da0223dacf75c7ae 00000621: SWAP3 00000622: SWAP1 00000623: SWAP3 00000624: ADD 00000625: SLOAD 00000626: PUSH1 0x01 00000628: PUSH1 0xa0 0000062a: PUSH1 0x02 0000062c: EXP 0000062d: SUB 0000062e: AND 0000062f: SWAP3 00000630: SWAP2 00000631: PUSH1 0x64 00000633: PUSH1 0x3c 00000635: SWAP1 00000636: SWAP3 00000637: MUL 00000638: SWAP2 00000639: SWAP1 0000063a: SWAP2 0000063b: DIV 0000063c: SWAP1 0000063d: DUP3 0000063e: DUP2 0000063f: DUP2 00000640: DUP2 00000641: DUP6 00000642: DUP9 00000643: DUP4 00000644: CALL 00000645: POP 00000646: POP 00000647: PUSH1 0x09 00000649: DUP1 0000064a: SLOAD 0000064b: SWAP1 0000064c: SWAP4 0000064d: POP 0000064e: PUSH1 0x01 00000650: NOT 00000651: DUP2 00000652: ADD 00000653: SWAP3 00000654: POP 00000655: DUP3 00000656: LT 00000657: ISZERO 00000658: SWAP1 00000659: POP 0000065a: PUSH2 0x0002 0000065d: JUMPI 0000065e: POP 0000065f: DUP1 00000660: SLOAD 00000661: PUSH1 0x00 00000663: SWAP2 00000664: DUP3 00000665: MSTORE 00000666: PUSH1 0x05 00000668: SLOAD 00000669: PUSH1 0x40 0000066b: MLOAD 0000066c: PUSH32 0x6e1540171b6c0c960b71a7020d9f60077f6af931a8bbf590da0223dacf75c7ad 0000068d: SWAP1 0000068e: SWAP3 0000068f: ADD 00000690: SLOAD 00000691: PUSH1 0x01 00000693: PUSH1 0xa0 00000695: PUSH1 0x02 00000697: EXP 00000698: SUB 00000699: AND 0000069a: SWAP3 0000069b: SWAP2 0000069c: PUSH1 0x64 0000069e: PUSH1 0x23 000006a0: SWAP1 000006a1: SWAP3 000006a2: MUL 000006a3: SWAP2 000006a4: SWAP1 000006a5: SWAP2 000006a6: DIV 000006a7: SWAP1 000006a8: DUP3 000006a9: DUP2 000006aa: DUP2 000006ab: DUP2 000006ac: DUP6 000006ad: DUP9 000006ae: DUP4 000006af: CALL 000006b0: SWAP4 000006b1: POP 000006b2: POP 000006b3: POP 000006b4: POP 000006b5: POP 000006b6: PUSH2 0x080e 000006b9: JUMP 000006ba: JUMPDEST 000006bb: PUSH1 0x0b 000006bd: SLOAD 000006be: PUSH1 0x03 000006c0: PUSH4 0xffffffff 000006c5: SWAP2 000006c6: SWAP1 000006c7: SWAP2 000006c8: AND 000006c9: LT 000006ca: PUSH2 0x080e 000006cd: JUMPI 000006ce: PUSH1 0x09 000006d0: DUP1 000006d1: SLOAD 000006d2: PUSH1 0x00 000006d4: NOT 000006d5: DUP2 000006d6: ADD 000006d7: SWAP1 000006d8: DUP2 000006d9: LT 000006da: ISZERO 000006db: PUSH2 0x0002 000006de: JUMPI 000006df: POP 000006e0: DUP1 000006e1: SLOAD 000006e2: PUSH1 0x00 000006e4: SWAP2 000006e5: DUP3 000006e6: MSTORE 000006e7: PUSH1 0x05 000006e9: SLOAD 000006ea: PUSH1 0x40 000006ec: MLOAD 000006ed: PUSH32 0x6e1540171b6c0c960b71a7020d9f60077f6af931a8bbf590da0223dacf75c7ae 0000070e: SWAP3 0000070f: SWAP1 00000710: SWAP3 00000711: ADD 00000712: SLOAD 00000713: PUSH1 0x01 00000715: PUSH1 0xa0 00000717: PUSH1 0x02 00000719: EXP 0000071a: SUB 0000071b: AND 0000071c: SWAP3 0000071d: SWAP2 0000071e: PUSH1 0x64 00000720: PUSH1 0x32 00000722: SWAP1 00000723: SWAP3 00000724: MUL 00000725: SWAP2 00000726: SWAP1 00000727: SWAP2 00000728: DIV 00000729: SWAP1 0000072a: DUP3 0000072b: DUP2 0000072c: DUP2 0000072d: DUP2 0000072e: DUP6 0000072f: DUP9 00000730: DUP4 00000731: CALL 00000732: POP 00000733: POP 00000734: PUSH1 0x09 00000736: DUP1 00000737: SLOAD 00000738: SWAP1 00000739: SWAP4 0000073a: POP 0000073b: PUSH1 0x01 0000073d: NOT 0000073e: DUP2 0000073f: ADD 00000740: SWAP3 00000741: POP 00000742: DUP3 00000743: LT 00000744: ISZERO 00000745: SWAP1 00000746: POP 00000747: PUSH2 0x0002 0000074a: JUMPI 0000074b: POP 0000074c: DUP1 0000074d: SLOAD 0000074e: PUSH1 0x00 00000750: SWAP2 00000751: DUP3 00000752: MSTORE 00000753: PUSH1 0x05 00000755: SLOAD 00000756: PUSH1 0x40 00000758: MLOAD 00000759: PUSH32 0x6e1540171b6c0c960b71a7020d9f60077f6af931a8bbf590da0223dacf75c7ad 0000077a: SWAP1 0000077b: SWAP3 0000077c: ADD 0000077d: SLOAD 0000077e: PUSH1 0x01 00000780: PUSH1 0xa0 00000782: PUSH1 0x02 00000784: EXP 00000785: SUB 00000786: AND 00000787: SWAP3 00000788: SWAP2 00000789: PUSH1 0x64 0000078b: PUSH1 0x1e 0000078d: SWAP1 0000078e: SWAP3 0000078f: MUL 00000790: SWAP2 00000791: SWAP1 00000792: SWAP2 00000793: DIV 00000794: SWAP1 00000795: DUP3 00000796: DUP2 00000797: DUP2 00000798: DUP2 00000799: DUP6 0000079a: DUP9 0000079b: DUP4 0000079c: CALL 0000079d: POP 0000079e: POP 0000079f: PUSH1 0x09 000007a1: DUP1 000007a2: SLOAD 000007a3: SWAP1 000007a4: SWAP4 000007a5: POP 000007a6: PUSH1 0x02 000007a8: NOT 000007a9: DUP2 000007aa: ADD 000007ab: SWAP3 000007ac: POP 000007ad: DUP3 000007ae: LT 000007af: ISZERO 000007b0: SWAP1 000007b1: POP 000007b2: PUSH2 0x0002 000007b5: JUMPI 000007b6: POP 000007b7: DUP1 000007b8: SLOAD 000007b9: PUSH1 0x00 000007bb: SWAP2 000007bc: DUP3 000007bd: MSTORE 000007be: PUSH32 0x6e1540171b6c0c960b71a7020d9f60077f6af931a8bbf590da0223dacf75c7ac 000007df: ADD 000007e0: SLOAD 000007e1: PUSH1 0x05 000007e3: SLOAD 000007e4: PUSH1 0x40 000007e6: MLOAD 000007e7: PUSH1 0x01 000007e9: PUSH1 0xa0 000007eb: PUSH1 0x02 000007ed: EXP 000007ee: SUB 000007ef: SWAP3 000007f0: SWAP1 000007f1: SWAP3 000007f2: AND 000007f3: SWAP3 000007f4: SWAP2 000007f5: PUSH1 0x64 000007f7: PUSH1 0x0f 000007f9: SWAP1 000007fa: SWAP3 000007fb: MUL 000007fc: SWAP2 000007fd: SWAP1 000007fe: SWAP2 000007ff: DIV 00000800: SWAP1 00000801: DUP3 00000802: DUP2 00000803: DUP2 00000804: DUP2 00000805: DUP6 00000806: DUP9 00000807: DUP4 00000808: CALL 00000809: POP 0000080a: POP 0000080b: POP 0000080c: POP 0000080d: POP 0000080e: JUMPDEST 0000080f: PUSH1 0x05 00000811: DUP1 00000812: SLOAD 00000813: PUSH1 0x06 00000815: DUP1 00000816: SLOAD 00000817: PUSH1 0x64 00000819: SWAP3 0000081a: DUP5 0000081b: MUL 0000081c: SWAP3 0000081d: SWAP1 0000081e: SWAP3 0000081f: DIV 00000820: SWAP1 00000821: SWAP2 00000822: ADD 00000823: SWAP1 00000824: SSTORE 00000825: PUSH1 0x00 00000827: SWAP1 00000828: SSTORE 00000829: PUSH1 0x01 0000082b: DUP1 0000082c: SLOAD 0000082d: PUSH1 0x01 0000082f: PUSH1 0xa0 00000831: PUSH1 0x02 00000833: EXP 00000834: SUB 00000835: NOT 00000836: AND 00000837: CALLER 00000838: OR 00000839: DUP2 0000083a: SSTORE 0000083b: PUSH1 0x09 0000083d: DUP1 0000083e: SLOAD 0000083f: SWAP2 00000840: DUP3 00000841: ADD 00000842: DUP1 00000843: DUP3 00000844: SSTORE 00000845: SWAP1 00000846: SWAP2 00000847: SWAP1 00000848: DUP3 00000849: DUP2 0000084a: DUP4 0000084b: DUP1 0000084c: ISZERO 0000084d: DUP3 0000084e: SWAP1 0000084f: GT 00000850: PUSH2 0x087c 00000853: JUMPI 00000854: DUP2 00000855: DUP4 00000856: PUSH1 0x00 00000858: MSTORE 00000859: PUSH1 0x20 0000085b: PUSH1 0x00 0000085d: KECCAK256 0000085e: SWAP2 0000085f: DUP3 00000860: ADD 00000861: SWAP2 00000862: ADD 00000863: PUSH2 0x087c 00000866: SWAP2 00000867: SWAP1 00000868: JUMPDEST 00000869: DUP1 0000086a: DUP3 0000086b: GT 0000086c: ISZERO 0000086d: PUSH2 0x0913 00000870: JUMPI 00000871: PUSH1 0x00 00000873: DUP2 00000874: SSTORE 00000875: PUSH1 0x01 00000877: ADD 00000878: PUSH2 0x0868 0000087b: JUMP 0000087c: JUMPDEST 0000087d: POP 0000087e: POP 0000087f: POP 00000880: PUSH1 0x00 00000882: SWAP3 00000883: DUP4 00000884: MSTORE 00000885: POP 00000886: PUSH1 0x20 00000888: SWAP1 00000889: SWAP2 0000088a: KECCAK256 0000088b: ADD 0000088c: DUP1 0000088d: SLOAD 0000088e: PUSH1 0x01 00000890: PUSH1 0xa0 00000892: PUSH1 0x02 00000894: EXP 00000895: SUB 00000896: NOT 00000897: AND 00000898: CALLER 00000899: OR 0000089a: SWAP1 0000089b: SSTORE 0000089c: PUSH1 0x0a 0000089e: DUP1 0000089f: SLOAD 000008a0: PUSH1 0x01 000008a2: DUP2 000008a3: ADD 000008a4: DUP1 000008a5: DUP4 000008a6: SSTORE 000008a7: DUP3 000008a8: DUP2 000008a9: DUP4 000008aa: DUP1 000008ab: ISZERO 000008ac: DUP3 000008ad: SWAP1 000008ae: GT 000008af: PUSH2 0x0917 000008b2: JUMPI 000008b3: DUP2 000008b4: DUP4 000008b5: PUSH1 0x00 000008b7: MSTORE 000008b8: PUSH1 0x20 000008ba: PUSH1 0x00 000008bc: KECCAK256 000008bd: SWAP2 000008be: DUP3 000008bf: ADD 000008c0: SWAP2 000008c1: ADD 000008c2: PUSH2 0x0917 000008c5: SWAP2 000008c6: SWAP1 000008c7: PUSH2 0x0868 000008ca: JUMP 000008cb: JUMPDEST 000008cc: PUSH1 0x05 000008ce: DUP1 000008cf: SLOAD 000008d0: PUSH1 0x64 000008d2: PUSH1 0x5a 000008d4: DUP5 000008d5: MUL 000008d6: DIV 000008d7: ADD 000008d8: SWAP1 000008d9: SSTORE 000008da: PUSH1 0x0b 000008dc: DUP1 000008dd: SLOAD 000008de: PUSH1 0xe0 000008e0: PUSH1 0x02 000008e2: EXP 000008e3: DUP1 000008e4: DUP3 000008e5: DIV 000008e6: PUSH4 0xffffffff 000008eb: AND 000008ec: PUSH1 0x01 000008ee: ADD 000008ef: MUL 000008f0: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff 0000090d: SWAP1 0000090e: SWAP2 0000090f: AND 00000910: OR 00000911: SWAP1 00000912: SSTORE 00000913: JUMPDEST 00000914: POP 00000915: SWAP1 00000916: JUMP 00000917: JUMPDEST 00000918: POP 00000919: POP 0000091a: POP 0000091b: PUSH1 0x00 0000091d: SWAP3 0000091e: DUP4 0000091f: MSTORE 00000920: POP 00000921: PUSH1 0x20 00000923: SWAP1 00000924: SWAP2 00000925: KECCAK256 00000926: PUSH1 0x64 00000928: PUSH1 0x6e 0000092a: DUP5 0000092b: MUL 0000092c: DIV 0000092d: SWAP2 0000092e: ADD 0000092f: SSTORE 00000930: PUSH1 0x0b 00000932: DUP1 00000933: SLOAD 00000934: PUSH1 0x01 00000936: PUSH4 0xffffffff 0000093b: DUP3 0000093c: AND 0000093d: ADD 0000093e: PUSH4 0xffffffff 00000943: NOT 00000944: SWAP1 00000945: SWAP2 00000946: AND 00000947: OR 00000948: SWAP1 00000949: SSTORE 0000094a: PUSH2 0x09c0 0000094d: DUP2 0000094e: JUMPDEST 0000094f: TIMESTAMP 00000950: PUSH1 0x02 00000952: SSTORE 00000953: PUSH1 0x0d 00000955: DUP1 00000956: SLOAD 00000957: DUP3 00000958: ADD 00000959: SWAP1 0000095a: SSTORE 0000095b: PUSH1 0x07 0000095d: DUP1 0000095e: SLOAD 0000095f: PUSH1 0x64 00000961: PUSH1 0x05 00000963: DUP5 00000964: DUP2 00000965: MUL 00000966: SWAP2 00000967: SWAP1 00000968: SWAP2 00000969: DIV 0000096a: SWAP2 0000096b: DUP3 0000096c: ADD 0000096d: SWAP1 0000096e: SWAP3 0000096f: SSTORE 00000970: PUSH1 0x08 00000972: DUP1 00000973: SLOAD 00000974: DUP3 00000975: ADD 00000976: SWAP1 00000977: SSTORE 00000978: DUP2 00000979: SLOAD 0000097a: ADD 0000097b: SWAP1 0000097c: SSTORE 0000097d: PUSH2 0x0d22 00000980: PUSH1 0x08 00000982: SLOAD 00000983: PUSH8 0x016345785d8a0000 0000098c: SWAP1 0000098d: LT 0000098e: PUSH2 0x0479 00000991: JUMPI 00000992: PUSH1 0x40 00000994: MLOAD 00000995: PUSH1 0x08 00000997: SLOAD 00000998: PUSH1 0x0b 0000099a: SLOAD 0000099b: PUSH1 0x40 0000099d: PUSH1 0x02 0000099f: EXP 000009a0: SWAP1 000009a1: DIV 000009a2: PUSH1 0x01 000009a4: PUSH1 0xa0 000009a6: PUSH1 0x02 000009a8: EXP 000009a9: SUB 000009aa: AND 000009ab: SWAP2 000009ac: PUSH1 0x00 000009ae: SWAP2 000009af: SWAP1 000009b0: DUP3 000009b1: DUP2 000009b2: DUP2 000009b3: DUP2 000009b4: DUP6 000009b5: DUP9 000009b6: DUP4 000009b7: CALL 000009b8: POP 000009b9: POP 000009ba: POP 000009bb: PUSH1 0x08 000009bd: SSTORE 000009be: POP 000009bf: JUMP 000009c0: JUMPDEST 000009c1: PUSH2 0x08cb 000009c4: PUSH1 0x06 000009c6: SLOAD 000009c7: PUSH8 0x0de0b6b3a7640000 000009d0: SWAP1 000009d1: LT 000009d2: PUSH2 0x0479 000009d5: JUMPI 000009d6: PUSH1 0x40 000009d8: MLOAD 000009d9: PUSH1 0x00 000009db: DUP1 000009dc: SLOAD 000009dd: PUSH1 0x06 000009df: SLOAD 000009e0: PUSH1 0x01 000009e2: PUSH1 0xa0 000009e4: PUSH1 0x02 000009e6: EXP 000009e7: SUB 000009e8: SWAP2 000009e9: SWAP1 000009ea: SWAP2 000009eb: AND 000009ec: SWAP3 000009ed: DUP3 000009ee: DUP2 000009ef: DUP2 000009f0: DUP2 000009f1: DUP6 000009f2: DUP9 000009f3: DUP4 000009f4: CALL 000009f5: POP 000009f6: POP 000009f7: POP 000009f8: PUSH1 0x06 000009fa: SSTORE 000009fb: POP 000009fc: JUMP 000009fd: JUMPDEST 000009fe: POP 000009ff: POP 00000a00: POP 00000a01: PUSH1 0x00 00000a03: SWAP3 00000a04: DUP4 00000a05: MSTORE 00000a06: POP 00000a07: PUSH1 0x20 00000a09: SWAP1 00000a0a: SWAP2 00000a0b: KECCAK256 00000a0c: ADD 00000a0d: DUP1 00000a0e: SLOAD 00000a0f: PUSH1 0x01 00000a11: PUSH1 0xa0 00000a13: PUSH1 0x02 00000a15: EXP 00000a16: SUB 00000a17: NOT 00000a18: AND 00000a19: CALLER 00000a1a: OR 00000a1b: SWAP1 00000a1c: SSTORE 00000a1d: PUSH1 0x0a 00000a1f: DUP1 00000a20: SLOAD 00000a21: PUSH1 0x01 00000a23: DUP2 00000a24: ADD 00000a25: DUP1 00000a26: DUP4 00000a27: SSTORE 00000a28: DUP3 00000a29: DUP2 00000a2a: DUP4 00000a2b: DUP1 00000a2c: ISZERO 00000a2d: DUP3 00000a2e: SWAP1 00000a2f: GT 00000a30: PUSH2 0x0a4c 00000a33: JUMPI 00000a34: DUP2 00000a35: DUP4 00000a36: PUSH1 0x00 00000a38: MSTORE 00000a39: PUSH1 0x20 00000a3b: PUSH1 0x00 00000a3d: KECCAK256 00000a3e: SWAP2 00000a3f: DUP3 00000a40: ADD 00000a41: SWAP2 00000a42: ADD 00000a43: PUSH2 0x0a4c 00000a46: SWAP2 00000a47: SWAP1 00000a48: PUSH2 0x0868 00000a4b: JUMP 00000a4c: JUMPDEST 00000a4d: POP 00000a4e: POP 00000a4f: POP 00000a50: PUSH1 0x00 00000a52: SWAP3 00000a53: DUP4 00000a54: MSTORE 00000a55: POP 00000a56: PUSH1 0x20 00000a58: SWAP1 00000a59: SWAP2 00000a5a: KECCAK256 00000a5b: PUSH1 0x64 00000a5d: PUSH1 0x6e 00000a5f: DUP5 00000a60: MUL 00000a61: DIV 00000a62: SWAP2 00000a63: ADD 00000a64: SSTORE 00000a65: PUSH1 0x0b 00000a67: DUP1 00000a68: SLOAD 00000a69: PUSH1 0x01 00000a6b: PUSH4 0xffffffff 00000a70: DUP3 00000a71: AND 00000a72: ADD 00000a73: PUSH4 0xffffffff 00000a78: NOT 00000a79: SWAP1 00000a7a: SWAP2 00000a7b: AND 00000a7c: OR 00000a7d: SWAP1 00000a7e: SSTORE 00000a7f: PUSH2 0x0a87 00000a82: DUP2 00000a83: PUSH2 0x094e 00000a86: JUMP 00000a87: JUMPDEST 00000a88: JUMPDEST 00000a89: PUSH1 0x07 00000a8b: PUSH1 0x00 00000a8d: POP 00000a8e: SLOAD 00000a8f: PUSH1 0x08 00000a91: PUSH1 0x00 00000a93: POP 00000a94: SLOAD 00000a95: PUSH1 0x06 00000a97: PUSH1 0x00 00000a99: POP 00000a9a: SLOAD 00000a9b: PUSH1 0x05 00000a9d: PUSH1 0x00 00000a9f: POP 00000aa0: SLOAD 00000aa1: ADDRESS 00000aa2: PUSH1 0x01 00000aa4: PUSH1 0xa0 00000aa6: PUSH1 0x02 00000aa8: EXP 00000aa9: SUB 00000aaa: AND 00000aab: BALANCE 00000aac: SUB 00000aad: SUB 00000aae: SUB 00000aaf: SUB 00000ab0: PUSH1 0x0a 00000ab2: PUSH1 0x00 00000ab4: POP 00000ab5: PUSH1 0x0b 00000ab7: PUSH1 0x04 00000ab9: SWAP1 00000aba: SLOAD 00000abb: SWAP1 00000abc: PUSH2 0x0100 00000abf: EXP 00000ac0: SWAP1 00000ac1: DIV 00000ac2: PUSH4 0xffffffff 00000ac7: AND 00000ac8: PUSH4 0xffffffff 00000acd: AND 00000ace: DUP2 00000acf: SLOAD 00000ad0: DUP2 00000ad1: LT 00000ad2: ISZERO 00000ad3: PUSH2 0x0002 00000ad6: JUMPI 00000ad7: PUSH1 0x00 00000ad9: SWAP2 00000ada: SWAP1 00000adb: SWAP2 00000adc: MSTORE 00000add: PUSH1 0x00 00000adf: DUP1 00000ae0: MLOAD 00000ae1: PUSH1 0x20 00000ae3: PUSH2 0x0d61 00000ae6: DUP4 00000ae7: CODECOPY 00000ae8: DUP2 00000ae9: MLOAD 00000aea: SWAP2 00000aeb: MSTORE 00000aec: ADD 00000aed: SLOAD 00000aee: LT 00000aef: DUP1 00000af0: ISZERO 00000af1: PUSH2 0x0b0d 00000af4: JUMPI 00000af5: POP 00000af6: PUSH1 0x0b 00000af8: SLOAD 00000af9: PUSH4 0xffffffff 00000afe: DUP2 00000aff: DUP2 00000b00: AND 00000b01: PUSH5 0x0100000000 00000b07: SWAP1 00000b08: SWAP3 00000b09: DIV 00000b0a: AND 00000b0b: GT 00000b0c: ISZERO 00000b0d: JUMPDEST 00000b0e: ISZERO 00000b0f: PUSH2 0x0913 00000b12: JUMPI 00000b13: PUSH1 0x0b 00000b15: SLOAD 00000b16: PUSH1 0x09 00000b18: DUP1 00000b19: SLOAD 00000b1a: SWAP1 00000b1b: SWAP2 00000b1c: PUSH5 0x0100000000 00000b22: SWAP1 00000b23: DIV 00000b24: PUSH4 0xffffffff 00000b29: AND 00000b2a: SWAP1 00000b2b: DUP2 00000b2c: LT 00000b2d: ISZERO 00000b2e: PUSH2 0x0002 00000b31: JUMPI 00000b32: PUSH1 0x00 00000b34: SWAP2 00000b35: DUP3 00000b36: MSTORE 00000b37: PUSH32 0x6e1540171b6c0c960b71a7020d9f60077f6af931a8bbf590da0223dacf75c7af 00000b58: DUP2 00000b59: ADD 00000b5a: SLOAD 00000b5b: PUSH1 0x0a 00000b5d: DUP1 00000b5e: SLOAD 00000b5f: PUSH1 0x01 00000b61: PUSH1 0xa0 00000b63: PUSH1 0x02 00000b65: EXP 00000b66: SUB 00000b67: SWAP3 00000b68: SWAP1 00000b69: SWAP3 00000b6a: AND 00000b6b: SWAP4 00000b6c: SWAP3 00000b6d: SWAP1 00000b6e: SWAP2 00000b6f: DUP2 00000b70: LT 00000b71: ISZERO 00000b72: PUSH2 0x0002 00000b75: JUMPI 00000b76: SWAP1 00000b77: DUP3 00000b78: MSTORE 00000b79: PUSH1 0x40 00000b7b: MLOAD 00000b7c: PUSH1 0x00 00000b7e: DUP1 00000b7f: MLOAD 00000b80: PUSH1 0x20 00000b82: PUSH2 0x0d61 00000b85: DUP4 00000b86: CODECOPY 00000b87: DUP2 00000b88: MLOAD 00000b89: SWAP2 00000b8a: MSTORE 00000b8b: SWAP1 00000b8c: SWAP2 00000b8d: ADD 00000b8e: SLOAD 00000b8f: SWAP1 00000b90: DUP3 00000b91: DUP2 00000b92: DUP2 00000b93: DUP2 00000b94: DUP6 00000b95: DUP9 00000b96: DUP4 00000b97: CALL 00000b98: POP 00000b99: POP 00000b9a: PUSH1 0x0b 00000b9c: SLOAD 00000b9d: PUSH1 0x0a 00000b9f: DUP1 00000ba0: SLOAD 00000ba1: SWAP1 00000ba2: SWAP5 00000ba3: POP 00000ba4: PUSH5 0x0100000000 00000baa: SWAP1 00000bab: SWAP2 00000bac: DIV 00000bad: PUSH4 0xffffffff 00000bb2: AND 00000bb3: SWAP3 00000bb4: POP 00000bb5: DUP3 00000bb6: LT 00000bb7: ISZERO 00000bb8: SWAP1 00000bb9: POP 00000bba: PUSH2 0x0002 00000bbd: JUMPI 00000bbe: PUSH1 0x0b 00000bc0: DUP1 00000bc1: SLOAD 00000bc2: PUSH1 0x00 00000bc4: SWAP4 00000bc5: SWAP1 00000bc6: SWAP4 00000bc7: MSTORE 00000bc8: PUSH1 0x00 00000bca: DUP1 00000bcb: MLOAD 00000bcc: PUSH1 0x20 00000bce: PUSH2 0x0d61 00000bd1: DUP4 00000bd2: CODECOPY 00000bd3: DUP2 00000bd4: MLOAD 00000bd5: SWAP2 00000bd6: MSTORE 00000bd7: DUP3 00000bd8: ADD 00000bd9: SLOAD 00000bda: PUSH1 0x0c 00000bdc: DUP1 00000bdd: SLOAD 00000bde: SWAP1 00000bdf: SWAP2 00000be0: ADD 00000be1: SWAP1 00000be2: SSTORE 00000be3: PUSH8 0xffffffff00000000 00000bec: NOT 00000bed: SWAP1 00000bee: SWAP3 00000bef: AND 00000bf0: PUSH1 0x01 00000bf2: SWAP2 00000bf3: SWAP1 00000bf4: SWAP2 00000bf5: ADD 00000bf6: PUSH5 0x0100000000 00000bfc: MUL 00000bfd: OR 00000bfe: SWAP1 00000bff: SSTORE 00000c00: PUSH2 0x0a88 00000c03: JUMP 00000c04: JUMPDEST 00000c05: PUSH1 0x0b 00000c07: SLOAD 00000c08: PUSH1 0x40 00000c0a: MLOAD 00000c0b: PUSH1 0x05 00000c0d: SLOAD 00000c0e: PUSH1 0x40 00000c10: PUSH1 0x02 00000c12: EXP 00000c13: SWAP1 00000c14: SWAP3 00000c15: DIV 00000c16: PUSH1 0x01 00000c18: PUSH1 0xa0 00000c1a: PUSH1 0x02 00000c1c: EXP 00000c1d: SUB 00000c1e: AND 00000c1f: SWAP2 00000c20: PUSH1 0x00 00000c22: SWAP2 00000c23: DUP3 00000c24: DUP2 00000c25: DUP2 00000c26: DUP2 00000c27: DUP6 00000c28: DUP9 00000c29: DUP4 00000c2a: CALL 00000c2b: POP 00000c2c: POP 00000c2d: POP 00000c2e: PUSH1 0x05 00000c30: SSTORE 00000c31: POP 00000c32: JUMPDEST 00000c33: PUSH1 0x0b 00000c35: DUP1 00000c36: SLOAD 00000c37: PUSH1 0x00 00000c39: SLOAD 00000c3a: PUSH1 0x01 00000c3c: PUSH1 0xa0 00000c3e: PUSH1 0x02 00000c40: EXP 00000c41: SUB 00000c42: AND 00000c43: PUSH1 0x40 00000c45: PUSH1 0x02 00000c47: EXP 00000c48: MUL 00000c49: PUSH28 0xffffffffffffffffffffffffffffffffffffffff0000000000000000 00000c66: NOT 00000c67: SWAP1 00000c68: SWAP2 00000c69: AND 00000c6a: OR 00000c6b: SWAP1 00000c6c: SSTORE 00000c6d: PUSH8 0x0de0b6b3a7640000 00000c76: PUSH1 0x04 00000c78: SSTORE 00000c79: JUMP 00000c7a: JUMPDEST 00000c7b: PUSH2 0x0002 00000c7e: JUMP 00000c7f: JUMPDEST 00000c80: TIMESTAMP 00000c81: PUSH3 0x0d2f00 00000c85: PUSH1 0x03 00000c87: PUSH1 0x00 00000c89: POP 00000c8a: SLOAD 00000c8b: ADD 00000c8c: GT 00000c8d: ISZERO 00000c8e: DUP1 00000c8f: ISZERO 00000c90: PUSH2 0x0ca4 00000c93: JUMPI 00000c94: POP 00000c95: PUSH1 0x64 00000c97: PUSH1 0x04 00000c99: PUSH1 0x00 00000c9b: POP 00000c9c: SLOAD 00000c9d: PUSH1 0x96 00000c9f: MUL 00000ca0: DIV 00000ca1: DUP2 00000ca2: LT 00000ca3: ISZERO 00000ca4: JUMPDEST 00000ca5: ISZERO 00000ca6: PUSH2 0x0c7a 00000ca9: JUMPI 00000caa: PUSH1 0x0b 00000cac: SLOAD 00000cad: PUSH1 0x08 00000caf: SLOAD 00000cb0: PUSH1 0x40 00000cb2: MLOAD 00000cb3: PUSH1 0x40 00000cb5: PUSH1 0x02 00000cb7: EXP 00000cb8: SWAP1 00000cb9: SWAP3 00000cba: DIV 00000cbb: PUSH1 0x01 00000cbd: PUSH1 0xa0 00000cbf: PUSH1 0x02 00000cc1: EXP 00000cc2: SUB 00000cc3: AND 00000cc4: SWAP2 00000cc5: PUSH1 0x00 00000cc7: SWAP2 00000cc8: SWAP1 00000cc9: DUP3 00000cca: DUP2 00000ccb: DUP2 00000ccc: DUP2 00000ccd: DUP6 00000cce: DUP9 00000ccf: DUP4 00000cd0: CALL 00000cd1: POP 00000cd2: POP 00000cd3: PUSH1 0x06 00000cd5: DUP1 00000cd6: SLOAD 00000cd7: PUSH1 0x64 00000cd9: PUSH1 0x05 00000cdb: DUP8 00000cdc: MUL 00000cdd: DIV 00000cde: ADD 00000cdf: SWAP1 00000ce0: SSTORE 00000ce1: POP 00000ce2: POP 00000ce3: POP 00000ce4: PUSH1 0x04 00000ce6: DUP2 00000ce7: SWAP1 00000ce8: SSTORE 00000ce9: PUSH1 0x0b 00000ceb: DUP1 00000cec: SLOAD 00000ced: PUSH28 0xffffffffffffffffffffffffffffffffffffffff0000000000000000 00000d0a: NOT 00000d0b: AND 00000d0c: PUSH1 0x40 00000d0e: PUSH1 0x02 00000d10: EXP 00000d11: CALLER 00000d12: MUL 00000d13: OR 00000d14: SWAP1 00000d15: SSTORE 00000d16: TIMESTAMP 00000d17: PUSH1 0x03 00000d19: SSTORE 00000d1a: PUSH2 0x0477 00000d1d: DUP2 00000d1e: PUSH2 0x094e 00000d21: JUMP 00000d22: JUMPDEST 00000d23: PUSH2 0x0477 00000d26: PUSH1 0x07 00000d28: SLOAD 00000d29: PUSH8 0x016345785d8a0000 00000d32: SWAP1 00000d33: LT 00000d34: PUSH2 0x0479 00000d37: JUMPI 00000d38: PUSH1 0x07 00000d3a: SLOAD 00000d3b: PUSH1 0x01 00000d3d: SLOAD 00000d3e: PUSH1 0x40 00000d40: MLOAD 00000d41: PUSH1 0x01 00000d43: PUSH1 0xa0 00000d45: PUSH1 0x02 00000d47: EXP 00000d48: SUB 00000d49: SWAP2 00000d4a: SWAP1 00000d4b: SWAP2 00000d4c: AND 00000d4d: SWAP2 00000d4e: PUSH1 0x00 00000d50: SWAP2 00000d51: DUP3 00000d52: DUP2 00000d53: DUP2 00000d54: DUP2 00000d55: DUP6 00000d56: DUP9 00000d57: DUP4 00000d58: CALL 00000d59: POP 00000d5a: POP 00000d5b: POP 00000d5c: PUSH1 0x07 00000d5e: SSTORE 00000d5f: POP 00000d60: JUMP 00000d61: UNKNOWN(0xC6) 00000d62: GAS 00000d63: PUSH28 0xb8d6351c1cf70c95a316cc6a92839c986682d98bc35f958f4883f9d2 00000d80: UNKNOWN(0xA8)
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: 0x7ce193cd3604f1b088e977dc1dd51f23e9fddde6fc7a2614c085c2ab7d5a4822
call_targets:
0x9497043f4cd9450867479f3fd873d80d9321094c
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x7ce193cd3604f1b088e977dc1dd51f23e9fddde6fc7a2614c085c2ab7d5a4822",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x9497043f4cd9450867479f3fd873d80d9321094c"
],
"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": "0x11613fc9",
"selector": "0x11613fc9",
"calldata_variants": [
"0x11613fc9",
"0x11613fc90000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x146ca531",
"selector": "0x146ca531",
"calldata_variants": [
"0x146ca531",
"0x146ca5310000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x1fdf6e0c",
"selector": "0x1fdf6e0c",
"calldata_variants": [
"0x1fdf6e0c",
"0x1fdf6e0c0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x314e99a2",
"selector": "0x314e99a2",
"calldata_variants": [
"0x314e99a2",
"0x314e99a20000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x5841b9bf",
"selector": "0x5841b9bf",
"calldata_variants": [
"0x5841b9bf",
"0x5841b9bf0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x816f3f4d",
"selector": "0x816f3f4d",
"calldata_variants": [
"0x816f3f4d",
"0x816f3f4d0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x9935b968",
"selector": "0x9935b968",
"calldata_variants": [
"0x9935b968",
"0x9935b9680000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa2e7241c",
"selector": "0xa2e7241c",
"calldata_variants": [
"0xa2e7241c",
"0xa2e7241c0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 352,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 465,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 545,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 19,
"guards_detected": [],
"untrusted_call_count": 19
}
|
| high | other | detector | ETH value transfer possible | 55 | no | no |
viewtrace_id: 0x7ce193cd3604f1b088e977dc1dd51f23e9fddde6fc7a2614c085c2ab7d5a4822
call_targets:
0x9497043f4cd9450867479f3fd873d80d9321094c
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x7ce193cd3604f1b088e977dc1dd51f23e9fddde6fc7a2614c085c2ab7d5a4822",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x9497043f4cd9450867479f3fd873d80d9321094c"
],
"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": "0x11613fc9",
"selector": "0x11613fc9",
"calldata_variants": [
"0x11613fc9",
"0x11613fc90000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x146ca531",
"selector": "0x146ca531",
"calldata_variants": [
"0x146ca531",
"0x146ca5310000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x1fdf6e0c",
"selector": "0x1fdf6e0c",
"calldata_variants": [
"0x1fdf6e0c",
"0x1fdf6e0c0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x314e99a2",
"selector": "0x314e99a2",
"calldata_variants": [
"0x314e99a2",
"0x314e99a20000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x5841b9bf",
"selector": "0x5841b9bf",
"calldata_variants": [
"0x5841b9bf",
"0x5841b9bf0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x816f3f4d",
"selector": "0x816f3f4d",
"calldata_variants": [
"0x816f3f4d",
"0x816f3f4d0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x9935b968",
"selector": "0x9935b968",
"calldata_variants": [
"0x9935b968",
"0x9935b9680000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa2e7241c",
"selector": "0xa2e7241c",
"calldata_variants": [
"0xa2e7241c",
"0xa2e7241c0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 352,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 465,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 545,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 19,
"guards_detected": []
}
|