019b477e-ab76-7336-85f2-ea098e064a3c
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 |
|---|---|---|---|---|
| 21023 | artifact.fetch | complete | 1 / 3 | 4 months ago |
| 21024 | tool.cast_disasm | complete | 1 / 3 | 4 months ago |
| 63998 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 63999 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 64000 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 64001 | 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 0x00d9 0000000a: JUMPI 0000000b: PUSH1 0x00 0000000d: CALLDATALOAD 0000000e: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 0000002c: SWAP1 0000002d: DIV 0000002e: PUSH4 0xffffffff 00000033: AND 00000034: DUP1 00000035: PUSH4 0x120aa877 0000003a: EQ 0000003b: PUSH2 0x00e5 0000003e: JUMPI 0000003f: DUP1 00000040: PUSH4 0x16ada547 00000045: EQ 00000046: PUSH2 0x013f 00000049: JUMPI 0000004a: DUP1 0000004b: PUSH4 0x379607f5 00000050: EQ 00000051: PUSH2 0x0168 00000054: JUMPI 00000055: DUP1 00000056: PUSH4 0x3904e1bf 0000005b: EQ 0000005c: PUSH2 0x018b 0000005f: JUMPI 00000060: DUP1 00000061: PUSH4 0x7d34f5ac 00000066: EQ 00000067: PUSH2 0x01e1 0000006a: JUMPI 0000006b: DUP1 0000006c: PUSH4 0x8da5cb5b 00000071: EQ 00000072: PUSH2 0x0218 00000075: JUMPI 00000076: DUP1 00000077: PUSH4 0xa6f2ae3a 0000007c: EQ 0000007d: PUSH2 0x026d 00000080: JUMPI 00000081: DUP1 00000082: PUSH4 0xb74e452b 00000087: EQ 00000088: PUSH2 0x0277 0000008b: JUMPI 0000008c: DUP1 0000008d: PUSH4 0xd1058e59 00000092: EQ 00000093: PUSH2 0x02a0 00000096: JUMPI 00000097: DUP1 00000098: PUSH4 0xd90c1759 0000009d: EQ 0000009e: PUSH2 0x02b5 000000a1: JUMPI 000000a2: DUP1 000000a3: PUSH4 0xe0cb3aa0 000000a8: EQ 000000a9: PUSH2 0x02ec 000000ac: JUMPI 000000ad: DUP1 000000ae: PUSH4 0xe5225381 000000b3: EQ 000000b4: PUSH2 0x030d 000000b7: JUMPI 000000b8: DUP1 000000b9: PUSH4 0xec25adf4 000000be: EQ 000000bf: PUSH2 0x0322 000000c2: JUMPI 000000c3: DUP1 000000c4: PUSH4 0xf2fde38b 000000c9: EQ 000000ca: PUSH2 0x0337 000000cd: JUMPI 000000ce: DUP1 000000cf: PUSH4 0xfc0c546a 000000d4: EQ 000000d5: PUSH2 0x0370 000000d8: JUMPI 000000d9: JUMPDEST 000000da: JUMPDEST 000000db: PUSH2 0x00e2 000000de: PUSH2 0x03c5 000000e1: JUMP 000000e2: JUMPDEST 000000e3: JUMPDEST 000000e4: STOP 000000e5: JUMPDEST 000000e6: CALLVALUE 000000e7: ISZERO 000000e8: PUSH2 0x00f0 000000eb: JUMPI 000000ec: PUSH1 0x00 000000ee: DUP1 000000ef: REVERT 000000f0: JUMPDEST 000000f1: PUSH2 0x0125 000000f4: PUSH1 0x04 000000f6: DUP1 000000f7: DUP1 000000f8: CALLDATALOAD 000000f9: SWAP1 000000fa: PUSH1 0x20 000000fc: ADD 000000fd: SWAP1 000000fe: SWAP2 000000ff: SWAP1 00000100: DUP1 00000101: CALLDATALOAD 00000102: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000117: AND 00000118: SWAP1 00000119: PUSH1 0x20 0000011b: ADD 0000011c: SWAP1 0000011d: SWAP2 0000011e: SWAP1 0000011f: POP 00000120: POP 00000121: PUSH2 0x03da 00000124: JUMP 00000125: JUMPDEST 00000126: PUSH1 0x40 00000128: MLOAD 00000129: DUP1 0000012a: DUP3 0000012b: ISZERO 0000012c: ISZERO 0000012d: ISZERO 0000012e: ISZERO 0000012f: DUP2 00000130: MSTORE 00000131: PUSH1 0x20 00000133: ADD 00000134: SWAP2 00000135: POP 00000136: POP 00000137: PUSH1 0x40 00000139: MLOAD 0000013a: DUP1 0000013b: SWAP2 0000013c: SUB 0000013d: SWAP1 0000013e: RETURN 0000013f: JUMPDEST 00000140: CALLVALUE 00000141: ISZERO 00000142: PUSH2 0x014a 00000145: JUMPI 00000146: PUSH1 0x00 00000148: DUP1 00000149: REVERT 0000014a: JUMPDEST 0000014b: PUSH2 0x0152 0000014e: PUSH2 0x0409 00000151: JUMP 00000152: JUMPDEST 00000153: PUSH1 0x40 00000155: MLOAD 00000156: DUP1 00000157: DUP3 00000158: DUP2 00000159: MSTORE 0000015a: PUSH1 0x20 0000015c: ADD 0000015d: SWAP2 0000015e: POP 0000015f: POP 00000160: PUSH1 0x40 00000162: MLOAD 00000163: DUP1 00000164: SWAP2 00000165: SUB 00000166: SWAP1 00000167: RETURN 00000168: JUMPDEST 00000169: CALLVALUE 0000016a: ISZERO 0000016b: PUSH2 0x0173 0000016e: JUMPI 0000016f: PUSH1 0x00 00000171: DUP1 00000172: REVERT 00000173: JUMPDEST 00000174: PUSH2 0x0189 00000177: PUSH1 0x04 00000179: DUP1 0000017a: DUP1 0000017b: CALLDATALOAD 0000017c: SWAP1 0000017d: PUSH1 0x20 0000017f: ADD 00000180: SWAP1 00000181: SWAP2 00000182: SWAP1 00000183: POP 00000184: POP 00000185: PUSH2 0x0412 00000188: JUMP 00000189: JUMPDEST 0000018a: STOP 0000018b: JUMPDEST 0000018c: CALLVALUE 0000018d: ISZERO 0000018e: PUSH2 0x0196 00000191: JUMPI 00000192: PUSH1 0x00 00000194: DUP1 00000195: REVERT 00000196: JUMPDEST 00000197: PUSH2 0x01cb 0000019a: PUSH1 0x04 0000019c: DUP1 0000019d: DUP1 0000019e: CALLDATALOAD 0000019f: SWAP1 000001a0: PUSH1 0x20 000001a2: ADD 000001a3: SWAP1 000001a4: SWAP2 000001a5: SWAP1 000001a6: DUP1 000001a7: CALLDATALOAD 000001a8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000001bd: AND 000001be: SWAP1 000001bf: PUSH1 0x20 000001c1: ADD 000001c2: SWAP1 000001c3: SWAP2 000001c4: SWAP1 000001c5: POP 000001c6: POP 000001c7: PUSH2 0x06e9 000001ca: JUMP 000001cb: JUMPDEST 000001cc: PUSH1 0x40 000001ce: MLOAD 000001cf: DUP1 000001d0: DUP3 000001d1: DUP2 000001d2: MSTORE 000001d3: PUSH1 0x20 000001d5: ADD 000001d6: SWAP2 000001d7: POP 000001d8: POP 000001d9: PUSH1 0x40 000001db: MLOAD 000001dc: DUP1 000001dd: SWAP2 000001de: SUB 000001df: SWAP1 000001e0: RETURN 000001e1: JUMPDEST 000001e2: CALLVALUE 000001e3: ISZERO 000001e4: PUSH2 0x01ec 000001e7: JUMPI 000001e8: PUSH1 0x00 000001ea: DUP1 000001eb: REVERT 000001ec: JUMPDEST 000001ed: PUSH2 0x0202 000001f0: PUSH1 0x04 000001f2: DUP1 000001f3: DUP1 000001f4: CALLDATALOAD 000001f5: SWAP1 000001f6: PUSH1 0x20 000001f8: ADD 000001f9: SWAP1 000001fa: SWAP2 000001fb: SWAP1 000001fc: POP 000001fd: POP 000001fe: PUSH2 0x070e 00000201: JUMP 00000202: JUMPDEST 00000203: PUSH1 0x40 00000205: MLOAD 00000206: DUP1 00000207: DUP3 00000208: DUP2 00000209: MSTORE 0000020a: PUSH1 0x20 0000020c: ADD 0000020d: SWAP2 0000020e: POP 0000020f: POP 00000210: PUSH1 0x40 00000212: MLOAD 00000213: DUP1 00000214: SWAP2 00000215: SUB 00000216: SWAP1 00000217: RETURN 00000218: JUMPDEST 00000219: CALLVALUE 0000021a: ISZERO 0000021b: PUSH2 0x0223 0000021e: JUMPI 0000021f: PUSH1 0x00 00000221: DUP1 00000222: REVERT 00000223: JUMPDEST 00000224: PUSH2 0x022b 00000227: PUSH2 0x0726 0000022a: JUMP 0000022b: JUMPDEST 0000022c: PUSH1 0x40 0000022e: MLOAD 0000022f: DUP1 00000230: DUP3 00000231: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000246: AND 00000247: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000025c: AND 0000025d: DUP2 0000025e: MSTORE 0000025f: PUSH1 0x20 00000261: ADD 00000262: SWAP2 00000263: POP 00000264: POP 00000265: PUSH1 0x40 00000267: MLOAD 00000268: DUP1 00000269: SWAP2 0000026a: SUB 0000026b: SWAP1 0000026c: RETURN 0000026d: JUMPDEST 0000026e: PUSH2 0x0275 00000271: PUSH2 0x03c5 00000274: JUMP 00000275: JUMPDEST 00000276: STOP 00000277: JUMPDEST 00000278: CALLVALUE 00000279: ISZERO 0000027a: PUSH2 0x0282 0000027d: JUMPI 0000027e: PUSH1 0x00 00000280: DUP1 00000281: REVERT 00000282: JUMPDEST 00000283: PUSH2 0x028a 00000286: PUSH2 0x074b 00000289: JUMP 0000028a: JUMPDEST 0000028b: PUSH1 0x40 0000028d: MLOAD 0000028e: DUP1 0000028f: DUP3 00000290: DUP2 00000291: MSTORE 00000292: PUSH1 0x20 00000294: ADD 00000295: SWAP2 00000296: POP 00000297: POP 00000298: PUSH1 0x40 0000029a: MLOAD 0000029b: DUP1 0000029c: SWAP2 0000029d: SUB 0000029e: SWAP1 0000029f: RETURN 000002a0: JUMPDEST 000002a1: CALLVALUE 000002a2: ISZERO 000002a3: PUSH2 0x02ab 000002a6: JUMPI 000002a7: PUSH1 0x00 000002a9: DUP1 000002aa: REVERT 000002ab: JUMPDEST 000002ac: PUSH2 0x02b3 000002af: PUSH2 0x0763 000002b2: JUMP 000002b3: JUMPDEST 000002b4: STOP 000002b5: JUMPDEST 000002b6: CALLVALUE 000002b7: ISZERO 000002b8: PUSH2 0x02c0 000002bb: JUMPI 000002bc: PUSH1 0x00 000002be: DUP1 000002bf: REVERT 000002c0: JUMPDEST 000002c1: PUSH2 0x02d6 000002c4: PUSH1 0x04 000002c6: DUP1 000002c7: DUP1 000002c8: CALLDATALOAD 000002c9: SWAP1 000002ca: PUSH1 0x20 000002cc: ADD 000002cd: SWAP1 000002ce: SWAP2 000002cf: SWAP1 000002d0: POP 000002d1: POP 000002d2: PUSH2 0x0793 000002d5: JUMP 000002d6: JUMPDEST 000002d7: PUSH1 0x40 000002d9: MLOAD 000002da: DUP1 000002db: DUP3 000002dc: DUP2 000002dd: MSTORE 000002de: PUSH1 0x20 000002e0: ADD 000002e1: SWAP2 000002e2: POP 000002e3: POP 000002e4: PUSH1 0x40 000002e6: MLOAD 000002e7: DUP1 000002e8: SWAP2 000002e9: SUB 000002ea: SWAP1 000002eb: RETURN 000002ec: JUMPDEST 000002ed: PUSH2 0x030b 000002f0: PUSH1 0x04 000002f2: DUP1 000002f3: DUP1 000002f4: CALLDATALOAD 000002f5: SWAP1 000002f6: PUSH1 0x20 000002f8: ADD 000002f9: SWAP1 000002fa: SWAP2 000002fb: SWAP1 000002fc: DUP1 000002fd: CALLDATALOAD 000002fe: SWAP1 000002ff: PUSH1 0x20 00000301: ADD 00000302: SWAP1 00000303: SWAP2 00000304: SWAP1 00000305: POP 00000306: POP 00000307: PUSH2 0x07cb 0000030a: JUMP 0000030b: JUMPDEST 0000030c: STOP 0000030d: JUMPDEST 0000030e: CALLVALUE 0000030f: ISZERO 00000310: PUSH2 0x0318 00000313: JUMPI 00000314: PUSH1 0x00 00000316: DUP1 00000317: REVERT 00000318: JUMPDEST 00000319: PUSH2 0x0320 0000031c: PUSH2 0x08fe 0000031f: JUMP 00000320: JUMPDEST 00000321: STOP 00000322: JUMPDEST 00000323: CALLVALUE 00000324: ISZERO 00000325: PUSH2 0x032d 00000328: JUMPI 00000329: PUSH1 0x00 0000032b: DUP1 0000032c: REVERT 0000032d: JUMPDEST 0000032e: PUSH2 0x0335 00000331: PUSH2 0x09e9 00000334: JUMP 00000335: JUMPDEST 00000336: STOP 00000337: JUMPDEST 00000338: CALLVALUE 00000339: ISZERO 0000033a: PUSH2 0x0342 0000033d: JUMPI 0000033e: PUSH1 0x00 00000340: DUP1 00000341: REVERT 00000342: JUMPDEST 00000343: PUSH2 0x036e 00000346: PUSH1 0x04 00000348: DUP1 00000349: DUP1 0000034a: CALLDATALOAD 0000034b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000360: AND 00000361: SWAP1 00000362: PUSH1 0x20 00000364: ADD 00000365: SWAP1 00000366: SWAP2 00000367: SWAP1 00000368: POP 00000369: POP 0000036a: PUSH2 0x0b98 0000036d: JUMP 0000036e: JUMPDEST 0000036f: STOP 00000370: JUMPDEST 00000371: CALLVALUE 00000372: ISZERO 00000373: PUSH2 0x037b 00000376: JUMPI 00000377: PUSH1 0x00 00000379: DUP1 0000037a: REVERT 0000037b: JUMPDEST 0000037c: PUSH2 0x0383 0000037f: PUSH2 0x0c74 00000382: JUMP 00000383: JUMPDEST 00000384: PUSH1 0x40 00000386: MLOAD 00000387: DUP1 00000388: DUP3 00000389: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000039e: AND 0000039f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000003b4: AND 000003b5: DUP2 000003b6: MSTORE 000003b7: PUSH1 0x20 000003b9: ADD 000003ba: SWAP2 000003bb: POP 000003bc: POP 000003bd: PUSH1 0x40 000003bf: MLOAD 000003c0: DUP1 000003c1: SWAP2 000003c2: SUB 000003c3: SWAP1 000003c4: RETURN 000003c5: JUMPDEST 000003c6: PUSH2 0x03d7 000003c9: PUSH2 0x03d0 000003cc: PUSH2 0x074b 000003cf: JUMP 000003d0: JUMPDEST 000003d1: PUSH1 0x00 000003d3: PUSH2 0x07cb 000003d6: JUMP 000003d7: JUMPDEST 000003d8: JUMPDEST 000003d9: JUMP 000003da: JUMPDEST 000003db: PUSH1 0x08 000003dd: PUSH1 0x20 000003df: MSTORE 000003e0: DUP2 000003e1: PUSH1 0x00 000003e3: MSTORE 000003e4: PUSH1 0x40 000003e6: PUSH1 0x00 000003e8: KECCAK256 000003e9: PUSH1 0x20 000003eb: MSTORE 000003ec: DUP1 000003ed: PUSH1 0x00 000003ef: MSTORE 000003f0: PUSH1 0x40 000003f2: PUSH1 0x00 000003f4: KECCAK256 000003f5: PUSH1 0x00 000003f7: SWAP2 000003f8: POP 000003f9: SWAP2 000003fa: POP 000003fb: SWAP1 000003fc: SLOAD 000003fd: SWAP1 000003fe: PUSH2 0x0100 00000401: EXP 00000402: SWAP1 00000403: DIV 00000404: PUSH1 0xff 00000406: AND 00000407: DUP2 00000408: JUMP 00000409: JUMPDEST 0000040a: PUSH1 0x00 0000040c: TIMESTAMP 0000040d: SWAP1 0000040e: POP 0000040f: JUMPDEST 00000410: SWAP1 00000411: JUMP 00000412: JUMPDEST 00000413: PUSH1 0x00 00000415: DUP1 00000416: PUSH1 0x00 00000418: DUP1 00000419: PUSH1 0x04 0000041b: SLOAD 0000041c: TIMESTAMP 0000041d: GT 0000041e: DUP1 0000041f: ISZERO 00000420: PUSH2 0x0433 00000423: JUMPI 00000424: POP 00000425: PUSH3 0x015180 00000429: PUSH1 0x05 0000042b: SLOAD 0000042c: MUL 0000042d: PUSH1 0x04 0000042f: SLOAD 00000430: ADD 00000431: TIMESTAMP 00000432: LT 00000433: JUMPDEST 00000434: ISZERO 00000435: ISZERO 00000436: PUSH2 0x043e 00000439: JUMPI 0000043a: PUSH1 0x00 0000043c: DUP1 0000043d: REVERT 0000043e: JUMPDEST 0000043f: DUP5 00000440: PUSH2 0x0447 00000443: PUSH2 0x074b 00000446: JUMP 00000447: JUMPDEST 00000448: GT 00000449: ISZERO 0000044a: ISZERO 0000044b: PUSH2 0x0450 0000044e: JUMPI 0000044f: INVALID 00000450: JUMPDEST 00000451: PUSH1 0x08 00000453: PUSH1 0x00 00000455: DUP7 00000456: DUP2 00000457: MSTORE 00000458: PUSH1 0x20 0000045a: ADD 0000045b: SWAP1 0000045c: DUP2 0000045d: MSTORE 0000045e: PUSH1 0x20 00000460: ADD 00000461: PUSH1 0x00 00000463: KECCAK256 00000464: PUSH1 0x00 00000466: CALLER 00000467: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000047c: AND 0000047d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000492: AND 00000493: DUP2 00000494: MSTORE 00000495: PUSH1 0x20 00000497: ADD 00000498: SWAP1 00000499: DUP2 0000049a: MSTORE 0000049b: PUSH1 0x20 0000049d: ADD 0000049e: PUSH1 0x00 000004a0: KECCAK256 000004a1: PUSH1 0x00 000004a3: SWAP1 000004a4: SLOAD 000004a5: SWAP1 000004a6: PUSH2 0x0100 000004a9: EXP 000004aa: SWAP1 000004ab: DIV 000004ac: PUSH1 0xff 000004ae: AND 000004af: DUP1 000004b0: PUSH2 0x04cc 000004b3: JUMPI 000004b4: POP 000004b5: PUSH1 0x00 000004b7: PUSH1 0x07 000004b9: PUSH1 0x00 000004bb: DUP8 000004bc: DUP2 000004bd: MSTORE 000004be: PUSH1 0x20 000004c0: ADD 000004c1: SWAP1 000004c2: DUP2 000004c3: MSTORE 000004c4: PUSH1 0x20 000004c6: ADD 000004c7: PUSH1 0x00 000004c9: KECCAK256 000004ca: SLOAD 000004cb: EQ 000004cc: JUMPDEST 000004cd: ISZERO 000004ce: PUSH2 0x04d6 000004d1: JUMPI 000004d2: PUSH2 0x06e1 000004d5: JUMP 000004d6: JUMPDEST 000004d7: PUSH2 0x04f2 000004da: PUSH1 0x07 000004dc: PUSH1 0x00 000004de: DUP8 000004df: DUP2 000004e0: MSTORE 000004e1: PUSH1 0x20 000004e3: ADD 000004e4: SWAP1 000004e5: DUP2 000004e6: MSTORE 000004e7: PUSH1 0x20 000004e9: ADD 000004ea: PUSH1 0x00 000004ec: KECCAK256 000004ed: SLOAD 000004ee: PUSH2 0x0c9a 000004f1: JUMP 000004f2: JUMPDEST 000004f3: SWAP4 000004f4: POP 000004f5: PUSH2 0x054d 000004f8: PUSH1 0x06 000004fa: PUSH1 0x00 000004fc: DUP8 000004fd: DUP2 000004fe: MSTORE 000004ff: PUSH1 0x20 00000501: ADD 00000502: SWAP1 00000503: DUP2 00000504: MSTORE 00000505: PUSH1 0x20 00000507: ADD 00000508: PUSH1 0x00 0000050a: KECCAK256 0000050b: PUSH1 0x00 0000050d: CALLER 0000050e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000523: AND 00000524: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000539: AND 0000053a: DUP2 0000053b: MSTORE 0000053c: PUSH1 0x20 0000053e: ADD 0000053f: SWAP1 00000540: DUP2 00000541: MSTORE 00000542: PUSH1 0x20 00000544: ADD 00000545: PUSH1 0x00 00000547: KECCAK256 00000548: SLOAD 00000549: PUSH2 0x0c9a 0000054c: JUMP 0000054d: JUMPDEST 0000054e: SWAP3 0000054f: POP 00000550: PUSH2 0x0564 00000553: PUSH2 0x055e 00000556: PUSH3 0x4c4b40 0000055a: PUSH2 0x0c9a 0000055d: JUMP 0000055e: JUMPDEST 0000055f: DUP6 00000560: PUSH2 0x0cc2 00000563: JUMP 00000564: JUMPDEST 00000565: SWAP2 00000566: POP 00000567: PUSH2 0x0570 0000056a: DUP3 0000056b: DUP5 0000056c: PUSH2 0x0d53 0000056f: JUMP 00000570: JUMPDEST 00000571: SWAP1 00000572: POP 00000573: PUSH1 0x01 00000575: PUSH1 0x08 00000577: PUSH1 0x00 00000579: DUP8 0000057a: DUP2 0000057b: MSTORE 0000057c: PUSH1 0x20 0000057e: ADD 0000057f: SWAP1 00000580: DUP2 00000581: MSTORE 00000582: PUSH1 0x20 00000584: ADD 00000585: PUSH1 0x00 00000587: KECCAK256 00000588: PUSH1 0x00 0000058a: CALLER 0000058b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000005a0: AND 000005a1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000005b6: AND 000005b7: DUP2 000005b8: MSTORE 000005b9: PUSH1 0x20 000005bb: ADD 000005bc: SWAP1 000005bd: DUP2 000005be: MSTORE 000005bf: PUSH1 0x20 000005c1: ADD 000005c2: PUSH1 0x00 000005c4: KECCAK256 000005c5: PUSH1 0x00 000005c7: PUSH2 0x0100 000005ca: EXP 000005cb: DUP2 000005cc: SLOAD 000005cd: DUP2 000005ce: PUSH1 0xff 000005d0: MUL 000005d1: NOT 000005d2: AND 000005d3: SWAP1 000005d4: DUP4 000005d5: ISZERO 000005d6: ISZERO 000005d7: MUL 000005d8: OR 000005d9: SWAP1 000005da: SSTORE 000005db: POP 000005dc: PUSH1 0x03 000005de: PUSH1 0x00 000005e0: SWAP1 000005e1: SLOAD 000005e2: SWAP1 000005e3: PUSH2 0x0100 000005e6: EXP 000005e7: SWAP1 000005e8: DIV 000005e9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000005fe: AND 000005ff: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000614: AND 00000615: PUSH4 0xa9059cbb 0000061a: CALLER 0000061b: PUSH8 0x0de0b6b3a7640000 00000624: DUP5 00000625: MUL 00000626: PUSH1 0x00 00000628: PUSH1 0x40 0000062a: MLOAD 0000062b: PUSH1 0x20 0000062d: ADD 0000062e: MSTORE 0000062f: PUSH1 0x40 00000631: MLOAD 00000632: DUP4 00000633: PUSH4 0xffffffff 00000638: AND 00000639: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 00000657: MUL 00000658: DUP2 00000659: MSTORE 0000065a: PUSH1 0x04 0000065c: ADD 0000065d: DUP1 0000065e: DUP4 0000065f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000674: AND 00000675: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000068a: AND 0000068b: DUP2 0000068c: MSTORE 0000068d: PUSH1 0x20 0000068f: ADD 00000690: DUP3 00000691: PUSH16 0xffffffffffffffffffffffffffffffff 000006a2: AND 000006a3: DUP2 000006a4: MSTORE 000006a5: PUSH1 0x20 000006a7: ADD 000006a8: SWAP3 000006a9: POP 000006aa: POP 000006ab: POP 000006ac: PUSH1 0x20 000006ae: PUSH1 0x40 000006b0: MLOAD 000006b1: DUP1 000006b2: DUP4 000006b3: SUB 000006b4: DUP2 000006b5: PUSH1 0x00 000006b7: DUP8 000006b8: DUP1 000006b9: EXTCODESIZE 000006ba: ISZERO 000006bb: ISZERO 000006bc: PUSH2 0x06c4 000006bf: JUMPI 000006c0: PUSH1 0x00 000006c2: DUP1 000006c3: REVERT 000006c4: JUMPDEST 000006c5: PUSH2 0x02c6 000006c8: GAS 000006c9: SUB 000006ca: CALL 000006cb: ISZERO 000006cc: ISZERO 000006cd: PUSH2 0x06d5 000006d0: JUMPI 000006d1: PUSH1 0x00 000006d3: DUP1 000006d4: REVERT 000006d5: JUMPDEST 000006d6: POP 000006d7: POP 000006d8: POP 000006d9: PUSH1 0x40 000006db: MLOAD 000006dc: DUP1 000006dd: MLOAD 000006de: SWAP1 000006df: POP 000006e0: POP 000006e1: JUMPDEST 000006e2: JUMPDEST 000006e3: POP 000006e4: POP 000006e5: POP 000006e6: POP 000006e7: POP 000006e8: JUMP 000006e9: JUMPDEST 000006ea: PUSH1 0x06 000006ec: PUSH1 0x20 000006ee: MSTORE 000006ef: DUP2 000006f0: PUSH1 0x00 000006f2: MSTORE 000006f3: PUSH1 0x40 000006f5: PUSH1 0x00 000006f7: KECCAK256 000006f8: PUSH1 0x20 000006fa: MSTORE 000006fb: DUP1 000006fc: PUSH1 0x00 000006fe: MSTORE 000006ff: PUSH1 0x40 00000701: PUSH1 0x00 00000703: KECCAK256 00000704: PUSH1 0x00 00000706: SWAP2 00000707: POP 00000708: SWAP2 00000709: POP 0000070a: POP 0000070b: SLOAD 0000070c: DUP2 0000070d: JUMP 0000070e: JUMPDEST 0000070f: PUSH1 0x07 00000711: PUSH1 0x20 00000713: MSTORE 00000714: DUP1 00000715: PUSH1 0x00 00000717: MSTORE 00000718: PUSH1 0x40 0000071a: PUSH1 0x00 0000071c: KECCAK256 0000071d: PUSH1 0x00 0000071f: SWAP2 00000720: POP 00000721: SWAP1 00000722: POP 00000723: SLOAD 00000724: DUP2 00000725: JUMP 00000726: JUMPDEST 00000727: PUSH1 0x00 00000729: DUP1 0000072a: SWAP1 0000072b: SLOAD 0000072c: SWAP1 0000072d: PUSH2 0x0100 00000730: EXP 00000731: SWAP1 00000732: DIV 00000733: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000748: AND 00000749: DUP2 0000074a: JUMP 0000074b: JUMPDEST 0000074c: PUSH1 0x00 0000074e: PUSH2 0x075d 00000751: PUSH2 0x0758 00000754: PUSH2 0x0409 00000757: JUMP 00000758: JUMPDEST 00000759: PUSH2 0x0793 0000075c: JUMP 0000075d: JUMPDEST 0000075e: SWAP1 0000075f: POP 00000760: JUMPDEST 00000761: SWAP1 00000762: JUMP 00000763: JUMPDEST 00000764: PUSH1 0x00 00000766: DUP1 00000767: SWAP1 00000768: POP 00000769: JUMPDEST 0000076a: PUSH2 0x0771 0000076d: PUSH2 0x074b 00000770: JUMP 00000771: JUMPDEST 00000772: DUP2 00000773: LT 00000774: ISZERO 00000775: PUSH2 0x078f 00000778: JUMPI 00000779: PUSH2 0x0781 0000077c: DUP2 0000077d: PUSH2 0x0412 00000780: JUMP 00000781: JUMPDEST 00000782: JUMPDEST 00000783: DUP1 00000784: DUP1 00000785: PUSH1 0x01 00000787: ADD 00000788: SWAP2 00000789: POP 0000078a: POP 0000078b: PUSH2 0x0769 0000078e: JUMP 0000078f: JUMPDEST 00000790: JUMPDEST 00000791: POP 00000792: JUMP 00000793: JUMPDEST 00000794: PUSH1 0x00 00000796: PUSH1 0x04 00000798: SLOAD 00000799: DUP3 0000079a: LT 0000079b: PUSH2 0x07c0 0000079e: JUMPI 0000079f: PUSH1 0x01 000007a1: PUSH3 0x015180 000007a5: PUSH2 0x07b0 000007a8: DUP5 000007a9: PUSH1 0x04 000007ab: SLOAD 000007ac: PUSH2 0x0dec 000007af: JUMP 000007b0: JUMPDEST 000007b1: DUP2 000007b2: ISZERO 000007b3: ISZERO 000007b4: PUSH2 0x07b9 000007b7: JUMPI 000007b8: INVALID 000007b9: JUMPDEST 000007ba: DIV 000007bb: ADD 000007bc: PUSH2 0x07c3 000007bf: JUMP 000007c0: JUMPDEST 000007c1: PUSH1 0x00 000007c3: JUMPDEST 000007c4: SWAP1 000007c5: POP 000007c6: JUMPDEST 000007c7: SWAP2 000007c8: SWAP1 000007c9: POP 000007ca: JUMP 000007cb: JUMPDEST 000007cc: PUSH1 0x04 000007ce: SLOAD 000007cf: TIMESTAMP 000007d0: GT 000007d1: DUP1 000007d2: ISZERO 000007d3: PUSH2 0x07e6 000007d6: JUMPI 000007d7: POP 000007d8: PUSH3 0x015180 000007dc: PUSH1 0x05 000007de: SLOAD 000007df: MUL 000007e0: PUSH1 0x04 000007e2: SLOAD 000007e3: ADD 000007e4: TIMESTAMP 000007e5: LT 000007e6: JUMPDEST 000007e7: ISZERO 000007e8: ISZERO 000007e9: PUSH2 0x07f1 000007ec: JUMPI 000007ed: PUSH1 0x00 000007ef: DUP1 000007f0: REVERT 000007f1: JUMPDEST 000007f2: PUSH1 0x04 000007f4: SLOAD 000007f5: PUSH2 0x07fc 000007f8: PUSH2 0x0409 000007fb: JUMP 000007fc: JUMPDEST 000007fd: LT 000007fe: ISZERO 000007ff: DUP1 00000800: ISZERO 00000801: PUSH2 0x0813 00000804: JUMPI 00000805: POP 00000806: PUSH1 0x05 00000808: SLOAD 00000809: PUSH2 0x0810 0000080c: PUSH2 0x074b 0000080f: JUMP 00000810: JUMPDEST 00000811: GT 00000812: ISZERO 00000813: JUMPDEST 00000814: ISZERO 00000815: ISZERO 00000816: PUSH2 0x081b 00000819: JUMPI 0000081a: INVALID 0000081b: JUMPDEST 0000081c: PUSH7 0x038d7ea4c68000 00000824: CALLVALUE 00000825: LT 00000826: ISZERO 00000827: ISZERO 00000828: ISZERO 00000829: PUSH2 0x082e 0000082c: JUMPI 0000082d: INVALID 0000082e: JUMPDEST 0000082f: PUSH2 0x0836 00000832: PUSH2 0x074b 00000835: JUMP 00000836: JUMPDEST 00000837: DUP3 00000838: LT 00000839: ISZERO 0000083a: ISZERO 0000083b: ISZERO 0000083c: PUSH2 0x0841 0000083f: JUMPI 00000840: INVALID 00000841: JUMPDEST 00000842: PUSH1 0x05 00000844: SLOAD 00000845: DUP3 00000846: GT 00000847: ISZERO 00000848: ISZERO 00000849: ISZERO 0000084a: PUSH2 0x084f 0000084d: JUMPI 0000084e: INVALID 0000084f: JUMPDEST 00000850: CALLVALUE 00000851: PUSH1 0x06 00000853: PUSH1 0x00 00000855: DUP5 00000856: DUP2 00000857: MSTORE 00000858: PUSH1 0x20 0000085a: ADD 0000085b: SWAP1 0000085c: DUP2 0000085d: MSTORE 0000085e: PUSH1 0x20 00000860: ADD 00000861: PUSH1 0x00 00000863: KECCAK256 00000864: PUSH1 0x00 00000866: CALLER 00000867: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000087c: AND 0000087d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000892: AND 00000893: DUP2 00000894: MSTORE 00000895: PUSH1 0x20 00000897: ADD 00000898: SWAP1 00000899: DUP2 0000089a: MSTORE 0000089b: PUSH1 0x20 0000089d: ADD 0000089e: PUSH1 0x00 000008a0: KECCAK256 000008a1: PUSH1 0x00 000008a3: DUP3 000008a4: DUP3 000008a5: SLOAD 000008a6: ADD 000008a7: SWAP3 000008a8: POP 000008a9: POP 000008aa: DUP2 000008ab: SWAP1 000008ac: SSTORE 000008ad: POP 000008ae: CALLVALUE 000008af: PUSH1 0x07 000008b1: PUSH1 0x00 000008b3: DUP5 000008b4: DUP2 000008b5: MSTORE 000008b6: PUSH1 0x20 000008b8: ADD 000008b9: SWAP1 000008ba: DUP2 000008bb: MSTORE 000008bc: PUSH1 0x20 000008be: ADD 000008bf: PUSH1 0x00 000008c1: KECCAK256 000008c2: PUSH1 0x00 000008c4: DUP3 000008c5: DUP3 000008c6: SLOAD 000008c7: ADD 000008c8: SWAP3 000008c9: POP 000008ca: POP 000008cb: DUP2 000008cc: SWAP1 000008cd: SSTORE 000008ce: POP 000008cf: PUSH1 0x00 000008d1: DUP2 000008d2: EQ 000008d3: ISZERO 000008d4: ISZERO 000008d5: PUSH2 0x08f8 000008d8: JUMPI 000008d9: DUP1 000008da: PUSH1 0x07 000008dc: PUSH1 0x00 000008de: DUP5 000008df: DUP2 000008e0: MSTORE 000008e1: PUSH1 0x20 000008e3: ADD 000008e4: SWAP1 000008e5: DUP2 000008e6: MSTORE 000008e7: PUSH1 0x20 000008e9: ADD 000008ea: PUSH1 0x00 000008ec: KECCAK256 000008ed: SLOAD 000008ee: GT 000008ef: ISZERO 000008f0: ISZERO 000008f1: ISZERO 000008f2: PUSH2 0x08f7 000008f5: JUMPI 000008f6: INVALID 000008f7: JUMPDEST 000008f8: JUMPDEST 000008f9: JUMPDEST 000008fa: JUMPDEST 000008fb: POP 000008fc: POP 000008fd: JUMP 000008fe: JUMPDEST 000008ff: PUSH1 0x00 00000901: DUP1 00000902: SWAP1 00000903: SLOAD 00000904: SWAP1 00000905: PUSH2 0x0100 00000908: EXP 00000909: SWAP1 0000090a: DIV 0000090b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000920: AND 00000921: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000936: AND 00000937: CALLER 00000938: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000094d: AND 0000094e: EQ 0000094f: ISZERO 00000950: ISZERO 00000951: PUSH2 0x0959 00000954: JUMPI 00000955: PUSH1 0x00 00000957: DUP1 00000958: REVERT 00000959: JUMPDEST 0000095a: PUSH1 0x00 0000095c: PUSH2 0x0963 0000095f: PUSH2 0x074b 00000962: JUMP 00000963: JUMPDEST 00000964: GT 00000965: ISZERO 00000966: ISZERO 00000967: PUSH2 0x096c 0000096a: JUMPI 0000096b: INVALID 0000096c: JUMPDEST 0000096d: PUSH1 0x01 0000096f: PUSH1 0x00 00000971: SWAP1 00000972: SLOAD 00000973: SWAP1 00000974: PUSH2 0x0100 00000977: EXP 00000978: SWAP1 00000979: DIV 0000097a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000098f: AND 00000990: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000009a5: AND 000009a6: PUSH2 0x08fc 000009a9: ADDRESS 000009aa: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000009bf: AND 000009c0: BALANCE 000009c1: SWAP1 000009c2: DUP2 000009c3: ISZERO 000009c4: MUL 000009c5: SWAP1 000009c6: PUSH1 0x40 000009c8: MLOAD 000009c9: PUSH1 0x00 000009cb: PUSH1 0x40 000009cd: MLOAD 000009ce: DUP1 000009cf: DUP4 000009d0: SUB 000009d1: DUP2 000009d2: DUP6 000009d3: DUP9 000009d4: DUP9 000009d5: CALL 000009d6: SWAP4 000009d7: POP 000009d8: POP 000009d9: POP 000009da: POP 000009db: ISZERO 000009dc: ISZERO 000009dd: PUSH2 0x09e5 000009e0: JUMPI 000009e1: PUSH1 0x00 000009e3: DUP1 000009e4: REVERT 000009e5: JUMPDEST 000009e6: JUMPDEST 000009e7: JUMPDEST 000009e8: JUMP 000009e9: JUMPDEST 000009ea: PUSH1 0x00 000009ec: DUP1 000009ed: SWAP1 000009ee: SLOAD 000009ef: SWAP1 000009f0: PUSH2 0x0100 000009f3: EXP 000009f4: SWAP1 000009f5: DIV 000009f6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a0b: AND 00000a0c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a21: AND 00000a22: CALLER 00000a23: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a38: AND 00000a39: EQ 00000a3a: ISZERO 00000a3b: ISZERO 00000a3c: PUSH2 0x0a44 00000a3f: JUMPI 00000a40: PUSH1 0x00 00000a42: DUP1 00000a43: REVERT 00000a44: JUMPDEST 00000a45: PUSH1 0x95 00000a47: PUSH2 0x0a4e 00000a4a: PUSH2 0x074b 00000a4d: JUMP 00000a4e: JUMPDEST 00000a4f: LT 00000a50: ISZERO 00000a51: DUP1 00000a52: ISZERO 00000a53: PUSH2 0x0a69 00000a56: JUMPI 00000a57: POP 00000a58: PUSH1 0x02 00000a5a: PUSH1 0x14 00000a5c: SWAP1 00000a5d: SLOAD 00000a5e: SWAP1 00000a5f: PUSH2 0x0100 00000a62: EXP 00000a63: SWAP1 00000a64: DIV 00000a65: PUSH1 0xff 00000a67: AND 00000a68: ISZERO 00000a69: JUMPDEST 00000a6a: ISZERO 00000a6b: ISZERO 00000a6c: PUSH2 0x0a71 00000a6f: JUMPI 00000a70: INVALID 00000a71: JUMPDEST 00000a72: PUSH1 0x03 00000a74: PUSH1 0x00 00000a76: SWAP1 00000a77: SLOAD 00000a78: SWAP1 00000a79: PUSH2 0x0100 00000a7c: EXP 00000a7d: SWAP1 00000a7e: DIV 00000a7f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a94: AND 00000a95: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000aaa: AND 00000aab: PUSH4 0xa9059cbb 00000ab0: PUSH20 0x49b25adddd6503d275375c7c261a444862360396 00000ac5: PUSH11 0x52b7d2dcc80cd2e4000000 00000ad1: PUSH1 0x00 00000ad3: PUSH1 0x40 00000ad5: MLOAD 00000ad6: PUSH1 0x20 00000ad8: ADD 00000ad9: MSTORE 00000ada: PUSH1 0x40 00000adc: MLOAD 00000add: DUP4 00000ade: PUSH4 0xffffffff 00000ae3: AND 00000ae4: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 00000b02: MUL 00000b03: DUP2 00000b04: MSTORE 00000b05: PUSH1 0x04 00000b07: ADD 00000b08: DUP1 00000b09: DUP4 00000b0a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b1f: AND 00000b20: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b35: AND 00000b36: DUP2 00000b37: MSTORE 00000b38: PUSH1 0x20 00000b3a: ADD 00000b3b: DUP3 00000b3c: DUP2 00000b3d: MSTORE 00000b3e: PUSH1 0x20 00000b40: ADD 00000b41: SWAP3 00000b42: POP 00000b43: POP 00000b44: POP 00000b45: PUSH1 0x20 00000b47: PUSH1 0x40 00000b49: MLOAD 00000b4a: DUP1 00000b4b: DUP4 00000b4c: SUB 00000b4d: DUP2 00000b4e: PUSH1 0x00 00000b50: DUP8 00000b51: DUP1 00000b52: EXTCODESIZE 00000b53: ISZERO 00000b54: ISZERO 00000b55: PUSH2 0x0b5d 00000b58: JUMPI 00000b59: PUSH1 0x00 00000b5b: DUP1 00000b5c: REVERT 00000b5d: JUMPDEST 00000b5e: PUSH2 0x02c6 00000b61: GAS 00000b62: SUB 00000b63: CALL 00000b64: ISZERO 00000b65: ISZERO 00000b66: PUSH2 0x0b6e 00000b69: JUMPI 00000b6a: PUSH1 0x00 00000b6c: DUP1 00000b6d: REVERT 00000b6e: JUMPDEST 00000b6f: POP 00000b70: POP 00000b71: POP 00000b72: PUSH1 0x40 00000b74: MLOAD 00000b75: DUP1 00000b76: MLOAD 00000b77: SWAP1 00000b78: POP 00000b79: POP 00000b7a: PUSH1 0x01 00000b7c: PUSH1 0x02 00000b7e: PUSH1 0x14 00000b80: PUSH2 0x0100 00000b83: EXP 00000b84: DUP2 00000b85: SLOAD 00000b86: DUP2 00000b87: PUSH1 0xff 00000b89: MUL 00000b8a: NOT 00000b8b: AND 00000b8c: SWAP1 00000b8d: DUP4 00000b8e: ISZERO 00000b8f: ISZERO 00000b90: MUL 00000b91: OR 00000b92: SWAP1 00000b93: SSTORE 00000b94: POP 00000b95: JUMPDEST 00000b96: JUMPDEST 00000b97: JUMP 00000b98: JUMPDEST 00000b99: PUSH1 0x00 00000b9b: DUP1 00000b9c: SWAP1 00000b9d: SLOAD 00000b9e: SWAP1 00000b9f: PUSH2 0x0100 00000ba2: EXP 00000ba3: SWAP1 00000ba4: DIV 00000ba5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000bba: AND 00000bbb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000bd0: AND 00000bd1: CALLER 00000bd2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000be7: AND 00000be8: EQ 00000be9: ISZERO 00000bea: ISZERO 00000beb: PUSH2 0x0bf3 00000bee: JUMPI 00000bef: PUSH1 0x00 00000bf1: DUP1 00000bf2: REVERT 00000bf3: JUMPDEST 00000bf4: PUSH1 0x00 00000bf6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000c0b: AND 00000c0c: DUP2 00000c0d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000c22: AND 00000c23: EQ 00000c24: ISZERO 00000c25: ISZERO 00000c26: ISZERO 00000c27: PUSH2 0x0c2f 00000c2a: JUMPI 00000c2b: PUSH1 0x00 00000c2d: DUP1 00000c2e: REVERT 00000c2f: JUMPDEST 00000c30: DUP1 00000c31: PUSH1 0x00 00000c33: DUP1 00000c34: PUSH2 0x0100 00000c37: EXP 00000c38: DUP2 00000c39: SLOAD 00000c3a: DUP2 00000c3b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000c50: MUL 00000c51: NOT 00000c52: AND 00000c53: SWAP1 00000c54: DUP4 00000c55: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000c6a: AND 00000c6b: MUL 00000c6c: OR 00000c6d: SWAP1 00000c6e: SSTORE 00000c6f: POP 00000c70: JUMPDEST 00000c71: JUMPDEST 00000c72: POP 00000c73: JUMP 00000c74: JUMPDEST 00000c75: PUSH1 0x03 00000c77: PUSH1 0x00 00000c79: SWAP1 00000c7a: SLOAD 00000c7b: SWAP1 00000c7c: PUSH2 0x0100 00000c7f: EXP 00000c80: SWAP1 00000c81: DIV 00000c82: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000c97: AND 00000c98: DUP2 00000c99: JUMP 00000c9a: JUMPDEST 00000c9b: PUSH1 0x00 00000c9d: DUP2 00000c9e: DUP3 00000c9f: SWAP2 00000ca0: POP 00000ca1: DUP2 00000ca2: PUSH16 0xffffffffffffffffffffffffffffffff 00000cb3: AND 00000cb4: EQ 00000cb5: ISZERO 00000cb6: ISZERO 00000cb7: PUSH2 0x0cbc 00000cba: JUMPI 00000cbb: INVALID 00000cbc: JUMPDEST 00000cbd: JUMPDEST 00000cbe: SWAP2 00000cbf: SWAP1 00000cc0: POP 00000cc1: JUMP 00000cc2: JUMPDEST 00000cc3: PUSH1 0x00 00000cc5: PUSH2 0x0d4a 00000cc8: DUP3 00000cc9: PUSH16 0xffffffffffffffffffffffffffffffff 00000cda: AND 00000cdb: PUSH1 0x02 00000cdd: DUP5 00000cde: PUSH16 0xffffffffffffffffffffffffffffffff 00000cef: AND 00000cf0: DUP2 00000cf1: ISZERO 00000cf2: ISZERO 00000cf3: PUSH2 0x0cf8 00000cf6: JUMPI 00000cf7: INVALID 00000cf8: JUMPDEST 00000cf9: DIV 00000cfa: PUSH16 0xffffffffffffffffffffffffffffffff 00000d0b: AND 00000d0c: PUSH8 0x0de0b6b3a7640000 00000d15: PUSH16 0xffffffffffffffffffffffffffffffff 00000d26: AND 00000d27: DUP7 00000d28: PUSH16 0xffffffffffffffffffffffffffffffff 00000d39: AND 00000d3a: MUL 00000d3b: ADD 00000d3c: DUP2 00000d3d: ISZERO 00000d3e: ISZERO 00000d3f: PUSH2 0x0d44 00000d42: JUMPI 00000d43: INVALID 00000d44: JUMPDEST 00000d45: DIV 00000d46: PUSH2 0x0c9a 00000d49: JUMP 00000d4a: JUMPDEST 00000d4b: SWAP1 00000d4c: POP 00000d4d: JUMPDEST 00000d4e: SWAP3 00000d4f: SWAP2 00000d50: POP 00000d51: POP 00000d52: JUMP 00000d53: JUMPDEST 00000d54: PUSH1 0x00 00000d56: PUSH2 0x0de3 00000d59: PUSH8 0x0de0b6b3a7640000 00000d62: PUSH16 0xffffffffffffffffffffffffffffffff 00000d73: AND 00000d74: PUSH1 0x02 00000d76: PUSH8 0x0de0b6b3a7640000 00000d7f: PUSH16 0xffffffffffffffffffffffffffffffff 00000d90: AND 00000d91: DUP2 00000d92: ISZERO 00000d93: ISZERO 00000d94: PUSH2 0x0d99 00000d97: JUMPI 00000d98: INVALID 00000d99: JUMPDEST 00000d9a: DIV 00000d9b: PUSH16 0xffffffffffffffffffffffffffffffff 00000dac: AND 00000dad: DUP5 00000dae: PUSH16 0xffffffffffffffffffffffffffffffff 00000dbf: AND 00000dc0: DUP7 00000dc1: PUSH16 0xffffffffffffffffffffffffffffffff 00000dd2: AND 00000dd3: MUL 00000dd4: ADD 00000dd5: DUP2 00000dd6: ISZERO 00000dd7: ISZERO 00000dd8: PUSH2 0x0ddd 00000ddb: JUMPI 00000ddc: INVALID 00000ddd: JUMPDEST 00000dde: DIV 00000ddf: PUSH2 0x0c9a 00000de2: JUMP 00000de3: JUMPDEST 00000de4: SWAP1 00000de5: POP 00000de6: JUMPDEST 00000de7: SWAP3 00000de8: SWAP2 00000de9: POP 00000dea: POP 00000deb: JUMP 00000dec: JUMPDEST 00000ded: PUSH1 0x00 00000def: DUP3 00000df0: DUP3 00000df1: GT 00000df2: ISZERO 00000df3: ISZERO 00000df4: ISZERO 00000df5: PUSH2 0x0dfa 00000df8: JUMPI 00000df9: INVALID 00000dfa: JUMPDEST 00000dfb: DUP2 00000dfc: DUP4 00000dfd: SUB 00000dfe: SWAP1 00000dff: POP 00000e00: JUMPDEST 00000e01: SWAP3 00000e02: SWAP2 00000e03: POP 00000e04: POP 00000e05: JUMP 00000e06: STOP 00000e07: LOG1 00000e08: PUSH6 0x627a7a723058 00000e0f: KECCAK256 00000e10: DIFFICULTY 00000e11: SHL 00000e12: PUSH24 0x3ea01b3b0e3b59914933f4584bd62276d4c5139ed0419bc8 00000e2b: UNKNOWN(0xD6) 00000e2c: PUSH22
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| medium | other | detector | Untrusted CALL target/value reachable | 45 | no | no |
viewtrace_id: 0xcb89b39a94639f62c173c39bd23ab9b1e127b84cf9675da4efdb57aefa75f18a
call_targets:
0x4420681bda548cddb90d0e2419b9c52ec2ca7c9f
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xcb89b39a94639f62c173c39bd23ab9b1e127b84cf9675da4efdb57aefa75f18a",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x4420681bda548cddb90d0e2419b9c52ec2ca7c9f"
],
"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": "0xffffffff",
"selector": "0xffffffff",
"calldata_variants": [
"0xffffffff",
"0xffffffff0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x120aa877",
"selector": "0x120aa877",
"calldata_variants": [
"0x120aa877",
"0x120aa8770000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x16ada547",
"selector": "0x16ada547",
"calldata_variants": [
"0x16ada547",
"0x16ada5470000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x379607f5",
"selector": "0x379607f5",
"calldata_variants": [
"0x379607f5",
"0x379607f50000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3904e1bf",
"selector": "0x3904e1bf",
"calldata_variants": [
"0x3904e1bf",
"0x3904e1bf0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x7d34f5ac",
"selector": "0x7d34f5ac",
"calldata_variants": [
"0x7d34f5ac",
"0x7d34f5ac0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa6f2ae3a",
"selector": "0xa6f2ae3a",
"calldata_variants": [
"0xa6f2ae3a",
"0xa6f2ae3a0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1738,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2517,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2915,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 3,
"guards_detected": [
{
"pc": 2359,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 2594,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 3025,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
}
],
"untrusted_call_count": 3
}
|
| medium | other | detector | ETH value transfer possible | 40 | no | no |
viewtrace_id: 0xcb89b39a94639f62c173c39bd23ab9b1e127b84cf9675da4efdb57aefa75f18a
call_targets:
0x4420681bda548cddb90d0e2419b9c52ec2ca7c9f
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xcb89b39a94639f62c173c39bd23ab9b1e127b84cf9675da4efdb57aefa75f18a",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x4420681bda548cddb90d0e2419b9c52ec2ca7c9f"
],
"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": "0xffffffff",
"selector": "0xffffffff",
"calldata_variants": [
"0xffffffff",
"0xffffffff0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x120aa877",
"selector": "0x120aa877",
"calldata_variants": [
"0x120aa877",
"0x120aa8770000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x16ada547",
"selector": "0x16ada547",
"calldata_variants": [
"0x16ada547",
"0x16ada5470000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x379607f5",
"selector": "0x379607f5",
"calldata_variants": [
"0x379607f5",
"0x379607f50000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3904e1bf",
"selector": "0x3904e1bf",
"calldata_variants": [
"0x3904e1bf",
"0x3904e1bf0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x7d34f5ac",
"selector": "0x7d34f5ac",
"calldata_variants": [
"0x7d34f5ac",
"0x7d34f5ac0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa6f2ae3a",
"selector": "0xa6f2ae3a",
"calldata_variants": [
"0xa6f2ae3a",
"0xa6f2ae3a0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1738,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2517,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2915,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 3,
"guards_detected": [
{
"pc": 2359,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 2594,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 3025,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
}
]
}
|