019b3836-3220-7301-906b-6d43560ac169
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 |
|---|---|---|---|---|
| 2903 | artifact.fetch | complete | 1 / 3 | 4 months ago |
| 2904 | tool.cast_disasm | complete | 1 / 3 | 4 months ago |
| 79851 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 79852 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 79853 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 79854 | 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 0x010e 0000000a: JUMPI 0000000b: PUSH1 0x00 0000000d: CALLDATALOAD 0000000e: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 0000002c: SWAP1 0000002d: DIV 0000002e: DUP1 0000002f: PUSH4 0x021991e7 00000034: EQ 00000035: PUSH2 0x0110 00000038: JUMPI 00000039: DUP1 0000003a: PUSH4 0x03750d94 0000003f: EQ 00000040: PUSH2 0x0133 00000043: JUMPI 00000044: DUP1 00000045: PUSH4 0x06b5f02d 0000004a: EQ 0000004b: PUSH2 0x0154 0000004e: JUMPI 0000004f: DUP1 00000050: PUSH4 0x0d1fce42 00000055: EQ 00000056: PUSH2 0x0189 00000059: JUMPI 0000005a: DUP1 0000005b: PUSH4 0x0e1da6c3 00000060: EQ 00000061: PUSH2 0x01ac 00000064: JUMPI 00000065: DUP1 00000066: PUSH4 0x0f06670a 0000006b: EQ 0000006c: PUSH2 0x01bb 0000006f: JUMPI 00000070: DUP1 00000071: PUSH4 0x2d9a37d3 00000076: EQ 00000077: PUSH2 0x01e7 0000007a: JUMPI 0000007b: DUP1 0000007c: PUSH4 0x2e1a7d4d 00000081: EQ 00000082: PUSH2 0x020a 00000085: JUMPI 00000086: DUP1 00000087: PUSH4 0x2fac1d36 0000008c: EQ 0000008d: PUSH2 0x0222 00000090: JUMPI 00000091: DUP1 00000092: PUSH4 0x46b305d6 00000097: EQ 00000098: PUSH2 0x024e 0000009b: JUMPI 0000009c: DUP1 0000009d: PUSH4 0x55b775ea 000000a2: EQ 000000a3: PUSH2 0x025d 000000a6: JUMPI 000000a7: DUP1 000000a8: PUSH4 0x839930ba 000000ad: EQ 000000ae: PUSH2 0x0275 000000b1: JUMPI 000000b2: DUP1 000000b3: PUSH4 0x8d216186 000000b8: EQ 000000b9: PUSH2 0x0298 000000bc: JUMPI 000000bd: DUP1 000000be: PUSH4 0xa094a031 000000c3: EQ 000000c4: PUSH2 0x02b9 000000c7: JUMPI 000000c8: DUP1 000000c9: PUSH4 0xa1b9af31 000000ce: EQ 000000cf: PUSH2 0x02dc 000000d2: JUMPI 000000d3: DUP1 000000d4: PUSH4 0xadd4c784 000000d9: EQ 000000da: PUSH2 0x02eb 000000dd: JUMPI 000000de: DUP1 000000df: PUSH4 0xbd66528a 000000e4: EQ 000000e5: PUSH2 0x0317 000000e8: JUMPI 000000e9: DUP1 000000ea: PUSH4 0xc7cf28fe 000000ef: EQ 000000f0: PUSH2 0x032f 000000f3: JUMPI 000000f4: DUP1 000000f5: PUSH4 0xcb96012e 000000fa: EQ 000000fb: PUSH2 0x0352 000000fe: JUMPI 000000ff: DUP1 00000100: PUSH4 0xd8389dc5 00000105: EQ 00000106: PUSH2 0x037e 00000109: JUMPI 0000010a: PUSH2 0x010e 0000010d: JUMP 0000010e: JUMPDEST 0000010f: STOP 00000110: JUMPDEST 00000111: PUSH2 0x011d 00000114: PUSH1 0x04 00000116: DUP1 00000117: POP 00000118: POP 00000119: PUSH2 0x055f 0000011c: JUMP 0000011d: JUMPDEST 0000011e: PUSH1 0x40 00000120: MLOAD 00000121: DUP1 00000122: DUP3 00000123: DUP2 00000124: MSTORE 00000125: PUSH1 0x20 00000127: ADD 00000128: SWAP2 00000129: POP 0000012a: POP 0000012b: PUSH1 0x40 0000012d: MLOAD 0000012e: DUP1 0000012f: SWAP2 00000130: SUB 00000131: SWAP1 00000132: RETURN 00000133: JUMPDEST 00000134: PUSH2 0x0152 00000137: PUSH1 0x04 00000139: DUP1 0000013a: DUP1 0000013b: CALLDATALOAD 0000013c: SWAP1 0000013d: PUSH1 0x20 0000013f: ADD 00000140: SWAP1 00000141: SWAP2 00000142: SWAP1 00000143: DUP1 00000144: CALLDATALOAD 00000145: SWAP1 00000146: PUSH1 0x20 00000148: ADD 00000149: SWAP1 0000014a: SWAP2 0000014b: SWAP1 0000014c: POP 0000014d: POP 0000014e: PUSH2 0x092d 00000151: JUMP 00000152: JUMPDEST 00000153: STOP 00000154: JUMPDEST 00000155: PUSH2 0x0173 00000158: PUSH1 0x04 0000015a: DUP1 0000015b: DUP1 0000015c: CALLDATALOAD 0000015d: SWAP1 0000015e: PUSH1 0x20 00000160: ADD 00000161: SWAP1 00000162: SWAP2 00000163: SWAP1 00000164: DUP1 00000165: CALLDATALOAD 00000166: SWAP1 00000167: PUSH1 0x20 00000169: ADD 0000016a: SWAP1 0000016b: SWAP2 0000016c: SWAP1 0000016d: POP 0000016e: POP 0000016f: PUSH2 0x0c3d 00000172: JUMP 00000173: JUMPDEST 00000174: PUSH1 0x40 00000176: MLOAD 00000177: DUP1 00000178: DUP3 00000179: DUP2 0000017a: MSTORE 0000017b: PUSH1 0x20 0000017d: ADD 0000017e: SWAP2 0000017f: POP 00000180: POP 00000181: PUSH1 0x40 00000183: MLOAD 00000184: DUP1 00000185: SWAP2 00000186: SUB 00000187: SWAP1 00000188: RETURN 00000189: JUMPDEST 0000018a: PUSH2 0x0196 0000018d: PUSH1 0x04 0000018f: DUP1 00000190: POP 00000191: POP 00000192: PUSH2 0x053b 00000195: JUMP 00000196: JUMPDEST 00000197: PUSH1 0x40 00000199: MLOAD 0000019a: DUP1 0000019b: DUP3 0000019c: DUP2 0000019d: MSTORE 0000019e: PUSH1 0x20 000001a0: ADD 000001a1: SWAP2 000001a2: POP 000001a3: POP 000001a4: PUSH1 0x40 000001a6: MLOAD 000001a7: DUP1 000001a8: SWAP2 000001a9: SUB 000001aa: SWAP1 000001ab: RETURN 000001ac: JUMPDEST 000001ad: PUSH2 0x01b9 000001b0: PUSH1 0x04 000001b2: DUP1 000001b3: POP 000001b4: POP 000001b5: PUSH2 0x043e 000001b8: JUMP 000001b9: JUMPDEST 000001ba: STOP 000001bb: JUMPDEST 000001bc: PUSH2 0x01d1 000001bf: PUSH1 0x04 000001c1: DUP1 000001c2: DUP1 000001c3: CALLDATALOAD 000001c4: SWAP1 000001c5: PUSH1 0x20 000001c7: ADD 000001c8: SWAP1 000001c9: SWAP2 000001ca: SWAP1 000001cb: POP 000001cc: POP 000001cd: PUSH2 0x0b73 000001d0: JUMP 000001d1: JUMPDEST 000001d2: PUSH1 0x40 000001d4: MLOAD 000001d5: DUP1 000001d6: DUP3 000001d7: DUP2 000001d8: MSTORE 000001d9: PUSH1 0x20 000001db: ADD 000001dc: SWAP2 000001dd: POP 000001de: POP 000001df: PUSH1 0x40 000001e1: MLOAD 000001e2: DUP1 000001e3: SWAP2 000001e4: SUB 000001e5: SWAP1 000001e6: RETURN 000001e7: JUMPDEST 000001e8: PUSH2 0x01f4 000001eb: PUSH1 0x04 000001ed: DUP1 000001ee: POP 000001ef: POP 000001f0: PUSH2 0x0c59 000001f3: JUMP 000001f4: JUMPDEST 000001f5: PUSH1 0x40 000001f7: MLOAD 000001f8: DUP1 000001f9: DUP3 000001fa: DUP2 000001fb: MSTORE 000001fc: PUSH1 0x20 000001fe: ADD 000001ff: SWAP2 00000200: POP 00000201: POP 00000202: PUSH1 0x40 00000204: MLOAD 00000205: DUP1 00000206: SWAP2 00000207: SUB 00000208: SWAP1 00000209: RETURN 0000020a: JUMPDEST 0000020b: PUSH2 0x0220 0000020e: PUSH1 0x04 00000210: DUP1 00000211: DUP1 00000212: CALLDATALOAD 00000213: SWAP1 00000214: PUSH1 0x20 00000216: ADD 00000217: SWAP1 00000218: SWAP2 00000219: SWAP1 0000021a: POP 0000021b: POP 0000021c: PUSH2 0x06c7 0000021f: JUMP 00000220: JUMPDEST 00000221: STOP 00000222: JUMPDEST 00000223: PUSH2 0x0238 00000226: PUSH1 0x04 00000228: DUP1 00000229: DUP1 0000022a: CALLDATALOAD 0000022b: SWAP1 0000022c: PUSH1 0x20 0000022e: ADD 0000022f: SWAP1 00000230: SWAP2 00000231: SWAP1 00000232: POP 00000233: POP 00000234: PUSH2 0x0a62 00000237: JUMP 00000238: JUMPDEST 00000239: PUSH1 0x40 0000023b: MLOAD 0000023c: DUP1 0000023d: DUP3 0000023e: DUP2 0000023f: MSTORE 00000240: PUSH1 0x20 00000242: ADD 00000243: SWAP2 00000244: POP 00000245: POP 00000246: PUSH1 0x40 00000248: MLOAD 00000249: DUP1 0000024a: SWAP2 0000024b: SUB 0000024c: SWAP1 0000024d: RETURN 0000024e: JUMPDEST 0000024f: PUSH2 0x025b 00000252: PUSH1 0x04 00000254: DUP1 00000255: POP 00000256: POP 00000257: PUSH2 0x05fc 0000025a: JUMP 0000025b: JUMPDEST 0000025c: STOP 0000025d: JUMPDEST 0000025e: PUSH2 0x0273 00000261: PUSH1 0x04 00000263: DUP1 00000264: DUP1 00000265: CALLDATALOAD 00000266: SWAP1 00000267: PUSH1 0x20 00000269: ADD 0000026a: SWAP1 0000026b: SWAP2 0000026c: SWAP1 0000026d: POP 0000026e: POP 0000026f: PUSH2 0x0571 00000272: JUMP 00000273: JUMPDEST 00000274: STOP 00000275: JUMPDEST 00000276: PUSH2 0x0282 00000279: PUSH1 0x04 0000027b: DUP1 0000027c: POP 0000027d: POP 0000027e: PUSH2 0x0529 00000281: JUMP 00000282: JUMPDEST 00000283: PUSH1 0x40 00000285: MLOAD 00000286: DUP1 00000287: DUP3 00000288: DUP2 00000289: MSTORE 0000028a: PUSH1 0x20 0000028c: ADD 0000028d: SWAP2 0000028e: POP 0000028f: POP 00000290: PUSH1 0x40 00000292: MLOAD 00000293: DUP1 00000294: SWAP2 00000295: SUB 00000296: SWAP1 00000297: RETURN 00000298: JUMPDEST 00000299: PUSH2 0x02b7 0000029c: PUSH1 0x04 0000029e: DUP1 0000029f: DUP1 000002a0: CALLDATALOAD 000002a1: SWAP1 000002a2: PUSH1 0x20 000002a4: ADD 000002a5: SWAP1 000002a6: SWAP2 000002a7: SWAP1 000002a8: DUP1 000002a9: CALLDATALOAD 000002aa: SWAP1 000002ab: PUSH1 0x20 000002ad: ADD 000002ae: SWAP1 000002af: SWAP2 000002b0: SWAP1 000002b1: POP 000002b2: POP 000002b3: PUSH2 0x07a2 000002b6: JUMP 000002b7: JUMPDEST 000002b8: STOP 000002b9: JUMPDEST 000002ba: PUSH2 0x02c6 000002bd: PUSH1 0x04 000002bf: DUP1 000002c0: POP 000002c1: POP 000002c2: PUSH2 0x0a4d 000002c5: JUMP 000002c6: JUMPDEST 000002c7: PUSH1 0x40 000002c9: MLOAD 000002ca: DUP1 000002cb: DUP3 000002cc: DUP2 000002cd: MSTORE 000002ce: PUSH1 0x20 000002d0: ADD 000002d1: SWAP2 000002d2: POP 000002d3: POP 000002d4: PUSH1 0x40 000002d6: MLOAD 000002d7: DUP1 000002d8: SWAP2 000002d9: SUB 000002da: SWAP1 000002db: RETURN 000002dc: JUMPDEST 000002dd: PUSH2 0x02e9 000002e0: PUSH1 0x04 000002e2: DUP1 000002e3: POP 000002e4: POP 000002e5: PUSH2 0x0661 000002e8: JUMP 000002e9: JUMPDEST 000002ea: STOP 000002eb: JUMPDEST 000002ec: PUSH2 0x0301 000002ef: PUSH1 0x04 000002f1: DUP1 000002f2: DUP1 000002f3: CALLDATALOAD 000002f4: SWAP1 000002f5: PUSH1 0x20 000002f7: ADD 000002f8: SWAP1 000002f9: SWAP2 000002fa: SWAP1 000002fb: POP 000002fc: POP 000002fd: PUSH2 0x0ac2 00000300: JUMP 00000301: JUMPDEST 00000302: PUSH1 0x40 00000304: MLOAD 00000305: DUP1 00000306: DUP3 00000307: DUP2 00000308: MSTORE 00000309: PUSH1 0x20 0000030b: ADD 0000030c: SWAP2 0000030d: POP 0000030e: POP 0000030f: PUSH1 0x40 00000311: MLOAD 00000312: DUP1 00000313: SWAP2 00000314: SUB 00000315: SWAP1 00000316: RETURN 00000317: JUMPDEST 00000318: PUSH2 0x032d 0000031b: PUSH1 0x04 0000031d: DUP1 0000031e: DUP1 0000031f: CALLDATALOAD 00000320: SWAP1 00000321: PUSH1 0x20 00000323: ADD 00000324: SWAP1 00000325: SWAP2 00000326: SWAP1 00000327: POP 00000328: POP 00000329: PUSH2 0x0c83 0000032c: JUMP 0000032d: JUMPDEST 0000032e: STOP 0000032f: JUMPDEST 00000330: PUSH2 0x033c 00000333: PUSH1 0x04 00000335: DUP1 00000336: POP 00000337: POP 00000338: PUSH2 0x03aa 0000033b: JUMP 0000033c: JUMPDEST 0000033d: PUSH1 0x40 0000033f: MLOAD 00000340: DUP1 00000341: DUP3 00000342: DUP2 00000343: MSTORE 00000344: PUSH1 0x20 00000346: ADD 00000347: SWAP2 00000348: POP 00000349: POP 0000034a: PUSH1 0x40 0000034c: MLOAD 0000034d: DUP1 0000034e: SWAP2 0000034f: SUB 00000350: SWAP1 00000351: RETURN 00000352: JUMPDEST 00000353: PUSH2 0x0368 00000356: PUSH1 0x04 00000358: DUP1 00000359: DUP1 0000035a: CALLDATALOAD 0000035b: SWAP1 0000035c: PUSH1 0x20 0000035e: ADD 0000035f: SWAP1 00000360: SWAP2 00000361: SWAP1 00000362: POP 00000363: POP 00000364: PUSH2 0x0a0f 00000367: JUMP 00000368: JUMPDEST 00000369: PUSH1 0x40 0000036b: MLOAD 0000036c: DUP1 0000036d: DUP3 0000036e: DUP2 0000036f: MSTORE 00000370: PUSH1 0x20 00000372: ADD 00000373: SWAP2 00000374: POP 00000375: POP 00000376: PUSH1 0x40 00000378: MLOAD 00000379: DUP1 0000037a: SWAP2 0000037b: SUB 0000037c: SWAP1 0000037d: RETURN 0000037e: JUMPDEST 0000037f: PUSH2 0x0394 00000382: PUSH1 0x04 00000384: DUP1 00000385: DUP1 00000386: CALLDATALOAD 00000387: SWAP1 00000388: PUSH1 0x20 0000038a: ADD 0000038b: SWAP1 0000038c: SWAP2 0000038d: SWAP1 0000038e: POP 0000038f: POP 00000390: PUSH2 0x0a25 00000393: JUMP 00000394: JUMPDEST 00000395: PUSH1 0x40 00000397: MLOAD 00000398: DUP1 00000399: DUP3 0000039a: DUP2 0000039b: MSTORE 0000039c: PUSH1 0x20 0000039e: ADD 0000039f: SWAP2 000003a0: POP 000003a1: POP 000003a2: PUSH1 0x40 000003a4: MLOAD 000003a5: DUP1 000003a6: SWAP2 000003a7: SUB 000003a8: SWAP1 000003a9: RETURN 000003aa: JUMPDEST 000003ab: PUSH1 0x00 000003ad: PUSH1 0x00 000003af: PUSH1 0x04 000003b1: PUSH1 0x00 000003b3: POP 000003b4: PUSH1 0x00 000003b6: CALLER 000003b7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000003cc: AND 000003cd: DUP2 000003ce: MSTORE 000003cf: PUSH1 0x20 000003d1: ADD 000003d2: SWAP1 000003d3: DUP2 000003d4: MSTORE 000003d5: PUSH1 0x20 000003d7: ADD 000003d8: PUSH1 0x00 000003da: KECCAK256 000003db: PUSH1 0x00 000003dd: POP 000003de: SWAP1 000003df: POP 000003e0: PUSH1 0x00 000003e2: PUSH1 0x01 000003e4: MUL 000003e5: DUP2 000003e6: PUSH1 0x04 000003e8: ADD 000003e9: PUSH1 0x00 000003eb: POP 000003ec: SLOAD 000003ed: EQ 000003ee: ISZERO 000003ef: ISZERO 000003f0: PUSH2 0x03fc 000003f3: JUMPI 000003f4: PUSH1 0x00 000003f6: SWAP2 000003f7: POP 000003f8: PUSH2 0x043a 000003fb: JUMP 000003fc: JUMPDEST 000003fd: PUSH1 0x00 000003ff: DUP2 00000400: PUSH1 0x00 00000402: ADD 00000403: PUSH1 0x00 00000405: POP 00000406: SLOAD 00000407: GT 00000408: ISZERO 00000409: ISZERO 0000040a: PUSH2 0x0416 0000040d: JUMPI 0000040e: PUSH1 0x00 00000410: SWAP2 00000411: POP 00000412: PUSH2 0x043a 00000415: JUMP 00000416: JUMPDEST 00000417: PUSH1 0x14 00000419: DUP2 0000041a: PUSH1 0x02 0000041c: ADD 0000041d: PUSH1 0x00 0000041f: POP 00000420: SLOAD 00000421: ADD 00000422: NUMBER 00000423: LT 00000424: ISZERO 00000425: PUSH2 0x0431 00000428: JUMPI 00000429: PUSH1 0x00 0000042b: SWAP2 0000042c: POP 0000042d: PUSH2 0x043a 00000430: JUMP 00000431: JUMPDEST 00000432: PUSH1 0x01 00000434: SWAP2 00000435: POP 00000436: PUSH2 0x043a 00000439: JUMP 0000043a: JUMPDEST 0000043b: POP 0000043c: SWAP1 0000043d: JUMP 0000043e: JUMPDEST 0000043f: PUSH1 0x00 00000441: PUSH2 0x0448 00000444: PUSH2 0x03aa 00000447: JUMP 00000448: JUMPDEST 00000449: ISZERO 0000044a: ISZERO 0000044b: PUSH2 0x0453 0000044e: JUMPI 0000044f: PUSH2 0x0526 00000452: JUMP 00000453: JUMPDEST 00000454: PUSH1 0x04 00000456: PUSH1 0x00 00000458: POP 00000459: PUSH1 0x00 0000045b: CALLER 0000045c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000471: AND 00000472: DUP2 00000473: MSTORE 00000474: PUSH1 0x20 00000476: ADD 00000477: SWAP1 00000478: DUP2 00000479: MSTORE 0000047a: PUSH1 0x20 0000047c: ADD 0000047d: PUSH1 0x00 0000047f: KECCAK256 00000480: PUSH1 0x00 00000482: POP 00000483: SWAP1 00000484: POP 00000485: CALLER 00000486: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000049b: AND 0000049c: PUSH1 0x00 0000049e: DUP3 0000049f: PUSH1 0x00 000004a1: ADD 000004a2: PUSH1 0x00 000004a4: POP 000004a5: SLOAD 000004a6: PUSH1 0x40 000004a8: MLOAD 000004a9: DUP1 000004aa: SWAP1 000004ab: POP 000004ac: PUSH1 0x00 000004ae: PUSH1 0x40 000004b0: MLOAD 000004b1: DUP1 000004b2: DUP4 000004b3: SUB 000004b4: DUP2 000004b5: DUP6 000004b6: DUP9 000004b7: DUP9 000004b8: CALL 000004b9: SWAP4 000004ba: POP 000004bb: POP 000004bc: POP 000004bd: POP 000004be: POP 000004bf: PUSH1 0x04 000004c1: PUSH1 0x00 000004c3: POP 000004c4: PUSH1 0x00 000004c6: CALLER 000004c7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000004dc: AND 000004dd: DUP2 000004de: MSTORE 000004df: PUSH1 0x20 000004e1: ADD 000004e2: SWAP1 000004e3: DUP2 000004e4: MSTORE 000004e5: PUSH1 0x20 000004e7: ADD 000004e8: PUSH1 0x00 000004ea: KECCAK256 000004eb: PUSH1 0x00 000004ed: PUSH1 0x00 000004ef: DUP3 000004f0: ADD 000004f1: PUSH1 0x00 000004f3: POP 000004f4: PUSH1 0x00 000004f6: SWAP1 000004f7: SSTORE 000004f8: PUSH1 0x01 000004fa: DUP3 000004fb: ADD 000004fc: PUSH1 0x00 000004fe: POP 000004ff: PUSH1 0x00 00000501: SWAP1 00000502: SSTORE 00000503: PUSH1 0x02 00000505: DUP3 00000506: ADD 00000507: PUSH1 0x00 00000509: POP 0000050a: PUSH1 0x00 0000050c: SWAP1 0000050d: SSTORE 0000050e: PUSH1 0x03 00000510: DUP3 00000511: ADD 00000512: PUSH1 0x00 00000514: POP 00000515: PUSH1 0x00 00000517: SWAP1 00000518: SSTORE 00000519: PUSH1 0x04 0000051b: DUP3 0000051c: ADD 0000051d: PUSH1 0x00 0000051f: POP 00000520: PUSH1 0x00 00000522: SWAP1 00000523: SSTORE 00000524: POP 00000525: POP 00000526: JUMPDEST 00000527: POP 00000528: JUMP 00000529: JUMPDEST 0000052a: PUSH1 0x00 0000052c: PUSH1 0x03 0000052e: PUSH1 0x00 00000530: POP 00000531: SLOAD 00000532: SWAP1 00000533: POP 00000534: PUSH2 0x0538 00000537: JUMP 00000538: JUMPDEST 00000539: SWAP1 0000053a: JUMP 0000053b: JUMPDEST 0000053c: PUSH1 0x00 0000053e: ADDRESS 0000053f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000554: AND 00000555: BALANCE 00000556: SWAP1 00000557: POP 00000558: PUSH2 0x055c 0000055b: JUMP 0000055c: JUMPDEST 0000055d: SWAP1 0000055e: JUMP 0000055f: JUMPDEST 00000560: PUSH1 0x00 00000562: PUSH1 0x00 00000564: PUSH1 0x00 00000566: POP 00000567: SLOAD 00000568: SWAP1 00000569: POP 0000056a: PUSH2 0x056e 0000056d: JUMP 0000056e: JUMPDEST 0000056f: SWAP1 00000570: JUMP 00000571: JUMPDEST 00000572: PUSH1 0x01 00000574: PUSH1 0x00 00000576: SWAP1 00000577: SLOAD 00000578: SWAP1 00000579: PUSH2 0x0100 0000057c: EXP 0000057d: SWAP1 0000057e: DIV 0000057f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000594: AND 00000595: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000005aa: AND 000005ab: CALLER 000005ac: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000005c1: AND 000005c2: EQ 000005c3: ISZERO 000005c4: ISZERO 000005c5: PUSH2 0x05cd 000005c8: JUMPI 000005c9: PUSH2 0x05f9 000005cc: JUMP 000005cd: JUMPDEST 000005ce: DUP1 000005cf: PUSH1 0x02 000005d1: PUSH1 0x00 000005d3: PUSH2 0x0100 000005d6: EXP 000005d7: DUP2 000005d8: SLOAD 000005d9: DUP2 000005da: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000005ef: MUL 000005f0: NOT 000005f1: AND 000005f2: SWAP1 000005f3: DUP4 000005f4: MUL 000005f5: OR 000005f6: SWAP1 000005f7: SSTORE 000005f8: POP 000005f9: JUMPDEST 000005fa: POP 000005fb: JUMP 000005fc: JUMPDEST 000005fd: PUSH1 0x00 000005ff: PUSH1 0x01 00000601: PUSH1 0x00 00000603: SWAP1 00000604: SLOAD 00000605: SWAP1 00000606: PUSH2 0x0100 00000609: EXP 0000060a: SWAP1 0000060b: DIV 0000060c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000621: AND 00000622: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000637: AND 00000638: CALLER 00000639: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000064e: AND 0000064f: EQ 00000650: ISZERO 00000651: ISZERO 00000652: PUSH2 0x065a 00000655: JUMPI 00000656: PUSH2 0x065e 00000659: JUMP 0000065a: JUMPDEST 0000065b: NUMBER 0000065c: SWAP1 0000065d: POP 0000065e: JUMPDEST 0000065f: POP 00000660: JUMP 00000661: JUMPDEST 00000662: PUSH1 0x00 00000664: PUSH1 0x01 00000666: PUSH1 0x00 00000668: SWAP1 00000669: SLOAD 0000066a: SWAP1 0000066b: PUSH2 0x0100 0000066e: EXP 0000066f: SWAP1 00000670: DIV 00000671: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000686: AND 00000687: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000069c: AND 0000069d: CALLER 0000069e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000006b3: AND 000006b4: EQ 000006b5: ISZERO 000006b6: ISZERO 000006b7: PUSH2 0x06bf 000006ba: JUMPI 000006bb: PUSH2 0x06c4 000006be: JUMP 000006bf: JUMPDEST 000006c0: PUSH1 0x00 000006c2: SWAP1 000006c3: POP 000006c4: JUMPDEST 000006c5: POP 000006c6: JUMP 000006c7: JUMPDEST 000006c8: PUSH1 0x01 000006ca: PUSH1 0x00 000006cc: SWAP1 000006cd: SLOAD 000006ce: SWAP1 000006cf: PUSH2 0x0100 000006d2: EXP 000006d3: SWAP1 000006d4: DIV 000006d5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000006ea: AND 000006eb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000700: AND 00000701: CALLER 00000702: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000717: AND 00000718: EQ 00000719: ISZERO 0000071a: ISZERO 0000071b: PUSH2 0x0723 0000071e: JUMPI 0000071f: PUSH2 0x079f 00000722: JUMP 00000723: JUMPDEST 00000724: PUSH1 0x00 00000726: PUSH1 0x00 00000728: PUSH1 0x00 0000072a: POP 0000072b: SLOAD 0000072c: EQ 0000072d: DUP1 0000072e: PUSH2 0x073f 00000731: JUMPI 00000732: POP 00000733: PUSH2 0x1680 00000736: PUSH1 0x00 00000738: PUSH1 0x00 0000073a: POP 0000073b: SLOAD 0000073c: ADD 0000073d: NUMBER 0000073e: LT 0000073f: JUMPDEST 00000740: ISZERO 00000741: PUSH2 0x0749 00000744: JUMPI 00000745: PUSH2 0x079f 00000748: JUMP 00000749: JUMPDEST 0000074a: PUSH1 0x01 0000074c: PUSH1 0x00 0000074e: SWAP1 0000074f: SLOAD 00000750: SWAP1 00000751: PUSH2 0x0100 00000754: EXP 00000755: SWAP1 00000756: DIV 00000757: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000076c: AND 0000076d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000782: AND 00000783: PUSH1 0x00 00000785: DUP3 00000786: PUSH1 0x40 00000788: MLOAD 00000789: DUP1 0000078a: SWAP1 0000078b: POP 0000078c: PUSH1 0x00 0000078e: PUSH1 0x40 00000790: MLOAD 00000791: DUP1 00000792: DUP4 00000793: SUB 00000794: DUP2 00000795: DUP6 00000796: DUP9 00000797: DUP9 00000798: CALL 00000799: SWAP4 0000079a: POP 0000079b: POP 0000079c: POP 0000079d: POP 0000079e: POP 0000079f: JUMPDEST 000007a0: POP 000007a1: JUMP 000007a2: JUMPDEST 000007a3: PUSH1 0x01 000007a5: DUP3 000007a6: LT 000007a7: DUP1 000007a8: PUSH2 0x07b1 000007ab: JUMPI 000007ac: POP 000007ad: PUSH1 0xff 000007af: DUP3 000007b0: GT 000007b1: JUMPDEST 000007b2: DUP1 000007b3: PUSH2 0x07c0 000007b6: JUMPI 000007b7: POP 000007b8: PUSH1 0x03 000007ba: PUSH1 0x00 000007bc: POP 000007bd: SLOAD 000007be: CALLVALUE 000007bf: LT 000007c0: JUMPDEST 000007c1: DUP1 000007c2: PUSH2 0x07da 000007c5: JUMPI 000007c6: POP 000007c7: PUSH2 0x07ce 000007ca: PUSH2 0x0c59 000007cd: JUMP 000007ce: JUMPDEST 000007cf: PUSH2 0x07d8 000007d2: CALLVALUE 000007d3: DUP5 000007d4: PUSH2 0x0c3d 000007d7: JUMP 000007d8: JUMPDEST 000007d9: GT 000007da: JUMPDEST 000007db: DUP1 000007dc: PUSH2 0x07eb 000007df: JUMPI 000007e0: POP 000007e1: PUSH1 0x00 000007e3: PUSH1 0x00 000007e5: PUSH1 0x00 000007e7: POP 000007e8: SLOAD 000007e9: EQ 000007ea: ISZERO 000007eb: JUMPDEST 000007ec: ISZERO 000007ed: PUSH2 0x0828 000007f0: JUMPI 000007f1: CALLER 000007f2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000807: AND 00000808: PUSH1 0x00 0000080a: CALLVALUE 0000080b: PUSH1 0x40 0000080d: MLOAD 0000080e: DUP1 0000080f: SWAP1 00000810: POP 00000811: PUSH1 0x00 00000813: PUSH1 0x40 00000815: MLOAD 00000816: DUP1 00000817: DUP4 00000818: SUB 00000819: DUP2 0000081a: DUP6 0000081b: DUP9 0000081c: DUP9 0000081d: CALL 0000081e: SWAP4 0000081f: POP 00000820: POP 00000821: POP 00000822: POP 00000823: POP 00000824: PUSH2 0x0929 00000827: JUMP 00000828: JUMPDEST 00000829: PUSH1 0xa0 0000082b: PUSH1 0x40 0000082d: MLOAD 0000082e: SWAP1 0000082f: DUP2 00000830: ADD 00000831: PUSH1 0x40 00000833: MSTORE 00000834: DUP1 00000835: CALLVALUE 00000836: DUP2 00000837: MSTORE 00000838: PUSH1 0x20 0000083a: ADD 0000083b: DUP4 0000083c: DUP2 0000083d: MSTORE 0000083e: PUSH1 0x20 00000840: ADD 00000841: NUMBER 00000842: DUP2 00000843: MSTORE 00000844: PUSH1 0x20 00000846: ADD 00000847: DUP3 00000848: DUP2 00000849: MSTORE 0000084a: PUSH1 0x20 0000084c: ADD 0000084d: PUSH1 0x00 0000084f: PUSH1 0x01 00000851: MUL 00000852: DUP2 00000853: MSTORE 00000854: PUSH1 0x20 00000856: ADD 00000857: POP 00000858: PUSH1 0x04 0000085a: PUSH1 0x00 0000085c: POP 0000085d: PUSH1 0x00 0000085f: CALLER 00000860: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000875: AND 00000876: DUP2 00000877: MSTORE 00000878: PUSH1 0x20 0000087a: ADD 0000087b: SWAP1 0000087c: DUP2 0000087d: MSTORE 0000087e: PUSH1 0x20 00000880: ADD 00000881: PUSH1 0x00 00000883: KECCAK256 00000884: PUSH1 0x00 00000886: POP 00000887: PUSH1 0x00 00000889: DUP3 0000088a: ADD 0000088b: MLOAD 0000088c: DUP2 0000088d: PUSH1 0x00 0000088f: ADD 00000890: PUSH1 0x00 00000892: POP 00000893: SSTORE 00000894: PUSH1 0x20 00000896: DUP3 00000897: ADD 00000898: MLOAD 00000899: DUP2 0000089a: PUSH1 0x01 0000089c: ADD 0000089d: PUSH1 0x00 0000089f: POP 000008a0: SSTORE 000008a1: PUSH1 0x40 000008a3: DUP3 000008a4: ADD 000008a5: MLOAD 000008a6: DUP2 000008a7: PUSH1 0x02 000008a9: ADD 000008aa: PUSH1 0x00 000008ac: POP 000008ad: SSTORE 000008ae: PUSH1 0x60 000008b0: DUP3 000008b1: ADD 000008b2: MLOAD 000008b3: DUP2 000008b4: PUSH1 0x03 000008b6: ADD 000008b7: PUSH1 0x00 000008b9: POP 000008ba: SSTORE 000008bb: PUSH1 0x80 000008bd: DUP3 000008be: ADD 000008bf: MLOAD 000008c0: DUP2 000008c1: PUSH1 0x04 000008c3: ADD 000008c4: PUSH1 0x00 000008c6: POP 000008c7: SSTORE 000008c8: SWAP1 000008c9: POP 000008ca: POP 000008cb: CALLER 000008cc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000008e1: AND 000008e2: PUSH32 0x97371a3349bea11f577edf6e64350a3dfb9de665d1154c7e6d08eb0805aa0430 00000903: NUMBER 00000904: CALLVALUE 00000905: DUP6 00000906: PUSH1 0x40 00000908: MLOAD 00000909: DUP1 0000090a: DUP5 0000090b: DUP2 0000090c: MSTORE 0000090d: PUSH1 0x20 0000090f: ADD 00000910: DUP4 00000911: DUP2 00000912: MSTORE 00000913: PUSH1 0x20 00000915: ADD 00000916: DUP3 00000917: DUP2 00000918: MSTORE 00000919: PUSH1 0x20 0000091b: ADD 0000091c: SWAP4 0000091d: POP 0000091e: POP 0000091f: POP 00000920: POP 00000921: PUSH1 0x40 00000923: MLOAD 00000924: DUP1 00000925: SWAP2 00000926: SUB 00000927: SWAP1 00000928: LOG2 00000929: JUMPDEST 0000092a: POP 0000092b: POP 0000092c: JUMP 0000092d: JUMPDEST 0000092e: PUSH1 0x02 00000930: PUSH1 0x00 00000932: SWAP1 00000933: SLOAD 00000934: SWAP1 00000935: PUSH2 0x0100 00000938: EXP 00000939: SWAP1 0000093a: DIV 0000093b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000950: AND 00000951: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000966: AND 00000967: CALLER 00000968: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000097d: AND 0000097e: EQ 0000097f: ISZERO 00000980: ISZERO 00000981: PUSH2 0x0989 00000984: JUMPI 00000985: PUSH2 0x0a0b 00000988: JUMP 00000989: JUMPDEST 0000098a: PUSH1 0x00 0000098c: PUSH1 0x01 0000098e: MUL 0000098f: PUSH1 0x04 00000991: PUSH1 0x00 00000993: POP 00000994: PUSH1 0x00 00000996: DUP5 00000997: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000009ac: AND 000009ad: DUP2 000009ae: MSTORE 000009af: PUSH1 0x20 000009b1: ADD 000009b2: SWAP1 000009b3: DUP2 000009b4: MSTORE 000009b5: PUSH1 0x20 000009b7: ADD 000009b8: PUSH1 0x00 000009ba: KECCAK256 000009bb: PUSH1 0x00 000009bd: POP 000009be: PUSH1 0x04 000009c0: ADD 000009c1: PUSH1 0x00 000009c3: POP 000009c4: SLOAD 000009c5: EQ 000009c6: ISZERO 000009c7: ISZERO 000009c8: PUSH2 0x09d0 000009cb: JUMPI 000009cc: PUSH2 0x0a0b 000009cf: JUMP 000009d0: JUMPDEST 000009d1: DUP1 000009d2: PUSH1 0x04 000009d4: PUSH1 0x00 000009d6: POP 000009d7: PUSH1 0x00 000009d9: DUP5 000009da: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000009ef: AND 000009f0: DUP2 000009f1: MSTORE 000009f2: PUSH1 0x20 000009f4: ADD 000009f5: SWAP1 000009f6: DUP2 000009f7: MSTORE 000009f8: PUSH1 0x20 000009fa: ADD 000009fb: PUSH1 0x00 000009fd: KECCAK256 000009fe: PUSH1 0x00 00000a00: POP 00000a01: PUSH1 0x04 00000a03: ADD 00000a04: PUSH1 0x00 00000a06: POP 00000a07: DUP2 00000a08: SWAP1 00000a09: SSTORE 00000a0a: POP 00000a0b: JUMPDEST 00000a0c: POP 00000a0d: POP 00000a0e: JUMP 00000a0f: JUMPDEST 00000a10: PUSH1 0x00 00000a12: PUSH1 0xff 00000a14: DUP3 00000a15: PUSH1 0x01 00000a17: SWAP1 00000a18: DIV 00000a19: AND 00000a1a: SWAP1 00000a1b: POP 00000a1c: PUSH2 0x0a20 00000a1f: JUMP 00000a20: JUMPDEST 00000a21: SWAP2 00000a22: SWAP1 00000a23: POP 00000a24: JUMP 00000a25: JUMPDEST 00000a26: PUSH1 0x00 00000a28: DUP2 00000a29: PUSH1 0x40 00000a2b: MLOAD 00000a2c: DUP1 00000a2d: DUP3 00000a2e: DUP2 00000a2f: MSTORE 00000a30: PUSH1 0x20 00000a32: ADD 00000a33: SWAP2 00000a34: POP 00000a35: POP 00000a36: PUSH1 0x40 00000a38: MLOAD 00000a39: DUP1 00000a3a: SWAP2 00000a3b: SUB 00000a3c: SWAP1 00000a3d: KECCAK256 00000a3e: PUSH1 0x01 00000a40: SWAP1 00000a41: DIV 00000a42: SWAP1 00000a43: POP 00000a44: PUSH2 0x0a48 00000a47: JUMP 00000a48: JUMPDEST 00000a49: SWAP2 00000a4a: SWAP1 00000a4b: POP 00000a4c: JUMP 00000a4d: JUMPDEST 00000a4e: PUSH1 0x00 00000a50: PUSH2 0x0a58 00000a53: CALLER 00000a54: PUSH2 0x0a62 00000a57: JUMP 00000a58: JUMPDEST 00000a59: SWAP1 00000a5a: POP 00000a5b: PUSH2 0x0a5f 00000a5e: JUMP 00000a5f: JUMPDEST 00000a60: SWAP1 00000a61: JUMP 00000a62: JUMPDEST 00000a63: PUSH1 0x00 00000a65: PUSH1 0x00 00000a67: PUSH1 0x04 00000a69: PUSH1 0x00 00000a6b: POP 00000a6c: PUSH1 0x00 00000a6e: DUP5 00000a6f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a84: AND 00000a85: DUP2 00000a86: MSTORE 00000a87: PUSH1 0x20 00000a89: ADD 00000a8a: SWAP1 00000a8b: DUP2 00000a8c: MSTORE 00000a8d: PUSH1 0x20 00000a8f: ADD 00000a90: PUSH1 0x00 00000a92: KECCAK256 00000a93: PUSH1 0x00 00000a95: POP 00000a96: SWAP1 00000a97: POP 00000a98: PUSH1 0x00 00000a9a: PUSH1 0x01 00000a9c: MUL 00000a9d: DUP2 00000a9e: PUSH1 0x04 00000aa0: ADD 00000aa1: PUSH1 0x00 00000aa3: POP 00000aa4: SLOAD 00000aa5: EQ 00000aa6: ISZERO 00000aa7: PUSH2 0x0ab3 00000aaa: JUMPI 00000aab: PUSH1 0x00 00000aad: SWAP2 00000aae: POP 00000aaf: PUSH2 0x0abc 00000ab2: JUMP 00000ab3: JUMPDEST 00000ab4: PUSH1 0x01 00000ab6: SWAP2 00000ab7: POP 00000ab8: PUSH2 0x0abc 00000abb: JUMP 00000abc: JUMPDEST 00000abd: POP 00000abe: SWAP2 00000abf: SWAP1 00000ac0: POP 00000ac1: JUMP 00000ac2: JUMPDEST 00000ac3: PUSH1 0x00 00000ac5: PUSH1 0x00 00000ac7: PUSH1 0x04 00000ac9: PUSH1 0x00 00000acb: POP 00000acc: PUSH1 0x00 00000ace: CALLER 00000acf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000ae4: AND 00000ae5: DUP2 00000ae6: MSTORE 00000ae7: PUSH1 0x20 00000ae9: ADD 00000aea: SWAP1 00000aeb: DUP2 00000aec: MSTORE 00000aed: PUSH1 0x20 00000aef: ADD 00000af0: PUSH1 0x00 00000af2: KECCAK256 00000af3: PUSH1 0x00 00000af5: POP 00000af6: SWAP1 00000af7: POP 00000af8: PUSH1 0x00 00000afa: PUSH1 0x01 00000afc: MUL 00000afd: DUP2 00000afe: PUSH1 0x04 00000b00: ADD 00000b01: PUSH1 0x00 00000b03: POP 00000b04: SLOAD 00000b05: EQ 00000b06: ISZERO 00000b07: PUSH2 0x0b0f 00000b0a: JUMPI 00000b0b: PUSH2 0x0b6d 00000b0e: JUMP 00000b0f: JUMPDEST 00000b10: DUP1 00000b11: PUSH1 0x03 00000b13: ADD 00000b14: PUSH1 0x00 00000b16: POP 00000b17: SLOAD 00000b18: DUP4 00000b19: PUSH1 0x40 00000b1b: MLOAD 00000b1c: DUP1 00000b1d: DUP3 00000b1e: DUP2 00000b1f: MSTORE 00000b20: PUSH1 0x20 00000b22: ADD 00000b23: SWAP2 00000b24: POP 00000b25: POP 00000b26: PUSH1 0x40 00000b28: MLOAD 00000b29: DUP1 00000b2a: SWAP2 00000b2b: SUB 00000b2c: SWAP1 00000b2d: KECCAK256 00000b2e: EQ 00000b2f: ISZERO 00000b30: ISZERO 00000b31: PUSH2 0x0b39 00000b34: JUMPI 00000b35: PUSH2 0x0b6d 00000b38: JUMP 00000b39: JUMPDEST 00000b3a: PUSH2 0x0b66 00000b3d: DUP4 00000b3e: DUP3 00000b3f: PUSH1 0x04 00000b41: ADD 00000b42: PUSH1 0x00 00000b44: POP 00000b45: SLOAD 00000b46: PUSH1 0x40 00000b48: MLOAD 00000b49: DUP1 00000b4a: DUP4 00000b4b: DUP2 00000b4c: MSTORE 00000b4d: PUSH1 0x20 00000b4f: ADD 00000b50: DUP3 00000b51: DUP2 00000b52: MSTORE 00000b53: PUSH1 0x20 00000b55: ADD 00000b56: SWAP3 00000b57: POP 00000b58: POP 00000b59: POP 00000b5a: PUSH1 0x40 00000b5c: MLOAD 00000b5d: DUP1 00000b5e: SWAP2 00000b5f: SUB 00000b60: SWAP1 00000b61: KECCAK256 00000b62: PUSH2 0x0a0f 00000b65: JUMP 00000b66: JUMPDEST 00000b67: SWAP2 00000b68: POP 00000b69: PUSH2 0x0b6d 00000b6c: JUMP 00000b6d: JUMPDEST 00000b6e: POP 00000b6f: SWAP2 00000b70: SWAP1 00000b71: POP 00000b72: JUMP 00000b73: JUMPDEST 00000b74: PUSH1 0x00 00000b76: PUSH1 0x00 00000b78: PUSH1 0x04 00000b7a: PUSH1 0x00 00000b7c: POP 00000b7d: PUSH1 0x00 00000b7f: CALLER 00000b80: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b95: AND 00000b96: DUP2 00000b97: MSTORE 00000b98: PUSH1 0x20 00000b9a: ADD 00000b9b: SWAP1 00000b9c: DUP2 00000b9d: MSTORE 00000b9e: PUSH1 0x20 00000ba0: ADD 00000ba1: PUSH1 0x00 00000ba3: KECCAK256 00000ba4: PUSH1 0x00 00000ba6: POP 00000ba7: SWAP1 00000ba8: POP 00000ba9: PUSH1 0x00 00000bab: PUSH1 0x01 00000bad: MUL 00000bae: DUP2 00000baf: PUSH1 0x04 00000bb1: ADD 00000bb2: PUSH1 0x00 00000bb4: POP 00000bb5: SLOAD 00000bb6: EQ 00000bb7: ISZERO 00000bb8: PUSH2 0x0bc0 00000bbb: JUMPI 00000bbc: PUSH2 0x0c37 00000bbf: JUMP 00000bc0: JUMPDEST 00000bc1: DUP1 00000bc2: PUSH1 0x03 00000bc4: ADD 00000bc5: PUSH1 0x00 00000bc7: POP 00000bc8: SLOAD 00000bc9: DUP4 00000bca: PUSH1 0x40 00000bcc: MLOAD 00000bcd: DUP1 00000bce: DUP3 00000bcf: DUP2 00000bd0: MSTORE 00000bd1: PUSH1 0x20 00000bd3: ADD 00000bd4: SWAP2 00000bd5: POP 00000bd6: POP 00000bd7: PUSH1 0x40 00000bd9: MLOAD 00000bda: DUP1 00000bdb: SWAP2 00000bdc: SUB 00000bdd: SWAP1 00000bde: KECCAK256 00000bdf: EQ 00000be0: ISZERO 00000be1: ISZERO 00000be2: PUSH2 0x0bea 00000be5: JUMPI 00000be6: PUSH2 0x0c37 00000be9: JUMP 00000bea: JUMPDEST 00000beb: DUP1 00000bec: PUSH1 0x01 00000bee: ADD 00000bef: PUSH1 0x00 00000bf1: POP 00000bf2: SLOAD 00000bf3: PUSH2 0x0c1f 00000bf6: DUP5 00000bf7: DUP4 00000bf8: PUSH1 0x04 00000bfa: ADD 00000bfb: PUSH1 0x00 00000bfd: POP 00000bfe: SLOAD 00000bff: PUSH1 0x40 00000c01: MLOAD 00000c02: DUP1 00000c03: DUP4 00000c04: DUP2 00000c05: MSTORE 00000c06: PUSH1 0x20 00000c08: ADD 00000c09: DUP3 00000c0a: DUP2 00000c0b: MSTORE 00000c0c: PUSH1 0x20 00000c0e: ADD 00000c0f: SWAP3 00000c10: POP 00000c11: POP 00000c12: POP 00000c13: PUSH1 0x40 00000c15: MLOAD 00000c16: DUP1 00000c17: SWAP2 00000c18: SUB 00000c19: SWAP1 00000c1a: KECCAK256 00000c1b: PUSH2 0x0a0f 00000c1e: JUMP 00000c1f: JUMPDEST 00000c20: LT 00000c21: ISZERO 00000c22: PUSH2 0x0c2e 00000c25: JUMPI 00000c26: PUSH1 0x01 00000c28: SWAP2 00000c29: POP 00000c2a: PUSH2 0x0c37 00000c2d: JUMP 00000c2e: JUMPDEST 00000c2f: PUSH1 0x00 00000c31: SWAP2 00000c32: POP 00000c33: PUSH2 0x0c37 00000c36: JUMP 00000c37: JUMPDEST 00000c38: POP 00000c39: SWAP2 00000c3a: SWAP1 00000c3b: POP 00000c3c: JUMP 00000c3d: JUMPDEST 00000c3e: PUSH1 0x00 00000c40: DUP2 00000c41: PUSH2 0x0100 00000c44: PUSH1 0x64 00000c46: PUSH1 0x63 00000c48: DUP7 00000c49: MUL 00000c4a: DIV 00000c4b: MUL 00000c4c: DIV 00000c4d: SWAP1 00000c4e: POP 00000c4f: PUSH2 0x0c53 00000c52: JUMP 00000c53: JUMPDEST 00000c54: SWAP3 00000c55: SWAP2 00000c56: POP 00000c57: POP 00000c58: JUMP 00000c59: JUMPDEST 00000c5a: PUSH1 0x00 00000c5c: PUSH1 0x64 00000c5e: PUSH1 0x05 00000c60: ADDRESS 00000c61: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000c76: AND 00000c77: BALANCE 00000c78: MUL 00000c79: DIV 00000c7a: SWAP1 00000c7b: POP 00000c7c: PUSH2 0x0c80 00000c7f: JUMP 00000c80: JUMPDEST 00000c81: SWAP1 00000c82: JUMP 00000c83: JUMPDEST 00000c84: PUSH1 0x00 00000c86: PUSH1 0x04 00000c88: PUSH1 0x00 00000c8a: POP 00000c8b: PUSH1 0x00 00000c8d: CALLER 00000c8e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000ca3: AND 00000ca4: DUP2 00000ca5: MSTORE 00000ca6: PUSH1 0x20 00000ca8: ADD 00000ca9: SWAP1 00000caa: DUP2 00000cab: MSTORE 00000cac: PUSH1 0x20 00000cae: ADD 00000caf: PUSH1 0x00 00000cb1: KECCAK256 00000cb2: PUSH1 0x00 00000cb4: POP 00000cb5: SWAP1 00000cb6: POP 00000cb7: PUSH1 0x00 00000cb9: PUSH1 0x01 00000cbb: MUL 00000cbc: DUP2 00000cbd: PUSH1 0x04 00000cbf: ADD 00000cc0: PUSH1 0x00 00000cc2: POP 00000cc3: SLOAD 00000cc4: EQ 00000cc5: ISZERO 00000cc6: PUSH2 0x0cce 00000cc9: JUMPI 00000cca: PUSH2 0x0e54 00000ccd: JUMP 00000cce: JUMPDEST 00000ccf: DUP1 00000cd0: PUSH1 0x03 00000cd2: ADD 00000cd3: PUSH1 0x00 00000cd5: POP 00000cd6: SLOAD 00000cd7: DUP3 00000cd8: PUSH1 0x40 00000cda: MLOAD 00000cdb: DUP1 00000cdc: DUP3 00000cdd: DUP2 00000cde: MSTORE 00000cdf: PUSH1 0x20 00000ce1: ADD 00000ce2: SWAP2 00000ce3: POP 00000ce4: POP 00000ce5: PUSH1 0x40 00000ce7: MLOAD 00000ce8: DUP1 00000ce9: SWAP2 00000cea: SUB 00000ceb: SWAP1 00000cec: KECCAK256 00000ced: EQ 00000cee: ISZERO 00000cef: ISZERO 00000cf0: PUSH2 0x0cf8 00000cf3: JUMPI 00000cf4: PUSH2 0x0e54 00000cf7: JUMP 00000cf8: JUMPDEST 00000cf9: DUP1 00000cfa: PUSH1 0x01 00000cfc: ADD 00000cfd: PUSH1 0x00 00000cff: POP 00000d00: SLOAD 00000d01: PUSH2 0x0d2d 00000d04: DUP4 00000d05: DUP4 00000d06: PUSH1 0x04 00000d08: ADD 00000d09: PUSH1 0x00 00000d0b: POP 00000d0c: SLOAD 00000d0d: PUSH1 0x40 00000d0f: MLOAD 00000d10: DUP1 00000d11: DUP4 00000d12: DUP2 00000d13: MSTORE 00000d14: PUSH1 0x20 00000d16: ADD 00000d17: DUP3 00000d18: DUP2 00000d19: MSTORE 00000d1a: PUSH1 0x20 00000d1c: ADD 00000d1d: SWAP3 00000d1e: POP 00000d1f: POP 00000d20: POP 00000d21: PUSH1 0x40 00000d23: MLOAD 00000d24: DUP1 00000d25: SWAP2 00000d26: SUB 00000d27: SWAP1 00000d28: KECCAK256 00000d29: PUSH2 0x0a0f 00000d2c: JUMP 00000d2d: JUMPDEST 00000d2e: LT 00000d2f: ISZERO 00000d30: PUSH2 0x0dec 00000d33: JUMPI 00000d34: CALLER 00000d35: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000d4a: AND 00000d4b: PUSH1 0x00 00000d4d: PUSH8 0x016345785d8a0000 00000d56: PUSH2 0x0d6d 00000d59: DUP5 00000d5a: PUSH1 0x00 00000d5c: ADD 00000d5d: PUSH1 0x00 00000d5f: POP 00000d60: SLOAD 00000d61: DUP6 00000d62: PUSH1 0x01 00000d64: ADD 00000d65: PUSH1 0x00 00000d67: POP 00000d68: SLOAD 00000d69: PUSH2 0x0c3d 00000d6c: JUMP 00000d6d: JUMPDEST 00000d6e: SUB 00000d6f: PUSH1 0x40 00000d71: MLOAD 00000d72: DUP1 00000d73: SWAP1 00000d74: POP 00000d75: PUSH1 0x00 00000d77: PUSH1 0x40 00000d79: MLOAD 00000d7a: DUP1 00000d7b: DUP4 00000d7c: SUB 00000d7d: DUP2 00000d7e: DUP6 00000d7f: DUP9 00000d80: DUP9 00000d81: CALL 00000d82: SWAP4 00000d83: POP 00000d84: POP 00000d85: POP 00000d86: POP 00000d87: POP 00000d88: CALLER 00000d89: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000d9e: AND 00000d9f: PUSH32 0xfdc49939175858b2bb557093a7d52fa6b6f3aad917d282d61758fab4805f102a 00000dc0: DUP3 00000dc1: PUSH1 0x00 00000dc3: ADD 00000dc4: PUSH1 0x00 00000dc6: POP 00000dc7: SLOAD 00000dc8: DUP4 00000dc9: PUSH1 0x01 00000dcb: ADD 00000dcc: PUSH1 0x00 00000dce: POP 00000dcf: SLOAD 00000dd0: PUSH1 0x40 00000dd2: MLOAD 00000dd3: DUP1 00000dd4: DUP4 00000dd5: DUP2 00000dd6: MSTORE 00000dd7: PUSH1 0x20 00000dd9: ADD 00000dda: DUP3 00000ddb: DUP2 00000ddc: MSTORE 00000ddd: PUSH1 0x20 00000ddf: ADD 00000de0: SWAP3 00000de1: POP 00000de2: POP 00000de3: POP 00000de4: PUSH1 0x40 00000de6: MLOAD 00000de7: DUP1 00000de8: SWAP2 00000de9: SUB 00000dea: SWAP1 00000deb: LOG2 00000dec: JUMPDEST 00000ded: PUSH1 0x04 00000def: PUSH1 0x00 00000df1: POP 00000df2: PUSH1 0x00 00000df4: CALLER 00000df5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000e0a: AND 00000e0b: DUP2 00000e0c: MSTORE 00000e0d: PUSH1 0x20 00000e0f: ADD 00000e10: SWAP1 00000e11: DUP2 00000e12: MSTORE 00000e13: PUSH1 0x20 00000e15: ADD 00000e16: PUSH1 0x00 00000e18: KECCAK256 00000e19: PUSH1 0x00 00000e1b: PUSH1 0x00 00000e1d: DUP3 00000e1e: ADD 00000e1f: PUSH1 0x00 00000e21: POP 00000e22: PUSH1 0x00 00000e24: SWAP1 00000e25: SSTORE 00000e26: PUSH1 0x01 00000e28: DUP3 00000e29: ADD 00000e2a: PUSH1 0x00 00000e2c: POP 00000e2d: PUSH1 0x00 00000e2f: SWAP1 00000e30: SSTORE 00000e31: PUSH1 0x02 00000e33: DUP3 00000e34: ADD 00000e35: PUSH1 0x00 00000e37: POP 00000e38: PUSH1 0x00 00000e3a: SWAP1 00000e3b: SSTORE 00000e3c: PUSH1 0x03 00000e3e: DUP3 00000e3f: ADD 00000e40: PUSH1 0x00 00000e42: POP 00000e43: PUSH1 0x00 00000e45: SWAP1 00000e46: SSTORE 00000e47: PUSH1 0x04 00000e49: DUP3 00000e4a: ADD 00000e4b: PUSH1 0x00 00000e4d: POP 00000e4e: PUSH1 0x00 00000e50: SWAP1 00000e51: SSTORE 00000e52: POP 00000e53: POP 00000e54: JUMPDEST 00000e55: POP 00000e56: POP 00000e57: 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 |
|---|---|---|---|---|---|---|---|
| medium | other | detector | Untrusted CALL target/value reachable | 45 | no | no |
viewtrace_id: 0x862ffe18569f24f13fb2f46e4561d0bb73389e8c5d469cac19936110c243635c
call_targets:
0x8f44e58690168824eeb8822ff80d3507de6035dd
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x862ffe18569f24f13fb2f46e4561d0bb73389e8c5d469cac19936110c243635c",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x8f44e58690168824eeb8822ff80d3507de6035dd"
],
"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": "0x021991e7",
"selector": "0x021991e7",
"calldata_variants": [
"0x021991e7",
"0x021991e70000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x03750d94",
"selector": "0x03750d94",
"calldata_variants": [
"0x03750d94",
"0x03750d940000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x06b5f02d",
"selector": "0x06b5f02d",
"calldata_variants": [
"0x06b5f02d",
"0x06b5f02d0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x0d1fce42",
"selector": "0x0d1fce42",
"calldata_variants": [
"0x0d1fce42",
"0x0d1fce420000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x0e1da6c3",
"selector": "0x0e1da6c3",
"calldata_variants": [
"0x0e1da6c3",
"0x0e1da6c30000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x0f06670a",
"selector": "0x0f06670a",
"calldata_variants": [
"0x0f06670a",
"0x0f06670a0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x2d9a37d3",
"selector": "0x2d9a37d3",
"calldata_variants": [
"0x2d9a37d3",
"0x2d9a37d30000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x2e1a7d4d",
"selector": "0x2e1a7d4d",
"calldata_variants": [
"0x2e1a7d4d",
"0x2e1a7d4d0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1208,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1944,
"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": 4,
"guards_detected": [
{
"pc": 1451,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 1592,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 1693,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 1793,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 2407,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
}
],
"untrusted_call_count": 4
}
|
| medium | other | detector | ETH value transfer possible | 40 | no | no |
viewtrace_id: 0x862ffe18569f24f13fb2f46e4561d0bb73389e8c5d469cac19936110c243635c
call_targets:
0x8f44e58690168824eeb8822ff80d3507de6035dd
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x862ffe18569f24f13fb2f46e4561d0bb73389e8c5d469cac19936110c243635c",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x8f44e58690168824eeb8822ff80d3507de6035dd"
],
"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": "0x021991e7",
"selector": "0x021991e7",
"calldata_variants": [
"0x021991e7",
"0x021991e70000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x03750d94",
"selector": "0x03750d94",
"calldata_variants": [
"0x03750d94",
"0x03750d940000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x06b5f02d",
"selector": "0x06b5f02d",
"calldata_variants": [
"0x06b5f02d",
"0x06b5f02d0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x0d1fce42",
"selector": "0x0d1fce42",
"calldata_variants": [
"0x0d1fce42",
"0x0d1fce420000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x0e1da6c3",
"selector": "0x0e1da6c3",
"calldata_variants": [
"0x0e1da6c3",
"0x0e1da6c30000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x0f06670a",
"selector": "0x0f06670a",
"calldata_variants": [
"0x0f06670a",
"0x0f06670a0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x2d9a37d3",
"selector": "0x2d9a37d3",
"calldata_variants": [
"0x2d9a37d3",
"0x2d9a37d30000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x2e1a7d4d",
"selector": "0x2e1a7d4d",
"calldata_variants": [
"0x2e1a7d4d",
"0x2e1a7d4d0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1208,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1944,
"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": 4,
"guards_detected": [
{
"pc": 1451,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 1592,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 1693,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 1793,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 2407,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
}
]
}
|