019b3836-49a6-7210-b529-96898f4e983f
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 |
|---|---|---|---|---|
| 6645 | artifact.fetch | complete | 1 / 3 | 4 months ago |
| 6646 | tool.cast_disasm | complete | 1 / 3 | 4 months ago |
| 49684 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 49685 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 49686 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 49687 | 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 0x00b9 0000000a: JUMPI 0000000b: PUSH1 0xe0 0000000d: PUSH1 0x02 0000000f: EXP 00000010: PUSH1 0x00 00000012: CALLDATALOAD 00000013: DIV 00000014: PUSH4 0x16ece9db 00000019: DUP2 0000001a: EQ 0000001b: PUSH2 0x00bb 0000001e: JUMPI 0000001f: DUP1 00000020: PUSH4 0x1982ed58 00000025: EQ 00000026: PUSH2 0x018f 00000029: JUMPI 0000002a: DUP1 0000002b: PUSH4 0x31a73991 00000030: EQ 00000031: PUSH2 0x01c9 00000034: JUMPI 00000035: DUP1 00000036: PUSH4 0x50b34d12 0000003b: EQ 0000003c: PUSH2 0x0215 0000003f: JUMPI 00000040: DUP1 00000041: PUSH4 0x5f52e9fd 00000046: EQ 00000047: PUSH2 0x021e 0000004a: JUMPI 0000004b: DUP1 0000004c: PUSH4 0x6169a7ed 00000051: EQ 00000052: PUSH2 0x0250 00000055: JUMPI 00000056: DUP1 00000057: PUSH4 0x79799193 0000005c: EQ 0000005d: PUSH2 0x0259 00000060: JUMPI 00000061: DUP1 00000062: PUSH4 0x7e7307c5 00000067: EQ 00000068: PUSH2 0x0262 0000006b: JUMPI 0000006c: DUP1 0000006d: PUSH4 0x8fe58eb9 00000072: EQ 00000073: PUSH2 0x0276 00000076: JUMPI 00000077: DUP1 00000078: PUSH4 0x97ca0a9f 0000007d: EQ 0000007e: PUSH2 0x0318 00000081: JUMPI 00000082: DUP1 00000083: PUSH4 0x9894221a 00000088: EQ 00000089: PUSH2 0x033b 0000008c: JUMPI 0000008d: DUP1 0000008e: PUSH4 0xa9fb4385 00000093: EQ 00000094: PUSH2 0x0348 00000097: JUMPI 00000098: DUP1 00000099: PUSH4 0xd3c65384 0000009e: EQ 0000009f: PUSH2 0x03bc 000000a2: JUMPI 000000a3: DUP1 000000a4: PUSH4 0xeb18703f 000000a9: EQ 000000aa: PUSH2 0x03c5 000000ad: JUMPI 000000ae: DUP1 000000af: PUSH4 0xede92296 000000b4: EQ 000000b5: PUSH2 0x03fa 000000b8: JUMPI 000000b9: JUMPDEST 000000ba: STOP 000000bb: JUMPDEST 000000bc: PUSH1 0x04 000000be: DUP1 000000bf: CALLDATALOAD 000000c0: PUSH2 0xffff 000000c3: SWAP1 000000c4: DUP2 000000c5: AND 000000c6: PUSH1 0x00 000000c8: DUP2 000000c9: DUP2 000000ca: MSTORE 000000cb: PUSH1 0x09 000000cd: PUSH1 0x20 000000cf: DUP2 000000d0: DUP2 000000d1: MSTORE 000000d2: PUSH1 0x40 000000d4: DUP1 000000d5: DUP5 000000d6: KECCAK256 000000d7: PUSH1 0x24 000000d9: CALLDATALOAD 000000da: DUP8 000000db: AND 000000dc: DUP6 000000dd: MSTORE 000000de: PUSH1 0x01 000000e0: DUP2 000000e1: DUP2 000000e2: ADD 000000e3: DUP5 000000e4: MSTORE 000000e5: DUP3 000000e6: DUP7 000000e7: KECCAK256 000000e8: DUP1 000000e9: SLOAD 000000ea: SWAP10 000000eb: DUP2 000000ec: ADD 000000ed: SLOAD 000000ee: PUSH1 0x05 000000f0: DUP3 000000f1: ADD 000000f2: SLOAD 000000f3: SWAP3 000000f4: DUP3 000000f5: ADD 000000f6: SLOAD 000000f7: PUSH1 0x02 000000f9: DUP4 000000fa: ADD 000000fb: SLOAD 000000fc: PUSH1 0x03 000000fe: DUP5 000000ff: ADD 00000100: SLOAD 00000101: PUSH1 0x06 00000103: DUP6 00000104: ADD 00000105: SLOAD 00000106: PUSH1 0x07 00000108: DUP7 00000109: ADD 0000010a: SLOAD 0000010b: SWAP6 0000010c: DUP12 0000010d: ADD 0000010e: SLOAD 0000010f: SWAP13 00000110: SWAP1 00000111: SWAP12 00000112: MSTORE 00000113: SWAP9 00000114: DUP9 00000115: MSTORE 00000116: DUP7 00000117: MLOAD 00000118: SWAP6 00000119: SLOAD 0000011a: SWAP13 0000011b: DUP7 0000011c: MSTORE 0000011d: SWAP7 0000011e: DUP6 0000011f: ADD 00000120: MSTORE 00000121: SWAP5 00000122: SWAP1 00000123: SWAP9 00000124: AND 00000125: DUP3 00000126: DUP5 00000127: ADD 00000128: MSTORE 00000129: PUSH1 0x60 0000012b: DUP3 0000012c: ADD 0000012d: SWAP5 0000012e: SWAP1 0000012f: SWAP5 00000130: MSTORE 00000131: PUSH1 0xff 00000133: SWAP3 00000134: DUP4 00000135: AND 00000136: ISZERO 00000137: ISZERO 00000138: PUSH1 0x80 0000013a: DUP3 0000013b: ADD 0000013c: MSTORE 0000013d: PUSH1 0xa0 0000013f: DUP2 00000140: ADD 00000141: SWAP4 00000142: SWAP1 00000143: SWAP4 00000144: MSTORE 00000145: PUSH1 0xc0 00000147: DUP4 00000148: ADD 00000149: SWAP4 0000014a: SWAP1 0000014b: SWAP4 0000014c: MSTORE 0000014d: PUSH1 0xe0 0000014f: DUP3 00000150: ADD 00000151: SWAP5 00000152: SWAP1 00000153: SWAP5 00000154: MSTORE 00000155: DUP3 00000156: DUP5 00000157: AND 00000158: ISZERO 00000159: ISZERO 0000015a: PUSH2 0x0100 0000015d: DUP3 0000015e: DUP2 0000015f: ADD 00000160: SWAP2 00000161: SWAP1 00000162: SWAP2 00000163: MSTORE 00000164: SWAP1 00000165: SWAP3 00000166: DIV 00000167: SWAP1 00000168: SWAP3 00000169: AND 0000016a: ISZERO 0000016b: ISZERO 0000016c: PUSH2 0x0120 0000016f: DUP3 00000170: ADD 00000171: MSTORE 00000172: PUSH1 0x01 00000174: PUSH1 0xa0 00000176: PUSH1 0x02 00000178: EXP 00000179: SUB 0000017a: SWAP3 0000017b: SWAP1 0000017c: SWAP3 0000017d: AND 0000017e: PUSH2 0x0140 00000181: DUP4 00000182: ADD 00000183: MSTORE 00000184: MLOAD 00000185: SWAP1 00000186: DUP2 00000187: SWAP1 00000188: SUB 00000189: PUSH2 0x0160 0000018c: ADD 0000018d: SWAP1 0000018e: RETURN 0000018f: JUMPDEST 00000190: PUSH2 0x00b9 00000193: PUSH1 0x04 00000195: CALLDATALOAD 00000196: PUSH1 0x24 00000198: CALLDATALOAD 00000199: PUSH1 0x44 0000019b: CALLDATALOAD 0000019c: PUSH2 0xffff 0000019f: DUP3 000001a0: AND 000001a1: PUSH1 0x00 000001a3: SWAP1 000001a4: DUP2 000001a5: MSTORE 000001a6: PUSH1 0x09 000001a8: PUSH1 0x20 000001aa: MSTORE 000001ab: PUSH1 0x40 000001ad: SWAP1 000001ae: KECCAK256 000001af: SLOAD 000001b0: PUSH1 0x01 000001b2: PUSH1 0xa0 000001b4: PUSH1 0x02 000001b6: EXP 000001b7: SUB 000001b8: SWAP1 000001b9: DUP2 000001ba: AND 000001bb: CALLER 000001bc: SWAP2 000001bd: SWAP1 000001be: SWAP2 000001bf: AND 000001c0: EQ 000001c1: PUSH2 0x048b 000001c4: JUMPI 000001c5: PUSH2 0x0486 000001c8: JUMP 000001c9: JUMPDEST 000001ca: PUSH2 0x043b 000001cd: PUSH1 0x04 000001cf: CALLDATALOAD 000001d0: JUMPDEST 000001d1: PUSH1 0x00 000001d3: DUP1 000001d4: JUMPDEST 000001d5: PUSH1 0x08 000001d7: SLOAD 000001d8: PUSH2 0xffff 000001db: SWAP1 000001dc: DUP2 000001dd: AND 000001de: SWAP1 000001df: DUP3 000001e0: AND 000001e1: LT 000001e2: ISZERO 000001e3: PUSH2 0x04dc 000001e6: JUMPI 000001e7: PUSH2 0xffff 000001ea: DUP2 000001eb: AND 000001ec: PUSH1 0x00 000001ee: SWAP1 000001ef: DUP2 000001f0: MSTORE 000001f1: PUSH1 0x09 000001f3: PUSH1 0x20 000001f5: MSTORE 000001f6: PUSH1 0x40 000001f8: SWAP1 000001f9: KECCAK256 000001fa: SLOAD 000001fb: PUSH1 0x01 000001fd: PUSH1 0xa0 000001ff: PUSH1 0x02 00000201: EXP 00000202: SUB 00000203: DUP5 00000204: DUP2 00000205: AND 00000206: SWAP2 00000207: AND 00000208: EQ 00000209: ISZERO 0000020a: PUSH2 0x04e8 0000020d: JUMPI 0000020e: DUP1 0000020f: SWAP2 00000210: POP 00000211: PUSH2 0x04e2 00000214: JUMP 00000215: JUMPDEST 00000216: PUSH2 0x0429 00000219: PUSH1 0x05 0000021b: SLOAD 0000021c: DUP2 0000021d: JUMP 0000021e: JUMPDEST 0000021f: PUSH2 0x00b9 00000222: PUSH1 0x04 00000224: CALLDATALOAD 00000225: PUSH1 0x00 00000227: SLOAD 00000228: PUSH1 0x01 0000022a: PUSH1 0xa0 0000022c: PUSH1 0x02 0000022e: EXP 0000022f: SUB 00000230: SWAP1 00000231: DUP2 00000232: AND 00000233: CALLER 00000234: SWAP2 00000235: SWAP1 00000236: SWAP2 00000237: AND 00000238: EQ 00000239: ISZERO 0000023a: DUP1 0000023b: PUSH2 0x0246 0000023e: JUMPI 0000023f: POP 00000240: PUSH1 0x06 00000242: SLOAD 00000243: DUP2 00000244: SWAP1 00000245: LT 00000246: JUMPDEST 00000247: ISZERO 00000248: PUSH2 0x04f0 0000024b: JUMPI 0000024c: PUSH2 0x0515 0000024f: JUMP 00000250: JUMPDEST 00000251: PUSH2 0x0429 00000254: PUSH1 0x06 00000256: SLOAD 00000257: DUP2 00000258: JUMP 00000259: JUMPDEST 0000025a: PUSH2 0x0429 0000025d: PUSH1 0x07 0000025f: SLOAD 00000260: DUP2 00000261: JUMP 00000262: JUMPDEST 00000263: PUSH2 0x00b9 00000266: PUSH1 0x04 00000268: CALLDATALOAD 00000269: PUSH1 0x24 0000026b: CALLDATALOAD 0000026c: PUSH2 0x0518 0000026f: DUP3 00000270: DUP3 00000271: CALLER 00000272: PUSH2 0x0355 00000275: JUMP 00000276: JUMPDEST 00000277: PUSH1 0x06 00000279: SLOAD 0000027a: PUSH1 0x07 0000027c: SLOAD 0000027d: PUSH2 0x00b9 00000280: SWAP2 00000281: ADDRESS 00000282: PUSH1 0x01 00000284: PUSH1 0xa0 00000286: PUSH1 0x02 00000288: EXP 00000289: SUB 0000028a: AND 0000028b: BALANCE 0000028c: SUB 0000028d: SUB 0000028e: PUSH1 0x00 00000290: DUP1 00000291: DUP1 00000292: DUP1 00000293: DUP1 00000294: DUP1 00000295: JUMPDEST 00000296: PUSH1 0x08 00000298: SLOAD 00000299: PUSH2 0xffff 0000029c: SWAP1 0000029d: DUP2 0000029e: AND 0000029f: SWAP1 000002a0: DUP7 000002a1: AND 000002a2: LT 000002a3: ISZERO 000002a4: PUSH2 0x051c 000002a7: JUMPI 000002a8: PUSH1 0x00 000002aa: SWAP4 000002ab: POP 000002ac: JUMPDEST 000002ad: PUSH2 0xffff 000002b0: DUP6 000002b1: DUP2 000002b2: AND 000002b3: PUSH1 0x00 000002b5: SWAP1 000002b6: DUP2 000002b7: MSTORE 000002b8: PUSH1 0x09 000002ba: PUSH1 0x20 000002bc: MSTORE 000002bd: PUSH1 0x40 000002bf: SWAP1 000002c0: KECCAK256 000002c1: SLOAD 000002c2: PUSH1 0xa0 000002c4: PUSH1 0x02 000002c6: EXP 000002c7: SWAP1 000002c8: DIV 000002c9: DUP2 000002ca: AND 000002cb: SWAP1 000002cc: DUP6 000002cd: AND 000002ce: LT 000002cf: ISZERO 000002d0: PUSH2 0x0558 000002d3: JUMPI 000002d4: PUSH1 0x40 000002d6: PUSH1 0x00 000002d8: DUP2 000002d9: DUP2 000002da: KECCAK256 000002db: PUSH2 0xffff 000002de: DUP8 000002df: AND 000002e0: DUP3 000002e1: MSTORE 000002e2: PUSH1 0x01 000002e4: ADD 000002e5: PUSH1 0x20 000002e7: MSTORE 000002e8: KECCAK256 000002e9: PUSH1 0x09 000002eb: DUP2 000002ec: ADD 000002ed: SLOAD 000002ee: SWAP1 000002ef: SWAP4 000002f0: POP 000002f1: PUSH2 0x0100 000002f4: SWAP1 000002f5: DIV 000002f6: PUSH1 0xff 000002f8: AND 000002f9: DUP1 000002fa: PUSH2 0x030e 000002fd: JUMPI 000002fe: POP 000002ff: PUSH3 0x015180 00000303: DUP4 00000304: PUSH1 0x06 00000306: ADD 00000307: PUSH1 0x00 00000309: POP 0000030a: SLOAD 0000030b: TIMESTAMP 0000030c: SUB 0000030d: LT 0000030e: JUMPDEST 0000030f: ISZERO 00000310: PUSH2 0x0564 00000313: JUMPI 00000314: PUSH2 0x082d 00000317: JUMP 00000318: JUMPDEST 00000319: PUSH2 0x00b9 0000031c: PUSH1 0x04 0000031e: CALLDATALOAD 0000031f: PUSH1 0x01 00000321: SLOAD 00000322: PUSH1 0x01 00000324: PUSH1 0xa0 00000326: PUSH1 0x02 00000328: EXP 00000329: SUB 0000032a: SWAP1 0000032b: DUP2 0000032c: AND 0000032d: CALLER 0000032e: SWAP2 0000032f: SWAP1 00000330: SWAP2 00000331: AND 00000332: EQ 00000333: PUSH2 0x0aa9 00000336: JUMPI 00000337: PUSH2 0x0515 0000033a: JUMP 0000033b: JUMPDEST 0000033c: PUSH2 0x00b9 0000033f: PUSH1 0x06 00000341: DUP1 00000342: SLOAD 00000343: CALLVALUE 00000344: ADD 00000345: SWAP1 00000346: SSTORE 00000347: JUMP 00000348: JUMPDEST 00000349: PUSH2 0x00b9 0000034c: PUSH1 0x04 0000034e: CALLDATALOAD 0000034f: PUSH1 0x24 00000351: CALLDATALOAD 00000352: PUSH1 0x44 00000354: CALLDATALOAD 00000355: JUMPDEST 00000356: PUSH1 0x00 00000358: PUSH1 0x00 0000035a: CALLVALUE 0000035b: PUSH1 0x00 0000035d: EQ 0000035e: DUP1 0000035f: PUSH2 0x036b 00000362: JUMPI 00000363: POP 00000364: PUSH1 0x64 00000366: DUP5 00000367: PUSH1 0xff 00000369: AND 0000036a: GT 0000036b: JUMPDEST 0000036c: DUP1 0000036d: PUSH2 0x037d 00000370: JUMPI 00000371: POP 00000372: PUSH1 0x04 00000374: SLOAD 00000375: PUSH1 0x05 00000377: SLOAD 00000378: CALLVALUE 00000379: SWAP1 0000037a: SWAP2 0000037b: ADD 0000037c: GT 0000037d: JUMPDEST 0000037e: DUP1 0000037f: PUSH2 0x0391 00000382: JUMPI 00000383: POP 00000384: PUSH1 0x02 00000386: SLOAD 00000387: PUSH1 0xa0 00000389: PUSH1 0x02 0000038b: EXP 0000038c: SWAP1 0000038d: DIV 0000038e: PUSH1 0xff 00000390: AND 00000391: JUMPDEST 00000392: ISZERO 00000393: PUSH2 0x0af7 00000396: JUMPI 00000397: PUSH1 0x40 00000399: MLOAD 0000039a: PUSH1 0x01 0000039c: PUSH1 0xa0 0000039e: PUSH1 0x02 000003a0: EXP 000003a1: SUB 000003a2: DUP5 000003a3: AND 000003a4: SWAP1 000003a5: PUSH1 0x00 000003a7: SWAP1 000003a8: CALLVALUE 000003a9: SWAP1 000003aa: DUP3 000003ab: DUP2 000003ac: DUP2 000003ad: DUP2 000003ae: DUP6 000003af: DUP9 000003b0: DUP4 000003b1: CALL 000003b2: SWAP4 000003b3: POP 000003b4: POP 000003b5: POP 000003b6: POP 000003b7: POP 000003b8: PUSH2 0x0af0 000003bb: JUMP 000003bc: JUMPDEST 000003bd: PUSH2 0x0429 000003c0: PUSH1 0x04 000003c2: SLOAD 000003c3: DUP2 000003c4: JUMP 000003c5: JUMPDEST 000003c6: PUSH2 0x00b9 000003c9: PUSH1 0x04 000003cb: CALLDATALOAD 000003cc: PUSH1 0x24 000003ce: CALLDATALOAD 000003cf: PUSH1 0x44 000003d1: CALLDATALOAD 000003d2: PUSH1 0x64 000003d4: CALLDATALOAD 000003d5: PUSH1 0x84 000003d7: CALLDATALOAD 000003d8: PUSH1 0xa4 000003da: CALLDATALOAD 000003db: PUSH1 0xc4 000003dd: CALLDATALOAD 000003de: PUSH1 0x00 000003e0: SLOAD 000003e1: PUSH1 0x01 000003e3: PUSH1 0xa0 000003e5: PUSH1 0x02 000003e7: EXP 000003e8: SUB 000003e9: SWAP1 000003ea: DUP2 000003eb: AND 000003ec: CALLER 000003ed: SWAP2 000003ee: SWAP1 000003ef: SWAP2 000003f0: AND 000003f1: EQ 000003f2: PUSH2 0x0b00 000003f5: JUMPI 000003f6: PUSH2 0x054f 000003f9: JUMP 000003fa: JUMPDEST 000003fb: PUSH2 0xffff 000003fe: PUSH1 0x04 00000400: CALLDATALOAD 00000401: DUP2 00000402: AND 00000403: PUSH1 0x00 00000405: SWAP1 00000406: DUP2 00000407: MSTORE 00000408: PUSH1 0x09 0000040a: PUSH1 0x20 0000040c: SWAP1 0000040d: DUP2 0000040e: MSTORE 0000040f: PUSH1 0x40 00000411: DUP1 00000412: DUP4 00000413: KECCAK256 00000414: PUSH1 0x24 00000416: CALLDATALOAD 00000417: SWAP5 00000418: SWAP1 00000419: SWAP5 0000041a: AND 0000041b: DUP4 0000041c: MSTORE 0000041d: PUSH1 0x01 0000041f: SWAP1 00000420: SWAP4 00000421: ADD 00000422: SWAP1 00000423: MSTORE 00000424: KECCAK256 00000425: PUSH1 0x08 00000427: ADD 00000428: SLOAD 00000429: JUMPDEST 0000042a: PUSH1 0x40 0000042c: DUP1 0000042d: MLOAD 0000042e: SWAP2 0000042f: DUP3 00000430: MSTORE 00000431: MLOAD 00000432: SWAP1 00000433: DUP2 00000434: SWAP1 00000435: SUB 00000436: PUSH1 0x20 00000438: ADD 00000439: SWAP1 0000043a: RETURN 0000043b: JUMPDEST 0000043c: PUSH1 0x40 0000043e: DUP1 0000043f: MLOAD 00000440: PUSH2 0xffff 00000443: SWAP3 00000444: SWAP1 00000445: SWAP3 00000446: AND 00000447: DUP3 00000448: MSTORE 00000449: MLOAD 0000044a: SWAP1 0000044b: DUP2 0000044c: SWAP1 0000044d: SUB 0000044e: PUSH1 0x20 00000450: ADD 00000451: SWAP1 00000452: RETURN 00000453: JUMPDEST 00000454: PUSH2 0xffff 00000457: DUP3 00000458: DUP2 00000459: AND 0000045a: PUSH1 0x00 0000045c: SWAP1 0000045d: DUP2 0000045e: MSTORE 0000045f: PUSH1 0x09 00000461: PUSH1 0x20 00000463: SWAP1 00000464: DUP2 00000465: MSTORE 00000466: PUSH1 0x40 00000468: DUP1 00000469: DUP4 0000046a: KECCAK256 0000046b: SWAP4 0000046c: DUP6 0000046d: AND 0000046e: DUP4 0000046f: MSTORE 00000470: PUSH1 0x01 00000472: SWAP4 00000473: SWAP1 00000474: SWAP4 00000475: ADD 00000476: SWAP1 00000477: MSTORE 00000478: KECCAK256 00000479: PUSH1 0x04 0000047b: ADD 0000047c: DUP1 0000047d: SLOAD 0000047e: PUSH1 0xff 00000480: NOT 00000481: AND 00000482: DUP5 00000483: OR 00000484: SWAP1 00000485: SSTORE 00000486: JUMPDEST 00000487: POP 00000488: POP 00000489: POP 0000048a: JUMP 0000048b: JUMPDEST 0000048c: DUP3 0000048d: ISZERO 0000048e: ISZERO 0000048f: PUSH1 0x00 00000491: EQ 00000492: DUP1 00000493: ISZERO 00000494: PUSH2 0x04d2 00000497: JUMPI 00000498: POP 00000499: PUSH2 0xffff 0000049c: DUP3 0000049d: DUP2 0000049e: AND 0000049f: PUSH1 0x00 000004a1: SWAP1 000004a2: DUP2 000004a3: MSTORE 000004a4: PUSH1 0x09 000004a6: PUSH1 0x20 000004a8: SWAP1 000004a9: DUP2 000004aa: MSTORE 000004ab: PUSH1 0x40 000004ad: DUP1 000004ae: DUP4 000004af: KECCAK256 000004b0: SWAP4 000004b1: DUP6 000004b2: AND 000004b3: DUP4 000004b4: MSTORE 000004b5: PUSH1 0x01 000004b7: SWAP4 000004b8: SWAP1 000004b9: SWAP4 000004ba: ADD 000004bb: SWAP1 000004bc: MSTORE 000004bd: KECCAK256 000004be: PUSH1 0x05 000004c0: ADD 000004c1: SLOAD 000004c2: PUSH1 0x14 000004c4: PUSH3 0x015180 000004c8: TIMESTAMP 000004c9: SWAP3 000004ca: SWAP1 000004cb: SWAP3 000004cc: SUB 000004cd: SWAP2 000004ce: SWAP1 000004cf: SWAP2 000004d0: DIV 000004d1: GT 000004d2: JUMPDEST 000004d3: ISZERO 000004d4: PUSH2 0x0453 000004d7: JUMPI 000004d8: PUSH2 0x0486 000004db: JUMP 000004dc: JUMPDEST 000004dd: PUSH2 0xffff 000004e0: SWAP2 000004e1: POP 000004e2: JUMPDEST 000004e3: POP 000004e4: SWAP2 000004e5: SWAP1 000004e6: POP 000004e7: JUMP 000004e8: JUMPDEST 000004e9: PUSH1 0x01 000004eb: ADD 000004ec: PUSH2 0x01d4 000004ef: JUMP 000004f0: JUMPDEST 000004f1: PUSH1 0x00 000004f3: DUP1 000004f4: SLOAD 000004f5: PUSH1 0x40 000004f7: MLOAD 000004f8: PUSH1 0x01 000004fa: PUSH1 0xa0 000004fc: PUSH1 0x02 000004fe: EXP 000004ff: SUB 00000500: SWAP2 00000501: SWAP1 00000502: SWAP2 00000503: AND 00000504: SWAP2 00000505: SWAP1 00000506: DUP4 00000507: SWAP1 00000508: DUP3 00000509: DUP2 0000050a: DUP2 0000050b: DUP2 0000050c: DUP6 0000050d: DUP9 0000050e: DUP4 0000050f: CALL 00000510: POP 00000511: POP 00000512: POP 00000513: POP 00000514: POP 00000515: JUMPDEST 00000516: POP 00000517: JUMP 00000518: JUMPDEST 00000519: POP 0000051a: POP 0000051b: JUMP 0000051c: JUMPDEST 0000051d: DUP6 0000051e: ISZERO 0000051f: ISZERO 00000520: PUSH2 0x054f 00000523: JUMPI 00000524: PUSH1 0x01 00000526: SLOAD 00000527: PUSH1 0x40 00000529: MLOAD 0000052a: PUSH1 0x01 0000052c: PUSH1 0xa0 0000052e: PUSH1 0x02 00000530: EXP 00000531: SUB 00000532: SWAP2 00000533: DUP3 00000534: AND 00000535: SWAP2 00000536: PUSH3 0x0186a0 0000053a: SWAP2 0000053b: ADDRESS 0000053c: SWAP1 0000053d: SWAP2 0000053e: AND 0000053f: BALANCE 00000540: SWAP1 00000541: PUSH1 0x00 00000543: DUP2 00000544: DUP2 00000545: DUP2 00000546: DUP6 00000547: DUP9 00000548: DUP9 00000549: CALL 0000054a: POP 0000054b: POP 0000054c: POP 0000054d: POP 0000054e: POP 0000054f: JUMPDEST 00000550: POP 00000551: POP 00000552: POP 00000553: POP 00000554: POP 00000555: POP 00000556: POP 00000557: JUMP 00000558: JUMPDEST 00000559: PUSH1 0x01 0000055b: SWAP5 0000055c: SWAP1 0000055d: SWAP5 0000055e: ADD 0000055f: SWAP4 00000560: PUSH2 0x0295 00000563: JUMP 00000564: JUMPDEST 00000565: PUSH1 0x03 00000567: DUP4 00000568: ADD 00000569: SLOAD 0000056a: PUSH1 0x07 0000056c: DUP5 0000056d: ADD 0000056e: SLOAD 0000056f: PUSH1 0x1e 00000571: SWAP2 00000572: SWAP1 00000573: SWAP2 00000574: MUL 00000575: EQ 00000576: PUSH2 0x0625 00000579: JUMPI 0000057a: PUSH3 0x015180 0000057e: DUP4 0000057f: PUSH1 0x05 00000581: ADD 00000582: PUSH1 0x00 00000584: POP 00000585: SLOAD 00000586: TIMESTAMP 00000587: SUB 00000588: DIV 00000589: SWAP2 0000058a: POP 0000058b: PUSH1 0x1e 0000058d: DUP3 0000058e: PUSH1 0xff 00000590: AND 00000591: GT 00000592: ISZERO 00000593: PUSH2 0x059b 00000596: JUMPI 00000597: PUSH1 0x1e 00000599: SWAP2 0000059a: POP 0000059b: JUMPDEST 0000059c: POP 0000059d: PUSH1 0x03 0000059f: DUP3 000005a0: ADD 000005a1: SLOAD 000005a2: PUSH1 0x07 000005a4: DUP4 000005a5: ADD 000005a6: SLOAD 000005a7: PUSH1 0xff 000005a9: DUP4 000005aa: AND 000005ab: SWAP1 000005ac: SWAP2 000005ad: MUL 000005ae: SUB 000005af: DUP1 000005b0: DUP8 000005b1: LT 000005b2: ISZERO 000005b3: PUSH2 0x05bf 000005b6: JUMPI 000005b7: PUSH1 0x01 000005b9: SWAP6 000005ba: POP 000005bb: PUSH2 0x061e 000005be: JUMP 000005bf: JUMPDEST 000005c0: PUSH8 0x016345785d8a0000 000005c9: DUP2 000005ca: GT 000005cb: DUP1 000005cc: PUSH2 0x05d8 000005cf: JUMPI 000005d0: POP 000005d1: PUSH1 0x1e 000005d3: DUP3 000005d4: PUSH1 0xff 000005d6: AND 000005d7: EQ 000005d8: JUMPDEST 000005d9: ISZERO 000005da: PUSH2 0x061e 000005dd: JUMPI 000005de: PUSH2 0xffff 000005e1: DUP6 000005e2: AND 000005e3: PUSH1 0x00 000005e5: SWAP1 000005e6: DUP2 000005e7: MSTORE 000005e8: PUSH1 0x09 000005ea: PUSH1 0x20 000005ec: MSTORE 000005ed: PUSH1 0x40 000005ef: DUP1 000005f0: MLOAD 000005f1: SWAP1 000005f2: DUP3 000005f3: KECCAK256 000005f4: SLOAD 000005f5: SWAP9 000005f6: DUP4 000005f7: SWAP1 000005f8: SUB 000005f9: SWAP9 000005fa: PUSH1 0x01 000005fc: PUSH1 0xa0 000005fe: PUSH1 0x02 00000600: EXP 00000601: SUB 00000602: AND 00000603: SWAP2 00000604: SWAP1 00000605: DUP4 00000606: SWAP1 00000607: DUP3 00000608: DUP2 00000609: DUP2 0000060a: DUP2 0000060b: DUP6 0000060c: DUP9 0000060d: DUP4 0000060e: CALL 0000060f: POP 00000610: POP 00000611: POP 00000612: POP 00000613: PUSH1 0x07 00000615: DUP5 00000616: ADD 00000617: DUP1 00000618: SLOAD 00000619: DUP4 0000061a: ADD 0000061b: SWAP1 0000061c: SSTORE 0000061d: POP 0000061e: JUMPDEST 0000061f: TIMESTAMP 00000620: PUSH1 0x06 00000622: DUP5 00000623: ADD 00000624: SSTORE 00000625: JUMPDEST 00000626: PUSH1 0x05 00000628: DUP4 00000629: ADD 0000062a: SLOAD 0000062b: PUSH3 0x278d00 0000062f: ADD 00000630: TIMESTAMP 00000631: GT 00000632: DUP1 00000633: ISZERO 00000634: PUSH2 0x0642 00000637: JUMPI 00000638: POP 00000639: PUSH1 0x08 0000063b: DUP4 0000063c: ADD 0000063d: SLOAD 0000063e: PUSH1 0x00 00000640: EQ 00000641: ISZERO 00000642: JUMPDEST 00000643: ISZERO 00000644: PUSH2 0x0671 00000647: JUMPI 00000648: PUSH1 0x04 0000064a: DUP4 0000064b: ADD 0000064c: SLOAD 0000064d: PUSH1 0xff 0000064f: AND 00000650: ISZERO 00000651: PUSH2 0x0669 00000654: JUMPI 00000655: PUSH1 0x08 00000657: DUP4 00000658: ADD 00000659: SLOAD 0000065a: DUP8 0000065b: LT 0000065c: ISZERO 0000065d: PUSH2 0x06cc 00000660: JUMPI 00000661: PUSH1 0x01 00000663: SWAP6 00000664: POP 00000665: PUSH2 0x070a 00000668: JUMP 00000669: JUMPDEST 0000066a: PUSH1 0x00 0000066c: PUSH1 0x08 0000066e: DUP5 0000066f: ADD 00000670: SSTORE 00000671: JUMPDEST 00000672: PUSH1 0x05 00000674: DUP4 00000675: ADD 00000676: SLOAD 00000677: PUSH3 0x278d00 0000067b: ADD 0000067c: TIMESTAMP 0000067d: GT 0000067e: DUP1 0000067f: ISZERO 00000680: PUSH2 0x068e 00000683: JUMPI 00000684: POP 00000685: PUSH1 0x09 00000687: DUP4 00000688: ADD 00000689: SLOAD 0000068a: PUSH1 0xff 0000068c: AND 0000068d: ISZERO 0000068e: JUMPDEST 0000068f: ISZERO 00000690: PUSH2 0x07e5 00000693: JUMPI 00000694: PUSH1 0x04 00000696: DUP4 00000697: ADD 00000698: SLOAD 00000699: PUSH1 0xff 0000069b: AND 0000069c: DUP1 0000069d: ISZERO 0000069e: PUSH2 0x06b1 000006a1: JUMPI 000006a2: POP 000006a3: PUSH1 0x02 000006a5: SLOAD 000006a6: PUSH1 0xa0 000006a8: PUSH1 0x02 000006aa: EXP 000006ab: SWAP1 000006ac: DIV 000006ad: PUSH1 0xff 000006af: AND 000006b0: ISZERO 000006b1: JUMPDEST 000006b2: ISZERO 000006b3: PUSH2 0x070f 000006b6: JUMPI 000006b7: DUP3 000006b8: SLOAD 000006b9: PUSH1 0x01 000006bb: DUP5 000006bc: DUP2 000006bd: ADD 000006be: SLOAD 000006bf: PUSH2 0x0839 000006c2: SWAP3 000006c3: DUP9 000006c4: SWAP3 000006c5: SWAP1 000006c6: SWAP2 000006c7: SWAP1 000006c8: PUSH2 0x08be 000006cb: JUMP 000006cc: JUMPDEST 000006cd: PUSH1 0x08 000006cf: DUP4 000006d0: ADD 000006d1: SLOAD 000006d2: PUSH2 0xffff 000006d5: DUP7 000006d6: AND 000006d7: PUSH1 0x00 000006d9: SWAP1 000006da: DUP2 000006db: MSTORE 000006dc: PUSH1 0x09 000006de: PUSH1 0x20 000006e0: MSTORE 000006e1: PUSH1 0x40 000006e3: DUP1 000006e4: MLOAD 000006e5: SWAP1 000006e6: DUP3 000006e7: KECCAK256 000006e8: SLOAD 000006e9: SWAP10 000006ea: DUP4 000006eb: SWAP1 000006ec: SUB 000006ed: SWAP10 000006ee: PUSH1 0x01 000006f0: PUSH1 0xa0 000006f2: PUSH1 0x02 000006f4: EXP 000006f5: SUB 000006f6: AND 000006f7: SWAP3 000006f8: SWAP1 000006f9: DUP3 000006fa: DUP2 000006fb: DUP2 000006fc: DUP2 000006fd: DUP6 000006fe: DUP9 000006ff: DUP4 00000700: CALL 00000701: POP 00000702: POP 00000703: POP 00000704: PUSH1 0x08 00000706: DUP6 00000707: ADD 00000708: SSTORE 00000709: POP 0000070a: JUMPDEST 0000070b: PUSH2 0x0671 0000070e: JUMP 0000070f: JUMPDEST 00000710: DUP3 00000711: SLOAD 00000712: PUSH1 0x06 00000714: SLOAD 00000715: LT 00000716: PUSH2 0x07e5 00000719: JUMPI 0000071a: DUP3 0000071b: PUSH1 0x00 0000071d: ADD 0000071e: PUSH1 0x00 00000720: POP 00000721: SLOAD 00000722: PUSH1 0x06 00000724: PUSH1 0x00 00000726: DUP3 00000727: DUP3 00000728: DUP3 00000729: POP 0000072a: SLOAD 0000072b: SUB 0000072c: SWAP3 0000072d: POP 0000072e: POP 0000072f: DUP2 00000730: SWAP1 00000731: SSTORE 00000732: POP 00000733: DUP3 00000734: PUSH1 0x01 00000736: ADD 00000737: PUSH1 0x00 00000739: POP 0000073a: SLOAD 0000073b: PUSH1 0x07 0000073d: PUSH1 0x00 0000073f: DUP3 00000740: DUP3 00000741: DUP3 00000742: POP 00000743: SLOAD 00000744: SUB 00000745: SWAP3 00000746: POP 00000747: POP 00000748: DUP2 00000749: SWAP1 0000074a: SSTORE 0000074b: POP 0000074c: DUP3 0000074d: PUSH1 0x00 0000074f: ADD 00000750: PUSH1 0x00 00000752: POP 00000753: SLOAD 00000754: DUP4 00000755: PUSH1 0x01 00000757: ADD 00000758: PUSH1 0x00 0000075a: POP 0000075b: SLOAD 0000075c: ADD 0000075d: PUSH1 0x04 0000075f: PUSH1 0x00 00000761: DUP3 00000762: DUP3 00000763: DUP3 00000764: POP 00000765: SLOAD 00000766: SUB 00000767: SWAP3 00000768: POP 00000769: POP 0000076a: DUP2 0000076b: SWAP1 0000076c: SSTORE 0000076d: POP 0000076e: PUSH1 0x09 00000770: PUSH1 0x00 00000772: POP 00000773: PUSH1 0x00 00000775: DUP7 00000776: PUSH2 0xffff 00000779: AND 0000077a: DUP2 0000077b: MSTORE 0000077c: PUSH1 0x20 0000077e: ADD 0000077f: SWAP1 00000780: DUP2 00000781: MSTORE 00000782: PUSH1 0x20 00000784: ADD 00000785: PUSH1 0x00 00000787: KECCAK256 00000788: PUSH1 0x00 0000078a: POP 0000078b: PUSH1 0x00 0000078d: ADD 0000078e: PUSH1 0x00 00000790: SWAP1 00000791: SLOAD 00000792: SWAP1 00000793: PUSH2 0x0100 00000796: EXP 00000797: SWAP1 00000798: DIV 00000799: PUSH1 0x01 0000079b: PUSH1 0xa0 0000079d: PUSH1 0x02 0000079f: EXP 000007a0: SUB 000007a1: AND 000007a2: PUSH1 0x01 000007a4: PUSH1 0xa0 000007a6: PUSH1 0x02 000007a8: EXP 000007a9: SUB 000007aa: AND 000007ab: PUSH1 0x00 000007ad: DUP5 000007ae: PUSH1 0x01 000007b0: ADD 000007b1: PUSH1 0x00 000007b3: POP 000007b4: SLOAD 000007b5: DUP6 000007b6: PUSH1 0x00 000007b8: ADD 000007b9: PUSH1 0x00 000007bb: POP 000007bc: SLOAD 000007bd: ADD 000007be: PUSH1 0x40 000007c0: MLOAD 000007c1: DUP1 000007c2: SWAP1 000007c3: POP 000007c4: PUSH1 0x00 000007c6: PUSH1 0x40 000007c8: MLOAD 000007c9: DUP1 000007ca: DUP4 000007cb: SUB 000007cc: DUP2 000007cd: DUP6 000007ce: DUP9 000007cf: DUP9 000007d0: CALL 000007d1: POP 000007d2: POP 000007d3: POP 000007d4: POP 000007d5: PUSH1 0x09 000007d7: DUP5 000007d8: ADD 000007d9: DUP1 000007da: SLOAD 000007db: PUSH1 0xff 000007dd: NOT 000007de: AND 000007df: PUSH1 0x01 000007e1: OR 000007e2: SWAP1 000007e3: SSTORE 000007e4: POP 000007e5: JUMPDEST 000007e6: PUSH1 0x09 000007e8: DUP4 000007e9: ADD 000007ea: SLOAD 000007eb: PUSH1 0xff 000007ed: AND 000007ee: DUP1 000007ef: ISZERO 000007f0: PUSH2 0x0806 000007f3: JUMPI 000007f4: POP 000007f5: PUSH1 0x03 000007f7: DUP4 000007f8: ADD 000007f9: SLOAD 000007fa: PUSH1 0x07 000007fc: DUP5 000007fd: ADD 000007fe: SLOAD 000007ff: PUSH1 0x1e 00000801: SWAP2 00000802: SWAP1 00000803: SWAP2 00000804: MUL 00000805: EQ 00000806: JUMPDEST 00000807: DUP1 00000808: ISZERO 00000809: PUSH2 0x0816 0000080c: JUMPI 0000080d: POP 0000080e: PUSH1 0x08 00000810: DUP4 00000811: ADD 00000812: SLOAD 00000813: PUSH1 0x00 00000815: EQ 00000816: JUMPDEST 00000817: ISZERO 00000818: PUSH2 0x082d 0000081b: JUMPI 0000081c: PUSH1 0x09 0000081e: DUP4 0000081f: ADD 00000820: DUP1 00000821: SLOAD 00000822: PUSH2 0xff00 00000825: NOT 00000826: AND 00000827: PUSH2 0x0100 0000082a: OR 0000082b: SWAP1 0000082c: SSTORE 0000082d: JUMPDEST 0000082e: PUSH1 0x01 00000830: SWAP4 00000831: SWAP1 00000832: SWAP4 00000833: ADD 00000834: SWAP3 00000835: PUSH2 0x02ac 00000838: JUMP 00000839: JUMPDEST 0000083a: PUSH1 0x09 0000083c: DUP4 0000083d: ADD 0000083e: DUP1 0000083f: SLOAD 00000840: PUSH1 0xff 00000842: NOT 00000843: AND 00000844: PUSH1 0x01 00000846: OR 00000847: SWAP1 00000848: SSTORE 00000849: PUSH2 0x07e5 0000084c: JUMP 0000084d: JUMPDEST 0000084e: SWAP2 0000084f: POP 00000850: DUP2 00000851: PUSH2 0xffff 00000854: AND 00000855: PUSH2 0xffff 00000858: EQ 00000859: ISZERO 0000085a: PUSH2 0x08a9 0000085d: JUMPI 0000085e: PUSH1 0x08 00000860: DUP1 00000861: SLOAD 00000862: PUSH2 0xffff 00000865: SWAP1 00000866: DUP2 00000867: AND 00000868: PUSH1 0x00 0000086a: DUP2 0000086b: DUP2 0000086c: MSTORE 0000086d: PUSH1 0x09 0000086f: PUSH1 0x20 00000871: MSTORE 00000872: PUSH1 0x40 00000874: SWAP1 00000875: KECCAK256 00000876: DUP1 00000877: SLOAD 00000878: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000088d: NOT 0000088e: AND 0000088f: DUP8 00000890: OR 00000891: SWAP1 00000892: SSTORE 00000893: DUP3 00000894: SLOAD 00000895: PUSH2 0xffff 00000898: NOT 00000899: DUP2 0000089a: AND 0000089b: SWAP3 0000089c: AND 0000089d: PUSH1 0x01 0000089f: ADD 000008a0: SWAP2 000008a1: SWAP1 000008a2: SWAP2 000008a3: OR 000008a4: SWAP1 000008a5: SWAP2 000008a6: SSTORE 000008a7: SWAP2 000008a8: POP 000008a9: JUMPDEST 000008aa: DUP4 000008ab: PUSH1 0xff 000008ad: AND 000008ae: PUSH1 0x64 000008b0: CALLVALUE 000008b1: DIV 000008b2: MUL 000008b3: SWAP1 000008b4: POP 000008b5: PUSH2 0x0ab4 000008b8: DUP3 000008b9: DUP3 000008ba: CALLVALUE 000008bb: SUB 000008bc: DUP4 000008bd: DUP9 000008be: JUMPDEST 000008bf: PUSH1 0x00 000008c1: PUSH1 0x00 000008c3: PUSH1 0x09 000008c5: PUSH1 0x00 000008c7: POP 000008c8: PUSH1 0x00 000008ca: DUP8 000008cb: PUSH2 0xffff 000008ce: AND 000008cf: DUP2 000008d0: MSTORE 000008d1: PUSH1 0x20 000008d3: ADD 000008d4: SWAP1 000008d5: DUP2 000008d6: MSTORE 000008d7: PUSH1 0x20 000008d9: ADD 000008da: PUSH1 0x00 000008dc: KECCAK256 000008dd: PUSH1 0x00 000008df: POP 000008e0: PUSH1 0x01 000008e2: ADD 000008e3: PUSH1 0x00 000008e5: POP 000008e6: PUSH1 0x00 000008e8: PUSH1 0x09 000008ea: PUSH1 0x00 000008ec: POP 000008ed: PUSH1 0x00 000008ef: DUP10 000008f0: PUSH2 0xffff 000008f3: AND 000008f4: DUP2 000008f5: MSTORE 000008f6: PUSH1 0x20 000008f8: ADD 000008f9: SWAP1 000008fa: DUP2 000008fb: MSTORE 000008fc: PUSH1 0x20 000008fe: ADD 000008ff: PUSH1 0x00 00000901: KECCAK256 00000902: PUSH1 0x00 00000904: POP 00000905: PUSH1 0x00 00000907: ADD 00000908: PUSH1 0x14 0000090a: SWAP1 0000090b: SLOAD 0000090c: SWAP1 0000090d: PUSH2 0x0100 00000910: EXP 00000911: SWAP1 00000912: DIV 00000913: PUSH2 0xffff 00000916: AND 00000917: PUSH2 0xffff 0000091a: AND 0000091b: DUP2 0000091c: MSTORE 0000091d: PUSH1 0x20 0000091f: ADD 00000920: SWAP1 00000921: DUP2 00000922: MSTORE 00000923: PUSH1 0x20 00000925: ADD 00000926: PUSH1 0x00 00000928: KECCAK256 00000929: PUSH1 0x00 0000092b: POP 0000092c: SWAP2 0000092d: POP 0000092e: DUP5 0000092f: DUP3 00000930: PUSH1 0x00 00000932: ADD 00000933: PUSH1 0x00 00000935: POP 00000936: DUP2 00000937: SWAP1 00000938: SSTORE 00000939: POP 0000093a: DUP4 0000093b: DUP3 0000093c: PUSH1 0x01 0000093e: ADD 0000093f: PUSH1 0x00 00000941: POP 00000942: DUP2 00000943: SWAP1 00000944: SSTORE 00000945: POP 00000946: DUP5 00000947: DUP5 00000948: ADD 00000949: DUP6 0000094a: PUSH1 0x64 0000094c: MUL 0000094d: DIV 0000094e: SWAP1 0000094f: POP 00000950: PUSH2 0x2710 00000953: PUSH1 0x03 00000955: PUSH1 0x08 00000957: SWAP1 00000958: SLOAD 00000959: SWAP1 0000095a: PUSH2 0x0100 0000095d: EXP 0000095e: SWAP1 0000095f: DIV 00000960: PUSH8 0xffffffffffffffff 00000969: AND 0000096a: DUP3 0000096b: PUSH1 0xff 0000096d: AND 0000096e: PUSH1 0x03 00000970: PUSH1 0x00 00000972: SWAP1 00000973: SLOAD 00000974: SWAP1 00000975: PUSH2 0x0100 00000978: EXP 00000979: SWAP1 0000097a: DIV 0000097b: PUSH8 0xffffffffffffffff 00000984: AND 00000985: MUL 00000986: DUP4 00000987: PUSH1 0xff 00000989: AND 0000098a: DUP5 0000098b: PUSH1 0xff 0000098d: AND 0000098e: PUSH1 0x02 00000990: PUSH1 0x15 00000992: SWAP1 00000993: SLOAD 00000994: SWAP1 00000995: PUSH2 0x0100 00000998: EXP 00000999: SWAP1 0000099a: DIV 0000099b: PUSH8 0xffffffffffffffff 000009a4: AND 000009a5: MUL 000009a6: MUL 000009a7: ADD 000009a8: ADD 000009a9: PUSH8 0xffffffffffffffff 000009b2: AND 000009b3: DIV 000009b4: DUP3 000009b5: PUSH1 0x02 000009b7: ADD 000009b8: PUSH1 0x00 000009ba: PUSH2 0x0100 000009bd: EXP 000009be: DUP2 000009bf: SLOAD 000009c0: DUP2 000009c1: PUSH2 0xffff 000009c4: MUL 000009c5: NOT 000009c6: AND 000009c7: SWAP1 000009c8: DUP4 000009c9: MUL 000009ca: OR 000009cb: SWAP1 000009cc: SSTORE 000009cd: POP 000009ce: PUSH1 0x1e 000009d0: DUP3 000009d1: PUSH1 0x02 000009d3: ADD 000009d4: PUSH1 0x00 000009d6: SWAP1 000009d7: SLOAD 000009d8: SWAP1 000009d9: PUSH2 0x0100 000009dc: EXP 000009dd: SWAP1 000009de: DIV 000009df: PUSH2 0xffff 000009e2: AND 000009e3: PUSH2 0xffff 000009e6: AND 000009e7: PUSH2 0x2710 000009ea: DUP7 000009eb: DUP9 000009ec: ADD 000009ed: DIV 000009ee: MUL 000009ef: DIV 000009f0: DUP3 000009f1: PUSH1 0x03 000009f3: ADD 000009f4: PUSH1 0x00 000009f6: POP 000009f7: DUP2 000009f8: SWAP1 000009f9: SSTORE 000009fa: POP 000009fb: DUP3 000009fc: DUP3 000009fd: PUSH1 0x04 000009ff: ADD 00000a00: PUSH1 0x00 00000a02: PUSH2 0x0100 00000a05: EXP 00000a06: DUP2 00000a07: SLOAD 00000a08: DUP2 00000a09: PUSH1 0xff 00000a0b: MUL 00000a0c: NOT 00000a0d: AND 00000a0e: SWAP1 00000a0f: DUP4 00000a10: MUL 00000a11: OR 00000a12: SWAP1 00000a13: SSTORE 00000a14: POP 00000a15: TIMESTAMP 00000a16: DUP3 00000a17: PUSH1 0x05 00000a19: ADD 00000a1a: PUSH1 0x00 00000a1c: POP 00000a1d: DUP2 00000a1e: SWAP1 00000a1f: SSTORE 00000a20: POP 00000a21: TIMESTAMP 00000a22: DUP3 00000a23: PUSH1 0x06 00000a25: ADD 00000a26: PUSH1 0x00 00000a28: POP 00000a29: DUP2 00000a2a: SWAP1 00000a2b: SSTORE 00000a2c: POP 00000a2d: PUSH1 0x03 00000a2f: PUSH1 0x10 00000a31: SWAP1 00000a32: SLOAD 00000a33: SWAP1 00000a34: PUSH2 0x0100 00000a37: EXP 00000a38: SWAP1 00000a39: DIV 00000a3a: PUSH2 0xffff 00000a3d: AND 00000a3e: PUSH2 0xffff 00000a41: AND 00000a42: PUSH2 0x03e8 00000a45: DUP7 00000a46: DIV 00000a47: MUL 00000a48: DUP3 00000a49: PUSH1 0x08 00000a4b: ADD 00000a4c: PUSH1 0x00 00000a4e: POP 00000a4f: DUP2 00000a50: SWAP1 00000a51: SSTORE 00000a52: POP 00000a53: PUSH1 0x09 00000a55: PUSH1 0x00 00000a57: POP 00000a58: PUSH1 0x00 00000a5a: DUP8 00000a5b: PUSH2 0xffff 00000a5e: AND 00000a5f: DUP2 00000a60: MSTORE 00000a61: PUSH1 0x20 00000a63: ADD 00000a64: SWAP1 00000a65: DUP2 00000a66: MSTORE 00000a67: PUSH1 0x20 00000a69: ADD 00000a6a: PUSH1 0x00 00000a6c: KECCAK256 00000a6d: PUSH1 0x00 00000a6f: POP 00000a70: PUSH1 0x00 00000a72: ADD 00000a73: PUSH1 0x14 00000a75: DUP2 00000a76: DUP2 00000a77: SWAP1 00000a78: SLOAD 00000a79: SWAP1 00000a7a: PUSH2 0x0100 00000a7d: EXP 00000a7e: SWAP1 00000a7f: DIV 00000a80: PUSH2 0xffff 00000a83: AND 00000a84: DUP1 00000a85: SWAP3 00000a86: SWAP2 00000a87: SWAP1 00000a88: PUSH1 0x01 00000a8a: ADD 00000a8b: SWAP2 00000a8c: SWAP1 00000a8d: PUSH2 0x0100 00000a90: EXP 00000a91: DUP2 00000a92: SLOAD 00000a93: DUP2 00000a94: PUSH2 0xffff 00000a97: MUL 00000a98: NOT 00000a99: AND 00000a9a: SWAP1 00000a9b: DUP4 00000a9c: MUL 00000a9d: OR 00000a9e: SWAP1 00000a9f: SSTORE 00000aa0: POP 00000aa1: POP 00000aa2: POP 00000aa3: POP 00000aa4: POP 00000aa5: POP 00000aa6: POP 00000aa7: POP 00000aa8: JUMP 00000aa9: JUMPDEST 00000aaa: PUSH1 0x05 00000aac: DUP1 00000aad: SLOAD 00000aae: DUP3 00000aaf: ADD 00000ab0: SWAP1 00000ab1: SSTORE 00000ab2: POP 00000ab3: JUMP 00000ab4: JUMPDEST 00000ab5: PUSH1 0x07 00000ab7: DUP1 00000ab8: SLOAD 00000ab9: DUP3 00000aba: ADD 00000abb: SWAP1 00000abc: SSTORE 00000abd: PUSH1 0x04 00000abf: DUP1 00000ac0: SLOAD 00000ac1: CALLVALUE 00000ac2: SWAP1 00000ac3: DUP2 00000ac4: ADD 00000ac5: SWAP1 00000ac6: SWAP2 00000ac7: SSTORE 00000ac8: PUSH1 0x02 00000aca: SLOAD 00000acb: PUSH1 0x40 00000acd: MLOAD 00000ace: PUSH1 0x01 00000ad0: PUSH1 0xa0 00000ad2: PUSH1 0x02 00000ad4: EXP 00000ad5: SUB 00000ad6: SWAP2 00000ad7: SWAP1 00000ad8: SWAP2 00000ad9: AND 00000ada: SWAP2 00000adb: PUSH1 0x00 00000add: SWAP2 00000ade: SWAP1 00000adf: DUP5 00000ae0: SWAP1 00000ae1: SUB 00000ae2: SWAP1 00000ae3: DUP3 00000ae4: DUP2 00000ae5: DUP2 00000ae6: DUP2 00000ae7: DUP6 00000ae8: DUP9 00000ae9: DUP4 00000aea: CALL 00000aeb: POP 00000aec: POP 00000aed: POP 00000aee: POP 00000aef: POP 00000af0: JUMPDEST 00000af1: POP 00000af2: POP 00000af3: POP 00000af4: POP 00000af5: POP 00000af6: JUMP 00000af7: JUMPDEST 00000af8: PUSH2 0x084d 00000afb: DUP4 00000afc: PUSH2 0x01d0 00000aff: JUMP 00000b00: JUMPDEST 00000b01: PUSH1 0x02 00000b03: DUP1 00000b04: SLOAD 00000b05: PUSH1 0x05 00000b07: DUP9 00000b08: SWAP1 00000b09: SSTORE 00000b0a: PUSH1 0x03 00000b0c: DUP1 00000b0d: SLOAD 00000b0e: PUSH17 0x0100000000000000000000000000000000 00000b20: DUP7 00000b21: MUL 00000b22: PUSH9 0x010000000000000000 00000b2c: DUP9 00000b2d: MUL 00000b2e: PUSH8 0xffffffffffffffff 00000b37: NOT 00000b38: SWAP1 00000b39: SWAP3 00000b3a: AND 00000b3b: DUP10 00000b3c: OR 00000b3d: PUSH16 0xffffffffffffffff0000000000000000 00000b4e: NOT 00000b4f: AND 00000b50: SWAP2 00000b51: SWAP1 00000b52: SWAP2 00000b53: OR 00000b54: PUSH18 0xffff00000000000000000000000000000000 00000b67: NOT 00000b68: AND 00000b69: OR 00000b6a: SWAP1 00000b6b: SSTORE 00000b6c: PUSH1 0xa0 00000b6e: PUSH1 0x02 00000b70: EXP 00000b71: DUP4 00000b72: MUL 00000b73: PUSH22 0x01000000000000000000000000000000000000000000 00000b8a: DUP9 00000b8b: MUL 00000b8c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000ba1: NOT 00000ba2: SWAP1 00000ba3: SWAP3 00000ba4: AND 00000ba5: DUP11 00000ba6: OR 00000ba7: PUSH32 0xffffff0000000000000000ffffffffffffffffffffffffffffffffffffffffff 00000bc8: AND 00000bc9: SWAP2 00000bca: SWAP1 00000bcb: SWAP2 00000bcc: OR 00000bcd: PUSH21 0xff0000000000000000000000000000000000000000 00000be3: NOT 00000be4: AND 00000be5: OR 00000be6: SWAP1 00000be7: SSTORE 00000be8: POP 00000be9: POP 00000bea: POP 00000beb: POP 00000bec: POP 00000bed: POP 00000bee: POP 00000bef: 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: 0xe251247e28bfbbcb98724a1cfe6cf2801b224d49b835eee9e77ec1d39470c10a
call_targets:
0x75fd8f63e65a0a2d8031f60674102ab5502aecd8
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xe251247e28bfbbcb98724a1cfe6cf2801b224d49b835eee9e77ec1d39470c10a",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x75fd8f63e65a0a2d8031f60674102ab5502aecd8"
],
"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": "0x16ece9db",
"selector": "0x16ece9db",
"calldata_variants": [
"0x16ece9db",
"0x16ece9db0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x1982ed58",
"selector": "0x1982ed58",
"calldata_variants": [
"0x1982ed58",
"0x1982ed580000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x31a73991",
"selector": "0x31a73991",
"calldata_variants": [
"0x31a73991",
"0x31a739910000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x50b34d12",
"selector": "0x50b34d12",
"calldata_variants": [
"0x50b34d12",
"0x50b34d120000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x5f52e9fd",
"selector": "0x5f52e9fd",
"calldata_variants": [
"0x5f52e9fd",
"0x5f52e9fd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x6169a7ed",
"selector": "0x6169a7ed",
"calldata_variants": [
"0x6169a7ed",
"0x6169a7ed0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x79799193",
"selector": "0x79799193",
"calldata_variants": [
"0x79799193",
"0x797991930000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x7e7307c5",
"selector": "0x7e7307c5",
"calldata_variants": [
"0x7e7307c5",
"0x7e7307c50000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 945,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1295,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1353,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 7,
"guards_detected": [],
"untrusted_call_count": 7
}
|
| high | other | detector | ETH value transfer possible | 55 | no | no |
viewtrace_id: 0xe251247e28bfbbcb98724a1cfe6cf2801b224d49b835eee9e77ec1d39470c10a
call_targets:
0x75fd8f63e65a0a2d8031f60674102ab5502aecd8
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xe251247e28bfbbcb98724a1cfe6cf2801b224d49b835eee9e77ec1d39470c10a",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x75fd8f63e65a0a2d8031f60674102ab5502aecd8"
],
"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": "0x16ece9db",
"selector": "0x16ece9db",
"calldata_variants": [
"0x16ece9db",
"0x16ece9db0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x1982ed58",
"selector": "0x1982ed58",
"calldata_variants": [
"0x1982ed58",
"0x1982ed580000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x31a73991",
"selector": "0x31a73991",
"calldata_variants": [
"0x31a73991",
"0x31a739910000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x50b34d12",
"selector": "0x50b34d12",
"calldata_variants": [
"0x50b34d12",
"0x50b34d120000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x5f52e9fd",
"selector": "0x5f52e9fd",
"calldata_variants": [
"0x5f52e9fd",
"0x5f52e9fd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x6169a7ed",
"selector": "0x6169a7ed",
"calldata_variants": [
"0x6169a7ed",
"0x6169a7ed0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x79799193",
"selector": "0x79799193",
"calldata_variants": [
"0x79799193",
"0x797991930000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x7e7307c5",
"selector": "0x7e7307c5",
"calldata_variants": [
"0x7e7307c5",
"0x7e7307c50000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 945,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1295,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1353,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 7,
"guards_detected": []
}
|