019b477e-aff8-7324-b915-69dbdd57f062
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 |
|---|---|---|---|---|
| 21887 | artifact.fetch | complete | 1 / 3 | 4 months ago |
| 21888 | tool.cast_disasm | complete | 1 / 3 | 4 months ago |
| 89357 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 89358 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 89359 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 89360 | validation.fork | complete | 1 / 3 | 2 weeks ago |
No slither job recorded yet.
No codex job recorded yet.
00000000: PUSH1 0x80 00000002: PUSH1 0x40 00000004: MSTORE 00000005: PUSH1 0x04 00000007: CALLDATASIZE 00000008: LT 00000009: PUSH2 0x00c5 0000000c: JUMPI 0000000d: PUSH1 0x00 0000000f: CALLDATALOAD 00000010: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 0000002e: SWAP1 0000002f: DIV 00000030: PUSH4 0xffffffff 00000035: AND 00000036: DUP1 00000037: PUSH4 0x22867d78 0000003c: EQ 0000003d: PUSH2 0x00ca 00000040: JUMPI 00000041: DUP1 00000042: PUSH4 0x30880441 00000047: EQ 00000048: PUSH2 0x010a 0000004b: JUMPI 0000004c: DUP1 0000004d: PUSH4 0x47e7ef24 00000052: EQ 00000053: PUSH2 0x0177 00000056: JUMPI 00000057: DUP1 00000058: PUSH4 0x4b8a3529 0000005d: EQ 0000005e: PUSH2 0x01b7 00000061: JUMPI 00000062: DUP1 00000063: PUSH4 0x715018a6 00000068: EQ 00000069: PUSH2 0x0204 0000006c: JUMPI 0000006d: DUP1 0000006e: PUSH4 0x76c7fc55 00000073: EQ 00000074: PUSH2 0x021b 00000077: JUMPI 00000078: DUP1 00000079: PUSH4 0x8322fff2 0000007e: EQ 0000007f: PUSH2 0x025e 00000082: JUMPI 00000083: DUP1 00000084: PUSH4 0x8da5cb5b 00000089: EQ 0000008a: PUSH2 0x02b5 0000008d: JUMPI 0000008e: DUP1 0000008f: PUSH4 0xcf9530d0 00000094: EQ 00000095: PUSH2 0x030c 00000098: JUMPI 00000099: DUP1 0000009a: PUSH4 0xd8b964e6 0000009f: EQ 000000a0: PUSH2 0x0363 000000a3: JUMPI 000000a4: DUP1 000000a5: PUSH4 0xe3a8e29c 000000aa: EQ 000000ab: PUSH2 0x03be 000000ae: JUMPI 000000af: DUP1 000000b0: PUSH4 0xf2fde38b 000000b5: EQ 000000b6: PUSH2 0x0401 000000b9: JUMPI 000000ba: DUP1 000000bb: PUSH4 0xf3fef3a3 000000c0: EQ 000000c1: PUSH2 0x0444 000000c4: JUMPI 000000c5: JUMPDEST 000000c6: PUSH1 0x00 000000c8: DUP1 000000c9: REVERT 000000ca: JUMPDEST 000000cb: PUSH2 0x0108 000000ce: PUSH1 0x04 000000d0: DUP1 000000d1: CALLDATASIZE 000000d2: SUB 000000d3: DUP2 000000d4: ADD 000000d5: SWAP1 000000d6: DUP1 000000d7: DUP1 000000d8: CALLDATALOAD 000000d9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000000ee: AND 000000ef: SWAP1 000000f0: PUSH1 0x20 000000f2: ADD 000000f3: SWAP1 000000f4: SWAP3 000000f5: SWAP2 000000f6: SWAP1 000000f7: DUP1 000000f8: CALLDATALOAD 000000f9: SWAP1 000000fa: PUSH1 0x20 000000fc: ADD 000000fd: SWAP1 000000fe: SWAP3 000000ff: SWAP2 00000100: SWAP1 00000101: POP 00000102: POP 00000103: POP 00000104: PUSH2 0x0491 00000107: JUMP 00000108: JUMPDEST 00000109: STOP 0000010a: JUMPDEST 0000010b: CALLVALUE 0000010c: DUP1 0000010d: ISZERO 0000010e: PUSH2 0x0116 00000111: JUMPI 00000112: PUSH1 0x00 00000114: DUP1 00000115: REVERT 00000116: JUMPDEST 00000117: POP 00000118: PUSH2 0x0175 0000011b: PUSH1 0x04 0000011d: DUP1 0000011e: CALLDATASIZE 0000011f: SUB 00000120: DUP2 00000121: ADD 00000122: SWAP1 00000123: DUP1 00000124: DUP1 00000125: CALLDATALOAD 00000126: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000013b: AND 0000013c: SWAP1 0000013d: PUSH1 0x20 0000013f: ADD 00000140: SWAP1 00000141: SWAP3 00000142: SWAP2 00000143: SWAP1 00000144: DUP1 00000145: CALLDATALOAD 00000146: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000015b: AND 0000015c: SWAP1 0000015d: PUSH1 0x20 0000015f: ADD 00000160: SWAP1 00000161: SWAP3 00000162: SWAP2 00000163: SWAP1 00000164: DUP1 00000165: CALLDATALOAD 00000166: SWAP1 00000167: PUSH1 0x20 00000169: ADD 0000016a: SWAP1 0000016b: SWAP3 0000016c: SWAP2 0000016d: SWAP1 0000016e: POP 0000016f: POP 00000170: POP 00000171: PUSH2 0x04a2 00000174: JUMP 00000175: JUMPDEST 00000176: STOP 00000177: JUMPDEST 00000178: PUSH2 0x01b5 0000017b: PUSH1 0x04 0000017d: DUP1 0000017e: CALLDATASIZE 0000017f: SUB 00000180: DUP2 00000181: ADD 00000182: SWAP1 00000183: DUP1 00000184: DUP1 00000185: CALLDATALOAD 00000186: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000019b: AND 0000019c: SWAP1 0000019d: PUSH1 0x20 0000019f: ADD 000001a0: SWAP1 000001a1: SWAP3 000001a2: SWAP2 000001a3: SWAP1 000001a4: DUP1 000001a5: CALLDATALOAD 000001a6: SWAP1 000001a7: PUSH1 0x20 000001a9: ADD 000001aa: SWAP1 000001ab: SWAP3 000001ac: SWAP2 000001ad: SWAP1 000001ae: POP 000001af: POP 000001b0: POP 000001b1: PUSH2 0x0512 000001b4: JUMP 000001b5: JUMPDEST 000001b6: STOP 000001b7: JUMPDEST 000001b8: CALLVALUE 000001b9: DUP1 000001ba: ISZERO 000001bb: PUSH2 0x01c3 000001be: JUMPI 000001bf: PUSH1 0x00 000001c1: DUP1 000001c2: REVERT 000001c3: JUMPDEST 000001c4: POP 000001c5: PUSH2 0x0202 000001c8: PUSH1 0x04 000001ca: DUP1 000001cb: CALLDATASIZE 000001cc: SUB 000001cd: DUP2 000001ce: ADD 000001cf: SWAP1 000001d0: DUP1 000001d1: DUP1 000001d2: CALLDATALOAD 000001d3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000001e8: AND 000001e9: SWAP1 000001ea: PUSH1 0x20 000001ec: ADD 000001ed: SWAP1 000001ee: SWAP3 000001ef: SWAP2 000001f0: SWAP1 000001f1: DUP1 000001f2: CALLDATALOAD 000001f3: SWAP1 000001f4: PUSH1 0x20 000001f6: ADD 000001f7: SWAP1 000001f8: SWAP3 000001f9: SWAP2 000001fa: SWAP1 000001fb: POP 000001fc: POP 000001fd: POP 000001fe: PUSH2 0x057e 00000201: JUMP 00000202: JUMPDEST 00000203: STOP 00000204: JUMPDEST 00000205: CALLVALUE 00000206: DUP1 00000207: ISZERO 00000208: PUSH2 0x0210 0000020b: JUMPI 0000020c: PUSH1 0x00 0000020e: DUP1 0000020f: REVERT 00000210: JUMPDEST 00000211: POP 00000212: PUSH2 0x0219 00000215: PUSH2 0x05ec 00000218: JUMP 00000219: JUMPDEST 0000021a: STOP 0000021b: JUMPDEST 0000021c: CALLVALUE 0000021d: DUP1 0000021e: ISZERO 0000021f: PUSH2 0x0227 00000222: JUMPI 00000223: PUSH1 0x00 00000225: DUP1 00000226: REVERT 00000227: JUMPDEST 00000228: POP 00000229: PUSH2 0x025c 0000022c: PUSH1 0x04 0000022e: DUP1 0000022f: CALLDATASIZE 00000230: SUB 00000231: DUP2 00000232: ADD 00000233: SWAP1 00000234: DUP1 00000235: DUP1 00000236: CALLDATALOAD 00000237: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000024c: AND 0000024d: SWAP1 0000024e: PUSH1 0x20 00000250: ADD 00000251: SWAP1 00000252: SWAP3 00000253: SWAP2 00000254: SWAP1 00000255: POP 00000256: POP 00000257: POP 00000258: PUSH2 0x06ee 0000025b: JUMP 0000025c: JUMPDEST 0000025d: STOP 0000025e: JUMPDEST 0000025f: CALLVALUE 00000260: DUP1 00000261: ISZERO 00000262: PUSH2 0x026a 00000265: JUMPI 00000266: PUSH1 0x00 00000268: DUP1 00000269: REVERT 0000026a: JUMPDEST 0000026b: POP 0000026c: PUSH2 0x0273 0000026f: PUSH2 0x07a4 00000272: JUMP 00000273: JUMPDEST 00000274: PUSH1 0x40 00000276: MLOAD 00000277: DUP1 00000278: DUP3 00000279: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000028e: AND 0000028f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000002a4: AND 000002a5: DUP2 000002a6: MSTORE 000002a7: PUSH1 0x20 000002a9: ADD 000002aa: SWAP2 000002ab: POP 000002ac: POP 000002ad: PUSH1 0x40 000002af: MLOAD 000002b0: DUP1 000002b1: SWAP2 000002b2: SUB 000002b3: SWAP1 000002b4: RETURN 000002b5: JUMPDEST 000002b6: CALLVALUE 000002b7: DUP1 000002b8: ISZERO 000002b9: PUSH2 0x02c1 000002bc: JUMPI 000002bd: PUSH1 0x00 000002bf: DUP1 000002c0: REVERT 000002c1: JUMPDEST 000002c2: POP 000002c3: PUSH2 0x02ca 000002c6: PUSH2 0x07a9 000002c9: JUMP 000002ca: JUMPDEST 000002cb: PUSH1 0x40 000002cd: MLOAD 000002ce: DUP1 000002cf: DUP3 000002d0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000002e5: AND 000002e6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000002fb: AND 000002fc: DUP2 000002fd: MSTORE 000002fe: PUSH1 0x20 00000300: ADD 00000301: SWAP2 00000302: POP 00000303: POP 00000304: PUSH1 0x40 00000306: MLOAD 00000307: DUP1 00000308: SWAP2 00000309: SUB 0000030a: SWAP1 0000030b: RETURN 0000030c: JUMPDEST 0000030d: CALLVALUE 0000030e: DUP1 0000030f: ISZERO 00000310: PUSH2 0x0318 00000313: JUMPI 00000314: PUSH1 0x00 00000316: DUP1 00000317: REVERT 00000318: JUMPDEST 00000319: POP 0000031a: PUSH2 0x034d 0000031d: PUSH1 0x04 0000031f: DUP1 00000320: CALLDATASIZE 00000321: SUB 00000322: DUP2 00000323: ADD 00000324: SWAP1 00000325: DUP1 00000326: DUP1 00000327: CALLDATALOAD 00000328: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000033d: AND 0000033e: SWAP1 0000033f: PUSH1 0x20 00000341: ADD 00000342: SWAP1 00000343: SWAP3 00000344: SWAP2 00000345: SWAP1 00000346: POP 00000347: POP 00000348: POP 00000349: PUSH2 0x07ce 0000034c: JUMP 0000034d: JUMPDEST 0000034e: PUSH1 0x40 00000350: MLOAD 00000351: DUP1 00000352: DUP3 00000353: DUP2 00000354: MSTORE 00000355: PUSH1 0x20 00000357: ADD 00000358: SWAP2 00000359: POP 0000035a: POP 0000035b: PUSH1 0x40 0000035d: MLOAD 0000035e: DUP1 0000035f: SWAP2 00000360: SUB 00000361: SWAP1 00000362: RETURN 00000363: JUMPDEST 00000364: CALLVALUE 00000365: DUP1 00000366: ISZERO 00000367: PUSH2 0x036f 0000036a: JUMPI 0000036b: PUSH1 0x00 0000036d: DUP1 0000036e: REVERT 0000036f: JUMPDEST 00000370: POP 00000371: PUSH2 0x03a4 00000374: PUSH1 0x04 00000376: DUP1 00000377: CALLDATASIZE 00000378: SUB 00000379: DUP2 0000037a: ADD 0000037b: SWAP1 0000037c: DUP1 0000037d: DUP1 0000037e: CALLDATALOAD 0000037f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000394: AND 00000395: SWAP1 00000396: PUSH1 0x20 00000398: ADD 00000399: SWAP1 0000039a: SWAP3 0000039b: SWAP2 0000039c: SWAP1 0000039d: POP 0000039e: POP 0000039f: POP 000003a0: PUSH2 0x0901 000003a3: JUMP 000003a4: JUMPDEST 000003a5: PUSH1 0x40 000003a7: MLOAD 000003a8: DUP1 000003a9: DUP3 000003aa: ISZERO 000003ab: ISZERO 000003ac: ISZERO 000003ad: ISZERO 000003ae: DUP2 000003af: MSTORE 000003b0: PUSH1 0x20 000003b2: ADD 000003b3: SWAP2 000003b4: POP 000003b5: POP 000003b6: PUSH1 0x40 000003b8: MLOAD 000003b9: DUP1 000003ba: SWAP2 000003bb: SUB 000003bc: SWAP1 000003bd: RETURN 000003be: JUMPDEST 000003bf: CALLVALUE 000003c0: DUP1 000003c1: ISZERO 000003c2: PUSH2 0x03ca 000003c5: JUMPI 000003c6: PUSH1 0x00 000003c8: DUP1 000003c9: REVERT 000003ca: JUMPDEST 000003cb: POP 000003cc: PUSH2 0x03ff 000003cf: PUSH1 0x04 000003d1: DUP1 000003d2: CALLDATASIZE 000003d3: SUB 000003d4: DUP2 000003d5: ADD 000003d6: SWAP1 000003d7: DUP1 000003d8: DUP1 000003d9: CALLDATALOAD 000003da: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000003ef: AND 000003f0: SWAP1 000003f1: PUSH1 0x20 000003f3: ADD 000003f4: SWAP1 000003f5: SWAP3 000003f6: SWAP2 000003f7: SWAP1 000003f8: POP 000003f9: POP 000003fa: POP 000003fb: PUSH2 0x0921 000003fe: JUMP 000003ff: JUMPDEST 00000400: STOP 00000401: JUMPDEST 00000402: CALLVALUE 00000403: DUP1 00000404: ISZERO 00000405: PUSH2 0x040d 00000408: JUMPI 00000409: PUSH1 0x00 0000040b: DUP1 0000040c: REVERT 0000040d: JUMPDEST 0000040e: POP 0000040f: PUSH2 0x0442 00000412: PUSH1 0x04 00000414: DUP1 00000415: CALLDATASIZE 00000416: SUB 00000417: DUP2 00000418: ADD 00000419: SWAP1 0000041a: DUP1 0000041b: DUP1 0000041c: CALLDATALOAD 0000041d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000432: AND 00000433: SWAP1 00000434: PUSH1 0x20 00000436: ADD 00000437: SWAP1 00000438: SWAP3 00000439: SWAP2 0000043a: SWAP1 0000043b: POP 0000043c: POP 0000043d: POP 0000043e: PUSH2 0x09d6 00000441: JUMP 00000442: JUMPDEST 00000443: STOP 00000444: JUMPDEST 00000445: CALLVALUE 00000446: DUP1 00000447: ISZERO 00000448: PUSH2 0x0450 0000044b: JUMPI 0000044c: PUSH1 0x00 0000044e: DUP1 0000044f: REVERT 00000450: JUMPDEST 00000451: POP 00000452: PUSH2 0x048f 00000455: PUSH1 0x04 00000457: DUP1 00000458: CALLDATASIZE 00000459: SUB 0000045a: DUP2 0000045b: ADD 0000045c: SWAP1 0000045d: DUP1 0000045e: DUP1 0000045f: CALLDATALOAD 00000460: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000475: AND 00000476: SWAP1 00000477: PUSH1 0x20 00000479: ADD 0000047a: SWAP1 0000047b: SWAP3 0000047c: SWAP2 0000047d: SWAP1 0000047e: DUP1 0000047f: CALLDATALOAD 00000480: SWAP1 00000481: PUSH1 0x20 00000483: ADD 00000484: SWAP1 00000485: SWAP3 00000486: SWAP2 00000487: SWAP1 00000488: POP 00000489: POP 0000048a: POP 0000048b: PUSH2 0x0a3d 0000048e: JUMP 0000048f: JUMPDEST 00000490: STOP 00000491: JUMPDEST 00000492: PUSH2 0x049d 00000495: DUP3 00000496: CALLER 00000497: ADDRESS 00000498: DUP5 00000499: PUSH2 0x0aa8 0000049c: JUMP 0000049d: JUMPDEST 0000049e: POP 0000049f: POP 000004a0: POP 000004a1: JUMP 000004a2: JUMPDEST 000004a3: PUSH1 0x01 000004a5: ISZERO 000004a6: ISZERO 000004a7: PUSH1 0x01 000004a9: PUSH1 0x00 000004ab: CALLER 000004ac: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000004c1: AND 000004c2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000004d7: AND 000004d8: DUP2 000004d9: MSTORE 000004da: PUSH1 0x20 000004dc: ADD 000004dd: SWAP1 000004de: DUP2 000004df: MSTORE 000004e0: PUSH1 0x20 000004e2: ADD 000004e3: PUSH1 0x00 000004e5: KECCAK256 000004e6: PUSH1 0x00 000004e8: SWAP1 000004e9: SLOAD 000004ea: SWAP1 000004eb: PUSH2 0x0100 000004ee: EXP 000004ef: SWAP1 000004f0: DIV 000004f1: PUSH1 0xff 000004f3: AND 000004f4: ISZERO 000004f5: ISZERO 000004f6: EQ 000004f7: ISZERO 000004f8: ISZERO 000004f9: PUSH2 0x0501 000004fc: JUMPI 000004fd: PUSH1 0x00 000004ff: DUP1 00000500: REVERT 00000501: JUMPDEST 00000502: PUSH2 0x050c 00000505: DUP4 00000506: DUP4 00000507: DUP4 00000508: PUSH2 0x0c5a 0000050b: JUMP 0000050c: JUMPDEST 0000050d: POP 0000050e: POP 0000050f: POP 00000510: POP 00000511: JUMP 00000512: JUMPDEST 00000513: PUSH1 0x00 00000515: DUP1 00000516: SWAP1 00000517: SLOAD 00000518: SWAP1 00000519: PUSH2 0x0100 0000051c: EXP 0000051d: SWAP1 0000051e: DIV 0000051f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000534: AND 00000535: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000054a: AND 0000054b: CALLER 0000054c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000561: AND 00000562: EQ 00000563: ISZERO 00000564: ISZERO 00000565: PUSH2 0x056d 00000568: JUMPI 00000569: PUSH1 0x00 0000056b: DUP1 0000056c: REVERT 0000056d: JUMPDEST 0000056e: PUSH2 0x0579 00000571: DUP3 00000572: CALLER 00000573: ADDRESS 00000574: DUP5 00000575: PUSH2 0x0aa8 00000578: JUMP 00000579: JUMPDEST 0000057a: POP 0000057b: POP 0000057c: POP 0000057d: JUMP 0000057e: JUMPDEST 0000057f: PUSH1 0x01 00000581: ISZERO 00000582: ISZERO 00000583: PUSH1 0x01 00000585: PUSH1 0x00 00000587: CALLER 00000588: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000059d: AND 0000059e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000005b3: AND 000005b4: DUP2 000005b5: MSTORE 000005b6: PUSH1 0x20 000005b8: ADD 000005b9: SWAP1 000005ba: DUP2 000005bb: MSTORE 000005bc: PUSH1 0x20 000005be: ADD 000005bf: PUSH1 0x00 000005c1: KECCAK256 000005c2: PUSH1 0x00 000005c4: SWAP1 000005c5: SLOAD 000005c6: SWAP1 000005c7: PUSH2 0x0100 000005ca: EXP 000005cb: SWAP1 000005cc: DIV 000005cd: PUSH1 0xff 000005cf: AND 000005d0: ISZERO 000005d1: ISZERO 000005d2: EQ 000005d3: ISZERO 000005d4: ISZERO 000005d5: PUSH2 0x05dd 000005d8: JUMPI 000005d9: PUSH1 0x00 000005db: DUP1 000005dc: REVERT 000005dd: JUMPDEST 000005de: PUSH2 0x05e8 000005e1: DUP3 000005e2: CALLER 000005e3: DUP4 000005e4: PUSH2 0x04a2 000005e7: JUMP 000005e8: JUMPDEST 000005e9: POP 000005ea: POP 000005eb: JUMP 000005ec: JUMPDEST 000005ed: PUSH1 0x00 000005ef: DUP1 000005f0: SWAP1 000005f1: SLOAD 000005f2: SWAP1 000005f3: PUSH2 0x0100 000005f6: EXP 000005f7: SWAP1 000005f8: DIV 000005f9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000060e: AND 0000060f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000624: AND 00000625: CALLER 00000626: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000063b: AND 0000063c: EQ 0000063d: ISZERO 0000063e: ISZERO 0000063f: PUSH2 0x0647 00000642: JUMPI 00000643: PUSH1 0x00 00000645: DUP1 00000646: REVERT 00000647: JUMPDEST 00000648: PUSH1 0x00 0000064a: DUP1 0000064b: SWAP1 0000064c: SLOAD 0000064d: SWAP1 0000064e: PUSH2 0x0100 00000651: EXP 00000652: SWAP1 00000653: DIV 00000654: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000669: AND 0000066a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000067f: AND 00000680: PUSH32 0xf8df31144d9c2f0f6b59d69b8b98abd5459d07f2742c4df920b25aae33c64820 000006a1: PUSH1 0x40 000006a3: MLOAD 000006a4: PUSH1 0x40 000006a6: MLOAD 000006a7: DUP1 000006a8: SWAP2 000006a9: SUB 000006aa: SWAP1 000006ab: LOG2 000006ac: PUSH1 0x00 000006ae: DUP1 000006af: PUSH1 0x00 000006b1: PUSH2 0x0100 000006b4: EXP 000006b5: DUP2 000006b6: SLOAD 000006b7: DUP2 000006b8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000006cd: MUL 000006ce: NOT 000006cf: AND 000006d0: SWAP1 000006d1: DUP4 000006d2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000006e7: AND 000006e8: MUL 000006e9: OR 000006ea: SWAP1 000006eb: SSTORE 000006ec: POP 000006ed: JUMP 000006ee: JUMPDEST 000006ef: PUSH1 0x00 000006f1: DUP1 000006f2: SWAP1 000006f3: SLOAD 000006f4: SWAP1 000006f5: PUSH2 0x0100 000006f8: EXP 000006f9: SWAP1 000006fa: DIV 000006fb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000710: AND 00000711: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000726: AND 00000727: CALLER 00000728: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000073d: AND 0000073e: EQ 0000073f: ISZERO 00000740: ISZERO 00000741: PUSH2 0x0749 00000744: JUMPI 00000745: PUSH1 0x00 00000747: DUP1 00000748: REVERT 00000749: JUMPDEST 0000074a: PUSH1 0x00 0000074c: PUSH1 0x01 0000074e: PUSH1 0x00 00000750: DUP4 00000751: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000766: AND 00000767: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000077c: AND 0000077d: DUP2 0000077e: MSTORE 0000077f: PUSH1 0x20 00000781: ADD 00000782: SWAP1 00000783: DUP2 00000784: MSTORE 00000785: PUSH1 0x20 00000787: ADD 00000788: PUSH1 0x00 0000078a: KECCAK256 0000078b: PUSH1 0x00 0000078d: PUSH2 0x0100 00000790: EXP 00000791: DUP2 00000792: SLOAD 00000793: DUP2 00000794: PUSH1 0xff 00000796: MUL 00000797: NOT 00000798: AND 00000799: SWAP1 0000079a: DUP4 0000079b: ISZERO 0000079c: ISZERO 0000079d: MUL 0000079e: OR 0000079f: SWAP1 000007a0: SSTORE 000007a1: POP 000007a2: POP 000007a3: JUMP 000007a4: JUMPDEST 000007a5: PUSH1 0x00 000007a7: DUP2 000007a8: JUMP 000007a9: JUMPDEST 000007aa: PUSH1 0x00 000007ac: DUP1 000007ad: SWAP1 000007ae: SLOAD 000007af: SWAP1 000007b0: PUSH2 0x0100 000007b3: EXP 000007b4: SWAP1 000007b5: DIV 000007b6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000007cb: AND 000007cc: DUP2 000007cd: JUMP 000007ce: JUMPDEST 000007cf: PUSH1 0x00 000007d1: DUP1 000007d2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000007e7: AND 000007e8: DUP3 000007e9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000007fe: AND 000007ff: EQ 00000800: ISZERO 00000801: PUSH2 0x0823 00000804: JUMPI 00000805: ADDRESS 00000806: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000081b: AND 0000081c: BALANCE 0000081d: SWAP1 0000081e: POP 0000081f: PUSH2 0x08fc 00000822: JUMP 00000823: JUMPDEST 00000824: DUP2 00000825: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000083a: AND 0000083b: PUSH4 0x70a08231 00000840: ADDRESS 00000841: PUSH1 0x40 00000843: MLOAD 00000844: DUP3 00000845: PUSH4 0xffffffff 0000084a: AND 0000084b: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 00000869: MUL 0000086a: DUP2 0000086b: MSTORE 0000086c: PUSH1 0x04 0000086e: ADD 0000086f: DUP1 00000870: DUP3 00000871: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000886: AND 00000887: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000089c: AND 0000089d: DUP2 0000089e: MSTORE 0000089f: PUSH1 0x20 000008a1: ADD 000008a2: SWAP2 000008a3: POP 000008a4: POP 000008a5: PUSH1 0x20 000008a7: PUSH1 0x40 000008a9: MLOAD 000008aa: DUP1 000008ab: DUP4 000008ac: SUB 000008ad: DUP2 000008ae: PUSH1 0x00 000008b0: DUP8 000008b1: DUP1 000008b2: EXTCODESIZE 000008b3: ISZERO 000008b4: DUP1 000008b5: ISZERO 000008b6: PUSH2 0x08be 000008b9: JUMPI 000008ba: PUSH1 0x00 000008bc: DUP1 000008bd: REVERT 000008be: JUMPDEST 000008bf: POP 000008c0: GAS 000008c1: CALL 000008c2: ISZERO 000008c3: DUP1 000008c4: ISZERO 000008c5: PUSH2 0x08d2 000008c8: JUMPI 000008c9: RETURNDATASIZE 000008ca: PUSH1 0x00 000008cc: DUP1 000008cd: RETURNDATACOPY 000008ce: RETURNDATASIZE 000008cf: PUSH1 0x00 000008d1: REVERT 000008d2: JUMPDEST 000008d3: POP 000008d4: POP 000008d5: POP 000008d6: POP 000008d7: PUSH1 0x40 000008d9: MLOAD 000008da: RETURNDATASIZE 000008db: PUSH1 0x20 000008dd: DUP2 000008de: LT 000008df: ISZERO 000008e0: PUSH2 0x08e8 000008e3: JUMPI 000008e4: PUSH1 0x00 000008e6: DUP1 000008e7: REVERT 000008e8: JUMPDEST 000008e9: DUP2 000008ea: ADD 000008eb: SWAP1 000008ec: DUP1 000008ed: DUP1 000008ee: MLOAD 000008ef: SWAP1 000008f0: PUSH1 0x20 000008f2: ADD 000008f3: SWAP1 000008f4: SWAP3 000008f5: SWAP2 000008f6: SWAP1 000008f7: POP 000008f8: POP 000008f9: POP 000008fa: SWAP1 000008fb: POP 000008fc: JUMPDEST 000008fd: SWAP2 000008fe: SWAP1 000008ff: POP 00000900: JUMP 00000901: JUMPDEST 00000902: PUSH1 0x01 00000904: PUSH1 0x20 00000906: MSTORE 00000907: DUP1 00000908: PUSH1 0x00 0000090a: MSTORE 0000090b: PUSH1 0x40 0000090d: PUSH1 0x00 0000090f: KECCAK256 00000910: PUSH1 0x00 00000912: SWAP2 00000913: POP 00000914: SLOAD 00000915: SWAP1 00000916: PUSH2 0x0100 00000919: EXP 0000091a: SWAP1 0000091b: DIV 0000091c: PUSH1 0xff 0000091e: AND 0000091f: DUP2 00000920: JUMP 00000921: JUMPDEST 00000922: PUSH1 0x00 00000924: DUP1 00000925: SWAP1 00000926: SLOAD 00000927: SWAP1 00000928: PUSH2 0x0100 0000092b: EXP 0000092c: SWAP1 0000092d: DIV 0000092e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000943: AND 00000944: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000959: AND 0000095a: CALLER 0000095b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000970: AND 00000971: EQ 00000972: ISZERO 00000973: ISZERO 00000974: PUSH2 0x097c 00000977: JUMPI 00000978: PUSH1 0x00 0000097a: DUP1 0000097b: REVERT 0000097c: JUMPDEST 0000097d: PUSH1 0x01 0000097f: DUP1 00000980: PUSH1 0x00 00000982: DUP4 00000983: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000998: AND 00000999: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000009ae: AND 000009af: DUP2 000009b0: MSTORE 000009b1: PUSH1 0x20 000009b3: ADD 000009b4: SWAP1 000009b5: DUP2 000009b6: MSTORE 000009b7: PUSH1 0x20 000009b9: ADD 000009ba: PUSH1 0x00 000009bc: KECCAK256 000009bd: PUSH1 0x00 000009bf: PUSH2 0x0100 000009c2: EXP 000009c3: DUP2 000009c4: SLOAD 000009c5: DUP2 000009c6: PUSH1 0xff 000009c8: MUL 000009c9: NOT 000009ca: AND 000009cb: SWAP1 000009cc: DUP4 000009cd: ISZERO 000009ce: ISZERO 000009cf: MUL 000009d0: OR 000009d1: SWAP1 000009d2: SSTORE 000009d3: POP 000009d4: POP 000009d5: JUMP 000009d6: JUMPDEST 000009d7: PUSH1 0x00 000009d9: DUP1 000009da: SWAP1 000009db: SLOAD 000009dc: SWAP1 000009dd: PUSH2 0x0100 000009e0: EXP 000009e1: SWAP1 000009e2: DIV 000009e3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000009f8: AND 000009f9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a0e: AND 00000a0f: CALLER 00000a10: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a25: AND 00000a26: EQ 00000a27: ISZERO 00000a28: ISZERO 00000a29: PUSH2 0x0a31 00000a2c: JUMPI 00000a2d: PUSH1 0x00 00000a2f: DUP1 00000a30: REVERT 00000a31: JUMPDEST 00000a32: PUSH2 0x0a3a 00000a35: DUP2 00000a36: PUSH2 0x0dd1 00000a39: JUMP 00000a3a: JUMPDEST 00000a3b: POP 00000a3c: JUMP 00000a3d: JUMPDEST 00000a3e: PUSH1 0x00 00000a40: DUP1 00000a41: SWAP1 00000a42: SLOAD 00000a43: SWAP1 00000a44: PUSH2 0x0100 00000a47: EXP 00000a48: SWAP1 00000a49: DIV 00000a4a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a5f: AND 00000a60: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a75: AND 00000a76: CALLER 00000a77: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a8c: AND 00000a8d: EQ 00000a8e: ISZERO 00000a8f: ISZERO 00000a90: PUSH2 0x0a98 00000a93: JUMPI 00000a94: PUSH1 0x00 00000a96: DUP1 00000a97: REVERT 00000a98: JUMPDEST 00000a99: PUSH2 0x0aa3 00000a9c: DUP3 00000a9d: CALLER 00000a9e: DUP4 00000a9f: PUSH2 0x0c5a 00000aa2: JUMP 00000aa3: JUMPDEST 00000aa4: POP 00000aa5: POP 00000aa6: POP 00000aa7: JUMP 00000aa8: JUMPDEST 00000aa9: PUSH1 0x00 00000aab: DUP1 00000aac: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000ac1: AND 00000ac2: DUP6 00000ac3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000ad8: AND 00000ad9: EQ 00000ada: DUP1 00000adb: ISZERO 00000adc: PUSH2 0x0ae4 00000adf: JUMPI 00000ae0: POP 00000ae1: DUP2 00000ae2: CALLVALUE 00000ae3: EQ 00000ae4: JUMPDEST 00000ae5: DUP1 00000ae6: PUSH2 0x0aef 00000ae9: JUMPI 00000aea: POP 00000aeb: PUSH1 0x00 00000aed: CALLVALUE 00000aee: EQ 00000aef: JUMPDEST 00000af0: ISZERO 00000af1: ISZERO 00000af2: PUSH2 0x0afa 00000af5: JUMPI 00000af6: PUSH1 0x00 00000af8: DUP1 00000af9: REVERT 00000afa: JUMPDEST 00000afb: PUSH1 0x00 00000afd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b12: AND 00000b13: DUP6 00000b14: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b29: AND 00000b2a: EQ 00000b2b: ISZERO 00000b2c: ISZERO 00000b2d: PUSH2 0x0c4e 00000b30: JUMPI 00000b31: DUP5 00000b32: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b47: AND 00000b48: PUSH4 0x23b872dd 00000b4d: DUP6 00000b4e: DUP6 00000b4f: DUP6 00000b50: PUSH1 0x40 00000b52: MLOAD 00000b53: DUP5 00000b54: PUSH4 0xffffffff 00000b59: AND 00000b5a: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 00000b78: MUL 00000b79: DUP2 00000b7a: MSTORE 00000b7b: PUSH1 0x04 00000b7d: ADD 00000b7e: DUP1 00000b7f: DUP5 00000b80: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b95: AND 00000b96: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000bab: AND 00000bac: DUP2 00000bad: MSTORE 00000bae: PUSH1 0x20 00000bb0: ADD 00000bb1: DUP4 00000bb2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000bc7: AND 00000bc8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000bdd: AND 00000bde: DUP2 00000bdf: MSTORE 00000be0: PUSH1 0x20 00000be2: ADD 00000be3: DUP3 00000be4: DUP2 00000be5: MSTORE 00000be6: PUSH1 0x20 00000be8: ADD 00000be9: SWAP4 00000bea: POP 00000beb: POP 00000bec: POP 00000bed: POP 00000bee: PUSH1 0x20 00000bf0: PUSH1 0x40 00000bf2: MLOAD 00000bf3: DUP1 00000bf4: DUP4 00000bf5: SUB 00000bf6: DUP2 00000bf7: PUSH1 0x00 00000bf9: DUP8 00000bfa: DUP1 00000bfb: EXTCODESIZE 00000bfc: ISZERO 00000bfd: DUP1 00000bfe: ISZERO 00000bff: PUSH2 0x0c07 00000c02: JUMPI 00000c03: PUSH1 0x00 00000c05: DUP1 00000c06: REVERT 00000c07: JUMPDEST 00000c08: POP 00000c09: GAS 00000c0a: CALL 00000c0b: ISZERO 00000c0c: DUP1 00000c0d: ISZERO 00000c0e: PUSH2 0x0c1b 00000c11: JUMPI 00000c12: RETURNDATASIZE 00000c13: PUSH1 0x00 00000c15: DUP1 00000c16: RETURNDATACOPY 00000c17: RETURNDATASIZE 00000c18: PUSH1 0x00 00000c1a: REVERT 00000c1b: JUMPDEST 00000c1c: POP 00000c1d: POP 00000c1e: POP 00000c1f: POP 00000c20: PUSH1 0x40 00000c22: MLOAD 00000c23: RETURNDATASIZE 00000c24: PUSH1 0x20 00000c26: DUP2 00000c27: LT 00000c28: ISZERO 00000c29: PUSH2 0x0c31 00000c2c: JUMPI 00000c2d: PUSH1 0x00 00000c2f: DUP1 00000c30: REVERT 00000c31: JUMPDEST 00000c32: DUP2 00000c33: ADD 00000c34: SWAP1 00000c35: DUP1 00000c36: DUP1 00000c37: MLOAD 00000c38: SWAP1 00000c39: PUSH1 0x20 00000c3b: ADD 00000c3c: SWAP1 00000c3d: SWAP3 00000c3e: SWAP2 00000c3f: SWAP1 00000c40: POP 00000c41: POP 00000c42: POP 00000c43: ISZERO 00000c44: ISZERO 00000c45: PUSH2 0x0c4d 00000c48: JUMPI 00000c49: PUSH1 0x00 00000c4b: DUP1 00000c4c: REVERT 00000c4d: JUMPDEST 00000c4e: JUMPDEST 00000c4f: PUSH1 0x01 00000c51: SWAP1 00000c52: POP 00000c53: SWAP5 00000c54: SWAP4 00000c55: POP 00000c56: POP 00000c57: POP 00000c58: POP 00000c59: JUMP 00000c5a: JUMPDEST 00000c5b: PUSH1 0x00 00000c5d: DUP1 00000c5e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000c73: AND 00000c74: DUP5 00000c75: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000c8a: AND 00000c8b: EQ 00000c8c: ISZERO 00000c8d: PUSH2 0x0cdc 00000c90: JUMPI 00000c91: DUP3 00000c92: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000ca7: AND 00000ca8: PUSH2 0x08fc 00000cab: DUP4 00000cac: SWAP1 00000cad: DUP2 00000cae: ISZERO 00000caf: MUL 00000cb0: SWAP1 00000cb1: PUSH1 0x40 00000cb3: MLOAD 00000cb4: PUSH1 0x00 00000cb6: PUSH1 0x40 00000cb8: MLOAD 00000cb9: DUP1 00000cba: DUP4 00000cbb: SUB 00000cbc: DUP2 00000cbd: DUP6 00000cbe: DUP9 00000cbf: DUP9 00000cc0: CALL 00000cc1: SWAP4 00000cc2: POP 00000cc3: POP 00000cc4: POP 00000cc5: POP 00000cc6: ISZERO 00000cc7: DUP1 00000cc8: ISZERO 00000cc9: PUSH2 0x0cd6 00000ccc: JUMPI 00000ccd: RETURNDATASIZE 00000cce: PUSH1 0x00 00000cd0: DUP1 00000cd1: RETURNDATACOPY 00000cd2: RETURNDATASIZE 00000cd3: PUSH1 0x00 00000cd5: REVERT 00000cd6: JUMPDEST 00000cd7: POP 00000cd8: PUSH2 0x0dc6 00000cdb: JUMP 00000cdc: JUMPDEST 00000cdd: DUP4 00000cde: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000cf3: AND 00000cf4: PUSH4 0xa9059cbb 00000cf9: DUP5 00000cfa: DUP5 00000cfb: PUSH1 0x40 00000cfd: MLOAD 00000cfe: DUP4 00000cff: PUSH4 0xffffffff 00000d04: AND 00000d05: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 00000d23: MUL 00000d24: DUP2 00000d25: MSTORE 00000d26: PUSH1 0x04 00000d28: ADD 00000d29: DUP1 00000d2a: DUP4 00000d2b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000d40: AND 00000d41: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000d56: AND 00000d57: DUP2 00000d58: MSTORE 00000d59: PUSH1 0x20 00000d5b: ADD 00000d5c: DUP3 00000d5d: DUP2 00000d5e: MSTORE 00000d5f: PUSH1 0x20 00000d61: ADD 00000d62: SWAP3 00000d63: POP 00000d64: POP 00000d65: POP 00000d66: PUSH1 0x20 00000d68: PUSH1 0x40 00000d6a: MLOAD 00000d6b: DUP1 00000d6c: DUP4 00000d6d: SUB 00000d6e: DUP2 00000d6f: PUSH1 0x00 00000d71: DUP8 00000d72: DUP1 00000d73: EXTCODESIZE 00000d74: ISZERO 00000d75: DUP1 00000d76: ISZERO 00000d77: PUSH2 0x0d7f 00000d7a: JUMPI 00000d7b: PUSH1 0x00 00000d7d: DUP1 00000d7e: REVERT 00000d7f: JUMPDEST 00000d80: POP 00000d81: GAS 00000d82: CALL 00000d83: ISZERO 00000d84: DUP1 00000d85: ISZERO 00000d86: PUSH2 0x0d93 00000d89: JUMPI 00000d8a: RETURNDATASIZE 00000d8b: PUSH1 0x00 00000d8d: DUP1 00000d8e: RETURNDATACOPY 00000d8f: RETURNDATASIZE 00000d90: PUSH1 0x00 00000d92: REVERT 00000d93: JUMPDEST 00000d94: POP 00000d95: POP 00000d96: POP 00000d97: POP 00000d98: PUSH1 0x40 00000d9a: MLOAD 00000d9b: RETURNDATASIZE 00000d9c: PUSH1 0x20 00000d9e: DUP2 00000d9f: LT 00000da0: ISZERO 00000da1: PUSH2 0x0da9 00000da4: JUMPI 00000da5: PUSH1 0x00 00000da7: DUP1 00000da8: REVERT 00000da9: JUMPDEST 00000daa: DUP2 00000dab: ADD 00000dac: SWAP1 00000dad: DUP1 00000dae: DUP1 00000daf: MLOAD 00000db0: SWAP1 00000db1: PUSH1 0x20 00000db3: ADD 00000db4: SWAP1 00000db5: SWAP3 00000db6: SWAP2 00000db7: SWAP1 00000db8: POP 00000db9: POP 00000dba: POP 00000dbb: ISZERO 00000dbc: ISZERO 00000dbd: PUSH2 0x0dc5 00000dc0: JUMPI 00000dc1: PUSH1 0x00 00000dc3: DUP1 00000dc4: REVERT 00000dc5: JUMPDEST 00000dc6: JUMPDEST 00000dc7: PUSH1 0x01 00000dc9: SWAP1 00000dca: POP 00000dcb: SWAP4 00000dcc: SWAP3 00000dcd: POP 00000dce: POP 00000dcf: POP 00000dd0: JUMP 00000dd1: JUMPDEST 00000dd2: PUSH1 0x00 00000dd4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000de9: AND 00000dea: DUP2 00000deb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000e00: AND 00000e01: EQ 00000e02: ISZERO 00000e03: ISZERO 00000e04: ISZERO 00000e05: PUSH2 0x0e0d 00000e08: JUMPI 00000e09: PUSH1 0x00 00000e0b: DUP1 00000e0c: REVERT 00000e0d: JUMPDEST 00000e0e: DUP1 00000e0f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000e24: AND 00000e25: PUSH1 0x00 00000e27: DUP1 00000e28: SWAP1 00000e29: SLOAD 00000e2a: SWAP1 00000e2b: PUSH2 0x0100 00000e2e: EXP 00000e2f: SWAP1 00000e30: DIV 00000e31: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000e46: AND 00000e47: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000e5c: AND 00000e5d: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0 00000e7e: PUSH1 0x40 00000e80: MLOAD 00000e81: PUSH1 0x40 00000e83: MLOAD 00000e84: DUP1 00000e85: SWAP2 00000e86: SUB 00000e87: SWAP1 00000e88: LOG3 00000e89: DUP1 00000e8a: PUSH1 0x00 00000e8c: DUP1 00000e8d: PUSH2 0x0100 00000e90: EXP 00000e91: DUP2 00000e92: SLOAD 00000e93: DUP2 00000e94: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000ea9: MUL 00000eaa: NOT 00000eab: AND 00000eac: SWAP1 00000ead: DUP4 00000eae: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000ec3: AND 00000ec4: MUL 00000ec5: OR 00000ec6: SWAP1 00000ec7: SSTORE 00000ec8: POP 00000ec9: POP 00000eca: JUMP 00000ecb: STOP 00000ecc: LOG1 00000ecd: PUSH6 0x627a7a723058 00000ed4: KECCAK256 00000ed5: PUSH31 0x9f32e8af62592f14a59f071eb8e58cbb5a7f913c4eae36726682a5e4de1f90 00000ef5: STOP 00000ef6: UNKNOWN(0x29)
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| medium | other | detector | Untrusted CALL target/value reachable | 45 | no | no |
viewtrace_id: 0xe499a3a200ae17aca3f04864ee9b1b58cc412d9d0f4dedca499093be1c5c0474
call_targets:
0xa04e5b78fbd31caec8f8af126d00a57f56c1f7ae
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xe499a3a200ae17aca3f04864ee9b1b58cc412d9d0f4dedca499093be1c5c0474",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xa04e5b78fbd31caec8f8af126d00a57f56c1f7ae"
],
"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": "0x22867d78",
"selector": "0x22867d78",
"calldata_variants": [
"0x22867d78",
"0x22867d780000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x30880441",
"selector": "0x30880441",
"calldata_variants": [
"0x30880441",
"0x308804410000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x47e7ef24",
"selector": "0x47e7ef24",
"calldata_variants": [
"0x47e7ef24",
"0x47e7ef240000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x4b8a3529",
"selector": "0x4b8a3529",
"calldata_variants": [
"0x4b8a3529",
"0x4b8a35290000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x715018a6",
"selector": "0x715018a6",
"calldata_variants": [
"0x715018a6",
"0x715018a60000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x76c7fc55",
"selector": "0x76c7fc55",
"calldata_variants": [
"0x76c7fc55",
"0x76c7fc550000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8322fff2",
"selector": "0x8322fff2",
"calldata_variants": [
"0x8322fff2",
"0x8322fff20000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 2241,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 3082,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 3264,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 4,
"guards_detected": [
{
"pc": 1355,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 1573,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 1831,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 2394,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 2575,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 2678,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
}
],
"untrusted_call_count": 4
}
|
| medium | other | detector | ETH value transfer possible | 40 | no | no |
viewtrace_id: 0xe499a3a200ae17aca3f04864ee9b1b58cc412d9d0f4dedca499093be1c5c0474
call_targets:
0xa04e5b78fbd31caec8f8af126d00a57f56c1f7ae
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xe499a3a200ae17aca3f04864ee9b1b58cc412d9d0f4dedca499093be1c5c0474",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xa04e5b78fbd31caec8f8af126d00a57f56c1f7ae"
],
"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": "0x22867d78",
"selector": "0x22867d78",
"calldata_variants": [
"0x22867d78",
"0x22867d780000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x30880441",
"selector": "0x30880441",
"calldata_variants": [
"0x30880441",
"0x308804410000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x47e7ef24",
"selector": "0x47e7ef24",
"calldata_variants": [
"0x47e7ef24",
"0x47e7ef240000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x4b8a3529",
"selector": "0x4b8a3529",
"calldata_variants": [
"0x4b8a3529",
"0x4b8a35290000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x715018a6",
"selector": "0x715018a6",
"calldata_variants": [
"0x715018a6",
"0x715018a60000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x76c7fc55",
"selector": "0x76c7fc55",
"calldata_variants": [
"0x76c7fc55",
"0x76c7fc550000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8322fff2",
"selector": "0x8322fff2",
"calldata_variants": [
"0x8322fff2",
"0x8322fff20000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 2241,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 3082,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 3264,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 4,
"guards_detected": [
{
"pc": 1355,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 1573,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 1831,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 2394,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 2575,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 2678,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
}
]
}
|