019b3831-b4ac-73ab-adc8-5aa5e8afd08b
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 |
|---|---|---|---|---|
| 15 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 16 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 43195 | analysis.bundle | complete | 1 / 3 | 1 week ago |
| 43196 | capability.graph | complete | 1 / 3 | 1 week ago |
| 43197 | detector.run | complete | 1 / 3 | 1 week ago |
| 43198 | 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 0x0095 0000000a: JUMPI 0000000b: PUSH1 0x00 0000000d: CALLDATALOAD 0000000e: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 0000002c: SWAP1 0000002d: DIV 0000002e: DUP1 0000002f: PUSH4 0x013cf08b 00000034: EQ 00000035: PUSH2 0x0097 00000038: JUMPI 00000039: DUP1 0000003a: PUSH4 0x0d61b519 0000003f: EQ 00000040: PUSH2 0x013b 00000043: JUMPI 00000044: DUP1 00000045: PUSH4 0x173a4b70 0000004a: EQ 0000004b: PUSH2 0x0162 0000004e: JUMPI 0000004f: DUP1 00000050: PUSH4 0x39ce3983 00000055: EQ 00000056: PUSH2 0x01da 00000059: JUMPI 0000005a: DUP1 0000005b: PUSH4 0x400e3949 00000060: EQ 00000061: PUSH2 0x01fb 00000064: JUMPI 00000065: DUP1 00000066: PUSH4 0x4d853ee5 0000006b: EQ 0000006c: PUSH2 0x021c 0000006f: JUMPI 00000070: DUP1 00000071: PUSH4 0x5e44daf3 00000076: EQ 00000077: PUSH2 0x0253 0000007a: JUMPI 0000007b: DUP1 0000007c: PUSH4 0x8160f0b5 00000081: EQ 00000082: PUSH2 0x0280 00000085: JUMPI 00000086: DUP1 00000087: PUSH4 0xfd46146a 0000008c: EQ 0000008d: PUSH2 0x02a1 00000090: JUMPI 00000091: PUSH2 0x0095 00000094: JUMP 00000095: JUMPDEST 00000096: STOP 00000097: JUMPDEST 00000098: PUSH2 0x00a8 0000009b: PUSH1 0x04 0000009d: DUP1 0000009e: CALLDATALOAD 0000009f: SWAP1 000000a0: PUSH1 0x20 000000a2: ADD 000000a3: POP 000000a4: PUSH2 0x0336 000000a7: JUMP 000000a8: JUMPDEST 000000a9: PUSH1 0x40 000000ab: MLOAD 000000ac: DUP1 000000ad: DUP8 000000ae: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000000c3: AND 000000c4: DUP2 000000c5: MSTORE 000000c6: PUSH1 0x20 000000c8: ADD 000000c9: DUP7 000000ca: DUP2 000000cb: MSTORE 000000cc: PUSH1 0x20 000000ce: ADD 000000cf: DUP6 000000d0: DUP2 000000d1: MSTORE 000000d2: PUSH1 0x20 000000d4: ADD 000000d5: DUP1 000000d6: PUSH1 0x20 000000d8: ADD 000000d9: DUP5 000000da: DUP2 000000db: MSTORE 000000dc: PUSH1 0x20 000000de: ADD 000000df: DUP4 000000e0: DUP2 000000e1: MSTORE 000000e2: PUSH1 0x20 000000e4: ADD 000000e5: DUP3 000000e6: DUP2 000000e7: SUB 000000e8: DUP3 000000e9: MSTORE 000000ea: DUP6 000000eb: DUP2 000000ec: DUP2 000000ed: SLOAD 000000ee: DUP2 000000ef: MSTORE 000000f0: PUSH1 0x20 000000f2: ADD 000000f3: SWAP2 000000f4: POP 000000f5: DUP1 000000f6: SLOAD 000000f7: DUP1 000000f8: ISZERO 000000f9: PUSH2 0x0127 000000fc: JUMPI 000000fd: DUP3 000000fe: ADD 000000ff: SWAP2 00000100: SWAP1 00000101: PUSH1 0x00 00000103: MSTORE 00000104: PUSH1 0x20 00000106: PUSH1 0x00 00000108: KECCAK256 00000109: SWAP1 0000010a: JUMPDEST 0000010b: DUP2 0000010c: SLOAD 0000010d: DUP2 0000010e: MSTORE 0000010f: SWAP1 00000110: PUSH1 0x01 00000112: ADD 00000113: SWAP1 00000114: PUSH1 0x20 00000116: ADD 00000117: DUP1 00000118: DUP4 00000119: GT 0000011a: PUSH2 0x010a 0000011d: JUMPI 0000011e: DUP3 0000011f: SWAP1 00000120: SUB 00000121: PUSH1 0x1f 00000123: AND 00000124: DUP3 00000125: ADD 00000126: SWAP2 00000127: JUMPDEST 00000128: POP 00000129: POP 0000012a: SWAP8 0000012b: POP 0000012c: POP 0000012d: POP 0000012e: POP 0000012f: POP 00000130: POP 00000131: POP 00000132: POP 00000133: PUSH1 0x40 00000135: MLOAD 00000136: DUP1 00000137: SWAP2 00000138: SUB 00000139: SWAP1 0000013a: RETURN 0000013b: JUMPDEST 0000013c: PUSH2 0x014c 0000013f: PUSH1 0x04 00000141: DUP1 00000142: CALLDATALOAD 00000143: SWAP1 00000144: PUSH1 0x20 00000146: ADD 00000147: POP 00000148: PUSH2 0x0ad8 0000014b: JUMP 0000014c: JUMPDEST 0000014d: PUSH1 0x40 0000014f: MLOAD 00000150: DUP1 00000151: DUP3 00000152: DUP2 00000153: MSTORE 00000154: PUSH1 0x20 00000156: ADD 00000157: SWAP2 00000158: POP 00000159: POP 0000015a: PUSH1 0x40 0000015c: MLOAD 0000015d: DUP1 0000015e: SWAP2 0000015f: SUB 00000160: SWAP1 00000161: RETURN 00000162: JUMPDEST 00000163: PUSH2 0x01c4 00000166: PUSH1 0x04 00000168: DUP1 00000169: CALLDATALOAD 0000016a: SWAP1 0000016b: PUSH1 0x20 0000016d: ADD 0000016e: DUP1 0000016f: CALLDATALOAD 00000170: SWAP1 00000171: PUSH1 0x20 00000173: ADD 00000174: DUP1 00000175: CALLDATALOAD 00000176: SWAP1 00000177: PUSH1 0x20 00000179: ADD 0000017a: DUP1 0000017b: CALLDATALOAD 0000017c: SWAP1 0000017d: PUSH1 0x20 0000017f: ADD 00000180: SWAP1 00000181: PUSH1 0x04 00000183: ADD 00000184: DUP1 00000185: CALLDATALOAD 00000186: SWAP1 00000187: PUSH1 0x20 00000189: ADD 0000018a: SWAP2 0000018b: SWAP2 0000018c: SWAP1 0000018d: DUP1 0000018e: DUP1 0000018f: PUSH1 0x1f 00000191: ADD 00000192: PUSH1 0x20 00000194: DUP1 00000195: SWAP2 00000196: DIV 00000197: MUL 00000198: PUSH1 0x20 0000019a: ADD 0000019b: PUSH1 0x40 0000019d: MLOAD 0000019e: SWAP1 0000019f: DUP2 000001a0: ADD 000001a1: PUSH1 0x40 000001a3: MSTORE 000001a4: DUP1 000001a5: SWAP4 000001a6: SWAP3 000001a7: SWAP2 000001a8: SWAP1 000001a9: DUP2 000001aa: DUP2 000001ab: MSTORE 000001ac: PUSH1 0x20 000001ae: ADD 000001af: DUP4 000001b0: DUP4 000001b1: DUP1 000001b2: DUP3 000001b3: DUP5 000001b4: CALLDATACOPY 000001b5: DUP3 000001b6: ADD 000001b7: SWAP2 000001b8: POP 000001b9: POP 000001ba: POP 000001bb: POP 000001bc: POP 000001bd: POP 000001be: SWAP1 000001bf: POP 000001c0: PUSH2 0x03c2 000001c3: JUMP 000001c4: JUMPDEST 000001c5: PUSH1 0x40 000001c7: MLOAD 000001c8: DUP1 000001c9: DUP3 000001ca: DUP2 000001cb: MSTORE 000001cc: PUSH1 0x20 000001ce: ADD 000001cf: SWAP2 000001d0: POP 000001d1: POP 000001d2: PUSH1 0x40 000001d4: MLOAD 000001d5: DUP1 000001d6: SWAP2 000001d7: SUB 000001d8: SWAP1 000001d9: RETURN 000001da: JUMPDEST 000001db: PUSH2 0x01e5 000001de: PUSH1 0x04 000001e0: POP 000001e1: PUSH2 0x02e1 000001e4: JUMP 000001e5: JUMPDEST 000001e6: PUSH1 0x40 000001e8: MLOAD 000001e9: DUP1 000001ea: DUP3 000001eb: DUP2 000001ec: MSTORE 000001ed: PUSH1 0x20 000001ef: ADD 000001f0: SWAP2 000001f1: POP 000001f2: POP 000001f3: PUSH1 0x40 000001f5: MLOAD 000001f6: DUP1 000001f7: SWAP2 000001f8: SUB 000001f9: SWAP1 000001fa: RETURN 000001fb: JUMPDEST 000001fc: PUSH2 0x0206 000001ff: PUSH1 0x04 00000201: POP 00000202: PUSH2 0x03b9 00000205: JUMP 00000206: JUMPDEST 00000207: PUSH1 0x40 00000209: MLOAD 0000020a: DUP1 0000020b: DUP3 0000020c: DUP2 0000020d: MSTORE 0000020e: PUSH1 0x20 00000210: ADD 00000211: SWAP2 00000212: POP 00000213: POP 00000214: PUSH1 0x40 00000216: MLOAD 00000217: DUP1 00000218: SWAP2 00000219: SUB 0000021a: SWAP1 0000021b: RETURN 0000021c: JUMPDEST 0000021d: PUSH2 0x0227 00000220: PUSH1 0x04 00000222: POP 00000223: PUSH2 0x0310 00000226: JUMP 00000227: JUMPDEST 00000228: PUSH1 0x40 0000022a: MLOAD 0000022b: DUP1 0000022c: DUP3 0000022d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000242: AND 00000243: DUP2 00000244: MSTORE 00000245: PUSH1 0x20 00000247: ADD 00000248: SWAP2 00000249: POP 0000024a: POP 0000024b: PUSH1 0x40 0000024d: MLOAD 0000024e: DUP1 0000024f: SWAP2 00000250: SUB 00000251: SWAP1 00000252: RETURN 00000253: JUMPDEST 00000254: PUSH2 0x026a 00000257: PUSH1 0x04 00000259: DUP1 0000025a: CALLDATALOAD 0000025b: SWAP1 0000025c: PUSH1 0x20 0000025e: ADD 0000025f: DUP1 00000260: CALLDATALOAD 00000261: SWAP1 00000262: PUSH1 0x20 00000264: ADD 00000265: POP 00000266: PUSH2 0x07cf 00000269: JUMP 0000026a: JUMPDEST 0000026b: PUSH1 0x40 0000026d: MLOAD 0000026e: DUP1 0000026f: DUP3 00000270: DUP2 00000271: MSTORE 00000272: PUSH1 0x20 00000274: ADD 00000275: SWAP2 00000276: POP 00000277: POP 00000278: PUSH1 0x40 0000027a: MLOAD 0000027b: DUP1 0000027c: SWAP2 0000027d: SUB 0000027e: SWAP1 0000027f: RETURN 00000280: JUMPDEST 00000281: PUSH2 0x028b 00000284: PUSH1 0x04 00000286: POP 00000287: PUSH2 0x02d8 0000028a: JUMP 0000028b: JUMPDEST 0000028c: PUSH1 0x40 0000028e: MLOAD 0000028f: DUP1 00000290: DUP3 00000291: DUP2 00000292: MSTORE 00000293: PUSH1 0x20 00000295: ADD 00000296: SWAP2 00000297: POP 00000298: POP 00000299: PUSH1 0x40 0000029b: MLOAD 0000029c: DUP1 0000029d: SWAP2 0000029e: SUB 0000029f: SWAP1 000002a0: RETURN 000002a1: JUMPDEST 000002a2: PUSH2 0x02ac 000002a5: PUSH1 0x04 000002a7: POP 000002a8: PUSH2 0x02ea 000002ab: JUMP 000002ac: JUMPDEST 000002ad: PUSH1 0x40 000002af: MLOAD 000002b0: DUP1 000002b1: DUP3 000002b2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000002c7: AND 000002c8: DUP2 000002c9: MSTORE 000002ca: PUSH1 0x20 000002cc: ADD 000002cd: SWAP2 000002ce: POP 000002cf: POP 000002d0: PUSH1 0x40 000002d2: MLOAD 000002d3: DUP1 000002d4: SWAP2 000002d5: SUB 000002d6: SWAP1 000002d7: RETURN 000002d8: JUMPDEST 000002d9: PUSH1 0x00 000002db: PUSH1 0x00 000002dd: POP 000002de: SLOAD 000002df: DUP2 000002e0: JUMP 000002e1: JUMPDEST 000002e2: PUSH1 0x01 000002e4: PUSH1 0x00 000002e6: POP 000002e7: SLOAD 000002e8: DUP2 000002e9: JUMP 000002ea: JUMPDEST 000002eb: PUSH1 0x02 000002ed: PUSH1 0x00 000002ef: SWAP1 000002f0: SLOAD 000002f1: SWAP1 000002f2: PUSH2 0x0100 000002f5: EXP 000002f6: SWAP1 000002f7: DIV 000002f8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000030d: AND 0000030e: DUP2 0000030f: JUMP 00000310: JUMPDEST 00000311: PUSH1 0x03 00000313: PUSH1 0x00 00000315: SWAP1 00000316: SLOAD 00000317: SWAP1 00000318: PUSH2 0x0100 0000031b: EXP 0000031c: SWAP1 0000031d: DIV 0000031e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000333: AND 00000334: DUP2 00000335: JUMP 00000336: JUMPDEST 00000337: PUSH1 0x04 00000339: PUSH1 0x00 0000033b: POP 0000033c: DUP2 0000033d: DUP2 0000033e: SLOAD 0000033f: DUP2 00000340: LT 00000341: ISZERO 00000342: PUSH2 0x0002 00000345: JUMPI 00000346: SWAP1 00000347: PUSH1 0x00 00000349: MSTORE 0000034a: PUSH1 0x20 0000034c: PUSH1 0x00 0000034e: KECCAK256 0000034f: SWAP1 00000350: PUSH1 0x08 00000352: MUL 00000353: ADD 00000354: PUSH1 0x00 00000356: SWAP2 00000357: POP 00000358: SWAP1 00000359: POP 0000035a: DUP1 0000035b: PUSH1 0x00 0000035d: ADD 0000035e: PUSH1 0x00 00000360: SWAP1 00000361: SLOAD 00000362: SWAP1 00000363: PUSH2 0x0100 00000366: EXP 00000367: SWAP1 00000368: DIV 00000369: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000037e: AND 0000037f: SWAP1 00000380: DUP1 00000381: PUSH1 0x01 00000383: ADD 00000384: PUSH1 0x00 00000386: POP 00000387: SLOAD 00000388: SWAP1 00000389: DUP1 0000038a: PUSH1 0x02 0000038c: ADD 0000038d: PUSH1 0x00 0000038f: POP 00000390: SLOAD 00000391: SWAP1 00000392: DUP1 00000393: PUSH1 0x03 00000395: ADD 00000396: PUSH1 0x00 00000398: POP 00000399: SWAP1 0000039a: DUP1 0000039b: PUSH1 0x04 0000039d: ADD 0000039e: PUSH1 0x00 000003a0: POP 000003a1: SLOAD 000003a2: SWAP1 000003a3: DUP1 000003a4: PUSH1 0x05 000003a6: ADD 000003a7: PUSH1 0x00 000003a9: SWAP1 000003aa: SLOAD 000003ab: SWAP1 000003ac: PUSH2 0x0100 000003af: EXP 000003b0: SWAP1 000003b1: DIV 000003b2: PUSH1 0xff 000003b4: AND 000003b5: SWAP1 000003b6: POP 000003b7: DUP7 000003b8: JUMP 000003b9: JUMPDEST 000003ba: PUSH1 0x05 000003bc: PUSH1 0x00 000003be: POP 000003bf: SLOAD 000003c0: DUP2 000003c1: JUMP 000003c2: JUMPDEST 000003c3: PUSH1 0x00 000003c5: PUSH1 0x00 000003c7: PUSH1 0x00 000003c9: PUSH1 0x02 000003cb: PUSH1 0x00 000003cd: SWAP1 000003ce: SLOAD 000003cf: SWAP1 000003d0: PUSH2 0x0100 000003d3: EXP 000003d4: SWAP1 000003d5: DIV 000003d6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000003eb: AND 000003ec: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000401: AND 00000402: PUSH4 0xbbd39ac0 00000407: CALLER 00000408: PUSH1 0x40 0000040a: MLOAD 0000040b: DUP3 0000040c: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 0000042a: MUL 0000042b: DUP2 0000042c: MSTORE 0000042d: PUSH1 0x04 0000042f: ADD 00000430: DUP1 00000431: DUP3 00000432: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000447: AND 00000448: DUP2 00000449: MSTORE 0000044a: PUSH1 0x20 0000044c: ADD 0000044d: SWAP2 0000044e: POP 0000044f: POP 00000450: PUSH1 0x20 00000452: PUSH1 0x40 00000454: MLOAD 00000455: DUP1 00000456: DUP4 00000457: SUB 00000458: DUP2 00000459: PUSH1 0x00 0000045b: DUP8 0000045c: PUSH2 0x61da 0000045f: GAS 00000460: SUB 00000461: CALL 00000462: ISZERO 00000463: PUSH2 0x0002 00000466: JUMPI 00000467: POP 00000468: POP 00000469: POP 0000046a: PUSH1 0x40 0000046c: MLOAD 0000046d: MLOAD 0000046e: GT 0000046f: ISZERO 00000470: PUSH2 0x07c5 00000473: JUMPI 00000474: PUSH1 0x04 00000476: PUSH1 0x00 00000478: POP 00000479: DUP1 0000047a: SLOAD 0000047b: DUP1 0000047c: SWAP2 0000047d: SWAP1 0000047e: PUSH1 0x01 00000480: ADD 00000481: SWAP1 00000482: SWAP1 00000483: DUP2 00000484: SLOAD 00000485: DUP2 00000486: DUP4 00000487: SSTORE 00000488: DUP2 00000489: DUP2 0000048a: ISZERO 0000048b: GT 0000048c: PUSH2 0x05dd 0000048f: JUMPI 00000490: PUSH1 0x08 00000492: MUL 00000493: DUP2 00000494: PUSH1 0x08 00000496: MUL 00000497: DUP4 00000498: PUSH1 0x00 0000049a: MSTORE 0000049b: PUSH1 0x20 0000049d: PUSH1 0x00 0000049f: KECCAK256 000004a0: SWAP2 000004a1: DUP3 000004a2: ADD 000004a3: SWAP2 000004a4: ADD 000004a5: PUSH2 0x05dc 000004a8: SWAP2 000004a9: SWAP1 000004aa: PUSH2 0x04ae 000004ad: JUMP 000004ae: JUMPDEST 000004af: DUP1 000004b0: DUP3 000004b1: GT 000004b2: ISZERO 000004b3: PUSH2 0x05d8 000004b6: JUMPI 000004b7: PUSH1 0x00 000004b9: PUSH1 0x00 000004bb: DUP3 000004bc: ADD 000004bd: PUSH1 0x00 000004bf: PUSH2 0x0100 000004c2: EXP 000004c3: DUP2 000004c4: SLOAD 000004c5: SWAP1 000004c6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000004db: MUL 000004dc: NOT 000004dd: AND 000004de: SWAP1 000004df: SSTORE 000004e0: PUSH1 0x01 000004e2: DUP3 000004e3: ADD 000004e4: PUSH1 0x00 000004e6: POP 000004e7: PUSH1 0x00 000004e9: SWAP1 000004ea: SSTORE 000004eb: PUSH1 0x02 000004ed: DUP3 000004ee: ADD 000004ef: PUSH1 0x00 000004f1: POP 000004f2: PUSH1 0x00 000004f4: SWAP1 000004f5: SSTORE 000004f6: PUSH1 0x03 000004f8: DUP3 000004f9: ADD 000004fa: PUSH1 0x00 000004fc: POP 000004fd: DUP1 000004fe: SLOAD 000004ff: PUSH1 0x00 00000501: DUP3 00000502: SSTORE 00000503: PUSH1 0x1f 00000505: ADD 00000506: PUSH1 0x20 00000508: SWAP1 00000509: DIV 0000050a: SWAP1 0000050b: PUSH1 0x00 0000050d: MSTORE 0000050e: PUSH1 0x20 00000510: PUSH1 0x00 00000512: KECCAK256 00000513: SWAP1 00000514: DUP2 00000515: ADD 00000516: SWAP1 00000517: PUSH2 0x053e 0000051a: SWAP2 0000051b: SWAP1 0000051c: PUSH2 0x0520 0000051f: JUMP 00000520: JUMPDEST 00000521: DUP1 00000522: DUP3 00000523: GT 00000524: ISZERO 00000525: PUSH2 0x053a 00000528: JUMPI 00000529: PUSH1 0x00 0000052b: DUP2 0000052c: DUP2 0000052d: POP 0000052e: PUSH1 0x00 00000530: SWAP1 00000531: SSTORE 00000532: POP 00000533: PUSH1 0x01 00000535: ADD 00000536: PUSH2 0x0520 00000539: JUMP 0000053a: JUMPDEST 0000053b: POP 0000053c: SWAP1 0000053d: JUMP 0000053e: JUMPDEST 0000053f: POP 00000540: PUSH1 0x04 00000542: DUP3 00000543: ADD 00000544: PUSH1 0x00 00000546: POP 00000547: PUSH1 0x00 00000549: SWAP1 0000054a: SSTORE 0000054b: PUSH1 0x05 0000054d: DUP3 0000054e: ADD 0000054f: PUSH1 0x00 00000551: PUSH2 0x0100 00000554: EXP 00000555: DUP2 00000556: SLOAD 00000557: SWAP1 00000558: PUSH1 0xff 0000055a: MUL 0000055b: NOT 0000055c: AND 0000055d: SWAP1 0000055e: SSTORE 0000055f: PUSH1 0x06 00000561: DUP3 00000562: ADD 00000563: PUSH1 0x00 00000565: POP 00000566: DUP1 00000567: SLOAD 00000568: PUSH1 0x00 0000056a: DUP3 0000056b: SSTORE 0000056c: PUSH1 0x02 0000056e: MUL 0000056f: SWAP1 00000570: PUSH1 0x00 00000572: MSTORE 00000573: PUSH1 0x20 00000575: PUSH1 0x00 00000577: KECCAK256 00000578: SWAP1 00000579: DUP2 0000057a: ADD 0000057b: SWAP1 0000057c: PUSH2 0x05ce 0000057f: SWAP2 00000580: SWAP1 00000581: PUSH2 0x0585 00000584: JUMP 00000585: JUMPDEST 00000586: DUP1 00000587: DUP3 00000588: GT 00000589: ISZERO 0000058a: PUSH2 0x05ca 0000058d: JUMPI 0000058e: PUSH1 0x00 00000590: PUSH1 0x00 00000592: DUP3 00000593: ADD 00000594: PUSH1 0x00 00000596: POP 00000597: PUSH1 0x00 00000599: SWAP1 0000059a: SSTORE 0000059b: PUSH1 0x01 0000059d: DUP3 0000059e: ADD 0000059f: PUSH1 0x00 000005a1: PUSH2 0x0100 000005a4: EXP 000005a5: DUP2 000005a6: SLOAD 000005a7: SWAP1 000005a8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000005bd: MUL 000005be: NOT 000005bf: AND 000005c0: SWAP1 000005c1: SSTORE 000005c2: POP 000005c3: PUSH1 0x01 000005c5: ADD 000005c6: PUSH2 0x0585 000005c9: JUMP 000005ca: JUMPDEST 000005cb: POP 000005cc: SWAP1 000005cd: JUMP 000005ce: JUMPDEST 000005cf: POP 000005d0: POP 000005d1: PUSH1 0x01 000005d3: ADD 000005d4: PUSH2 0x04ae 000005d7: JUMP 000005d8: JUMPDEST 000005d9: POP 000005da: SWAP1 000005db: JUMP 000005dc: JUMPDEST 000005dd: JUMPDEST 000005de: POP 000005df: POP 000005e0: POP 000005e1: SWAP2 000005e2: POP 000005e3: DUP2 000005e4: POP 000005e5: PUSH1 0x04 000005e7: PUSH1 0x00 000005e9: POP 000005ea: DUP3 000005eb: DUP2 000005ec: SLOAD 000005ed: DUP2 000005ee: LT 000005ef: ISZERO 000005f0: PUSH2 0x0002 000005f3: JUMPI 000005f4: SWAP1 000005f5: PUSH1 0x00 000005f7: MSTORE 000005f8: PUSH1 0x20 000005fa: PUSH1 0x00 000005fc: KECCAK256 000005fd: SWAP1 000005fe: PUSH1 0x08 00000600: MUL 00000601: ADD 00000602: PUSH1 0x00 00000604: POP 00000605: SWAP1 00000606: POP 00000607: DUP6 00000608: DUP2 00000609: PUSH1 0x00 0000060b: ADD 0000060c: PUSH1 0x00 0000060e: PUSH2 0x0100 00000611: EXP 00000612: DUP2 00000613: SLOAD 00000614: DUP2 00000615: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000062a: MUL 0000062b: NOT 0000062c: AND 0000062d: SWAP1 0000062e: DUP4 0000062f: MUL 00000630: OR 00000631: SWAP1 00000632: SSTORE 00000633: POP 00000634: DUP5 00000635: DUP2 00000636: PUSH1 0x01 00000638: ADD 00000639: PUSH1 0x00 0000063b: POP 0000063c: DUP2 0000063d: SWAP1 0000063e: SSTORE 0000063f: POP 00000640: DUP4 00000641: DUP2 00000642: PUSH1 0x02 00000644: ADD 00000645: PUSH1 0x00 00000647: POP 00000648: DUP2 00000649: SWAP1 0000064a: SSTORE 0000064b: POP 0000064c: DUP3 0000064d: DUP2 0000064e: PUSH1 0x03 00000650: ADD 00000651: PUSH1 0x00 00000653: POP 00000654: SWAP1 00000655: DUP1 00000656: MLOAD 00000657: SWAP1 00000658: PUSH1 0x20 0000065a: ADD 0000065b: SWAP1 0000065c: DUP3 0000065d: DUP1 0000065e: SLOAD 0000065f: DUP3 00000660: DUP3 00000661: SSTORE 00000662: SWAP1 00000663: PUSH1 0x00 00000665: MSTORE 00000666: PUSH1 0x20 00000668: PUSH1 0x00 0000066a: KECCAK256 0000066b: SWAP1 0000066c: PUSH1 0x1f 0000066e: ADD 0000066f: PUSH1 0x20 00000671: SWAP1 00000672: DIV 00000673: DUP2 00000674: ADD 00000675: SWAP3 00000676: DUP3 00000677: ISZERO 00000678: PUSH2 0x069e 0000067b: JUMPI 0000067c: SWAP2 0000067d: DUP3 0000067e: ADD 0000067f: JUMPDEST 00000680: DUP3 00000681: DUP2 00000682: GT 00000683: ISZERO 00000684: PUSH2 0x069d 00000687: JUMPI 00000688: DUP3 00000689: MLOAD 0000068a: DUP3 0000068b: PUSH1 0x00 0000068d: POP 0000068e: SSTORE 0000068f: SWAP2 00000690: PUSH1 0x20 00000692: ADD 00000693: SWAP2 00000694: SWAP1 00000695: PUSH1 0x01 00000697: ADD 00000698: SWAP1 00000699: PUSH2 0x067f 0000069c: JUMP 0000069d: JUMPDEST 0000069e: JUMPDEST 0000069f: POP 000006a0: SWAP1 000006a1: POP 000006a2: PUSH2 0x06c9 000006a5: SWAP2 000006a6: SWAP1 000006a7: PUSH2 0x06ab 000006aa: JUMP 000006ab: JUMPDEST 000006ac: DUP1 000006ad: DUP3 000006ae: GT 000006af: ISZERO 000006b0: PUSH2 0x06c5 000006b3: JUMPI 000006b4: PUSH1 0x00 000006b6: DUP2 000006b7: DUP2 000006b8: POP 000006b9: PUSH1 0x00 000006bb: SWAP1 000006bc: SSTORE 000006bd: POP 000006be: PUSH1 0x01 000006c0: ADD 000006c1: PUSH2 0x06ab 000006c4: JUMP 000006c5: JUMPDEST 000006c6: POP 000006c7: SWAP1 000006c8: JUMP 000006c9: JUMPDEST 000006ca: POP 000006cb: POP 000006cc: TIMESTAMP 000006cd: DUP2 000006ce: PUSH1 0x04 000006d0: ADD 000006d1: PUSH1 0x00 000006d3: POP 000006d4: DUP2 000006d5: SWAP1 000006d6: SSTORE 000006d7: POP 000006d8: PUSH1 0x01 000006da: DUP2 000006db: PUSH1 0x05 000006dd: ADD 000006de: PUSH1 0x00 000006e0: PUSH2 0x0100 000006e3: EXP 000006e4: DUP2 000006e5: SLOAD 000006e6: DUP2 000006e7: PUSH1 0xff 000006e9: MUL 000006ea: NOT 000006eb: AND 000006ec: SWAP1 000006ed: DUP4 000006ee: MUL 000006ef: OR 000006f0: SWAP1 000006f1: SSTORE 000006f2: POP 000006f3: PUSH32 0x095779230509156998187c606e5b8a5a734137945aa43da9bf39c5e7f529a86b 00000714: DUP3 00000715: DUP8 00000716: DUP8 00000717: DUP8 00000718: DUP8 00000719: PUSH1 0x40 0000071b: MLOAD 0000071c: DUP1 0000071d: DUP7 0000071e: DUP2 0000071f: MSTORE 00000720: PUSH1 0x20 00000722: ADD 00000723: DUP6 00000724: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000739: AND 0000073a: DUP2 0000073b: MSTORE 0000073c: PUSH1 0x20 0000073e: ADD 0000073f: DUP5 00000740: DUP2 00000741: MSTORE 00000742: PUSH1 0x20 00000744: ADD 00000745: DUP4 00000746: DUP2 00000747: MSTORE 00000748: PUSH1 0x20 0000074a: ADD 0000074b: DUP1 0000074c: PUSH1 0x20 0000074e: ADD 0000074f: DUP3 00000750: DUP2 00000751: SUB 00000752: DUP3 00000753: MSTORE 00000754: DUP4 00000755: DUP2 00000756: DUP2 00000757: MLOAD 00000758: DUP2 00000759: MSTORE 0000075a: PUSH1 0x20 0000075c: ADD 0000075d: SWAP2 0000075e: POP 0000075f: DUP1 00000760: MLOAD 00000761: SWAP1 00000762: PUSH1 0x20 00000764: ADD 00000765: SWAP1 00000766: DUP1 00000767: DUP4 00000768: DUP4 00000769: DUP3 0000076a: SWAP1 0000076b: PUSH1 0x00 0000076d: PUSH1 0x04 0000076f: PUSH1 0x20 00000771: DUP5 00000772: PUSH1 0x1f 00000774: ADD 00000775: DIV 00000776: PUSH1 0x03 00000778: MUL 00000779: PUSH1 0x0f 0000077b: ADD 0000077c: CALL 0000077d: POP 0000077e: SWAP1 0000077f: POP 00000780: SWAP1 00000781: DUP2 00000782: ADD 00000783: SWAP1 00000784: PUSH1 0x1f 00000786: AND 00000787: DUP1 00000788: ISZERO 00000789: PUSH2 0x07a6 0000078c: JUMPI 0000078d: DUP1 0000078e: DUP3 0000078f: SUB 00000790: DUP1 00000791: MLOAD 00000792: PUSH1 0x01 00000794: DUP4 00000795: PUSH1 0x20 00000797: SUB 00000798: PUSH2 0x0100 0000079b: EXP 0000079c: SUB 0000079d: NOT 0000079e: AND 0000079f: DUP2 000007a0: MSTORE 000007a1: PUSH1 0x20 000007a3: ADD 000007a4: SWAP2 000007a5: POP 000007a6: JUMPDEST 000007a7: POP 000007a8: SWAP7 000007a9: POP 000007aa: POP 000007ab: POP 000007ac: POP 000007ad: POP 000007ae: POP 000007af: POP 000007b0: PUSH1 0x40 000007b2: MLOAD 000007b3: DUP1 000007b4: SWAP2 000007b5: SUB 000007b6: SWAP1 000007b7: LOG1 000007b8: PUSH1 0x01 000007ba: DUP3 000007bb: ADD 000007bc: PUSH1 0x05 000007be: PUSH1 0x00 000007c0: POP 000007c1: DUP2 000007c2: SWAP1 000007c3: SSTORE 000007c4: POP 000007c5: JUMPDEST 000007c6: JUMPDEST 000007c7: POP 000007c8: SWAP5 000007c9: SWAP4 000007ca: POP 000007cb: POP 000007cc: POP 000007cd: POP 000007ce: JUMP 000007cf: JUMPDEST 000007d0: PUSH1 0x00 000007d2: PUSH1 0x00 000007d4: PUSH1 0x00 000007d6: PUSH1 0x02 000007d8: PUSH1 0x00 000007da: SWAP1 000007db: SLOAD 000007dc: SWAP1 000007dd: PUSH2 0x0100 000007e0: EXP 000007e1: SWAP1 000007e2: DIV 000007e3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000007f8: AND 000007f9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000080e: AND 0000080f: PUSH4 0xbbd39ac0 00000814: CALLER 00000815: PUSH1 0x40 00000817: MLOAD 00000818: DUP3 00000819: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 00000837: MUL 00000838: DUP2 00000839: MSTORE 0000083a: PUSH1 0x04 0000083c: ADD 0000083d: DUP1 0000083e: DUP3 0000083f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000854: AND 00000855: DUP2 00000856: MSTORE 00000857: PUSH1 0x20 00000859: ADD 0000085a: SWAP2 0000085b: POP 0000085c: POP 0000085d: PUSH1 0x20 0000085f: PUSH1 0x40 00000861: MLOAD 00000862: DUP1 00000863: DUP4 00000864: SUB 00000865: DUP2 00000866: PUSH1 0x00 00000868: DUP8 00000869: PUSH2 0x61da 0000086c: GAS 0000086d: SUB 0000086e: CALL 0000086f: ISZERO 00000870: PUSH2 0x0002 00000873: JUMPI 00000874: POP 00000875: POP 00000876: POP 00000877: PUSH1 0x40 00000879: MLOAD 0000087a: MLOAD 0000087b: GT 0000087c: DUP1 0000087d: ISZERO 0000087e: PUSH2 0x08b3 00000881: JUMPI 00000882: POP 00000883: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff 000008a4: DUP4 000008a5: SLT 000008a6: ISZERO 000008a7: DUP1 000008a8: PUSH2 0x08b2 000008ab: JUMPI 000008ac: POP 000008ad: PUSH1 0x01 000008af: DUP4 000008b0: SGT 000008b1: ISZERO 000008b2: JUMPDEST 000008b3: JUMPDEST 000008b4: ISZERO 000008b5: PUSH2 0x0ad0 000008b8: JUMPI 000008b9: PUSH1 0x04 000008bb: PUSH1 0x00 000008bd: POP 000008be: DUP5 000008bf: DUP2 000008c0: SLOAD 000008c1: DUP2 000008c2: LT 000008c3: ISZERO 000008c4: PUSH2 0x0002 000008c7: JUMPI 000008c8: SWAP1 000008c9: PUSH1 0x00 000008cb: MSTORE 000008cc: PUSH1 0x20 000008ce: PUSH1 0x00 000008d0: KECCAK256 000008d1: SWAP1 000008d2: PUSH1 0x08 000008d4: MUL 000008d5: ADD 000008d6: PUSH1 0x00 000008d8: POP 000008d9: SWAP1 000008da: POP 000008db: PUSH1 0x01 000008dd: DUP2 000008de: PUSH1 0x07 000008e0: ADD 000008e1: PUSH1 0x00 000008e3: POP 000008e4: PUSH1 0x00 000008e6: CALLER 000008e7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000008fc: AND 000008fd: DUP2 000008fe: MSTORE 000008ff: PUSH1 0x20 00000901: ADD 00000902: SWAP1 00000903: DUP2 00000904: MSTORE 00000905: PUSH1 0x20 00000907: ADD 00000908: PUSH1 0x00 0000090a: KECCAK256 0000090b: PUSH1 0x00 0000090d: SWAP1 0000090e: SLOAD 0000090f: SWAP1 00000910: PUSH2 0x0100 00000913: EXP 00000914: SWAP1 00000915: DIV 00000916: PUSH1 0xff 00000918: AND 00000919: EQ 0000091a: ISZERO 0000091b: PUSH2 0x0923 0000091e: JUMPI 0000091f: PUSH2 0x0ad1 00000922: JUMP 00000923: JUMPDEST 00000924: DUP1 00000925: PUSH1 0x06 00000927: ADD 00000928: PUSH1 0x00 0000092a: POP 0000092b: DUP1 0000092c: SLOAD 0000092d: DUP1 0000092e: SWAP2 0000092f: SWAP1 00000930: PUSH1 0x01 00000932: ADD 00000933: SWAP1 00000934: SWAP1 00000935: DUP2 00000936: SLOAD 00000937: DUP2 00000938: DUP4 00000939: SSTORE 0000093a: DUP2 0000093b: DUP2 0000093c: ISZERO 0000093d: GT 0000093e: PUSH2 0x09aa 00000941: JUMPI 00000942: PUSH1 0x02 00000944: MUL 00000945: DUP2 00000946: PUSH1 0x02 00000948: MUL 00000949: DUP4 0000094a: PUSH1 0x00 0000094c: MSTORE 0000094d: PUSH1 0x20 0000094f: PUSH1 0x00 00000951: KECCAK256 00000952: SWAP2 00000953: DUP3 00000954: ADD 00000955: SWAP2 00000956: ADD 00000957: PUSH2 0x09a9 0000095a: SWAP2 0000095b: SWAP1 0000095c: PUSH2 0x0960 0000095f: JUMP 00000960: JUMPDEST 00000961: DUP1 00000962: DUP3 00000963: GT 00000964: ISZERO 00000965: PUSH2 0x09a5 00000968: JUMPI 00000969: PUSH1 0x00 0000096b: PUSH1 0x00 0000096d: DUP3 0000096e: ADD 0000096f: PUSH1 0x00 00000971: POP 00000972: PUSH1 0x00 00000974: SWAP1 00000975: SSTORE 00000976: PUSH1 0x01 00000978: DUP3 00000979: ADD 0000097a: PUSH1 0x00 0000097c: PUSH2 0x0100 0000097f: EXP 00000980: DUP2 00000981: SLOAD 00000982: SWAP1 00000983: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000998: MUL 00000999: NOT 0000099a: AND 0000099b: SWAP1 0000099c: SSTORE 0000099d: POP 0000099e: PUSH1 0x01 000009a0: ADD 000009a1: PUSH2 0x0960 000009a4: JUMP 000009a5: JUMPDEST 000009a6: POP 000009a7: SWAP1 000009a8: JUMP 000009a9: JUMPDEST 000009aa: JUMPDEST 000009ab: POP 000009ac: POP 000009ad: POP 000009ae: SWAP2 000009af: POP 000009b0: DUP2 000009b1: POP 000009b2: PUSH1 0x40 000009b4: PUSH1 0x40 000009b6: MLOAD 000009b7: SWAP1 000009b8: DUP2 000009b9: ADD 000009ba: PUSH1 0x40 000009bc: MSTORE 000009bd: DUP1 000009be: DUP5 000009bf: DUP2 000009c0: MSTORE 000009c1: PUSH1 0x20 000009c3: ADD 000009c4: CALLER 000009c5: DUP2 000009c6: MSTORE 000009c7: PUSH1 0x20 000009c9: ADD 000009ca: POP 000009cb: DUP2 000009cc: PUSH1 0x06 000009ce: ADD 000009cf: PUSH1 0x00 000009d1: POP 000009d2: DUP4 000009d3: DUP2 000009d4: SLOAD 000009d5: DUP2 000009d6: LT 000009d7: ISZERO 000009d8: PUSH2 0x0002 000009db: JUMPI 000009dc: SWAP1 000009dd: PUSH1 0x00 000009df: MSTORE 000009e0: PUSH1 0x20 000009e2: PUSH1 0x00 000009e4: KECCAK256 000009e5: SWAP1 000009e6: PUSH1 0x02 000009e8: MUL 000009e9: ADD 000009ea: PUSH1 0x00 000009ec: POP 000009ed: PUSH1 0x00 000009ef: DUP3 000009f0: ADD 000009f1: MLOAD 000009f2: DUP2 000009f3: PUSH1 0x00 000009f5: ADD 000009f6: PUSH1 0x00 000009f8: POP 000009f9: SSTORE 000009fa: PUSH1 0x20 000009fc: DUP3 000009fd: ADD 000009fe: MLOAD 000009ff: DUP2 00000a00: PUSH1 0x01 00000a02: ADD 00000a03: PUSH1 0x00 00000a05: PUSH2 0x0100 00000a08: EXP 00000a09: DUP2 00000a0a: SLOAD 00000a0b: DUP2 00000a0c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a21: MUL 00000a22: NOT 00000a23: AND 00000a24: SWAP1 00000a25: DUP4 00000a26: MUL 00000a27: OR 00000a28: SWAP1 00000a29: SSTORE 00000a2a: POP 00000a2b: SWAP1 00000a2c: POP 00000a2d: POP 00000a2e: PUSH1 0x01 00000a30: DUP2 00000a31: PUSH1 0x07 00000a33: ADD 00000a34: PUSH1 0x00 00000a36: POP 00000a37: PUSH1 0x00 00000a39: CALLER 00000a3a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a4f: AND 00000a50: DUP2 00000a51: MSTORE 00000a52: PUSH1 0x20 00000a54: ADD 00000a55: SWAP1 00000a56: DUP2 00000a57: MSTORE 00000a58: PUSH1 0x20 00000a5a: ADD 00000a5b: PUSH1 0x00 00000a5d: KECCAK256 00000a5e: PUSH1 0x00 00000a60: PUSH2 0x0100 00000a63: EXP 00000a64: DUP2 00000a65: SLOAD 00000a66: DUP2 00000a67: PUSH1 0xff 00000a69: MUL 00000a6a: NOT 00000a6b: AND 00000a6c: SWAP1 00000a6d: DUP4 00000a6e: MUL 00000a6f: OR 00000a70: SWAP1 00000a71: SSTORE 00000a72: POP 00000a73: PUSH32 0x0ee65d9041aa0fefb9e13f940fcdce8fb817356542f5024e16208214b26efc09 00000a94: DUP5 00000a95: DUP5 00000a96: CALLER 00000a97: PUSH1 0x40 00000a99: MLOAD 00000a9a: DUP1 00000a9b: DUP5 00000a9c: DUP2 00000a9d: MSTORE 00000a9e: PUSH1 0x20 00000aa0: ADD 00000aa1: DUP4 00000aa2: DUP2 00000aa3: MSTORE 00000aa4: PUSH1 0x20 00000aa6: ADD 00000aa7: DUP3 00000aa8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000abd: AND 00000abe: DUP2 00000abf: MSTORE 00000ac0: PUSH1 0x20 00000ac2: ADD 00000ac3: SWAP4 00000ac4: POP 00000ac5: POP 00000ac6: POP 00000ac7: POP 00000ac8: PUSH1 0x40 00000aca: MLOAD 00000acb: DUP1 00000acc: SWAP2 00000acd: SUB 00000ace: SWAP1 00000acf: LOG1 00000ad0: JUMPDEST 00000ad1: JUMPDEST 00000ad2: POP 00000ad3: SWAP3 00000ad4: SWAP2 00000ad5: POP 00000ad6: POP 00000ad7: JUMP 00000ad8: JUMPDEST 00000ad9: PUSH1 0x00 00000adb: PUSH1 0x00 00000add: PUSH1 0x00 00000adf: PUSH1 0x00 00000ae1: PUSH1 0x00 00000ae3: PUSH1 0x00 00000ae5: PUSH1 0x04 00000ae7: PUSH1 0x00 00000ae9: POP 00000aea: DUP8 00000aeb: DUP2 00000aec: SLOAD 00000aed: DUP2 00000aee: LT 00000aef: ISZERO 00000af0: PUSH2 0x0002 00000af3: JUMPI 00000af4: SWAP1 00000af5: PUSH1 0x00 00000af7: MSTORE 00000af8: PUSH1 0x20 00000afa: PUSH1 0x00 00000afc: KECCAK256 00000afd: SWAP1 00000afe: PUSH1 0x08 00000b00: MUL 00000b01: ADD 00000b02: PUSH1 0x00 00000b04: POP 00000b05: SWAP5 00000b06: POP 00000b07: PUSH1 0x01 00000b09: PUSH1 0x00 00000b0b: POP 00000b0c: SLOAD 00000b0d: DUP6 00000b0e: PUSH1 0x04 00000b10: ADD 00000b11: PUSH1 0x00 00000b13: POP 00000b14: SLOAD 00000b15: ADD 00000b16: TIMESTAMP 00000b17: GT 00000b18: DUP1 00000b19: ISZERO 00000b1a: PUSH2 0x0b31 00000b1d: JUMPI 00000b1e: POP 00000b1f: DUP5 00000b20: PUSH1 0x05 00000b22: ADD 00000b23: PUSH1 0x00 00000b25: SWAP1 00000b26: SLOAD 00000b27: SWAP1 00000b28: PUSH2 0x0100 00000b2b: EXP 00000b2c: SWAP1 00000b2d: DIV 00000b2e: PUSH1 0xff 00000b30: AND 00000b31: JUMPDEST 00000b32: ISZERO 00000b33: PUSH2 0x0da0 00000b36: JUMPI 00000b37: PUSH1 0x00 00000b39: SWAP4 00000b3a: POP 00000b3b: PUSH1 0x00 00000b3d: SWAP3 00000b3e: POP 00000b3f: JUMPDEST 00000b40: DUP5 00000b41: PUSH1 0x06 00000b43: ADD 00000b44: PUSH1 0x00 00000b46: POP 00000b47: SLOAD 00000b48: DUP4 00000b49: LT 00000b4a: ISZERO 00000b4b: PUSH2 0x0c62 00000b4e: JUMPI 00000b4f: DUP5 00000b50: PUSH1 0x06 00000b52: ADD 00000b53: PUSH1 0x00 00000b55: POP 00000b56: DUP4 00000b57: DUP2 00000b58: SLOAD 00000b59: DUP2 00000b5a: LT 00000b5b: ISZERO 00000b5c: PUSH2 0x0002 00000b5f: JUMPI 00000b60: SWAP1 00000b61: PUSH1 0x00 00000b63: MSTORE 00000b64: PUSH1 0x20 00000b66: PUSH1 0x00 00000b68: KECCAK256 00000b69: SWAP1 00000b6a: PUSH1 0x02 00000b6c: MUL 00000b6d: ADD 00000b6e: PUSH1 0x00 00000b70: POP 00000b71: SWAP2 00000b72: POP 00000b73: PUSH1 0x02 00000b75: PUSH1 0x00 00000b77: SWAP1 00000b78: SLOAD 00000b79: SWAP1 00000b7a: PUSH2 0x0100 00000b7d: EXP 00000b7e: SWAP1 00000b7f: DIV 00000b80: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b95: AND 00000b96: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000bab: AND 00000bac: PUSH4 0xbbd39ac0 00000bb1: DUP4 00000bb2: PUSH1 0x01 00000bb4: ADD 00000bb5: PUSH1 0x00 00000bb7: SWAP1 00000bb8: SLOAD 00000bb9: SWAP1 00000bba: PUSH2 0x0100 00000bbd: EXP 00000bbe: SWAP1 00000bbf: DIV 00000bc0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000bd5: AND 00000bd6: PUSH1 0x40 00000bd8: MLOAD 00000bd9: DUP3 00000bda: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 00000bf8: MUL 00000bf9: DUP2 00000bfa: MSTORE 00000bfb: PUSH1 0x04 00000bfd: ADD 00000bfe: DUP1 00000bff: DUP3 00000c00: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000c15: AND 00000c16: DUP2 00000c17: MSTORE 00000c18: PUSH1 0x20 00000c1a: ADD 00000c1b: SWAP2 00000c1c: POP 00000c1d: POP 00000c1e: PUSH1 0x20 00000c20: PUSH1 0x40 00000c22: MLOAD 00000c23: DUP1 00000c24: DUP4 00000c25: SUB 00000c26: DUP2 00000c27: PUSH1 0x00 00000c29: DUP8 00000c2a: PUSH2 0x61da 00000c2d: GAS 00000c2e: SUB 00000c2f: CALL 00000c30: ISZERO 00000c31: PUSH2 0x0002 00000c34: JUMPI 00000c35: POP 00000c36: POP 00000c37: POP 00000c38: PUSH1 0x40 00000c3a: MLOAD 00000c3b: MLOAD 00000c3c: SWAP1 00000c3d: POP 00000c3e: DUP1 00000c3f: DUP5 00000c40: ADD 00000c41: SWAP4 00000c42: POP 00000c43: DUP4 00000c44: POP 00000c45: DUP2 00000c46: PUSH1 0x00 00000c48: ADD 00000c49: PUSH1 0x00 00000c4b: POP 00000c4c: SLOAD 00000c4d: DUP2 00000c4e: MUL 00000c4f: DUP7 00000c50: ADD 00000c51: SWAP6 00000c52: POP 00000c53: DUP6 00000c54: POP 00000c55: JUMPDEST 00000c56: DUP3 00000c57: PUSH1 0x01 00000c59: ADD 00000c5a: SWAP3 00000c5b: POP 00000c5c: DUP3 00000c5d: POP 00000c5e: PUSH2 0x0b3f 00000c61: JUMP 00000c62: JUMPDEST 00000c63: PUSH1 0x00 00000c65: PUSH1 0x00 00000c67: POP 00000c68: SLOAD 00000c69: DUP5 00000c6a: GT 00000c6b: DUP1 00000c6c: ISZERO 00000c6d: PUSH2 0x0c76 00000c70: JUMPI 00000c71: POP 00000c72: PUSH1 0x00 00000c74: DUP7 00000c75: SGT 00000c76: JUMPDEST 00000c77: ISZERO 00000c78: PUSH2 0x0d09 00000c7b: JUMPI 00000c7c: DUP5 00000c7d: PUSH1 0x00 00000c7f: ADD 00000c80: PUSH1 0x00 00000c82: SWAP1 00000c83: SLOAD 00000c84: SWAP1 00000c85: PUSH2 0x0100 00000c88: EXP 00000c89: SWAP1 00000c8a: DIV 00000c8b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000ca0: AND 00000ca1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000cb6: AND 00000cb7: DUP6 00000cb8: PUSH1 0x01 00000cba: ADD 00000cbb: PUSH1 0x00 00000cbd: POP 00000cbe: SLOAD 00000cbf: DUP7 00000cc0: PUSH1 0x02 00000cc2: ADD 00000cc3: PUSH1 0x00 00000cc5: POP 00000cc6: SLOAD 00000cc7: PUSH1 0x40 00000cc9: MLOAD 00000cca: DUP1 00000ccb: DUP3 00000ccc: DUP2 00000ccd: MSTORE 00000cce: PUSH1 0x20 00000cd0: ADD 00000cd1: SWAP2 00000cd2: POP 00000cd3: POP 00000cd4: PUSH1 0x00 00000cd6: PUSH1 0x40 00000cd8: MLOAD 00000cd9: DUP1 00000cda: DUP4 00000cdb: SUB 00000cdc: DUP2 00000cdd: DUP6 00000cde: DUP8 00000cdf: PUSH2 0x8502 00000ce2: GAS 00000ce3: SUB 00000ce4: CALL 00000ce5: SWAP3 00000ce6: POP 00000ce7: POP 00000ce8: POP 00000ce9: POP 00000cea: PUSH1 0x00 00000cec: DUP6 00000ced: PUSH1 0x05 00000cef: ADD 00000cf0: PUSH1 0x00 00000cf2: PUSH2 0x0100 00000cf5: EXP 00000cf6: DUP2 00000cf7: SLOAD 00000cf8: DUP2 00000cf9: PUSH1 0xff 00000cfb: MUL 00000cfc: NOT 00000cfd: AND 00000cfe: SWAP1 00000cff: DUP4 00000d00: MUL 00000d01: OR 00000d02: SWAP1 00000d03: SSTORE 00000d04: POP 00000d05: PUSH2 0x0d3f 00000d08: JUMP 00000d09: JUMPDEST 00000d0a: PUSH1 0x00 00000d0c: PUSH1 0x00 00000d0e: POP 00000d0f: SLOAD 00000d10: DUP5 00000d11: GT 00000d12: DUP1 00000d13: ISZERO 00000d14: PUSH2 0x0d1d 00000d17: JUMPI 00000d18: POP 00000d19: PUSH1 0x00 00000d1b: DUP7 00000d1c: SLT 00000d1d: JUMPDEST 00000d1e: ISZERO 00000d1f: PUSH2 0x0d3e 00000d22: JUMPI 00000d23: PUSH1 0x00 00000d25: DUP6 00000d26: PUSH1 0x05 00000d28: ADD 00000d29: PUSH1 0x00 00000d2b: PUSH2 0x0100 00000d2e: EXP 00000d2f: DUP2 00000d30: SLOAD 00000d31: DUP2 00000d32: PUSH1 0xff 00000d34: MUL 00000d35: NOT 00000d36: AND 00000d37: SWAP1 00000d38: DUP4 00000d39: MUL 00000d3a: OR 00000d3b: SWAP1 00000d3c: SSTORE 00000d3d: POP 00000d3e: JUMPDEST 00000d3f: JUMPDEST 00000d40: PUSH32 0xd220b7272a8b6d0d7d6bcdace67b936a8f175e6d5c1b3ee438b72256b32ab3af 00000d61: DUP8 00000d62: DUP8 00000d63: DUP7 00000d64: DUP9 00000d65: PUSH1 0x05 00000d67: ADD 00000d68: PUSH1 0x00 00000d6a: SWAP1 00000d6b: SLOAD 00000d6c: SWAP1 00000d6d: PUSH2 0x0100 00000d70: EXP 00000d71: SWAP1 00000d72: DIV 00000d73: PUSH1 0xff 00000d75: AND 00000d76: PUSH1 0x40 00000d78: MLOAD 00000d79: DUP1 00000d7a: DUP6 00000d7b: DUP2 00000d7c: MSTORE 00000d7d: PUSH1 0x20 00000d7f: ADD 00000d80: DUP5 00000d81: DUP2 00000d82: MSTORE 00000d83: PUSH1 0x20 00000d85: ADD 00000d86: DUP4 00000d87: DUP2 00000d88: MSTORE 00000d89: PUSH1 0x20 00000d8b: ADD 00000d8c: DUP3 00000d8d: DUP2 00000d8e: MSTORE 00000d8f: PUSH1 0x20 00000d91: ADD 00000d92: SWAP5 00000d93: POP 00000d94: POP 00000d95: POP 00000d96: POP 00000d97: POP 00000d98: PUSH1 0x40 00000d9a: MLOAD 00000d9b: DUP1 00000d9c: SWAP2 00000d9d: SUB 00000d9e: SWAP1 00000d9f: LOG1 00000da0: JUMPDEST 00000da1: JUMPDEST 00000da2: POP 00000da3: POP 00000da4: POP 00000da5: POP 00000da6: POP 00000da7: SWAP2 00000da8: SWAP1 00000da9: POP 00000daa: 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: 0x8f2c878754b071e5c27fb7f51d957a615f266a0584fc40534326d56991b280f9
call_targets:
0x79ae16ae527b5c66c83c88aa4d43066561a7785f
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x8f2c878754b071e5c27fb7f51d957a615f266a0584fc40534326d56991b280f9",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x79ae16ae527b5c66c83c88aa4d43066561a7785f"
],
"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": "0x013cf08b",
"selector": "0x013cf08b",
"calldata_variants": [
"0x013cf08b",
"0x013cf08b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x0d61b519",
"selector": "0x0d61b519",
"calldata_variants": [
"0x0d61b519",
"0x0d61b5190000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x173a4b70",
"selector": "0x173a4b70",
"calldata_variants": [
"0x173a4b70",
"0x173a4b700000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x39ce3983",
"selector": "0x39ce3983",
"calldata_variants": [
"0x39ce3983",
"0x39ce39830000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x400e3949",
"selector": "0x400e3949",
"calldata_variants": [
"0x400e3949",
"0x400e39490000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x4d853ee5",
"selector": "0x4d853ee5",
"calldata_variants": [
"0x4d853ee5",
"0x4d853ee50000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x5e44daf3",
"selector": "0x5e44daf3",
"calldata_variants": [
"0x5e44daf3",
"0x5e44daf30000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8160f0b5",
"selector": "0x8160f0b5",
"calldata_variants": [
"0x8160f0b5",
"0x8160f0b50000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1121,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "constant_zero",
"target_expression_category": "computed"
},
{
"pc": 1916,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2158,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "constant_zero",
"target_expression_category": "computed"
}
],
"call_count": 5,
"guards_detected": [],
"untrusted_call_count": 5
}
|
| high | other | detector | ETH value transfer possible | 55 | no | no |
viewtrace_id: 0x8f2c878754b071e5c27fb7f51d957a615f266a0584fc40534326d56991b280f9
call_targets:
0x79ae16ae527b5c66c83c88aa4d43066561a7785f
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x8f2c878754b071e5c27fb7f51d957a615f266a0584fc40534326d56991b280f9",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x79ae16ae527b5c66c83c88aa4d43066561a7785f"
],
"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": "0x013cf08b",
"selector": "0x013cf08b",
"calldata_variants": [
"0x013cf08b",
"0x013cf08b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x0d61b519",
"selector": "0x0d61b519",
"calldata_variants": [
"0x0d61b519",
"0x0d61b5190000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x173a4b70",
"selector": "0x173a4b70",
"calldata_variants": [
"0x173a4b70",
"0x173a4b700000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x39ce3983",
"selector": "0x39ce3983",
"calldata_variants": [
"0x39ce3983",
"0x39ce39830000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x400e3949",
"selector": "0x400e3949",
"calldata_variants": [
"0x400e3949",
"0x400e39490000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x4d853ee5",
"selector": "0x4d853ee5",
"calldata_variants": [
"0x4d853ee5",
"0x4d853ee50000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x5e44daf3",
"selector": "0x5e44daf3",
"calldata_variants": [
"0x5e44daf3",
"0x5e44daf30000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8160f0b5",
"selector": "0x8160f0b5",
"calldata_variants": [
"0x8160f0b5",
"0x8160f0b50000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1916,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 3119,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 3300,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 3,
"guards_detected": []
}
|