019b477e-b1bb-72ad-ae4e-5a7e8f732c76
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 |
|---|---|---|---|---|
| 22197 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 22198 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 66182 | analysis.bundle | complete | 1 / 3 | 1 week ago |
| 66183 | capability.graph | complete | 1 / 3 | 1 week ago |
| 66184 | detector.run | complete | 1 / 3 | 1 week ago |
| 66185 | validation.fork | complete | 1 / 3 | 1 week 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 0x0132 0000000c: JUMPI 0000000d: PUSH4 0xffffffff 00000012: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 00000030: PUSH1 0x00 00000032: CALLDATALOAD 00000033: DIV 00000034: AND 00000035: PUSH4 0x06fdde03 0000003a: DUP2 0000003b: EQ 0000003c: PUSH2 0x0134 0000003f: JUMPI 00000040: DUP1 00000041: PUSH4 0x095ea7b3 00000046: EQ 00000047: PUSH2 0x01be 0000004a: JUMPI 0000004b: DUP1 0000004c: PUSH4 0x12065fe0 00000051: EQ 00000052: PUSH2 0x01f6 00000055: JUMPI 00000056: DUP1 00000057: PUSH4 0x18160ddd 0000005c: EQ 0000005d: PUSH2 0x021d 00000060: JUMPI 00000061: DUP1 00000062: PUSH4 0x229824c4 00000067: EQ 00000068: PUSH2 0x0232 0000006b: JUMPI 0000006c: DUP1 0000006d: PUSH4 0x23b872dd 00000072: EQ 00000073: PUSH2 0x0250 00000076: JUMPI 00000077: DUP1 00000078: PUSH4 0x313ce567 0000007d: EQ 0000007e: PUSH2 0x027a 00000081: JUMPI 00000082: DUP1 00000083: PUSH4 0x5d8a776e 00000088: EQ 00000089: PUSH2 0x02a5 0000008c: JUMPI 0000008d: DUP1 0000008e: PUSH4 0x70a08231 00000093: EQ 00000094: PUSH2 0x02c9 00000097: JUMPI 00000098: DUP1 00000099: PUSH4 0x79cc6790 0000009e: EQ 0000009f: PUSH2 0x02ea 000000a2: JUMPI 000000a3: DUP1 000000a4: PUSH4 0x8c3135f2 000000a9: EQ 000000aa: PUSH2 0x030e 000000ad: JUMPI 000000ae: DUP1 000000af: PUSH4 0x8da5cb5b 000000b4: EQ 000000b5: PUSH2 0x0323 000000b8: JUMPI 000000b9: DUP1 000000ba: PUSH4 0x8ebb5aee 000000bf: EQ 000000c0: PUSH2 0x0354 000000c3: JUMPI 000000c4: DUP1 000000c5: PUSH4 0x93316cdf 000000ca: EQ 000000cb: PUSH2 0x036f 000000ce: JUMPI 000000cf: DUP1 000000d0: PUSH4 0x93d5825e 000000d5: EQ 000000d6: PUSH2 0x0387 000000d9: JUMPI 000000da: DUP1 000000db: PUSH4 0x95d89b41 000000e0: EQ 000000e1: PUSH2 0x039f 000000e4: JUMPI 000000e5: DUP1 000000e6: PUSH4 0xa4821719 000000eb: EQ 000000ec: PUSH2 0x03b4 000000ef: JUMPI 000000f0: DUP1 000000f1: PUSH4 0xa9059cbb 000000f6: EQ 000000f7: PUSH2 0x03bc 000000fa: JUMPI 000000fb: DUP1 000000fc: PUSH4 0xcae9ca51 00000101: EQ 00000102: PUSH2 0x03e0 00000105: JUMPI 00000106: DUP1 00000107: PUSH4 0xdc39d06d 0000010c: EQ 0000010d: PUSH2 0x0449 00000110: JUMPI 00000111: DUP1 00000112: PUSH4 0xdd62ed3e 00000117: EQ 00000118: PUSH2 0x046d 0000011b: JUMPI 0000011c: DUP1 0000011d: PUSH4 0xf2fde38b 00000122: EQ 00000123: PUSH2 0x0494 00000126: JUMPI 00000127: DUP1 00000128: PUSH4 0xf49e8135 0000012d: EQ 0000012e: PUSH2 0x04b5 00000131: JUMPI 00000132: JUMPDEST 00000133: STOP 00000134: JUMPDEST 00000135: CALLVALUE 00000136: DUP1 00000137: ISZERO 00000138: PUSH2 0x0140 0000013b: JUMPI 0000013c: PUSH1 0x00 0000013e: DUP1 0000013f: REVERT 00000140: JUMPDEST 00000141: POP 00000142: PUSH2 0x0149 00000145: PUSH2 0x04cd 00000148: JUMP 00000149: JUMPDEST 0000014a: PUSH1 0x40 0000014c: DUP1 0000014d: MLOAD 0000014e: PUSH1 0x20 00000150: DUP1 00000151: DUP3 00000152: MSTORE 00000153: DUP4 00000154: MLOAD 00000155: DUP2 00000156: DUP4 00000157: ADD 00000158: MSTORE 00000159: DUP4 0000015a: MLOAD 0000015b: SWAP2 0000015c: SWAP3 0000015d: DUP4 0000015e: SWAP3 0000015f: SWAP1 00000160: DUP4 00000161: ADD 00000162: SWAP2 00000163: DUP6 00000164: ADD 00000165: SWAP1 00000166: DUP1 00000167: DUP4 00000168: DUP4 00000169: PUSH1 0x00 0000016b: JUMPDEST 0000016c: DUP4 0000016d: DUP2 0000016e: LT 0000016f: ISZERO 00000170: PUSH2 0x0183 00000173: JUMPI 00000174: DUP2 00000175: DUP2 00000176: ADD 00000177: MLOAD 00000178: DUP4 00000179: DUP3 0000017a: ADD 0000017b: MSTORE 0000017c: PUSH1 0x20 0000017e: ADD 0000017f: PUSH2 0x016b 00000182: JUMP 00000183: JUMPDEST 00000184: POP 00000185: POP 00000186: POP 00000187: POP 00000188: SWAP1 00000189: POP 0000018a: SWAP1 0000018b: DUP2 0000018c: ADD 0000018d: SWAP1 0000018e: PUSH1 0x1f 00000190: AND 00000191: DUP1 00000192: ISZERO 00000193: PUSH2 0x01b0 00000196: JUMPI 00000197: DUP1 00000198: DUP3 00000199: SUB 0000019a: DUP1 0000019b: MLOAD 0000019c: PUSH1 0x01 0000019e: DUP4 0000019f: PUSH1 0x20 000001a1: SUB 000001a2: PUSH2 0x0100 000001a5: EXP 000001a6: SUB 000001a7: NOT 000001a8: AND 000001a9: DUP2 000001aa: MSTORE 000001ab: PUSH1 0x20 000001ad: ADD 000001ae: SWAP2 000001af: POP 000001b0: JUMPDEST 000001b1: POP 000001b2: SWAP3 000001b3: POP 000001b4: POP 000001b5: POP 000001b6: PUSH1 0x40 000001b8: MLOAD 000001b9: DUP1 000001ba: SWAP2 000001bb: SUB 000001bc: SWAP1 000001bd: RETURN 000001be: JUMPDEST 000001bf: CALLVALUE 000001c0: DUP1 000001c1: ISZERO 000001c2: PUSH2 0x01ca 000001c5: JUMPI 000001c6: PUSH1 0x00 000001c8: DUP1 000001c9: REVERT 000001ca: JUMPDEST 000001cb: POP 000001cc: PUSH2 0x01e2 000001cf: PUSH1 0x01 000001d1: PUSH1 0xa0 000001d3: PUSH1 0x02 000001d5: EXP 000001d6: SUB 000001d7: PUSH1 0x04 000001d9: CALLDATALOAD 000001da: AND 000001db: PUSH1 0x24 000001dd: CALLDATALOAD 000001de: PUSH2 0x055a 000001e1: JUMP 000001e2: JUMPDEST 000001e3: PUSH1 0x40 000001e5: DUP1 000001e6: MLOAD 000001e7: SWAP2 000001e8: ISZERO 000001e9: ISZERO 000001ea: DUP3 000001eb: MSTORE 000001ec: MLOAD 000001ed: SWAP1 000001ee: DUP2 000001ef: SWAP1 000001f0: SUB 000001f1: PUSH1 0x20 000001f3: ADD 000001f4: SWAP1 000001f5: RETURN 000001f6: JUMPDEST 000001f7: CALLVALUE 000001f8: DUP1 000001f9: ISZERO 000001fa: PUSH2 0x0202 000001fd: JUMPI 000001fe: PUSH1 0x00 00000200: DUP1 00000201: REVERT 00000202: JUMPDEST 00000203: POP 00000204: PUSH2 0x020b 00000207: PUSH2 0x05c0 0000020a: JUMP 0000020b: JUMPDEST 0000020c: PUSH1 0x40 0000020e: DUP1 0000020f: MLOAD 00000210: SWAP2 00000211: DUP3 00000212: MSTORE 00000213: MLOAD 00000214: SWAP1 00000215: DUP2 00000216: SWAP1 00000217: SUB 00000218: PUSH1 0x20 0000021a: ADD 0000021b: SWAP1 0000021c: RETURN 0000021d: JUMPDEST 0000021e: CALLVALUE 0000021f: DUP1 00000220: ISZERO 00000221: PUSH2 0x0229 00000224: JUMPI 00000225: PUSH1 0x00 00000227: DUP1 00000228: REVERT 00000229: JUMPDEST 0000022a: POP 0000022b: PUSH2 0x020b 0000022e: PUSH2 0x05c5 00000231: JUMP 00000232: JUMPDEST 00000233: CALLVALUE 00000234: DUP1 00000235: ISZERO 00000236: PUSH2 0x023e 00000239: JUMPI 0000023a: PUSH1 0x00 0000023c: DUP1 0000023d: REVERT 0000023e: JUMPDEST 0000023f: POP 00000240: PUSH2 0x020b 00000243: PUSH1 0x04 00000245: CALLDATALOAD 00000246: PUSH1 0x24 00000248: CALLDATALOAD 00000249: PUSH1 0x44 0000024b: CALLDATALOAD 0000024c: PUSH2 0x05cb 0000024f: JUMP 00000250: JUMPDEST 00000251: CALLVALUE 00000252: DUP1 00000253: ISZERO 00000254: PUSH2 0x025c 00000257: JUMPI 00000258: PUSH1 0x00 0000025a: DUP1 0000025b: REVERT 0000025c: JUMPDEST 0000025d: POP 0000025e: PUSH2 0x01e2 00000261: PUSH1 0x01 00000263: PUSH1 0xa0 00000265: PUSH1 0x02 00000267: EXP 00000268: SUB 00000269: PUSH1 0x04 0000026b: CALLDATALOAD 0000026c: DUP2 0000026d: AND 0000026e: SWAP1 0000026f: PUSH1 0x24 00000271: CALLDATALOAD 00000272: AND 00000273: PUSH1 0x44 00000275: CALLDATALOAD 00000276: PUSH2 0x0643 00000279: JUMP 0000027a: JUMPDEST 0000027b: CALLVALUE 0000027c: DUP1 0000027d: ISZERO 0000027e: PUSH2 0x0286 00000281: JUMPI 00000282: PUSH1 0x00 00000284: DUP1 00000285: REVERT 00000286: JUMPDEST 00000287: POP 00000288: PUSH2 0x028f 0000028b: PUSH2 0x06be 0000028e: JUMP 0000028f: JUMPDEST 00000290: PUSH1 0x40 00000292: DUP1 00000293: MLOAD 00000294: PUSH1 0xff 00000296: SWAP1 00000297: SWAP3 00000298: AND 00000299: DUP3 0000029a: MSTORE 0000029b: MLOAD 0000029c: SWAP1 0000029d: DUP2 0000029e: SWAP1 0000029f: SUB 000002a0: PUSH1 0x20 000002a2: ADD 000002a3: SWAP1 000002a4: RETURN 000002a5: JUMPDEST 000002a6: CALLVALUE 000002a7: DUP1 000002a8: ISZERO 000002a9: PUSH2 0x02b1 000002ac: JUMPI 000002ad: PUSH1 0x00 000002af: DUP1 000002b0: REVERT 000002b1: JUMPDEST 000002b2: POP 000002b3: PUSH2 0x0132 000002b6: PUSH1 0x01 000002b8: PUSH1 0xa0 000002ba: PUSH1 0x02 000002bc: EXP 000002bd: SUB 000002be: PUSH1 0x04 000002c0: CALLDATALOAD 000002c1: AND 000002c2: PUSH1 0x24 000002c4: CALLDATALOAD 000002c5: PUSH2 0x06c7 000002c8: JUMP 000002c9: JUMPDEST 000002ca: CALLVALUE 000002cb: DUP1 000002cc: ISZERO 000002cd: PUSH2 0x02d5 000002d0: JUMPI 000002d1: PUSH1 0x00 000002d3: DUP1 000002d4: REVERT 000002d5: JUMPDEST 000002d6: POP 000002d7: PUSH2 0x020b 000002da: PUSH1 0x01 000002dc: PUSH1 0xa0 000002de: PUSH1 0x02 000002e0: EXP 000002e1: SUB 000002e2: PUSH1 0x04 000002e4: CALLDATALOAD 000002e5: AND 000002e6: PUSH2 0x07e4 000002e9: JUMP 000002ea: JUMPDEST 000002eb: CALLVALUE 000002ec: DUP1 000002ed: ISZERO 000002ee: PUSH2 0x02f6 000002f1: JUMPI 000002f2: PUSH1 0x00 000002f4: DUP1 000002f5: REVERT 000002f6: JUMPDEST 000002f7: POP 000002f8: PUSH2 0x01e2 000002fb: PUSH1 0x01 000002fd: PUSH1 0xa0 000002ff: PUSH1 0x02 00000301: EXP 00000302: SUB 00000303: PUSH1 0x04 00000305: CALLDATALOAD 00000306: AND 00000307: PUSH1 0x24 00000309: CALLDATALOAD 0000030a: PUSH2 0x07ff 0000030d: JUMP 0000030e: JUMPDEST 0000030f: CALLVALUE 00000310: DUP1 00000311: ISZERO 00000312: PUSH2 0x031a 00000315: JUMPI 00000316: PUSH1 0x00 00000318: DUP1 00000319: REVERT 0000031a: JUMPDEST 0000031b: POP 0000031c: PUSH2 0x020b 0000031f: PUSH2 0x08eb 00000322: JUMP 00000323: JUMPDEST 00000324: CALLVALUE 00000325: DUP1 00000326: ISZERO 00000327: PUSH2 0x032f 0000032a: JUMPI 0000032b: PUSH1 0x00 0000032d: DUP1 0000032e: REVERT 0000032f: JUMPDEST 00000330: POP 00000331: PUSH2 0x0338 00000334: PUSH2 0x0909 00000337: JUMP 00000338: JUMPDEST 00000339: PUSH1 0x40 0000033b: DUP1 0000033c: MLOAD 0000033d: PUSH1 0x01 0000033f: PUSH1 0xa0 00000341: PUSH1 0x02 00000343: EXP 00000344: SUB 00000345: SWAP1 00000346: SWAP3 00000347: AND 00000348: DUP3 00000349: MSTORE 0000034a: MLOAD 0000034b: SWAP1 0000034c: DUP2 0000034d: SWAP1 0000034e: SUB 0000034f: PUSH1 0x20 00000351: ADD 00000352: SWAP1 00000353: RETURN 00000354: JUMPDEST 00000355: CALLVALUE 00000356: DUP1 00000357: ISZERO 00000358: PUSH2 0x0360 0000035b: JUMPI 0000035c: PUSH1 0x00 0000035e: DUP1 0000035f: REVERT 00000360: JUMPDEST 00000361: POP 00000362: PUSH2 0x020b 00000365: PUSH1 0x04 00000367: CALLDATALOAD 00000368: PUSH1 0x24 0000036a: CALLDATALOAD 0000036b: PUSH2 0x0918 0000036e: JUMP 0000036f: JUMPDEST 00000370: CALLVALUE 00000371: DUP1 00000372: ISZERO 00000373: PUSH2 0x037b 00000376: JUMPI 00000377: PUSH1 0x00 00000379: DUP1 0000037a: REVERT 0000037b: JUMPDEST 0000037c: POP 0000037d: PUSH2 0x0132 00000380: PUSH1 0x04 00000382: CALLDATALOAD 00000383: PUSH2 0x0949 00000386: JUMP 00000387: JUMPDEST 00000388: CALLVALUE 00000389: DUP1 0000038a: ISZERO 0000038b: PUSH2 0x0393 0000038e: JUMPI 0000038f: PUSH1 0x00 00000391: DUP1 00000392: REVERT 00000393: JUMPDEST 00000394: POP 00000395: PUSH2 0x020b 00000398: PUSH1 0x04 0000039a: CALLDATALOAD 0000039b: PUSH2 0x09ba 0000039e: JUMP 0000039f: JUMPDEST 000003a0: CALLVALUE 000003a1: DUP1 000003a2: ISZERO 000003a3: PUSH2 0x03ab 000003a6: JUMPI 000003a7: PUSH1 0x00 000003a9: DUP1 000003aa: REVERT 000003ab: JUMPDEST 000003ac: POP 000003ad: PUSH2 0x0149 000003b0: PUSH2 0x09ea 000003b3: JUMP 000003b4: JUMPDEST 000003b5: PUSH2 0x0132 000003b8: PUSH2 0x0a42 000003bb: JUMP 000003bc: JUMPDEST 000003bd: CALLVALUE 000003be: DUP1 000003bf: ISZERO 000003c0: PUSH2 0x03c8 000003c3: JUMPI 000003c4: PUSH1 0x00 000003c6: DUP1 000003c7: REVERT 000003c8: JUMPDEST 000003c9: POP 000003ca: PUSH2 0x01e2 000003cd: PUSH1 0x01 000003cf: PUSH1 0xa0 000003d1: PUSH1 0x02 000003d3: EXP 000003d4: SUB 000003d5: PUSH1 0x04 000003d7: CALLDATALOAD 000003d8: AND 000003d9: PUSH1 0x24 000003db: CALLDATALOAD 000003dc: PUSH2 0x0a87 000003df: JUMP 000003e0: JUMPDEST 000003e1: CALLVALUE 000003e2: DUP1 000003e3: ISZERO 000003e4: PUSH2 0x03ec 000003e7: JUMPI 000003e8: PUSH1 0x00 000003ea: DUP1 000003eb: REVERT 000003ec: JUMPDEST 000003ed: POP 000003ee: PUSH1 0x40 000003f0: DUP1 000003f1: MLOAD 000003f2: PUSH1 0x20 000003f4: PUSH1 0x04 000003f6: PUSH1 0x44 000003f8: CALLDATALOAD 000003f9: DUP2 000003fa: DUP2 000003fb: ADD 000003fc: CALLDATALOAD 000003fd: PUSH1 0x1f 000003ff: DUP2 00000400: ADD 00000401: DUP5 00000402: SWAP1 00000403: DIV 00000404: DUP5 00000405: MUL 00000406: DUP6 00000407: ADD 00000408: DUP5 00000409: ADD 0000040a: SWAP1 0000040b: SWAP6 0000040c: MSTORE 0000040d: DUP5 0000040e: DUP5 0000040f: MSTORE 00000410: PUSH2 0x01e2 00000413: SWAP5 00000414: DUP3 00000415: CALLDATALOAD 00000416: PUSH1 0x01 00000418: PUSH1 0xa0 0000041a: PUSH1 0x02 0000041c: EXP 0000041d: SUB 0000041e: AND 0000041f: SWAP5 00000420: PUSH1 0x24 00000422: DUP1 00000423: CALLDATALOAD 00000424: SWAP6 00000425: CALLDATASIZE 00000426: SWAP6 00000427: SWAP5 00000428: PUSH1 0x64 0000042a: SWAP5 0000042b: SWAP3 0000042c: ADD 0000042d: SWAP2 0000042e: SWAP1 0000042f: DUP2 00000430: SWAP1 00000431: DUP5 00000432: ADD 00000433: DUP4 00000434: DUP3 00000435: DUP1 00000436: DUP3 00000437: DUP5 00000438: CALLDATACOPY 00000439: POP 0000043a: SWAP5 0000043b: SWAP8 0000043c: POP 0000043d: PUSH2 0x0a94 00000440: SWAP7 00000441: POP 00000442: POP 00000443: POP 00000444: POP 00000445: POP 00000446: POP 00000447: POP 00000448: JUMP 00000449: JUMPDEST 0000044a: CALLVALUE 0000044b: DUP1 0000044c: ISZERO 0000044d: PUSH2 0x0455 00000450: JUMPI 00000451: PUSH1 0x00 00000453: DUP1 00000454: REVERT 00000455: JUMPDEST 00000456: POP 00000457: PUSH2 0x01e2 0000045a: PUSH1 0x01 0000045c: PUSH1 0xa0 0000045e: PUSH1 0x02 00000460: EXP 00000461: SUB 00000462: PUSH1 0x04 00000464: CALLDATALOAD 00000465: AND 00000466: PUSH1 0x24 00000468: CALLDATALOAD 00000469: PUSH2 0x0bf5 0000046c: JUMP 0000046d: JUMPDEST 0000046e: CALLVALUE 0000046f: DUP1 00000470: ISZERO 00000471: PUSH2 0x0479 00000474: JUMPI 00000475: PUSH1 0x00 00000477: DUP1 00000478: REVERT 00000479: JUMPDEST 0000047a: POP 0000047b: PUSH2 0x020b 0000047e: PUSH1 0x01 00000480: PUSH1 0xa0 00000482: PUSH1 0x02 00000484: EXP 00000485: SUB 00000486: PUSH1 0x04 00000488: CALLDATALOAD 00000489: DUP2 0000048a: AND 0000048b: SWAP1 0000048c: PUSH1 0x24 0000048e: CALLDATALOAD 0000048f: AND 00000490: PUSH2 0x0cb0 00000493: JUMP 00000494: JUMPDEST 00000495: CALLVALUE 00000496: DUP1 00000497: ISZERO 00000498: PUSH2 0x04a0 0000049b: JUMPI 0000049c: PUSH1 0x00 0000049e: DUP1 0000049f: REVERT 000004a0: JUMPDEST 000004a1: POP 000004a2: PUSH2 0x0132 000004a5: PUSH1 0x01 000004a7: PUSH1 0xa0 000004a9: PUSH1 0x02 000004ab: EXP 000004ac: SUB 000004ad: PUSH1 0x04 000004af: CALLDATALOAD 000004b0: AND 000004b1: PUSH2 0x0cdb 000004b4: JUMP 000004b5: JUMPDEST 000004b6: CALLVALUE 000004b7: DUP1 000004b8: ISZERO 000004b9: PUSH2 0x04c1 000004bc: JUMPI 000004bd: PUSH1 0x00 000004bf: DUP1 000004c0: REVERT 000004c1: JUMPDEST 000004c2: POP 000004c3: PUSH2 0x020b 000004c6: PUSH1 0x04 000004c8: CALLDATALOAD 000004c9: PUSH2 0x0d6f 000004cc: JUMP 000004cd: JUMPDEST 000004ce: PUSH1 0x01 000004d0: DUP1 000004d1: SLOAD 000004d2: PUSH1 0x40 000004d4: DUP1 000004d5: MLOAD 000004d6: PUSH1 0x20 000004d8: PUSH1 0x02 000004da: DUP5 000004db: DUP7 000004dc: AND 000004dd: ISZERO 000004de: PUSH2 0x0100 000004e1: MUL 000004e2: PUSH1 0x00 000004e4: NOT 000004e5: ADD 000004e6: SWAP1 000004e7: SWAP5 000004e8: AND 000004e9: SWAP4 000004ea: SWAP1 000004eb: SWAP4 000004ec: DIV 000004ed: PUSH1 0x1f 000004ef: DUP2 000004f0: ADD 000004f1: DUP5 000004f2: SWAP1 000004f3: DIV 000004f4: DUP5 000004f5: MUL 000004f6: DUP3 000004f7: ADD 000004f8: DUP5 000004f9: ADD 000004fa: SWAP1 000004fb: SWAP3 000004fc: MSTORE 000004fd: DUP2 000004fe: DUP2 000004ff: MSTORE 00000500: SWAP3 00000501: SWAP2 00000502: DUP4 00000503: ADD 00000504: DUP3 00000505: DUP3 00000506: DUP1 00000507: ISZERO 00000508: PUSH2 0x0552 0000050b: JUMPI 0000050c: DUP1 0000050d: PUSH1 0x1f 0000050f: LT 00000510: PUSH2 0x0527 00000513: JUMPI 00000514: PUSH2 0x0100 00000517: DUP1 00000518: DUP4 00000519: SLOAD 0000051a: DIV 0000051b: MUL 0000051c: DUP4 0000051d: MSTORE 0000051e: SWAP2 0000051f: PUSH1 0x20 00000521: ADD 00000522: SWAP2 00000523: PUSH2 0x0552 00000526: JUMP 00000527: JUMPDEST 00000528: DUP3 00000529: ADD 0000052a: SWAP2 0000052b: SWAP1 0000052c: PUSH1 0x00 0000052e: MSTORE 0000052f: PUSH1 0x20 00000531: PUSH1 0x00 00000533: KECCAK256 00000534: SWAP1 00000535: JUMPDEST 00000536: DUP2 00000537: SLOAD 00000538: DUP2 00000539: MSTORE 0000053a: SWAP1 0000053b: PUSH1 0x01 0000053d: ADD 0000053e: SWAP1 0000053f: PUSH1 0x20 00000541: ADD 00000542: DUP1 00000543: DUP4 00000544: GT 00000545: PUSH2 0x0535 00000548: JUMPI 00000549: DUP3 0000054a: SWAP1 0000054b: SUB 0000054c: PUSH1 0x1f 0000054e: AND 0000054f: DUP3 00000550: ADD 00000551: SWAP2 00000552: JUMPDEST 00000553: POP 00000554: POP 00000555: POP 00000556: POP 00000557: POP 00000558: DUP2 00000559: JUMP 0000055a: JUMPDEST 0000055b: CALLER 0000055c: PUSH1 0x00 0000055e: DUP2 0000055f: DUP2 00000560: MSTORE 00000561: PUSH1 0x06 00000563: PUSH1 0x20 00000565: SWAP1 00000566: DUP2 00000567: MSTORE 00000568: PUSH1 0x40 0000056a: DUP1 0000056b: DUP4 0000056c: KECCAK256 0000056d: PUSH1 0x01 0000056f: PUSH1 0xa0 00000571: PUSH1 0x02 00000573: EXP 00000574: SUB 00000575: DUP8 00000576: AND 00000577: DUP1 00000578: DUP6 00000579: MSTORE 0000057a: SWAP1 0000057b: DUP4 0000057c: MSTORE 0000057d: DUP2 0000057e: DUP5 0000057f: KECCAK256 00000580: DUP7 00000581: SWAP1 00000582: SSTORE 00000583: DUP2 00000584: MLOAD 00000585: DUP7 00000586: DUP2 00000587: MSTORE 00000588: SWAP2 00000589: MLOAD 0000058a: SWAP4 0000058b: SWAP5 0000058c: SWAP1 0000058d: SWAP4 0000058e: SWAP1 0000058f: SWAP3 00000590: PUSH32 0x8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925 000005b1: SWAP3 000005b2: DUP3 000005b3: SWAP1 000005b4: SUB 000005b5: ADD 000005b6: SWAP1 000005b7: LOG3 000005b8: POP 000005b9: PUSH1 0x01 000005bb: SWAP3 000005bc: SWAP2 000005bd: POP 000005be: POP 000005bf: JUMP 000005c0: JUMPDEST 000005c1: ADDRESS 000005c2: BALANCE 000005c3: SWAP1 000005c4: JUMP 000005c5: JUMPDEST 000005c6: PUSH1 0x04 000005c8: SLOAD 000005c9: DUP2 000005ca: JUMP 000005cb: JUMPDEST 000005cc: PUSH1 0x00 000005ce: PUSH2 0x063b 000005d1: PUSH2 0x0628 000005d4: PUSH2 0x0618 000005d7: DUP7 000005d8: PUSH2 0x060c 000005db: PUSH2 0x05ed 000005de: PUSH3 0x0c8763 000005e2: DUP4 000005e3: PUSH4 0xffffffff 000005e8: PUSH2 0x0d7c 000005eb: AND 000005ec: JUMP 000005ed: JUMPDEST 000005ee: PUSH2 0x0600 000005f1: PUSH3 0x190ec6 000005f5: DUP11 000005f6: PUSH4 0xffffffff 000005fb: PUSH2 0x0d7c 000005fe: AND 000005ff: JUMP 00000600: JUMPDEST 00000601: SWAP1 00000602: PUSH4 0xffffffff 00000607: PUSH2 0x0db2 0000060a: AND 0000060b: JUMP 0000060c: JUMPDEST 0000060d: SWAP1 0000060e: PUSH4 0xffffffff 00000613: PUSH2 0x0dc1 00000616: AND 00000617: JUMP 00000618: JUMPDEST 00000619: PUSH3 0x0c8763 0000061d: SWAP1 0000061e: PUSH4 0xffffffff 00000623: PUSH2 0x0db2 00000626: AND 00000627: JUMP 00000628: JUMPDEST 00000629: PUSH2 0x060c 0000062c: PUSH3 0x190ec6 00000630: DUP6 00000631: PUSH4 0xffffffff 00000636: PUSH2 0x0d7c 00000639: AND 0000063a: JUMP 0000063b: JUMPDEST 0000063c: SWAP5 0000063d: SWAP4 0000063e: POP 0000063f: POP 00000640: POP 00000641: POP 00000642: JUMP 00000643: JUMPDEST 00000644: PUSH1 0x00 00000646: CALLER 00000647: PUSH1 0x01 00000649: PUSH1 0xa0 0000064b: PUSH1 0x02 0000064d: EXP 0000064e: SUB 0000064f: DUP6 00000650: AND 00000651: EQ 00000652: ISZERO 00000653: PUSH2 0x065b 00000656: JUMPI 00000657: PUSH1 0x00 00000659: DUP1 0000065a: REVERT 0000065b: JUMPDEST 0000065c: PUSH1 0x01 0000065e: PUSH1 0xa0 00000660: PUSH1 0x02 00000662: EXP 00000663: SUB 00000664: DUP5 00000665: AND 00000666: PUSH1 0x00 00000668: SWAP1 00000669: DUP2 0000066a: MSTORE 0000066b: PUSH1 0x06 0000066d: PUSH1 0x20 0000066f: SWAP1 00000670: DUP2 00000671: MSTORE 00000672: PUSH1 0x40 00000674: DUP1 00000675: DUP4 00000676: KECCAK256 00000677: CALLER 00000678: DUP5 00000679: MSTORE 0000067a: SWAP1 0000067b: SWAP2 0000067c: MSTORE 0000067d: SWAP1 0000067e: KECCAK256 0000067f: SLOAD 00000680: PUSH2 0x068f 00000683: SWAP1 00000684: DUP4 00000685: PUSH4 0xffffffff 0000068a: PUSH2 0x0dd8 0000068d: AND 0000068e: JUMP 0000068f: JUMPDEST 00000690: PUSH1 0x01 00000692: PUSH1 0xa0 00000694: PUSH1 0x02 00000696: EXP 00000697: SUB 00000698: DUP6 00000699: AND 0000069a: PUSH1 0x00 0000069c: SWAP1 0000069d: DUP2 0000069e: MSTORE 0000069f: PUSH1 0x06 000006a1: PUSH1 0x20 000006a3: SWAP1 000006a4: DUP2 000006a5: MSTORE 000006a6: PUSH1 0x40 000006a8: DUP1 000006a9: DUP4 000006aa: KECCAK256 000006ab: CALLER 000006ac: DUP5 000006ad: MSTORE 000006ae: SWAP1 000006af: SWAP2 000006b0: MSTORE 000006b1: SWAP1 000006b2: KECCAK256 000006b3: SSTORE 000006b4: PUSH2 0x063b 000006b7: DUP5 000006b8: DUP5 000006b9: DUP5 000006ba: PUSH2 0x0dea 000006bd: JUMP 000006be: JUMPDEST 000006bf: PUSH1 0x03 000006c1: SLOAD 000006c2: PUSH1 0xff 000006c4: AND 000006c5: DUP2 000006c6: JUMP 000006c7: JUMPDEST 000006c8: PUSH1 0x00 000006ca: SLOAD 000006cb: PUSH1 0x01 000006cd: PUSH1 0xa0 000006cf: PUSH1 0x02 000006d1: EXP 000006d2: SUB 000006d3: AND 000006d4: CALLER 000006d5: EQ 000006d6: PUSH2 0x06de 000006d9: JUMPI 000006da: PUSH1 0x00 000006dc: DUP1 000006dd: REVERT 000006de: JUMPDEST 000006df: PUSH1 0x01 000006e1: PUSH1 0xa0 000006e3: PUSH1 0x02 000006e5: EXP 000006e6: SUB 000006e7: DUP3 000006e8: AND 000006e9: PUSH1 0x00 000006eb: SWAP1 000006ec: DUP2 000006ed: MSTORE 000006ee: PUSH1 0x05 000006f0: PUSH1 0x20 000006f2: MSTORE 000006f3: PUSH1 0x40 000006f5: SWAP1 000006f6: KECCAK256 000006f7: SLOAD 000006f8: PUSH2 0x0707 000006fb: SWAP1 000006fc: DUP3 000006fd: PUSH4 0xffffffff 00000702: PUSH2 0x0db2 00000705: AND 00000706: JUMP 00000707: JUMPDEST 00000708: PUSH1 0x01 0000070a: PUSH1 0xa0 0000070c: PUSH1 0x02 0000070e: EXP 0000070f: SUB 00000710: DUP4 00000711: AND 00000712: PUSH1 0x00 00000714: SWAP1 00000715: DUP2 00000716: MSTORE 00000717: PUSH1 0x05 00000719: PUSH1 0x20 0000071b: MSTORE 0000071c: PUSH1 0x40 0000071e: SWAP1 0000071f: KECCAK256 00000720: SSTORE 00000721: PUSH2 0x075b 00000724: PUSH2 0x0734 00000727: DUP3 00000728: PUSH1 0x0a 0000072a: PUSH4 0xffffffff 0000072f: PUSH2 0x0dc1 00000732: AND 00000733: JUMP 00000734: JUMPDEST 00000735: PUSH2 0xbeef 00000738: PUSH1 0x00 0000073a: MSTORE 0000073b: PUSH1 0x05 0000073d: PUSH1 0x20 0000073f: MSTORE 00000740: PUSH1 0x00 00000742: DUP1 00000743: MLOAD 00000744: PUSH1 0x20 00000746: PUSH2 0x0eaa 00000749: DUP4 0000074a: CODECOPY 0000074b: DUP2 0000074c: MLOAD 0000074d: SWAP2 0000074e: MSTORE 0000074f: SLOAD 00000750: SWAP1 00000751: PUSH4 0xffffffff 00000756: PUSH2 0x0db2 00000759: AND 0000075a: JUMP 0000075b: JUMPDEST 0000075c: PUSH2 0xbeef 0000075f: PUSH1 0x00 00000761: MSTORE 00000762: PUSH1 0x05 00000764: PUSH1 0x20 00000766: MSTORE 00000767: PUSH1 0x00 00000769: DUP1 0000076a: MLOAD 0000076b: PUSH1 0x20 0000076d: PUSH2 0x0eaa 00000770: DUP4 00000771: CODECOPY 00000772: DUP2 00000773: MLOAD 00000774: SWAP2 00000775: MSTORE 00000776: SSTORE 00000777: PUSH2 0x079e 0000077a: PUSH2 0x078f 0000077d: PUSH1 0x0a 0000077f: PUSH2 0x060c 00000782: DUP5 00000783: PUSH1 0x0b 00000785: PUSH4 0xffffffff 0000078a: PUSH2 0x0d7c 0000078d: AND 0000078e: JUMP 0000078f: JUMPDEST 00000790: PUSH1 0x04 00000792: SLOAD 00000793: SWAP1 00000794: PUSH4 0xffffffff 00000799: PUSH2 0x0db2 0000079c: AND 0000079d: JUMP 0000079e: JUMPDEST 0000079f: PUSH1 0x04 000007a1: SSTORE 000007a2: PUSH1 0x40 000007a4: DUP1 000007a5: MLOAD 000007a6: DUP3 000007a7: DUP2 000007a8: MSTORE 000007a9: SWAP1 000007aa: MLOAD 000007ab: PUSH1 0x01 000007ad: PUSH1 0xa0 000007af: PUSH1 0x02 000007b1: EXP 000007b2: SUB 000007b3: DUP5 000007b4: AND 000007b5: SWAP2 000007b6: PUSH32 0x473edf73b107bf5d270ea55a7ea4ce98a1b5618dd196e00d5a48e101299b26d4 000007d7: SWAP2 000007d8: SWAP1 000007d9: DUP2 000007da: SWAP1 000007db: SUB 000007dc: PUSH1 0x20 000007de: ADD 000007df: SWAP1 000007e0: LOG2 000007e1: POP 000007e2: POP 000007e3: JUMP 000007e4: JUMPDEST 000007e5: PUSH1 0x01 000007e7: PUSH1 0xa0 000007e9: PUSH1 0x02 000007eb: EXP 000007ec: SUB 000007ed: AND 000007ee: PUSH1 0x00 000007f0: SWAP1 000007f1: DUP2 000007f2: MSTORE 000007f3: PUSH1 0x05 000007f5: PUSH1 0x20 000007f7: MSTORE 000007f8: PUSH1 0x40 000007fa: SWAP1 000007fb: KECCAK256 000007fc: SLOAD 000007fd: SWAP1 000007fe: JUMP 000007ff: JUMPDEST 00000800: PUSH1 0x01 00000802: PUSH1 0xa0 00000804: PUSH1 0x02 00000806: EXP 00000807: SUB 00000808: DUP3 00000809: AND 0000080a: PUSH1 0x00 0000080c: SWAP1 0000080d: DUP2 0000080e: MSTORE 0000080f: PUSH1 0x06 00000811: PUSH1 0x20 00000813: SWAP1 00000814: DUP2 00000815: MSTORE 00000816: PUSH1 0x40 00000818: DUP1 00000819: DUP4 0000081a: KECCAK256 0000081b: CALLER 0000081c: DUP5 0000081d: MSTORE 0000081e: SWAP1 0000081f: SWAP2 00000820: MSTORE 00000821: DUP2 00000822: KECCAK256 00000823: SLOAD 00000824: PUSH2 0x0833 00000827: SWAP1 00000828: DUP4 00000829: PUSH4 0xffffffff 0000082e: PUSH2 0x0dd8 00000831: AND 00000832: JUMP 00000833: JUMPDEST 00000834: PUSH1 0x01 00000836: PUSH1 0xa0 00000838: PUSH1 0x02 0000083a: EXP 0000083b: SUB 0000083c: DUP5 0000083d: AND 0000083e: PUSH1 0x00 00000840: DUP2 00000841: DUP2 00000842: MSTORE 00000843: PUSH1 0x06 00000845: PUSH1 0x20 00000847: SWAP1 00000848: DUP2 00000849: MSTORE 0000084a: PUSH1 0x40 0000084c: DUP1 0000084d: DUP4 0000084e: KECCAK256 0000084f: CALLER 00000850: DUP5 00000851: MSTORE 00000852: DUP3 00000853: MSTORE 00000854: DUP1 00000855: DUP4 00000856: KECCAK256 00000857: SWAP5 00000858: SWAP1 00000859: SWAP5 0000085a: SSTORE 0000085b: SWAP2 0000085c: DUP2 0000085d: MSTORE 0000085e: PUSH1 0x05 00000860: SWAP1 00000861: SWAP2 00000862: MSTORE 00000863: KECCAK256 00000864: SLOAD 00000865: PUSH2 0x0874 00000868: SWAP1 00000869: DUP4 0000086a: PUSH4 0xffffffff 0000086f: PUSH2 0x0dd8 00000872: AND 00000873: JUMP 00000874: JUMPDEST 00000875: PUSH1 0x01 00000877: PUSH1 0xa0 00000879: PUSH1 0x02 0000087b: EXP 0000087c: SUB 0000087d: DUP5 0000087e: AND 0000087f: PUSH1 0x00 00000881: SWAP1 00000882: DUP2 00000883: MSTORE 00000884: PUSH1 0x05 00000886: PUSH1 0x20 00000888: MSTORE 00000889: PUSH1 0x40 0000088b: SWAP1 0000088c: KECCAK256 0000088d: SSTORE 0000088e: PUSH1 0x04 00000890: SLOAD 00000891: PUSH2 0x08a0 00000894: SWAP1 00000895: DUP4 00000896: PUSH4 0xffffffff 0000089b: PUSH2 0x0dd8 0000089e: AND 0000089f: JUMP 000008a0: JUMPDEST 000008a1: PUSH1 0x04 000008a3: SSTORE 000008a4: PUSH1 0x40 000008a6: DUP1 000008a7: MLOAD 000008a8: DUP4 000008a9: DUP2 000008aa: MSTORE 000008ab: SWAP1 000008ac: MLOAD 000008ad: PUSH1 0x01 000008af: PUSH1 0xa0 000008b1: PUSH1 0x02 000008b3: EXP 000008b4: SUB 000008b5: DUP6 000008b6: AND 000008b7: SWAP2 000008b8: PUSH32 0xcc16f5dbb4873280815c1ee09dbd06736cffcc184412cf7a71a0fdb75d397ca5 000008d9: SWAP2 000008da: SWAP1 000008db: DUP2 000008dc: SWAP1 000008dd: SUB 000008de: PUSH1 0x20 000008e0: ADD 000008e1: SWAP1 000008e2: LOG2 000008e3: POP 000008e4: PUSH1 0x01 000008e6: SWAP3 000008e7: SWAP2 000008e8: POP 000008e9: POP 000008ea: JUMP 000008eb: JUMPDEST 000008ec: PUSH2 0xbeef 000008ef: PUSH1 0x00 000008f1: MSTORE 000008f2: PUSH1 0x05 000008f4: PUSH1 0x20 000008f6: MSTORE 000008f7: PUSH1 0x00 000008f9: DUP1 000008fa: MLOAD 000008fb: PUSH1 0x20 000008fd: PUSH2 0x0eaa 00000900: DUP4 00000901: CODECOPY 00000902: DUP2 00000903: MLOAD 00000904: SWAP2 00000905: MSTORE 00000906: SLOAD 00000907: SWAP1 00000908: JUMP 00000909: JUMPDEST 0000090a: PUSH1 0x00 0000090c: SLOAD 0000090d: PUSH1 0x01 0000090f: PUSH1 0xa0 00000911: PUSH1 0x02 00000913: EXP 00000914: SUB 00000915: AND 00000916: DUP2 00000917: JUMP 00000918: JUMPDEST 00000919: PUSH2 0xbeef 0000091c: PUSH1 0x00 0000091e: SWAP1 0000091f: DUP2 00000920: MSTORE 00000921: PUSH1 0x05 00000923: PUSH1 0x20 00000925: MSTORE 00000926: PUSH1 0x00 00000928: DUP1 00000929: MLOAD 0000092a: PUSH1 0x20 0000092c: PUSH2 0x0eaa 0000092f: DUP4 00000930: CODECOPY 00000931: DUP2 00000932: MLOAD 00000933: SWAP2 00000934: MSTORE 00000935: SLOAD 00000936: PUSH2 0x0942 00000939: SWAP1 0000093a: DUP5 0000093b: SWAP1 0000093c: DUP5 0000093d: SWAP1 0000093e: PUSH2 0x05cb 00000941: JUMP 00000942: JUMPDEST 00000943: SWAP4 00000944: SWAP3 00000945: POP 00000946: POP 00000947: POP 00000948: JUMP 00000949: JUMPDEST 0000094a: PUSH1 0x00 0000094c: PUSH2 0x0954 0000094f: DUP3 00000950: PUSH2 0x09ba 00000953: JUMP 00000954: JUMPDEST 00000955: SWAP1 00000956: POP 00000957: PUSH2 0x0963 0000095a: CALLER 0000095b: PUSH2 0xbeef 0000095e: DUP5 0000095f: PUSH2 0x0dea 00000962: JUMP 00000963: JUMPDEST 00000964: POP 00000965: PUSH2 0x0985 00000968: PUSH2 0x0978 0000096b: DUP3 0000096c: PUSH1 0x28 0000096e: PUSH4 0xffffffff 00000973: PUSH2 0x0dc1 00000976: AND 00000977: JUMP 00000978: JUMPDEST 00000979: DUP3 0000097a: SWAP1 0000097b: PUSH4 0xffffffff 00000980: PUSH2 0x0dd8 00000983: AND 00000984: JUMP 00000985: JUMPDEST 00000986: PUSH1 0x40 00000988: MLOAD 00000989: SWAP1 0000098a: SWAP2 0000098b: POP 0000098c: CALLER 0000098d: SWAP1 0000098e: DUP3 0000098f: ISZERO 00000990: PUSH2 0x08fc 00000993: MUL 00000994: SWAP1 00000995: DUP4 00000996: SWAP1 00000997: PUSH1 0x00 00000999: DUP2 0000099a: DUP2 0000099b: DUP2 0000099c: DUP6 0000099d: DUP9 0000099e: DUP9 0000099f: CALL 000009a0: SWAP4 000009a1: POP 000009a2: POP 000009a3: POP 000009a4: POP 000009a5: ISZERO 000009a6: DUP1 000009a7: ISZERO 000009a8: PUSH2 0x09b5 000009ab: JUMPI 000009ac: RETURNDATASIZE 000009ad: PUSH1 0x00 000009af: DUP1 000009b0: RETURNDATACOPY 000009b1: RETURNDATASIZE 000009b2: PUSH1 0x00 000009b4: REVERT 000009b5: JUMPDEST 000009b6: POP 000009b7: POP 000009b8: POP 000009b9: JUMP 000009ba: JUMPDEST 000009bb: PUSH2 0xbeef 000009be: PUSH1 0x00 000009c0: SWAP1 000009c1: DUP2 000009c2: MSTORE 000009c3: PUSH1 0x05 000009c5: PUSH1 0x20 000009c7: MSTORE 000009c8: PUSH1 0x00 000009ca: DUP1 000009cb: MLOAD 000009cc: PUSH1 0x20 000009ce: PUSH2 0x0eaa 000009d1: DUP4 000009d2: CODECOPY 000009d3: DUP2 000009d4: MLOAD 000009d5: SWAP2 000009d6: MSTORE 000009d7: SLOAD 000009d8: PUSH2 0x09e4 000009db: SWAP1 000009dc: DUP4 000009dd: SWAP1 000009de: ADDRESS 000009df: BALANCE 000009e0: PUSH2 0x05cb 000009e3: JUMP 000009e4: JUMPDEST 000009e5: SWAP3 000009e6: SWAP2 000009e7: POP 000009e8: POP 000009e9: JUMP 000009ea: JUMPDEST 000009eb: PUSH1 0x02 000009ed: DUP1 000009ee: SLOAD 000009ef: PUSH1 0x40 000009f1: DUP1 000009f2: MLOAD 000009f3: PUSH1 0x20 000009f5: PUSH1 0x01 000009f7: DUP5 000009f8: AND 000009f9: ISZERO 000009fa: PUSH2 0x0100 000009fd: MUL 000009fe: PUSH1 0x00 00000a00: NOT 00000a01: ADD 00000a02: SWAP1 00000a03: SWAP4 00000a04: AND 00000a05: DUP5 00000a06: SWAP1 00000a07: DIV 00000a08: PUSH1 0x1f 00000a0a: DUP2 00000a0b: ADD 00000a0c: DUP5 00000a0d: SWAP1 00000a0e: DIV 00000a0f: DUP5 00000a10: MUL 00000a11: DUP3 00000a12: ADD 00000a13: DUP5 00000a14: ADD 00000a15: SWAP1 00000a16: SWAP3 00000a17: MSTORE 00000a18: DUP2 00000a19: DUP2 00000a1a: MSTORE 00000a1b: SWAP3 00000a1c: SWAP2 00000a1d: DUP4 00000a1e: ADD 00000a1f: DUP3 00000a20: DUP3 00000a21: DUP1 00000a22: ISZERO 00000a23: PUSH2 0x0552 00000a26: JUMPI 00000a27: DUP1 00000a28: PUSH1 0x1f 00000a2a: LT 00000a2b: PUSH2 0x0527 00000a2e: JUMPI 00000a2f: PUSH2 0x0100 00000a32: DUP1 00000a33: DUP4 00000a34: SLOAD 00000a35: DIV 00000a36: MUL 00000a37: DUP4 00000a38: MSTORE 00000a39: SWAP2 00000a3a: PUSH1 0x20 00000a3c: ADD 00000a3d: SWAP2 00000a3e: PUSH2 0x0552 00000a41: JUMP 00000a42: JUMPDEST 00000a43: PUSH1 0x00 00000a45: PUSH2 0x0a5e 00000a48: CALLVALUE 00000a49: PUSH2 0x0a59 00000a4c: ADDRESS 00000a4d: BALANCE 00000a4e: DUP3 00000a4f: PUSH4 0xffffffff 00000a54: PUSH2 0x0dd8 00000a57: AND 00000a58: JUMP 00000a59: JUMPDEST 00000a5a: PUSH2 0x0918 00000a5d: JUMP 00000a5e: JUMPDEST 00000a5f: SWAP1 00000a60: POP 00000a61: PUSH2 0x0a74 00000a64: PUSH2 0x0978 00000a67: DUP3 00000a68: PUSH1 0x28 00000a6a: PUSH4 0xffffffff 00000a6f: PUSH2 0x0dc1 00000a72: AND 00000a73: JUMP 00000a74: JUMPDEST 00000a75: SWAP1 00000a76: POP 00000a77: PUSH2 0x0a83 00000a7a: PUSH2 0xbeef 00000a7d: CALLER 00000a7e: DUP4 00000a7f: PUSH2 0x0dea 00000a82: JUMP 00000a83: JUMPDEST 00000a84: POP 00000a85: POP 00000a86: JUMP 00000a87: JUMPDEST 00000a88: PUSH1 0x00 00000a8a: PUSH2 0x0942 00000a8d: CALLER 00000a8e: DUP5 00000a8f: DUP5 00000a90: PUSH2 0x0dea 00000a93: JUMP 00000a94: JUMPDEST 00000a95: CALLER 00000a96: PUSH1 0x00 00000a98: DUP2 00000a99: DUP2 00000a9a: MSTORE 00000a9b: PUSH1 0x06 00000a9d: PUSH1 0x20 00000a9f: SWAP1 00000aa0: DUP2 00000aa1: MSTORE 00000aa2: PUSH1 0x40 00000aa4: DUP1 00000aa5: DUP4 00000aa6: KECCAK256 00000aa7: PUSH1 0x01 00000aa9: PUSH1 0xa0 00000aab: PUSH1 0x02 00000aad: EXP 00000aae: SUB 00000aaf: DUP9 00000ab0: AND 00000ab1: DUP1 00000ab2: DUP6 00000ab3: MSTORE 00000ab4: SWAP1 00000ab5: DUP4 00000ab6: MSTORE 00000ab7: DUP2 00000ab8: DUP5 00000ab9: KECCAK256 00000aba: DUP8 00000abb: SWAP1 00000abc: SSTORE 00000abd: DUP2 00000abe: MLOAD 00000abf: DUP8 00000ac0: DUP2 00000ac1: MSTORE 00000ac2: SWAP2 00000ac3: MLOAD 00000ac4: SWAP4 00000ac5: SWAP5 00000ac6: SWAP1 00000ac7: SWAP4 00000ac8: SWAP1 00000ac9: SWAP3 00000aca: PUSH32 0x8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925 00000aeb: SWAP3 00000aec: DUP3 00000aed: SWAP1 00000aee: SUB 00000aef: ADD 00000af0: SWAP1 00000af1: LOG3 00000af2: PUSH1 0x40 00000af4: MLOAD 00000af5: PUSH32 0x8f4ffcb100000000000000000000000000000000000000000000000000000000 00000b16: DUP2 00000b17: MSTORE 00000b18: CALLER 00000b19: PUSH1 0x04 00000b1b: DUP3 00000b1c: ADD 00000b1d: DUP2 00000b1e: DUP2 00000b1f: MSTORE 00000b20: PUSH1 0x24 00000b22: DUP4 00000b23: ADD 00000b24: DUP7 00000b25: SWAP1 00000b26: MSTORE 00000b27: ADDRESS 00000b28: PUSH1 0x44 00000b2a: DUP5 00000b2b: ADD 00000b2c: DUP2 00000b2d: SWAP1 00000b2e: MSTORE 00000b2f: PUSH1 0x80 00000b31: PUSH1 0x64 00000b33: DUP6 00000b34: ADD 00000b35: SWAP1 00000b36: DUP2 00000b37: MSTORE 00000b38: DUP7 00000b39: MLOAD 00000b3a: PUSH1 0x84 00000b3c: DUP7 00000b3d: ADD 00000b3e: MSTORE 00000b3f: DUP7 00000b40: MLOAD 00000b41: PUSH1 0x01 00000b43: PUSH1 0xa0 00000b45: PUSH1 0x02 00000b47: EXP 00000b48: SUB 00000b49: DUP11 00000b4a: AND 00000b4b: SWAP6 00000b4c: PUSH4 0x8f4ffcb1 00000b51: SWAP6 00000b52: SWAP5 00000b53: DUP11 00000b54: SWAP5 00000b55: SWAP4 00000b56: DUP11 00000b57: SWAP4 00000b58: SWAP2 00000b59: SWAP3 00000b5a: SWAP1 00000b5b: SWAP2 00000b5c: PUSH1 0xa4 00000b5e: SWAP1 00000b5f: SWAP2 00000b60: ADD 00000b61: SWAP1 00000b62: PUSH1 0x20 00000b64: DUP6 00000b65: ADD 00000b66: SWAP1 00000b67: DUP1 00000b68: DUP4 00000b69: DUP4 00000b6a: PUSH1 0x00 00000b6c: JUMPDEST 00000b6d: DUP4 00000b6e: DUP2 00000b6f: LT 00000b70: ISZERO 00000b71: PUSH2 0x0b84 00000b74: JUMPI 00000b75: DUP2 00000b76: DUP2 00000b77: ADD 00000b78: MLOAD 00000b79: DUP4 00000b7a: DUP3 00000b7b: ADD 00000b7c: MSTORE 00000b7d: PUSH1 0x20 00000b7f: ADD 00000b80: PUSH2 0x0b6c 00000b83: JUMP 00000b84: JUMPDEST 00000b85: POP 00000b86: POP 00000b87: POP 00000b88: POP 00000b89: SWAP1 00000b8a: POP 00000b8b: SWAP1 00000b8c: DUP2 00000b8d: ADD 00000b8e: SWAP1 00000b8f: PUSH1 0x1f 00000b91: AND 00000b92: DUP1 00000b93: ISZERO 00000b94: PUSH2 0x0bb1 00000b97: JUMPI 00000b98: DUP1 00000b99: DUP3 00000b9a: SUB 00000b9b: DUP1 00000b9c: MLOAD 00000b9d: PUSH1 0x01 00000b9f: DUP4 00000ba0: PUSH1 0x20 00000ba2: SUB 00000ba3: PUSH2 0x0100 00000ba6: EXP 00000ba7: SUB 00000ba8: NOT 00000ba9: AND 00000baa: DUP2 00000bab: MSTORE 00000bac: PUSH1 0x20 00000bae: ADD 00000baf: SWAP2 00000bb0: POP 00000bb1: JUMPDEST 00000bb2: POP 00000bb3: SWAP6 00000bb4: POP 00000bb5: POP 00000bb6: POP 00000bb7: POP 00000bb8: POP 00000bb9: POP 00000bba: PUSH1 0x00 00000bbc: PUSH1 0x40 00000bbe: MLOAD 00000bbf: DUP1 00000bc0: DUP4 00000bc1: SUB 00000bc2: DUP2 00000bc3: PUSH1 0x00 00000bc5: DUP8 00000bc6: DUP1 00000bc7: EXTCODESIZE 00000bc8: ISZERO 00000bc9: DUP1 00000bca: ISZERO 00000bcb: PUSH2 0x0bd3 00000bce: JUMPI 00000bcf: PUSH1 0x00 00000bd1: DUP1 00000bd2: REVERT 00000bd3: JUMPDEST 00000bd4: POP 00000bd5: GAS 00000bd6: CALL 00000bd7: ISZERO 00000bd8: DUP1 00000bd9: ISZERO 00000bda: PUSH2 0x0be7 00000bdd: JUMPI 00000bde: RETURNDATASIZE 00000bdf: PUSH1 0x00 00000be1: DUP1 00000be2: RETURNDATACOPY 00000be3: RETURNDATASIZE 00000be4: PUSH1 0x00 00000be6: REVERT 00000be7: JUMPDEST 00000be8: POP 00000be9: PUSH1 0x01 00000beb: SWAP8 00000bec: SWAP7 00000bed: POP 00000bee: POP 00000bef: POP 00000bf0: POP 00000bf1: POP 00000bf2: POP 00000bf3: POP 00000bf4: JUMP 00000bf5: JUMPDEST 00000bf6: PUSH1 0x00 00000bf8: DUP1 00000bf9: SLOAD 00000bfa: PUSH1 0x01 00000bfc: PUSH1 0xa0 00000bfe: PUSH1 0x02 00000c00: EXP 00000c01: SUB 00000c02: AND 00000c03: CALLER 00000c04: EQ 00000c05: PUSH2 0x0c0d 00000c08: JUMPI 00000c09: PUSH1 0x00 00000c0b: DUP1 00000c0c: REVERT 00000c0d: JUMPDEST 00000c0e: PUSH1 0x00 00000c10: DUP1 00000c11: SLOAD 00000c12: PUSH1 0x40 00000c14: DUP1 00000c15: MLOAD 00000c16: PUSH32 0xa9059cbb00000000000000000000000000000000000000000000000000000000 00000c37: DUP2 00000c38: MSTORE 00000c39: PUSH1 0x01 00000c3b: PUSH1 0xa0 00000c3d: PUSH1 0x02 00000c3f: EXP 00000c40: SUB 00000c41: SWAP3 00000c42: DUP4 00000c43: AND 00000c44: PUSH1 0x04 00000c46: DUP3 00000c47: ADD 00000c48: MSTORE 00000c49: PUSH1 0x24 00000c4b: DUP2 00000c4c: ADD 00000c4d: DUP7 00000c4e: SWAP1 00000c4f: MSTORE 00000c50: SWAP1 00000c51: MLOAD 00000c52: SWAP2 00000c53: DUP7 00000c54: AND 00000c55: SWAP3 00000c56: PUSH4 0xa9059cbb 00000c5b: SWAP3 00000c5c: PUSH1 0x44 00000c5e: DUP1 00000c5f: DUP5 00000c60: ADD 00000c61: SWAP4 00000c62: PUSH1 0x20 00000c64: SWAP4 00000c65: SWAP1 00000c66: DUP4 00000c67: SWAP1 00000c68: SUB 00000c69: SWAP1 00000c6a: SWAP2 00000c6b: ADD 00000c6c: SWAP1 00000c6d: DUP3 00000c6e: SWAP1 00000c6f: DUP8 00000c70: DUP1 00000c71: EXTCODESIZE 00000c72: ISZERO 00000c73: DUP1 00000c74: ISZERO 00000c75: PUSH2 0x0c7d 00000c78: JUMPI 00000c79: PUSH1 0x00 00000c7b: DUP1 00000c7c: REVERT 00000c7d: JUMPDEST 00000c7e: POP 00000c7f: GAS 00000c80: CALL 00000c81: ISZERO 00000c82: DUP1 00000c83: ISZERO 00000c84: PUSH2 0x0c91 00000c87: JUMPI 00000c88: RETURNDATASIZE 00000c89: PUSH1 0x00 00000c8b: DUP1 00000c8c: RETURNDATACOPY 00000c8d: RETURNDATASIZE 00000c8e: PUSH1 0x00 00000c90: REVERT 00000c91: JUMPDEST 00000c92: POP 00000c93: POP 00000c94: POP 00000c95: POP 00000c96: PUSH1 0x40 00000c98: MLOAD 00000c99: RETURNDATASIZE 00000c9a: PUSH1 0x20 00000c9c: DUP2 00000c9d: LT 00000c9e: ISZERO 00000c9f: PUSH2 0x0ca7 00000ca2: JUMPI 00000ca3: PUSH1 0x00 00000ca5: DUP1 00000ca6: REVERT 00000ca7: JUMPDEST 00000ca8: POP 00000ca9: MLOAD 00000caa: SWAP4 00000cab: SWAP3 00000cac: POP 00000cad: POP 00000cae: POP 00000caf: JUMP 00000cb0: JUMPDEST 00000cb1: PUSH1 0x01 00000cb3: PUSH1 0xa0 00000cb5: PUSH1 0x02 00000cb7: EXP 00000cb8: SUB 00000cb9: SWAP2 00000cba: DUP3 00000cbb: AND 00000cbc: PUSH1 0x00 00000cbe: SWAP1 00000cbf: DUP2 00000cc0: MSTORE 00000cc1: PUSH1 0x06 00000cc3: PUSH1 0x20 00000cc5: SWAP1 00000cc6: DUP2 00000cc7: MSTORE 00000cc8: PUSH1 0x40 00000cca: DUP1 00000ccb: DUP4 00000ccc: KECCAK256 00000ccd: SWAP4 00000cce: SWAP1 00000ccf: SWAP5 00000cd0: AND 00000cd1: DUP3 00000cd2: MSTORE 00000cd3: SWAP2 00000cd4: SWAP1 00000cd5: SWAP2 00000cd6: MSTORE 00000cd7: KECCAK256 00000cd8: SLOAD 00000cd9: SWAP1 00000cda: JUMP 00000cdb: JUMPDEST 00000cdc: PUSH1 0x00 00000cde: SLOAD 00000cdf: PUSH1 0x01 00000ce1: PUSH1 0xa0 00000ce3: PUSH1 0x02 00000ce5: EXP 00000ce6: SUB 00000ce7: AND 00000ce8: CALLER 00000ce9: EQ 00000cea: PUSH2 0x0cf2 00000ced: JUMPI 00000cee: PUSH1 0x00 00000cf0: DUP1 00000cf1: REVERT 00000cf2: JUMPDEST 00000cf3: PUSH1 0x01 00000cf5: PUSH1 0xa0 00000cf7: PUSH1 0x02 00000cf9: EXP 00000cfa: SUB 00000cfb: DUP2 00000cfc: AND 00000cfd: ISZERO 00000cfe: ISZERO 00000cff: PUSH2 0x0d07 00000d02: JUMPI 00000d03: PUSH1 0x00 00000d05: DUP1 00000d06: REVERT 00000d07: JUMPDEST 00000d08: PUSH1 0x00 00000d0a: DUP1 00000d0b: SLOAD 00000d0c: PUSH1 0x40 00000d0e: MLOAD 00000d0f: PUSH1 0x01 00000d11: PUSH1 0xa0 00000d13: PUSH1 0x02 00000d15: EXP 00000d16: SUB 00000d17: DUP1 00000d18: DUP6 00000d19: AND 00000d1a: SWAP4 00000d1b: SWAP3 00000d1c: AND 00000d1d: SWAP2 00000d1e: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0 00000d3f: SWAP2 00000d40: LOG3 00000d41: PUSH1 0x00 00000d43: DUP1 00000d44: SLOAD 00000d45: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000d5a: NOT 00000d5b: AND 00000d5c: PUSH1 0x01 00000d5e: PUSH1 0xa0 00000d60: PUSH1 0x02 00000d62: EXP 00000d63: SUB 00000d64: SWAP3 00000d65: SWAP1 00000d66: SWAP3 00000d67: AND 00000d68: SWAP2 00000d69: SWAP1 00000d6a: SWAP2 00000d6b: OR 00000d6c: SWAP1 00000d6d: SSTORE 00000d6e: JUMP 00000d6f: JUMPDEST 00000d70: PUSH1 0x00 00000d72: PUSH2 0x09e4 00000d75: DUP3 00000d76: ADDRESS 00000d77: BALANCE 00000d78: PUSH2 0x0918 00000d7b: JUMP 00000d7c: JUMPDEST 00000d7d: PUSH1 0x00 00000d7f: DUP1 00000d80: DUP4 00000d81: ISZERO 00000d82: ISZERO 00000d83: PUSH2 0x0d8f 00000d86: JUMPI 00000d87: PUSH1 0x00 00000d89: SWAP2 00000d8a: POP 00000d8b: PUSH2 0x0dab 00000d8e: JUMP 00000d8f: JUMPDEST 00000d90: POP 00000d91: DUP3 00000d92: DUP3 00000d93: MUL 00000d94: DUP3 00000d95: DUP5 00000d96: DUP3 00000d97: DUP2 00000d98: ISZERO 00000d99: ISZERO 00000d9a: PUSH2 0x0d9f 00000d9d: JUMPI 00000d9e: INVALID 00000d9f: JUMPDEST 00000da0: DIV 00000da1: EQ 00000da2: PUSH2 0x0da7 00000da5: JUMPI 00000da6: INVALID 00000da7: JUMPDEST 00000da8: DUP1 00000da9: SWAP2 00000daa: POP 00000dab: JUMPDEST 00000dac: POP 00000dad: SWAP3 00000dae: SWAP2 00000daf: POP 00000db0: POP 00000db1: JUMP 00000db2: JUMPDEST 00000db3: PUSH1 0x00 00000db5: DUP3 00000db6: DUP3 00000db7: ADD 00000db8: DUP4 00000db9: DUP2 00000dba: LT 00000dbb: ISZERO 00000dbc: PUSH2 0x0da7 00000dbf: JUMPI 00000dc0: INVALID 00000dc1: JUMPDEST 00000dc2: PUSH1 0x00 00000dc4: DUP1 00000dc5: DUP3 00000dc6: DUP5 00000dc7: DUP2 00000dc8: ISZERO 00000dc9: ISZERO 00000dca: PUSH2 0x0dcf 00000dcd: JUMPI 00000dce: INVALID 00000dcf: JUMPDEST 00000dd0: DIV 00000dd1: SWAP5 00000dd2: SWAP4 00000dd3: POP 00000dd4: POP 00000dd5: POP 00000dd6: POP 00000dd7: JUMP 00000dd8: JUMPDEST 00000dd9: PUSH1 0x00 00000ddb: DUP3 00000ddc: DUP3 00000ddd: GT 00000dde: ISZERO 00000ddf: PUSH2 0x0de4 00000de2: JUMPI 00000de3: INVALID 00000de4: JUMPDEST 00000de5: POP 00000de6: SWAP1 00000de7: SUB 00000de8: SWAP1 00000de9: JUMP 00000dea: JUMPDEST 00000deb: PUSH1 0x01 00000ded: PUSH1 0xa0 00000def: PUSH1 0x02 00000df1: EXP 00000df2: SUB 00000df3: DUP4 00000df4: AND 00000df5: PUSH1 0x00 00000df7: SWAP1 00000df8: DUP2 00000df9: MSTORE 00000dfa: PUSH1 0x05 00000dfc: PUSH1 0x20 00000dfe: MSTORE 00000dff: PUSH1 0x40 00000e01: DUP2 00000e02: KECCAK256 00000e03: SLOAD 00000e04: PUSH2 0x0e13 00000e07: SWAP1 00000e08: DUP4 00000e09: PUSH4 0xffffffff 00000e0e: PUSH2 0x0dd8 00000e11: AND 00000e12: JUMP 00000e13: JUMPDEST 00000e14: PUSH1 0x01 00000e16: PUSH1 0xa0 00000e18: PUSH1 0x02 00000e1a: EXP 00000e1b: SUB 00000e1c: DUP1 00000e1d: DUP7 00000e1e: AND 00000e1f: PUSH1 0x00 00000e21: SWAP1 00000e22: DUP2 00000e23: MSTORE 00000e24: PUSH1 0x05 00000e26: PUSH1 0x20 00000e28: MSTORE 00000e29: PUSH1 0x40 00000e2b: DUP1 00000e2c: DUP3 00000e2d: KECCAK256 00000e2e: SWAP4 00000e2f: SWAP1 00000e30: SWAP4 00000e31: SSTORE 00000e32: SWAP1 00000e33: DUP6 00000e34: AND 00000e35: DUP2 00000e36: MSTORE 00000e37: KECCAK256 00000e38: SLOAD 00000e39: PUSH2 0x0e48 00000e3c: SWAP1 00000e3d: DUP4 00000e3e: PUSH4 0xffffffff 00000e43: PUSH2 0x0db2 00000e46: AND 00000e47: JUMP 00000e48: JUMPDEST 00000e49: PUSH1 0x01 00000e4b: PUSH1 0xa0 00000e4d: PUSH1 0x02 00000e4f: EXP 00000e50: SUB 00000e51: DUP1 00000e52: DUP6 00000e53: AND 00000e54: PUSH1 0x00 00000e56: DUP2 00000e57: DUP2 00000e58: MSTORE 00000e59: PUSH1 0x05 00000e5b: PUSH1 0x20 00000e5d: SWAP1 00000e5e: DUP2 00000e5f: MSTORE 00000e60: PUSH1 0x40 00000e62: SWAP2 00000e63: DUP3 00000e64: SWAP1 00000e65: KECCAK256 00000e66: SWAP5 00000e67: SWAP1 00000e68: SWAP5 00000e69: SSTORE 00000e6a: DUP1 00000e6b: MLOAD 00000e6c: DUP7 00000e6d: DUP2 00000e6e: MSTORE 00000e6f: SWAP1 00000e70: MLOAD 00000e71: SWAP2 00000e72: SWAP4 00000e73: SWAP3 00000e74: DUP9 00000e75: AND 00000e76: SWAP3 00000e77: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef 00000e98: SWAP3 00000e99: SWAP2 00000e9a: DUP3 00000e9b: SWAP1 00000e9c: SUB 00000e9d: ADD 00000e9e: SWAP1 00000e9f: LOG3 00000ea0: POP 00000ea1: PUSH1 0x01 00000ea3: SWAP4 00000ea4: SWAP3 00000ea5: POP 00000ea6: POP 00000ea7: POP 00000ea8: JUMP 00000ea9: STOP 00000eaa: PUSH12 0xdfbd8dbb58bdf65a26c8acd4 00000eb7: UNKNOWN(0xE9) 00000eb8: UNKNOWN(0xC7) 00000eb9: DUP16 00000eba: PUSH26 0xb986073466ecc3674aa1b325bf1951a165627a7a723058204603 00000ed5: DELEGATECALL 00000ed6: DUP16 00000ed7: PUSH16 0x04558674648108f7f3b5732a8fb577ab 00000ee8: UNKNOWN(0xAD) 00000ee9: DUP10 00000eea: UNKNOWN(0xB0) 00000eeb: RETURNDATACOPY 00000eec: UNKNOWN(0xB6) 00000eed: UNKNOWN(0xE2) 00000eee: PUSH28
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| critical | upgradeability | detector | Untrusted DELEGATECALL target reachable | 70 | no | no |
viewtrace_id: 0x8269802bb7beb2940ce8f8deef8a45bf001bae13be0e4e9ae4ede9a217bae7ff
validation_json{
"sink": "DELEGATECALL",
"errors": 0,
"status": "unknown",
"attempts": 192,
"trace_id": "0x8269802bb7beb2940ce8f8deef8a45bf001bae13be0e4e9ae4ede9a217bae7ff",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": null,
"matched_probe": null,
"target_varies": null,
"classification": "no_sink"
}
witness_json{
"notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
"constraints": [],
"entrypoints": [
{
"calldata": "0x06fdde03",
"selector": "0x06fdde03",
"calldata_variants": [
"0x06fdde03",
"0x06fdde030000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x095ea7b3",
"selector": "0x095ea7b3",
"calldata_variants": [
"0x095ea7b3",
"0x095ea7b30000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x12065fe0",
"selector": "0x12065fe0",
"calldata_variants": [
"0x12065fe0",
"0x12065fe00000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x18160ddd",
"selector": "0x18160ddd",
"calldata_variants": [
"0x18160ddd",
"0x18160ddd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x229824c4",
"selector": "0x229824c4",
"calldata_variants": [
"0x229824c4",
"0x229824c40000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x23b872dd",
"selector": "0x23b872dd",
"calldata_variants": [
"0x23b872dd",
"0x23b872dd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x313ce567",
"selector": "0x313ce567",
"calldata_variants": [
"0x313ce567",
"0x313ce5670000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x5d8a776e",
"selector": "0x5d8a776e",
"calldata_variants": [
"0x5d8a776e",
"0x5d8a776e0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 3797,
"opcode": "DELEGATECALL",
"returndata_checked": null,
"value_expression_category": "n/a",
"target_expression_category": "computed"
}
],
"guards_detected": [],
"delegatecall_count": 1,
"untrusted_delegatecall_count": 1
}
|
| high | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0xe285be74459624192389dba8521e21b7a21f00c3aafd4bb455156827402a1ca4
call_targets:
0xfdb0065240753fef4880a9cc7876be59e09d78bb
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xe285be74459624192389dba8521e21b7a21f00c3aafd4bb455156827402a1ca4",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xfdb0065240753fef4880a9cc7876be59e09d78bb"
],
"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": "0x06fdde03",
"selector": "0x06fdde03",
"calldata_variants": [
"0x06fdde03",
"0x06fdde030000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x095ea7b3",
"selector": "0x095ea7b3",
"calldata_variants": [
"0x095ea7b3",
"0x095ea7b30000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x12065fe0",
"selector": "0x12065fe0",
"calldata_variants": [
"0x12065fe0",
"0x12065fe00000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x18160ddd",
"selector": "0x18160ddd",
"calldata_variants": [
"0x18160ddd",
"0x18160ddd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x229824c4",
"selector": "0x229824c4",
"calldata_variants": [
"0x229824c4",
"0x229824c40000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x23b872dd",
"selector": "0x23b872dd",
"calldata_variants": [
"0x23b872dd",
"0x23b872dd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x313ce567",
"selector": "0x313ce567",
"calldata_variants": [
"0x313ce567",
"0x313ce5670000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x5d8a776e",
"selector": "0x5d8a776e",
"calldata_variants": [
"0x5d8a776e",
"0x5d8a776e0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 2463,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 3030,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 3200,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 3,
"guards_detected": [],
"untrusted_call_count": 3
}
|
| high | other | detector | ETH value transfer possible | 55 | no | no |
viewtrace_id: 0xe285be74459624192389dba8521e21b7a21f00c3aafd4bb455156827402a1ca4
call_targets:
0xfdb0065240753fef4880a9cc7876be59e09d78bb
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xe285be74459624192389dba8521e21b7a21f00c3aafd4bb455156827402a1ca4",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xfdb0065240753fef4880a9cc7876be59e09d78bb"
],
"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": "0x06fdde03",
"selector": "0x06fdde03",
"calldata_variants": [
"0x06fdde03",
"0x06fdde030000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x095ea7b3",
"selector": "0x095ea7b3",
"calldata_variants": [
"0x095ea7b3",
"0x095ea7b30000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x12065fe0",
"selector": "0x12065fe0",
"calldata_variants": [
"0x12065fe0",
"0x12065fe00000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x18160ddd",
"selector": "0x18160ddd",
"calldata_variants": [
"0x18160ddd",
"0x18160ddd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x229824c4",
"selector": "0x229824c4",
"calldata_variants": [
"0x229824c4",
"0x229824c40000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x23b872dd",
"selector": "0x23b872dd",
"calldata_variants": [
"0x23b872dd",
"0x23b872dd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x313ce567",
"selector": "0x313ce567",
"calldata_variants": [
"0x313ce567",
"0x313ce5670000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x5d8a776e",
"selector": "0x5d8a776e",
"calldata_variants": [
"0x5d8a776e",
"0x5d8a776e0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 2463,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 3030,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 3200,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 3,
"guards_detected": []
}
|