019b3844-9872-7222-b62e-8e780dcba776
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 |
|---|---|---|---|---|
| 13915 | artifact.fetch | complete | 1 / 3 | 4 months ago |
| 13916 | tool.cast_disasm | complete | 1 / 3 | 4 months ago |
| 57497 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 57498 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 57499 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 57500 | 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 0x00c6 0000000c: JUMPI 0000000d: PUSH1 0x00 0000000f: CALLDATALOAD 00000010: PUSH1 0xe0 00000012: SHR 00000013: DUP1 00000014: PUSH4 0xc747c533 00000019: GT 0000001a: PUSH2 0x007f 0000001d: JUMPI 0000001e: DUP1 0000001f: PUSH4 0xf14210a6 00000024: GT 00000025: PUSH2 0x0059 00000028: JUMPI 00000029: DUP1 0000002a: PUSH4 0xf14210a6 0000002f: EQ 00000030: PUSH2 0x0207 00000033: JUMPI 00000034: DUP1 00000035: PUSH4 0xf2fde38b 0000003a: EQ 0000003b: PUSH2 0x0231 0000003e: JUMPI 0000003f: DUP1 00000040: PUSH4 0xf887ea40 00000045: EQ 00000046: PUSH2 0x0264 00000049: JUMPI 0000004a: DUP1 0000004b: PUSH4 0xfc0c546a 00000050: EQ 00000051: PUSH2 0x0279 00000054: JUMPI 00000055: PUSH2 0x00cd 00000058: JUMP 00000059: JUMPDEST 0000005a: DUP1 0000005b: PUSH4 0xc747c533 00000060: EQ 00000061: PUSH2 0x01b3 00000064: JUMPI 00000065: DUP1 00000066: PUSH4 0xe086e5ec 0000006b: EQ 0000006c: PUSH2 0x01c8 0000006f: JUMPI 00000070: DUP1 00000071: PUSH4 0xe56a645e 00000076: EQ 00000077: PUSH2 0x01dd 0000007a: JUMPI 0000007b: PUSH2 0x00cd 0000007e: JUMP 0000007f: JUMPDEST 00000080: DUP1 00000081: PUSH4 0x315a095d 00000086: EQ 00000087: PUSH2 0x00d2 0000008a: JUMPI 0000008b: DUP1 0000008c: PUSH4 0x6691461a 00000091: EQ 00000092: PUSH2 0x00fe 00000095: JUMPI 00000096: DUP1 00000097: PUSH4 0x715018a6 0000009c: EQ 0000009d: PUSH2 0x0131 000000a0: JUMPI 000000a1: DUP1 000000a2: PUSH4 0x82b2e257 000000a7: EQ 000000a8: PUSH2 0x0146 000000ab: JUMPI 000000ac: DUP1 000000ad: PUSH4 0x8d8f2adb 000000b2: EQ 000000b3: PUSH2 0x016d 000000b6: JUMPI 000000b7: DUP1 000000b8: PUSH4 0x8da5cb5b 000000bd: EQ 000000be: PUSH2 0x0182 000000c1: JUMPI 000000c2: PUSH2 0x00cd 000000c5: JUMP 000000c6: JUMPDEST 000000c7: CALLDATASIZE 000000c8: PUSH2 0x00cd 000000cb: JUMPI 000000cc: STOP 000000cd: JUMPDEST 000000ce: PUSH1 0x00 000000d0: DUP1 000000d1: REVERT 000000d2: JUMPDEST 000000d3: CALLVALUE 000000d4: DUP1 000000d5: ISZERO 000000d6: PUSH2 0x00de 000000d9: JUMPI 000000da: PUSH1 0x00 000000dc: DUP1 000000dd: REVERT 000000de: JUMPDEST 000000df: POP 000000e0: PUSH2 0x00fc 000000e3: PUSH1 0x04 000000e5: DUP1 000000e6: CALLDATASIZE 000000e7: SUB 000000e8: PUSH1 0x20 000000ea: DUP2 000000eb: LT 000000ec: ISZERO 000000ed: PUSH2 0x00f5 000000f0: JUMPI 000000f1: PUSH1 0x00 000000f3: DUP1 000000f4: REVERT 000000f5: JUMPDEST 000000f6: POP 000000f7: CALLDATALOAD 000000f8: PUSH2 0x028e 000000fb: JUMP 000000fc: JUMPDEST 000000fd: STOP 000000fe: JUMPDEST 000000ff: CALLVALUE 00000100: DUP1 00000101: ISZERO 00000102: PUSH2 0x010a 00000105: JUMPI 00000106: PUSH1 0x00 00000108: DUP1 00000109: REVERT 0000010a: JUMPDEST 0000010b: POP 0000010c: PUSH2 0x00fc 0000010f: PUSH1 0x04 00000111: DUP1 00000112: CALLDATASIZE 00000113: SUB 00000114: PUSH1 0x20 00000116: DUP2 00000117: LT 00000118: ISZERO 00000119: PUSH2 0x0121 0000011c: JUMPI 0000011d: PUSH1 0x00 0000011f: DUP1 00000120: REVERT 00000121: JUMPDEST 00000122: POP 00000123: CALLDATALOAD 00000124: PUSH1 0x01 00000126: PUSH1 0x01 00000128: PUSH1 0xa0 0000012a: SHL 0000012b: SUB 0000012c: AND 0000012d: PUSH2 0x0301 00000130: JUMP 00000131: JUMPDEST 00000132: CALLVALUE 00000133: DUP1 00000134: ISZERO 00000135: PUSH2 0x013d 00000138: JUMPI 00000139: PUSH1 0x00 0000013b: DUP1 0000013c: REVERT 0000013d: JUMPDEST 0000013e: POP 0000013f: PUSH2 0x00fc 00000142: PUSH2 0x03d6 00000145: JUMP 00000146: JUMPDEST 00000147: CALLVALUE 00000148: DUP1 00000149: ISZERO 0000014a: PUSH2 0x0152 0000014d: JUMPI 0000014e: PUSH1 0x00 00000150: DUP1 00000151: REVERT 00000152: JUMPDEST 00000153: POP 00000154: PUSH2 0x015b 00000157: PUSH2 0x0478 0000015a: JUMP 0000015b: JUMPDEST 0000015c: PUSH1 0x40 0000015e: DUP1 0000015f: MLOAD 00000160: SWAP2 00000161: DUP3 00000162: MSTORE 00000163: MLOAD 00000164: SWAP1 00000165: DUP2 00000166: SWAP1 00000167: SUB 00000168: PUSH1 0x20 0000016a: ADD 0000016b: SWAP1 0000016c: RETURN 0000016d: JUMPDEST 0000016e: CALLVALUE 0000016f: DUP1 00000170: ISZERO 00000171: PUSH2 0x0179 00000174: JUMPI 00000175: PUSH1 0x00 00000177: DUP1 00000178: REVERT 00000179: JUMPDEST 0000017a: POP 0000017b: PUSH2 0x00fc 0000017e: PUSH2 0x04f4 00000181: JUMP 00000182: JUMPDEST 00000183: CALLVALUE 00000184: DUP1 00000185: ISZERO 00000186: PUSH2 0x018e 00000189: JUMPI 0000018a: PUSH1 0x00 0000018c: DUP1 0000018d: REVERT 0000018e: JUMPDEST 0000018f: POP 00000190: PUSH2 0x0197 00000193: PUSH2 0x0571 00000196: JUMP 00000197: JUMPDEST 00000198: PUSH1 0x40 0000019a: DUP1 0000019b: MLOAD 0000019c: PUSH1 0x01 0000019e: PUSH1 0x01 000001a0: PUSH1 0xa0 000001a2: SHL 000001a3: SUB 000001a4: SWAP1 000001a5: SWAP3 000001a6: AND 000001a7: DUP3 000001a8: MSTORE 000001a9: MLOAD 000001aa: SWAP1 000001ab: DUP2 000001ac: SWAP1 000001ad: SUB 000001ae: PUSH1 0x20 000001b0: ADD 000001b1: SWAP1 000001b2: RETURN 000001b3: JUMPDEST 000001b4: CALLVALUE 000001b5: DUP1 000001b6: ISZERO 000001b7: PUSH2 0x01bf 000001ba: JUMPI 000001bb: PUSH1 0x00 000001bd: DUP1 000001be: REVERT 000001bf: JUMPDEST 000001c0: POP 000001c1: PUSH2 0x00fc 000001c4: PUSH2 0x0580 000001c7: JUMP 000001c8: JUMPDEST 000001c9: CALLVALUE 000001ca: DUP1 000001cb: ISZERO 000001cc: PUSH2 0x01d4 000001cf: JUMPI 000001d0: PUSH1 0x00 000001d2: DUP1 000001d3: REVERT 000001d4: JUMPDEST 000001d5: POP 000001d6: PUSH2 0x00fc 000001d9: PUSH2 0x0595 000001dc: JUMP 000001dd: JUMPDEST 000001de: CALLVALUE 000001df: DUP1 000001e0: ISZERO 000001e1: PUSH2 0x01e9 000001e4: JUMPI 000001e5: PUSH1 0x00 000001e7: DUP1 000001e8: REVERT 000001e9: JUMPDEST 000001ea: POP 000001eb: PUSH2 0x00fc 000001ee: PUSH1 0x04 000001f0: DUP1 000001f1: CALLDATASIZE 000001f2: SUB 000001f3: PUSH1 0x20 000001f5: DUP2 000001f6: LT 000001f7: ISZERO 000001f8: PUSH2 0x0200 000001fb: JUMPI 000001fc: PUSH1 0x00 000001fe: DUP1 000001ff: REVERT 00000200: JUMPDEST 00000201: POP 00000202: CALLDATALOAD 00000203: PUSH2 0x05f8 00000206: JUMP 00000207: JUMPDEST 00000208: CALLVALUE 00000209: DUP1 0000020a: ISZERO 0000020b: PUSH2 0x0213 0000020e: JUMPI 0000020f: PUSH1 0x00 00000211: DUP1 00000212: REVERT 00000213: JUMPDEST 00000214: POP 00000215: PUSH2 0x00fc 00000218: PUSH1 0x04 0000021a: DUP1 0000021b: CALLDATASIZE 0000021c: SUB 0000021d: PUSH1 0x20 0000021f: DUP2 00000220: LT 00000221: ISZERO 00000222: PUSH2 0x022a 00000225: JUMPI 00000226: PUSH1 0x00 00000228: DUP1 00000229: REVERT 0000022a: JUMPDEST 0000022b: POP 0000022c: CALLDATALOAD 0000022d: PUSH2 0x0647 00000230: JUMP 00000231: JUMPDEST 00000232: CALLVALUE 00000233: DUP1 00000234: ISZERO 00000235: PUSH2 0x023d 00000238: JUMPI 00000239: PUSH1 0x00 0000023b: DUP1 0000023c: REVERT 0000023d: JUMPDEST 0000023e: POP 0000023f: PUSH2 0x00fc 00000242: PUSH1 0x04 00000244: DUP1 00000245: CALLDATASIZE 00000246: SUB 00000247: PUSH1 0x20 00000249: DUP2 0000024a: LT 0000024b: ISZERO 0000024c: PUSH2 0x0254 0000024f: JUMPI 00000250: PUSH1 0x00 00000252: DUP1 00000253: REVERT 00000254: JUMPDEST 00000255: POP 00000256: CALLDATALOAD 00000257: PUSH1 0x01 00000259: PUSH1 0x01 0000025b: PUSH1 0xa0 0000025d: SHL 0000025e: SUB 0000025f: AND 00000260: PUSH2 0x06a9 00000263: JUMP 00000264: JUMPDEST 00000265: CALLVALUE 00000266: DUP1 00000267: ISZERO 00000268: PUSH2 0x0270 0000026b: JUMPI 0000026c: PUSH1 0x00 0000026e: DUP1 0000026f: REVERT 00000270: JUMPDEST 00000271: POP 00000272: PUSH2 0x0197 00000275: PUSH2 0x07a1 00000278: JUMP 00000279: JUMPDEST 0000027a: CALLVALUE 0000027b: DUP1 0000027c: ISZERO 0000027d: PUSH2 0x0285 00000280: JUMPI 00000281: PUSH1 0x00 00000283: DUP1 00000284: REVERT 00000285: JUMPDEST 00000286: POP 00000287: PUSH2 0x0197 0000028a: PUSH2 0x07b0 0000028d: JUMP 0000028e: JUMPDEST 0000028f: PUSH2 0x0296 00000292: PUSH2 0x07bf 00000295: JUMP 00000296: JUMPDEST 00000297: PUSH1 0x00 00000299: SLOAD 0000029a: PUSH1 0x01 0000029c: PUSH1 0x01 0000029e: PUSH1 0xa0 000002a0: SHL 000002a1: SUB 000002a2: SWAP1 000002a3: DUP2 000002a4: AND 000002a5: SWAP2 000002a6: AND 000002a7: EQ 000002a8: PUSH2 0x02e6 000002ab: JUMPI 000002ac: PUSH1 0x40 000002ae: DUP1 000002af: MLOAD 000002b0: PUSH3 0x461bcd 000002b4: PUSH1 0xe5 000002b6: SHL 000002b7: DUP2 000002b8: MSTORE 000002b9: PUSH1 0x20 000002bb: PUSH1 0x04 000002bd: DUP3 000002be: ADD 000002bf: DUP2 000002c0: SWAP1 000002c1: MSTORE 000002c2: PUSH1 0x24 000002c4: DUP3 000002c5: ADD 000002c6: MSTORE 000002c7: PUSH1 0x00 000002c9: DUP1 000002ca: MLOAD 000002cb: PUSH1 0x20 000002cd: PUSH2 0x0e00 000002d0: DUP4 000002d1: CODECOPY 000002d2: DUP2 000002d3: MLOAD 000002d4: SWAP2 000002d5: MSTORE 000002d6: PUSH1 0x44 000002d8: DUP3 000002d9: ADD 000002da: MSTORE 000002db: SWAP1 000002dc: MLOAD 000002dd: SWAP1 000002de: DUP2 000002df: SWAP1 000002e0: SUB 000002e1: PUSH1 0x64 000002e3: ADD 000002e4: SWAP1 000002e5: REVERT 000002e6: JUMPDEST 000002e7: PUSH1 0x02 000002e9: SLOAD 000002ea: PUSH2 0x02fe 000002ed: SWAP1 000002ee: DUP3 000002ef: SWAP1 000002f0: PUSH1 0x01 000002f2: PUSH1 0x01 000002f4: PUSH1 0xa0 000002f6: SHL 000002f7: SUB 000002f8: AND 000002f9: CALLER 000002fa: PUSH2 0x07c3 000002fd: JUMP 000002fe: JUMPDEST 000002ff: POP 00000300: JUMP 00000301: JUMPDEST 00000302: PUSH2 0x0309 00000305: PUSH2 0x07bf 00000308: JUMP 00000309: JUMPDEST 0000030a: PUSH1 0x00 0000030c: SLOAD 0000030d: PUSH1 0x01 0000030f: PUSH1 0x01 00000311: PUSH1 0xa0 00000313: SHL 00000314: SUB 00000315: SWAP1 00000316: DUP2 00000317: AND 00000318: SWAP2 00000319: AND 0000031a: EQ 0000031b: PUSH2 0x0359 0000031e: JUMPI 0000031f: PUSH1 0x40 00000321: DUP1 00000322: MLOAD 00000323: PUSH3 0x461bcd 00000327: PUSH1 0xe5 00000329: SHL 0000032a: DUP2 0000032b: MSTORE 0000032c: PUSH1 0x20 0000032e: PUSH1 0x04 00000330: DUP3 00000331: ADD 00000332: DUP2 00000333: SWAP1 00000334: MSTORE 00000335: PUSH1 0x24 00000337: DUP3 00000338: ADD 00000339: MSTORE 0000033a: PUSH1 0x00 0000033c: DUP1 0000033d: MLOAD 0000033e: PUSH1 0x20 00000340: PUSH2 0x0e00 00000343: DUP4 00000344: CODECOPY 00000345: DUP2 00000346: MLOAD 00000347: SWAP2 00000348: MSTORE 00000349: PUSH1 0x44 0000034b: DUP3 0000034c: ADD 0000034d: MSTORE 0000034e: SWAP1 0000034f: MLOAD 00000350: SWAP1 00000351: DUP2 00000352: SWAP1 00000353: SUB 00000354: PUSH1 0x64 00000356: ADD 00000357: SWAP1 00000358: REVERT 00000359: JUMPDEST 0000035a: PUSH1 0x01 0000035c: PUSH1 0x01 0000035e: PUSH1 0xa0 00000360: SHL 00000361: SUB 00000362: DUP2 00000363: AND 00000364: PUSH2 0x03b4 00000367: JUMPI 00000368: PUSH1 0x40 0000036a: DUP1 0000036b: MLOAD 0000036c: PUSH3 0x461bcd 00000370: PUSH1 0xe5 00000372: SHL 00000373: DUP2 00000374: MSTORE 00000375: PUSH1 0x20 00000377: PUSH1 0x04 00000379: DUP3 0000037a: ADD 0000037b: DUP2 0000037c: SWAP1 0000037d: MSTORE 0000037e: PUSH1 0x24 00000380: DUP3 00000381: ADD 00000382: MSTORE 00000383: PUSH32 0x4e465446756e643a20746f6b656e2069732061207a65726f2061646472657373 000003a4: PUSH1 0x44 000003a6: DUP3 000003a7: ADD 000003a8: MSTORE 000003a9: SWAP1 000003aa: MLOAD 000003ab: SWAP1 000003ac: DUP2 000003ad: SWAP1 000003ae: SUB 000003af: PUSH1 0x64 000003b1: ADD 000003b2: SWAP1 000003b3: REVERT 000003b4: JUMPDEST 000003b5: PUSH1 0x02 000003b7: DUP1 000003b8: SLOAD 000003b9: PUSH1 0x01 000003bb: PUSH1 0x01 000003bd: PUSH1 0xa0 000003bf: SHL 000003c0: SUB 000003c1: NOT 000003c2: AND 000003c3: PUSH1 0x01 000003c5: PUSH1 0x01 000003c7: PUSH1 0xa0 000003c9: SHL 000003ca: SUB 000003cb: SWAP3 000003cc: SWAP1 000003cd: SWAP3 000003ce: AND 000003cf: SWAP2 000003d0: SWAP1 000003d1: SWAP2 000003d2: OR 000003d3: SWAP1 000003d4: SSTORE 000003d5: JUMP 000003d6: JUMPDEST 000003d7: PUSH2 0x03de 000003da: PUSH2 0x07bf 000003dd: JUMP 000003de: JUMPDEST 000003df: PUSH1 0x00 000003e1: SLOAD 000003e2: PUSH1 0x01 000003e4: PUSH1 0x01 000003e6: PUSH1 0xa0 000003e8: SHL 000003e9: SUB 000003ea: SWAP1 000003eb: DUP2 000003ec: AND 000003ed: SWAP2 000003ee: AND 000003ef: EQ 000003f0: PUSH2 0x042e 000003f3: JUMPI 000003f4: PUSH1 0x40 000003f6: DUP1 000003f7: MLOAD 000003f8: PUSH3 0x461bcd 000003fc: PUSH1 0xe5 000003fe: SHL 000003ff: DUP2 00000400: MSTORE 00000401: PUSH1 0x20 00000403: PUSH1 0x04 00000405: DUP3 00000406: ADD 00000407: DUP2 00000408: SWAP1 00000409: MSTORE 0000040a: PUSH1 0x24 0000040c: DUP3 0000040d: ADD 0000040e: MSTORE 0000040f: PUSH1 0x00 00000411: DUP1 00000412: MLOAD 00000413: PUSH1 0x20 00000415: PUSH2 0x0e00 00000418: DUP4 00000419: CODECOPY 0000041a: DUP2 0000041b: MLOAD 0000041c: SWAP2 0000041d: MSTORE 0000041e: PUSH1 0x44 00000420: DUP3 00000421: ADD 00000422: MSTORE 00000423: SWAP1 00000424: MLOAD 00000425: SWAP1 00000426: DUP2 00000427: SWAP1 00000428: SUB 00000429: PUSH1 0x64 0000042b: ADD 0000042c: SWAP1 0000042d: REVERT 0000042e: JUMPDEST 0000042f: PUSH1 0x00 00000431: DUP1 00000432: SLOAD 00000433: PUSH1 0x40 00000435: MLOAD 00000436: PUSH1 0x01 00000438: PUSH1 0x01 0000043a: PUSH1 0xa0 0000043c: SHL 0000043d: SUB 0000043e: SWAP1 0000043f: SWAP2 00000440: AND 00000441: SWAP1 00000442: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0 00000463: SWAP1 00000464: DUP4 00000465: SWAP1 00000466: LOG3 00000467: PUSH1 0x00 00000469: DUP1 0000046a: SLOAD 0000046b: PUSH1 0x01 0000046d: PUSH1 0x01 0000046f: PUSH1 0xa0 00000471: SHL 00000472: SUB 00000473: NOT 00000474: AND 00000475: SWAP1 00000476: SSTORE 00000477: JUMP 00000478: JUMPDEST 00000479: PUSH1 0x02 0000047b: SLOAD 0000047c: PUSH1 0x40 0000047e: DUP1 0000047f: MLOAD 00000480: PUSH4 0x70a08231 00000485: PUSH1 0xe0 00000487: SHL 00000488: DUP2 00000489: MSTORE 0000048a: ADDRESS 0000048b: PUSH1 0x04 0000048d: DUP3 0000048e: ADD 0000048f: MSTORE 00000490: SWAP1 00000491: MLOAD 00000492: PUSH1 0x00 00000494: SWAP3 00000495: PUSH1 0x01 00000497: PUSH1 0x01 00000499: PUSH1 0xa0 0000049b: SHL 0000049c: SUB 0000049d: AND 0000049e: SWAP2 0000049f: PUSH4 0x70a08231 000004a4: SWAP2 000004a5: PUSH1 0x24 000004a7: DUP1 000004a8: DUP4 000004a9: ADD 000004aa: SWAP3 000004ab: PUSH1 0x20 000004ad: SWAP3 000004ae: SWAP2 000004af: SWAP1 000004b0: DUP3 000004b1: SWAP1 000004b2: SUB 000004b3: ADD 000004b4: DUP2 000004b5: DUP7 000004b6: DUP1 000004b7: EXTCODESIZE 000004b8: ISZERO 000004b9: DUP1 000004ba: ISZERO 000004bb: PUSH2 0x04c3 000004be: JUMPI 000004bf: PUSH1 0x00 000004c1: DUP1 000004c2: REVERT 000004c3: JUMPDEST 000004c4: POP 000004c5: GAS 000004c6: STATICCALL 000004c7: ISZERO 000004c8: DUP1 000004c9: ISZERO 000004ca: PUSH2 0x04d7 000004cd: JUMPI 000004ce: RETURNDATASIZE 000004cf: PUSH1 0x00 000004d1: DUP1 000004d2: RETURNDATACOPY 000004d3: RETURNDATASIZE 000004d4: PUSH1 0x00 000004d6: REVERT 000004d7: JUMPDEST 000004d8: POP 000004d9: POP 000004da: POP 000004db: POP 000004dc: PUSH1 0x40 000004de: MLOAD 000004df: RETURNDATASIZE 000004e0: PUSH1 0x20 000004e2: DUP2 000004e3: LT 000004e4: ISZERO 000004e5: PUSH2 0x04ed 000004e8: JUMPI 000004e9: PUSH1 0x00 000004eb: DUP1 000004ec: REVERT 000004ed: JUMPDEST 000004ee: POP 000004ef: MLOAD 000004f0: SWAP1 000004f1: POP 000004f2: SWAP1 000004f3: JUMP 000004f4: JUMPDEST 000004f5: PUSH2 0x04fc 000004f8: PUSH2 0x07bf 000004fb: JUMP 000004fc: JUMPDEST 000004fd: PUSH1 0x00 000004ff: SLOAD 00000500: PUSH1 0x01 00000502: PUSH1 0x01 00000504: PUSH1 0xa0 00000506: SHL 00000507: SUB 00000508: SWAP1 00000509: DUP2 0000050a: AND 0000050b: SWAP2 0000050c: AND 0000050d: EQ 0000050e: PUSH2 0x054c 00000511: JUMPI 00000512: PUSH1 0x40 00000514: DUP1 00000515: MLOAD 00000516: PUSH3 0x461bcd 0000051a: PUSH1 0xe5 0000051c: SHL 0000051d: DUP2 0000051e: MSTORE 0000051f: PUSH1 0x20 00000521: PUSH1 0x04 00000523: DUP3 00000524: ADD 00000525: DUP2 00000526: SWAP1 00000527: MSTORE 00000528: PUSH1 0x24 0000052a: DUP3 0000052b: ADD 0000052c: MSTORE 0000052d: PUSH1 0x00 0000052f: DUP1 00000530: MLOAD 00000531: PUSH1 0x20 00000533: PUSH2 0x0e00 00000536: DUP4 00000537: CODECOPY 00000538: DUP2 00000539: MLOAD 0000053a: SWAP2 0000053b: MSTORE 0000053c: PUSH1 0x44 0000053e: DUP3 0000053f: ADD 00000540: MSTORE 00000541: SWAP1 00000542: MLOAD 00000543: SWAP1 00000544: DUP2 00000545: SWAP1 00000546: SUB 00000547: PUSH1 0x64 00000549: ADD 0000054a: SWAP1 0000054b: REVERT 0000054c: JUMPDEST 0000054d: PUSH1 0x00 0000054f: PUSH2 0x0556 00000552: PUSH2 0x0478 00000555: JUMP 00000556: JUMPDEST 00000557: PUSH1 0x02 00000559: SLOAD 0000055a: SWAP1 0000055b: SWAP2 0000055c: POP 0000055d: PUSH2 0x02fe 00000560: SWAP1 00000561: DUP3 00000562: SWAP1 00000563: PUSH1 0x01 00000565: PUSH1 0x01 00000567: PUSH1 0xa0 00000569: SHL 0000056a: SUB 0000056b: AND 0000056c: CALLER 0000056d: PUSH2 0x07c3 00000570: JUMP 00000571: JUMPDEST 00000572: PUSH1 0x00 00000574: SLOAD 00000575: PUSH1 0x01 00000577: PUSH1 0x01 00000579: PUSH1 0xa0 0000057b: SHL 0000057c: SUB 0000057d: AND 0000057e: SWAP1 0000057f: JUMP 00000580: JUMPDEST 00000581: PUSH1 0x00 00000583: PUSH2 0x058a 00000586: PUSH2 0x0478 00000589: JUMP 0000058a: JUMPDEST 0000058b: SWAP1 0000058c: POP 0000058d: PUSH2 0x02fe 00000590: DUP2 00000591: PUSH2 0x0913 00000594: JUMP 00000595: JUMPDEST 00000596: PUSH2 0x059d 00000599: PUSH2 0x07bf 0000059c: JUMP 0000059d: JUMPDEST 0000059e: PUSH1 0x00 000005a0: SLOAD 000005a1: PUSH1 0x01 000005a3: PUSH1 0x01 000005a5: PUSH1 0xa0 000005a7: SHL 000005a8: SUB 000005a9: SWAP1 000005aa: DUP2 000005ab: AND 000005ac: SWAP2 000005ad: AND 000005ae: EQ 000005af: PUSH2 0x05ed 000005b2: JUMPI 000005b3: PUSH1 0x40 000005b5: DUP1 000005b6: MLOAD 000005b7: PUSH3 0x461bcd 000005bb: PUSH1 0xe5 000005bd: SHL 000005be: DUP2 000005bf: MSTORE 000005c0: PUSH1 0x20 000005c2: PUSH1 0x04 000005c4: DUP3 000005c5: ADD 000005c6: DUP2 000005c7: SWAP1 000005c8: MSTORE 000005c9: PUSH1 0x24 000005cb: DUP3 000005cc: ADD 000005cd: MSTORE 000005ce: PUSH1 0x00 000005d0: DUP1 000005d1: MLOAD 000005d2: PUSH1 0x20 000005d4: PUSH2 0x0e00 000005d7: DUP4 000005d8: CODECOPY 000005d9: DUP2 000005da: MLOAD 000005db: SWAP2 000005dc: MSTORE 000005dd: PUSH1 0x44 000005df: DUP3 000005e0: ADD 000005e1: MSTORE 000005e2: SWAP1 000005e3: MLOAD 000005e4: SWAP1 000005e5: DUP2 000005e6: SWAP1 000005e7: SUB 000005e8: PUSH1 0x64 000005ea: ADD 000005eb: SWAP1 000005ec: REVERT 000005ed: JUMPDEST 000005ee: SELFBALANCE 000005ef: PUSH2 0x02fe 000005f2: DUP2 000005f3: CALLER 000005f4: PUSH2 0x0b0e 000005f7: JUMP 000005f8: JUMPDEST 000005f9: PUSH2 0x0600 000005fc: PUSH2 0x0478 000005ff: JUMP 00000600: JUMPDEST 00000601: DUP2 00000602: GT 00000603: ISZERO 00000604: PUSH2 0x063e 00000607: JUMPI 00000608: PUSH1 0x40 0000060a: MLOAD 0000060b: PUSH3 0x461bcd 0000060f: PUSH1 0xe5 00000611: SHL 00000612: DUP2 00000613: MSTORE 00000614: PUSH1 0x04 00000616: ADD 00000617: DUP1 00000618: DUP1 00000619: PUSH1 0x20 0000061b: ADD 0000061c: DUP3 0000061d: DUP2 0000061e: SUB 0000061f: DUP3 00000620: MSTORE 00000621: PUSH1 0x25 00000623: DUP2 00000624: MSTORE 00000625: PUSH1 0x20 00000627: ADD 00000628: DUP1 00000629: PUSH2 0x0dba 0000062c: PUSH1 0x25 0000062e: SWAP2 0000062f: CODECOPY 00000630: PUSH1 0x40 00000632: ADD 00000633: SWAP2 00000634: POP 00000635: POP 00000636: PUSH1 0x40 00000638: MLOAD 00000639: DUP1 0000063a: SWAP2 0000063b: SUB 0000063c: SWAP1 0000063d: REVERT 0000063e: JUMPDEST 0000063f: PUSH2 0x02fe 00000642: DUP2 00000643: PUSH2 0x0913 00000646: JUMP 00000647: JUMPDEST 00000648: PUSH2 0x064f 0000064b: PUSH2 0x07bf 0000064e: JUMP 0000064f: JUMPDEST 00000650: PUSH1 0x00 00000652: SLOAD 00000653: PUSH1 0x01 00000655: PUSH1 0x01 00000657: PUSH1 0xa0 00000659: SHL 0000065a: SUB 0000065b: SWAP1 0000065c: DUP2 0000065d: AND 0000065e: SWAP2 0000065f: AND 00000660: EQ 00000661: PUSH2 0x069f 00000664: JUMPI 00000665: PUSH1 0x40 00000667: DUP1 00000668: MLOAD 00000669: PUSH3 0x461bcd 0000066d: PUSH1 0xe5 0000066f: SHL 00000670: DUP2 00000671: MSTORE 00000672: PUSH1 0x20 00000674: PUSH1 0x04 00000676: DUP3 00000677: ADD 00000678: DUP2 00000679: SWAP1 0000067a: MSTORE 0000067b: PUSH1 0x24 0000067d: DUP3 0000067e: ADD 0000067f: MSTORE 00000680: PUSH1 0x00 00000682: DUP1 00000683: MLOAD 00000684: PUSH1 0x20 00000686: PUSH2 0x0e00 00000689: DUP4 0000068a: CODECOPY 0000068b: DUP2 0000068c: MLOAD 0000068d: SWAP2 0000068e: MSTORE 0000068f: PUSH1 0x44 00000691: DUP3 00000692: ADD 00000693: MSTORE 00000694: SWAP1 00000695: MLOAD 00000696: SWAP1 00000697: DUP2 00000698: SWAP1 00000699: SUB 0000069a: PUSH1 0x64 0000069c: ADD 0000069d: SWAP1 0000069e: REVERT 0000069f: JUMPDEST 000006a0: PUSH2 0x02fe 000006a3: DUP2 000006a4: CALLER 000006a5: PUSH2 0x0b0e 000006a8: JUMP 000006a9: JUMPDEST 000006aa: PUSH2 0x06b1 000006ad: PUSH2 0x07bf 000006b0: JUMP 000006b1: JUMPDEST 000006b2: PUSH1 0x00 000006b4: SLOAD 000006b5: PUSH1 0x01 000006b7: PUSH1 0x01 000006b9: PUSH1 0xa0 000006bb: SHL 000006bc: SUB 000006bd: SWAP1 000006be: DUP2 000006bf: AND 000006c0: SWAP2 000006c1: AND 000006c2: EQ 000006c3: PUSH2 0x0701 000006c6: JUMPI 000006c7: PUSH1 0x40 000006c9: DUP1 000006ca: MLOAD 000006cb: PUSH3 0x461bcd 000006cf: PUSH1 0xe5 000006d1: SHL 000006d2: DUP2 000006d3: MSTORE 000006d4: PUSH1 0x20 000006d6: PUSH1 0x04 000006d8: DUP3 000006d9: ADD 000006da: DUP2 000006db: SWAP1 000006dc: MSTORE 000006dd: PUSH1 0x24 000006df: DUP3 000006e0: ADD 000006e1: MSTORE 000006e2: PUSH1 0x00 000006e4: DUP1 000006e5: MLOAD 000006e6: PUSH1 0x20 000006e8: PUSH2 0x0e00 000006eb: DUP4 000006ec: CODECOPY 000006ed: DUP2 000006ee: MLOAD 000006ef: SWAP2 000006f0: MSTORE 000006f1: PUSH1 0x44 000006f3: DUP3 000006f4: ADD 000006f5: MSTORE 000006f6: SWAP1 000006f7: MLOAD 000006f8: SWAP1 000006f9: DUP2 000006fa: SWAP1 000006fb: SUB 000006fc: PUSH1 0x64 000006fe: ADD 000006ff: SWAP1 00000700: REVERT 00000701: JUMPDEST 00000702: PUSH1 0x01 00000704: PUSH1 0x01 00000706: PUSH1 0xa0 00000708: SHL 00000709: SUB 0000070a: DUP2 0000070b: AND 0000070c: PUSH2 0x0746 0000070f: JUMPI 00000710: PUSH1 0x40 00000712: MLOAD 00000713: PUSH3 0x461bcd 00000717: PUSH1 0xe5 00000719: SHL 0000071a: DUP2 0000071b: MSTORE 0000071c: PUSH1 0x04 0000071e: ADD 0000071f: DUP1 00000720: DUP1 00000721: PUSH1 0x20 00000723: ADD 00000724: DUP3 00000725: DUP2 00000726: SUB 00000727: DUP3 00000728: MSTORE 00000729: PUSH1 0x26 0000072b: DUP2 0000072c: MSTORE 0000072d: PUSH1 0x20 0000072f: ADD 00000730: DUP1 00000731: PUSH2 0x0d71 00000734: PUSH1 0x26 00000736: SWAP2 00000737: CODECOPY 00000738: PUSH1 0x40 0000073a: ADD 0000073b: SWAP2 0000073c: POP 0000073d: POP 0000073e: PUSH1 0x40 00000740: MLOAD 00000741: DUP1 00000742: SWAP2 00000743: SUB 00000744: SWAP1 00000745: REVERT 00000746: JUMPDEST 00000747: PUSH1 0x00 00000749: DUP1 0000074a: SLOAD 0000074b: PUSH1 0x40 0000074d: MLOAD 0000074e: PUSH1 0x01 00000750: PUSH1 0x01 00000752: PUSH1 0xa0 00000754: SHL 00000755: SUB 00000756: DUP1 00000757: DUP6 00000758: AND 00000759: SWAP4 0000075a: SWAP3 0000075b: AND 0000075c: SWAP2 0000075d: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0 0000077e: SWAP2 0000077f: LOG3 00000780: PUSH1 0x00 00000782: DUP1 00000783: SLOAD 00000784: PUSH1 0x01 00000786: PUSH1 0x01 00000788: PUSH1 0xa0 0000078a: SHL 0000078b: SUB 0000078c: NOT 0000078d: AND 0000078e: PUSH1 0x01 00000790: PUSH1 0x01 00000792: PUSH1 0xa0 00000794: SHL 00000795: SUB 00000796: SWAP3 00000797: SWAP1 00000798: SWAP3 00000799: AND 0000079a: SWAP2 0000079b: SWAP1 0000079c: SWAP2 0000079d: OR 0000079e: SWAP1 0000079f: SSTORE 000007a0: JUMP 000007a1: JUMPDEST 000007a2: PUSH1 0x01 000007a4: SLOAD 000007a5: PUSH1 0x01 000007a7: PUSH1 0x01 000007a9: PUSH1 0xa0 000007ab: SHL 000007ac: SUB 000007ad: AND 000007ae: DUP2 000007af: JUMP 000007b0: JUMPDEST 000007b1: PUSH1 0x02 000007b3: SLOAD 000007b4: PUSH1 0x01 000007b6: PUSH1 0x01 000007b8: PUSH1 0xa0 000007ba: SHL 000007bb: SUB 000007bc: AND 000007bd: DUP2 000007be: JUMP 000007bf: JUMPDEST 000007c0: CALLER 000007c1: SWAP1 000007c2: JUMP 000007c3: JUMPDEST 000007c4: PUSH1 0x00 000007c6: DUP4 000007c7: GT 000007c8: PUSH2 0x0802 000007cb: JUMPI 000007cc: PUSH1 0x40 000007ce: MLOAD 000007cf: PUSH3 0x461bcd 000007d3: PUSH1 0xe5 000007d5: SHL 000007d6: DUP2 000007d7: MSTORE 000007d8: PUSH1 0x04 000007da: ADD 000007db: DUP1 000007dc: DUP1 000007dd: PUSH1 0x20 000007df: ADD 000007e0: DUP3 000007e1: DUP2 000007e2: SUB 000007e3: DUP3 000007e4: MSTORE 000007e5: PUSH1 0x23 000007e7: DUP2 000007e8: MSTORE 000007e9: PUSH1 0x20 000007eb: ADD 000007ec: DUP1 000007ed: PUSH2 0x0e20 000007f0: PUSH1 0x23 000007f2: SWAP2 000007f3: CODECOPY 000007f4: PUSH1 0x40 000007f6: ADD 000007f7: SWAP2 000007f8: POP 000007f9: POP 000007fa: PUSH1 0x40 000007fc: MLOAD 000007fd: DUP1 000007fe: SWAP2 000007ff: SUB 00000800: SWAP1 00000801: REVERT 00000802: JUMPDEST 00000803: PUSH2 0x080a 00000806: PUSH2 0x0478 00000809: JUMP 0000080a: JUMPDEST 0000080b: DUP4 0000080c: GT 0000080d: ISZERO 0000080e: PUSH2 0x0848 00000811: JUMPI 00000812: PUSH1 0x40 00000814: MLOAD 00000815: PUSH3 0x461bcd 00000819: PUSH1 0xe5 0000081b: SHL 0000081c: DUP2 0000081d: MSTORE 0000081e: PUSH1 0x04 00000820: ADD 00000821: DUP1 00000822: DUP1 00000823: PUSH1 0x20 00000825: ADD 00000826: DUP3 00000827: DUP2 00000828: SUB 00000829: DUP3 0000082a: MSTORE 0000082b: PUSH1 0x25 0000082d: DUP2 0000082e: MSTORE 0000082f: PUSH1 0x20 00000831: ADD 00000832: DUP1 00000833: PUSH2 0x0dba 00000836: PUSH1 0x25 00000838: SWAP2 00000839: CODECOPY 0000083a: PUSH1 0x40 0000083c: ADD 0000083d: SWAP2 0000083e: POP 0000083f: POP 00000840: PUSH1 0x40 00000842: MLOAD 00000843: DUP1 00000844: SWAP2 00000845: SUB 00000846: SWAP1 00000847: REVERT 00000848: JUMPDEST 00000849: DUP2 0000084a: PUSH1 0x01 0000084c: PUSH1 0x01 0000084e: PUSH1 0xa0 00000850: SHL 00000851: SUB 00000852: AND 00000853: PUSH4 0xa9059cbb 00000858: DUP3 00000859: DUP6 0000085a: PUSH1 0x40 0000085c: MLOAD 0000085d: DUP4 0000085e: PUSH4 0xffffffff 00000863: AND 00000864: PUSH1 0xe0 00000866: SHL 00000867: DUP2 00000868: MSTORE 00000869: PUSH1 0x04 0000086b: ADD 0000086c: DUP1 0000086d: DUP4 0000086e: PUSH1 0x01 00000870: PUSH1 0x01 00000872: PUSH1 0xa0 00000874: SHL 00000875: SUB 00000876: AND 00000877: DUP2 00000878: MSTORE 00000879: PUSH1 0x20 0000087b: ADD 0000087c: DUP3 0000087d: DUP2 0000087e: MSTORE 0000087f: PUSH1 0x20 00000881: ADD 00000882: SWAP3 00000883: POP 00000884: POP 00000885: POP 00000886: PUSH1 0x20 00000888: PUSH1 0x40 0000088a: MLOAD 0000088b: DUP1 0000088c: DUP4 0000088d: SUB 0000088e: DUP2 0000088f: PUSH1 0x00 00000891: DUP8 00000892: DUP1 00000893: EXTCODESIZE 00000894: ISZERO 00000895: DUP1 00000896: ISZERO 00000897: PUSH2 0x089f 0000089a: JUMPI 0000089b: PUSH1 0x00 0000089d: DUP1 0000089e: REVERT 0000089f: JUMPDEST 000008a0: POP 000008a1: GAS 000008a2: CALL 000008a3: ISZERO 000008a4: DUP1 000008a5: ISZERO 000008a6: PUSH2 0x08b3 000008a9: JUMPI 000008aa: RETURNDATASIZE 000008ab: PUSH1 0x00 000008ad: DUP1 000008ae: RETURNDATACOPY 000008af: RETURNDATASIZE 000008b0: PUSH1 0x00 000008b2: REVERT 000008b3: JUMPDEST 000008b4: POP 000008b5: POP 000008b6: POP 000008b7: POP 000008b8: PUSH1 0x40 000008ba: MLOAD 000008bb: RETURNDATASIZE 000008bc: PUSH1 0x20 000008be: DUP2 000008bf: LT 000008c0: ISZERO 000008c1: PUSH2 0x08c9 000008c4: JUMPI 000008c5: PUSH1 0x00 000008c7: DUP1 000008c8: REVERT 000008c9: JUMPDEST 000008ca: POP 000008cb: POP 000008cc: PUSH1 0x40 000008ce: DUP1 000008cf: MLOAD 000008d0: DUP5 000008d1: DUP2 000008d2: MSTORE 000008d3: SWAP1 000008d4: MLOAD 000008d5: PUSH1 0x01 000008d7: PUSH1 0x01 000008d9: PUSH1 0xa0 000008db: SHL 000008dc: SUB 000008dd: DUP1 000008de: DUP5 000008df: AND 000008e0: SWAP3 000008e1: SWAP1 000008e2: DUP6 000008e3: AND 000008e4: SWAP2 000008e5: PUSH32 0x565c65832ac6093eff9de1c5177fbfdb38aca147f3aaaace6abd500d4f98732d 00000906: SWAP2 00000907: DUP2 00000908: SWAP1 00000909: SUB 0000090a: PUSH1 0x20 0000090c: ADD 0000090d: SWAP1 0000090e: LOG3 0000090f: POP 00000910: POP 00000911: POP 00000912: JUMP 00000913: JUMPDEST 00000914: PUSH1 0x40 00000916: DUP1 00000917: MLOAD 00000918: PUSH1 0x02 0000091a: DUP1 0000091b: DUP3 0000091c: MSTORE 0000091d: PUSH1 0x60 0000091f: DUP1 00000920: DUP4 00000921: ADD 00000922: DUP5 00000923: MSTORE 00000924: SWAP3 00000925: PUSH1 0x20 00000927: DUP4 00000928: ADD 00000929: SWAP1 0000092a: DUP1 0000092b: CALLDATASIZE 0000092c: DUP4 0000092d: CALLDATACOPY 0000092e: POP 0000092f: POP 00000930: PUSH1 0x02 00000932: SLOAD 00000933: DUP3 00000934: MLOAD 00000935: SWAP3 00000936: SWAP4 00000937: POP 00000938: PUSH1 0x01 0000093a: PUSH1 0x01 0000093c: PUSH1 0xa0 0000093e: SHL 0000093f: SUB 00000940: AND 00000941: SWAP2 00000942: DUP4 00000943: SWAP2 00000944: POP 00000945: PUSH1 0x00 00000947: SWAP1 00000948: PUSH2 0x094d 0000094b: JUMPI 0000094c: INVALID 0000094d: JUMPDEST 0000094e: PUSH1 0x01 00000950: PUSH1 0x01 00000952: PUSH1 0xa0 00000954: SHL 00000955: SUB 00000956: SWAP3 00000957: DUP4 00000958: AND 00000959: PUSH1 0x20 0000095b: SWAP2 0000095c: DUP3 0000095d: MUL 0000095e: SWAP3 0000095f: SWAP1 00000960: SWAP3 00000961: ADD 00000962: DUP2 00000963: ADD 00000964: SWAP2 00000965: SWAP1 00000966: SWAP2 00000967: MSTORE 00000968: PUSH1 0x01 0000096a: SLOAD 0000096b: PUSH1 0x40 0000096d: DUP1 0000096e: MLOAD 0000096f: PUSH4 0x15ab88c9 00000974: PUSH1 0xe3 00000976: SHL 00000977: DUP2 00000978: MSTORE 00000979: SWAP1 0000097a: MLOAD 0000097b: SWAP2 0000097c: SWAP1 0000097d: SWAP4 0000097e: AND 0000097f: SWAP3 00000980: PUSH4 0xad5c4648 00000985: SWAP3 00000986: PUSH1 0x04 00000988: DUP1 00000989: DUP4 0000098a: ADD 0000098b: SWAP4 0000098c: SWAP2 0000098d: SWAP3 0000098e: DUP3 0000098f: SWAP1 00000990: SUB 00000991: ADD 00000992: DUP2 00000993: DUP7 00000994: DUP1 00000995: EXTCODESIZE 00000996: ISZERO 00000997: DUP1 00000998: ISZERO 00000999: PUSH2 0x09a1 0000099c: JUMPI 0000099d: PUSH1 0x00 0000099f: DUP1 000009a0: REVERT 000009a1: JUMPDEST 000009a2: POP 000009a3: GAS 000009a4: STATICCALL 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: POP 000009ba: PUSH1 0x40 000009bc: MLOAD 000009bd: RETURNDATASIZE 000009be: PUSH1 0x20 000009c0: DUP2 000009c1: LT 000009c2: ISZERO 000009c3: PUSH2 0x09cb 000009c6: JUMPI 000009c7: PUSH1 0x00 000009c9: DUP1 000009ca: REVERT 000009cb: JUMPDEST 000009cc: POP 000009cd: MLOAD 000009ce: DUP2 000009cf: MLOAD 000009d0: DUP3 000009d1: SWAP1 000009d2: PUSH1 0x01 000009d4: SWAP1 000009d5: DUP2 000009d6: LT 000009d7: PUSH2 0x09dc 000009da: JUMPI 000009db: INVALID 000009dc: JUMPDEST 000009dd: PUSH1 0x01 000009df: PUSH1 0x01 000009e1: PUSH1 0xa0 000009e3: SHL 000009e4: SUB 000009e5: SWAP3 000009e6: DUP4 000009e7: AND 000009e8: PUSH1 0x20 000009ea: SWAP2 000009eb: DUP3 000009ec: MUL 000009ed: SWAP3 000009ee: SWAP1 000009ef: SWAP3 000009f0: ADD 000009f1: ADD 000009f2: MSTORE 000009f3: PUSH1 0x02 000009f5: SLOAD 000009f6: PUSH1 0x01 000009f8: SLOAD 000009f9: PUSH2 0x0a07 000009fc: SWAP3 000009fd: SWAP2 000009fe: DUP3 000009ff: AND 00000a00: SWAP2 00000a01: AND 00000a02: DUP5 00000a03: PUSH2 0x0c06 00000a06: JUMP 00000a07: JUMPDEST 00000a08: PUSH1 0x01 00000a0a: SLOAD 00000a0b: PUSH1 0x40 00000a0d: MLOAD 00000a0e: PUSH4 0x791ac947 00000a13: PUSH1 0xe0 00000a15: SHL 00000a16: DUP2 00000a17: MSTORE 00000a18: PUSH1 0x04 00000a1a: DUP2 00000a1b: ADD 00000a1c: DUP5 00000a1d: DUP2 00000a1e: MSTORE 00000a1f: PUSH1 0x00 00000a21: PUSH1 0x24 00000a23: DUP4 00000a24: ADD 00000a25: DUP2 00000a26: SWAP1 00000a27: MSTORE 00000a28: ADDRESS 00000a29: PUSH1 0x64 00000a2b: DUP5 00000a2c: ADD 00000a2d: DUP2 00000a2e: SWAP1 00000a2f: MSTORE 00000a30: TIMESTAMP 00000a31: PUSH1 0x84 00000a33: DUP6 00000a34: ADD 00000a35: DUP2 00000a36: SWAP1 00000a37: MSTORE 00000a38: PUSH1 0xa0 00000a3a: PUSH1 0x44 00000a3c: DUP7 00000a3d: ADD 00000a3e: SWAP1 00000a3f: DUP2 00000a40: MSTORE 00000a41: DUP8 00000a42: MLOAD 00000a43: PUSH1 0xa4 00000a45: DUP8 00000a46: ADD 00000a47: MSTORE 00000a48: DUP8 00000a49: MLOAD 00000a4a: PUSH1 0x01 00000a4c: PUSH1 0x01 00000a4e: PUSH1 0xa0 00000a50: SHL 00000a51: SUB 00000a52: SWAP1 00000a53: SWAP8 00000a54: AND 00000a55: SWAP7 00000a56: PUSH4 0x791ac947 00000a5b: SWAP7 00000a5c: DUP11 00000a5d: SWAP7 00000a5e: DUP11 00000a5f: SWAP6 00000a60: SWAP5 00000a61: SWAP4 00000a62: SWAP1 00000a63: SWAP3 00000a64: SWAP1 00000a65: SWAP2 00000a66: PUSH1 0xc4 00000a68: ADD 00000a69: SWAP1 00000a6a: PUSH1 0x20 00000a6c: DUP1 00000a6d: DUP9 00000a6e: ADD 00000a6f: SWAP2 00000a70: MUL 00000a71: DUP1 00000a72: DUP4 00000a73: DUP4 00000a74: DUP12 00000a75: JUMPDEST 00000a76: DUP4 00000a77: DUP2 00000a78: LT 00000a79: ISZERO 00000a7a: PUSH2 0x0a8d 00000a7d: JUMPI 00000a7e: DUP2 00000a7f: DUP2 00000a80: ADD 00000a81: MLOAD 00000a82: DUP4 00000a83: DUP3 00000a84: ADD 00000a85: MSTORE 00000a86: PUSH1 0x20 00000a88: ADD 00000a89: PUSH2 0x0a75 00000a8c: JUMP 00000a8d: JUMPDEST 00000a8e: POP 00000a8f: POP 00000a90: POP 00000a91: POP 00000a92: SWAP1 00000a93: POP 00000a94: ADD 00000a95: SWAP7 00000a96: POP 00000a97: POP 00000a98: POP 00000a99: POP 00000a9a: POP 00000a9b: POP 00000a9c: POP 00000a9d: PUSH1 0x00 00000a9f: PUSH1 0x40 00000aa1: MLOAD 00000aa2: DUP1 00000aa3: DUP4 00000aa4: SUB 00000aa5: DUP2 00000aa6: PUSH1 0x00 00000aa8: DUP8 00000aa9: DUP1 00000aaa: EXTCODESIZE 00000aab: ISZERO 00000aac: DUP1 00000aad: ISZERO 00000aae: PUSH2 0x0ab6 00000ab1: JUMPI 00000ab2: PUSH1 0x00 00000ab4: DUP1 00000ab5: REVERT 00000ab6: JUMPDEST 00000ab7: POP 00000ab8: GAS 00000ab9: CALL 00000aba: ISZERO 00000abb: DUP1 00000abc: ISZERO 00000abd: PUSH2 0x0aca 00000ac0: JUMPI 00000ac1: RETURNDATASIZE 00000ac2: PUSH1 0x00 00000ac4: DUP1 00000ac5: RETURNDATACOPY 00000ac6: RETURNDATASIZE 00000ac7: PUSH1 0x00 00000ac9: REVERT 00000aca: JUMPDEST 00000acb: POP 00000acc: POP 00000acd: PUSH1 0x40 00000acf: DUP1 00000ad0: MLOAD 00000ad1: DUP6 00000ad2: DUP2 00000ad3: MSTORE 00000ad4: SELFBALANCE 00000ad5: PUSH1 0x20 00000ad7: DUP3 00000ad8: ADD 00000ad9: MSTORE 00000ada: DUP2 00000adb: MLOAD 00000adc: CALLER 00000add: SWAP5 00000ade: POP 00000adf: PUSH32 0xc29d63868510469ed824c1cf2957d70d3e9b6f249d6bac73047af70e49d8dcd3 00000b00: SWAP4 00000b01: POP 00000b02: SWAP1 00000b03: DUP2 00000b04: SWAP1 00000b05: SUB 00000b06: SWAP1 00000b07: SWAP2 00000b08: ADD 00000b09: SWAP1 00000b0a: LOG2 00000b0b: POP 00000b0c: POP 00000b0d: JUMP 00000b0e: JUMPDEST 00000b0f: PUSH1 0x00 00000b11: DUP3 00000b12: GT 00000b13: PUSH2 0x0b4d 00000b16: JUMPI 00000b17: PUSH1 0x40 00000b19: MLOAD 00000b1a: PUSH3 0x461bcd 00000b1e: PUSH1 0xe5 00000b20: SHL 00000b21: DUP2 00000b22: MSTORE 00000b23: PUSH1 0x04 00000b25: ADD 00000b26: DUP1 00000b27: DUP1 00000b28: PUSH1 0x20 00000b2a: ADD 00000b2b: DUP3 00000b2c: DUP2 00000b2d: SUB 00000b2e: DUP3 00000b2f: MSTORE 00000b30: PUSH1 0x21 00000b32: DUP2 00000b33: MSTORE 00000b34: PUSH1 0x20 00000b36: ADD 00000b37: DUP1 00000b38: PUSH2 0x0ddf 00000b3b: PUSH1 0x21 00000b3d: SWAP2 00000b3e: CODECOPY 00000b3f: PUSH1 0x40 00000b41: ADD 00000b42: SWAP2 00000b43: POP 00000b44: POP 00000b45: PUSH1 0x40 00000b47: MLOAD 00000b48: DUP1 00000b49: SWAP2 00000b4a: SUB 00000b4b: SWAP1 00000b4c: REVERT 00000b4d: JUMPDEST 00000b4e: SELFBALANCE 00000b4f: DUP3 00000b50: GT 00000b51: ISZERO 00000b52: PUSH2 0x0b8c 00000b55: JUMPI 00000b56: PUSH1 0x40 00000b58: MLOAD 00000b59: PUSH3 0x461bcd 00000b5d: PUSH1 0xe5 00000b5f: SHL 00000b60: DUP2 00000b61: MSTORE 00000b62: PUSH1 0x04 00000b64: ADD 00000b65: DUP1 00000b66: DUP1 00000b67: PUSH1 0x20 00000b69: ADD 00000b6a: DUP3 00000b6b: DUP2 00000b6c: SUB 00000b6d: DUP3 00000b6e: MSTORE 00000b6f: PUSH1 0x23 00000b71: DUP2 00000b72: MSTORE 00000b73: PUSH1 0x20 00000b75: ADD 00000b76: DUP1 00000b77: PUSH2 0x0d97 00000b7a: PUSH1 0x23 00000b7c: SWAP2 00000b7d: CODECOPY 00000b7e: PUSH1 0x40 00000b80: ADD 00000b81: SWAP2 00000b82: POP 00000b83: POP 00000b84: PUSH1 0x40 00000b86: MLOAD 00000b87: DUP1 00000b88: SWAP2 00000b89: SUB 00000b8a: SWAP1 00000b8b: REVERT 00000b8c: JUMPDEST 00000b8d: PUSH1 0x40 00000b8f: MLOAD 00000b90: PUSH1 0x01 00000b92: PUSH1 0x01 00000b94: PUSH1 0xa0 00000b96: SHL 00000b97: SUB 00000b98: DUP3 00000b99: AND 00000b9a: SWAP1 00000b9b: DUP4 00000b9c: ISZERO 00000b9d: PUSH2 0x08fc 00000ba0: MUL 00000ba1: SWAP1 00000ba2: DUP5 00000ba3: SWAP1 00000ba4: PUSH1 0x00 00000ba6: DUP2 00000ba7: DUP2 00000ba8: DUP2 00000ba9: DUP6 00000baa: DUP9 00000bab: DUP9 00000bac: CALL 00000bad: SWAP4 00000bae: POP 00000baf: POP 00000bb0: POP 00000bb1: POP 00000bb2: ISZERO 00000bb3: DUP1 00000bb4: ISZERO 00000bb5: PUSH2 0x0bc2 00000bb8: JUMPI 00000bb9: RETURNDATASIZE 00000bba: PUSH1 0x00 00000bbc: DUP1 00000bbd: RETURNDATACOPY 00000bbe: RETURNDATASIZE 00000bbf: PUSH1 0x00 00000bc1: REVERT 00000bc2: JUMPDEST 00000bc3: POP 00000bc4: PUSH1 0x40 00000bc6: DUP1 00000bc7: MLOAD 00000bc8: DUP4 00000bc9: DUP2 00000bca: MSTORE 00000bcb: SWAP1 00000bcc: MLOAD 00000bcd: PUSH1 0x01 00000bcf: PUSH1 0x01 00000bd1: PUSH1 0xa0 00000bd3: SHL 00000bd4: SUB 00000bd5: DUP4 00000bd6: AND 00000bd7: SWAP2 00000bd8: PUSH32 0x14c9403543058d349a392787338bf02dc629d48ad897f0c32251c03e83945f26 00000bf9: SWAP2 00000bfa: SWAP1 00000bfb: DUP2 00000bfc: SWAP1 00000bfd: SUB 00000bfe: PUSH1 0x20 00000c00: ADD 00000c01: SWAP1 00000c02: LOG2 00000c03: POP 00000c04: POP 00000c05: JUMP 00000c06: JUMPDEST 00000c07: PUSH1 0x40 00000c09: DUP1 00000c0a: MLOAD 00000c0b: PUSH1 0x01 00000c0d: PUSH1 0x01 00000c0f: PUSH1 0xa0 00000c11: SHL 00000c12: SUB 00000c13: DUP5 00000c14: DUP2 00000c15: AND 00000c16: PUSH1 0x24 00000c18: DUP4 00000c19: ADD 00000c1a: MSTORE 00000c1b: PUSH1 0x44 00000c1d: DUP1 00000c1e: DUP4 00000c1f: ADD 00000c20: DUP6 00000c21: SWAP1 00000c22: MSTORE 00000c23: DUP4 00000c24: MLOAD 00000c25: DUP1 00000c26: DUP5 00000c27: SUB 00000c28: SWAP1 00000c29: SWAP2 00000c2a: ADD 00000c2b: DUP2 00000c2c: MSTORE 00000c2d: PUSH1 0x64 00000c2f: SWAP1 00000c30: SWAP3 00000c31: ADD 00000c32: DUP4 00000c33: MSTORE 00000c34: PUSH1 0x20 00000c36: DUP3 00000c37: ADD 00000c38: DUP1 00000c39: MLOAD 00000c3a: PUSH1 0x01 00000c3c: PUSH1 0x01 00000c3e: PUSH1 0xe0 00000c40: SHL 00000c41: SUB 00000c42: AND 00000c43: PUSH4 0x095ea7b3 00000c48: PUSH1 0xe0 00000c4a: SHL 00000c4b: OR 00000c4c: DUP2 00000c4d: MSTORE 00000c4e: SWAP3 00000c4f: MLOAD 00000c50: DUP3 00000c51: MLOAD 00000c52: PUSH1 0x00 00000c54: SWAP5 00000c55: PUSH1 0x60 00000c57: SWAP5 00000c58: SWAP4 00000c59: DUP10 00000c5a: AND 00000c5b: SWAP4 00000c5c: SWAP3 00000c5d: SWAP2 00000c5e: DUP3 00000c5f: SWAP2 00000c60: SWAP1 00000c61: DUP1 00000c62: DUP4 00000c63: DUP4 00000c64: JUMPDEST 00000c65: PUSH1 0x20 00000c67: DUP4 00000c68: LT 00000c69: PUSH2 0x0c83 00000c6c: JUMPI 00000c6d: DUP1 00000c6e: MLOAD 00000c6f: DUP3 00000c70: MSTORE 00000c71: PUSH1 0x1f 00000c73: NOT 00000c74: SWAP1 00000c75: SWAP3 00000c76: ADD 00000c77: SWAP2 00000c78: PUSH1 0x20 00000c7a: SWAP2 00000c7b: DUP3 00000c7c: ADD 00000c7d: SWAP2 00000c7e: ADD 00000c7f: PUSH2 0x0c64 00000c82: JUMP 00000c83: JUMPDEST 00000c84: PUSH1 0x01 00000c86: DUP4 00000c87: PUSH1 0x20 00000c89: SUB 00000c8a: PUSH2 0x0100 00000c8d: EXP 00000c8e: SUB 00000c8f: DUP1 00000c90: NOT 00000c91: DUP3 00000c92: MLOAD 00000c93: AND 00000c94: DUP2 00000c95: DUP5 00000c96: MLOAD 00000c97: AND 00000c98: DUP1 00000c99: DUP3 00000c9a: OR 00000c9b: DUP6 00000c9c: MSTORE 00000c9d: POP 00000c9e: POP 00000c9f: POP 00000ca0: POP 00000ca1: POP 00000ca2: POP 00000ca3: SWAP1 00000ca4: POP 00000ca5: ADD 00000ca6: SWAP2 00000ca7: POP 00000ca8: POP 00000ca9: PUSH1 0x00 00000cab: PUSH1 0x40 00000cad: MLOAD 00000cae: DUP1 00000caf: DUP4 00000cb0: SUB 00000cb1: DUP2 00000cb2: PUSH1 0x00 00000cb4: DUP7 00000cb5: GAS 00000cb6: CALL 00000cb7: SWAP2 00000cb8: POP 00000cb9: POP 00000cba: RETURNDATASIZE 00000cbb: DUP1 00000cbc: PUSH1 0x00 00000cbe: DUP2 00000cbf: EQ 00000cc0: PUSH2 0x0ce5 00000cc3: JUMPI 00000cc4: PUSH1 0x40 00000cc6: MLOAD 00000cc7: SWAP2 00000cc8: POP 00000cc9: PUSH1 0x1f 00000ccb: NOT 00000ccc: PUSH1 0x3f 00000cce: RETURNDATASIZE 00000ccf: ADD 00000cd0: AND 00000cd1: DUP3 00000cd2: ADD 00000cd3: PUSH1 0x40 00000cd5: MSTORE 00000cd6: RETURNDATASIZE 00000cd7: DUP3 00000cd8: MSTORE 00000cd9: RETURNDATASIZE 00000cda: PUSH1 0x00 00000cdc: PUSH1 0x20 00000cde: DUP5 00000cdf: ADD 00000ce0: RETURNDATACOPY 00000ce1: PUSH2 0x0cea 00000ce4: JUMP 00000ce5: JUMPDEST 00000ce6: PUSH1 0x60 00000ce8: SWAP2 00000ce9: POP 00000cea: JUMPDEST 00000ceb: POP 00000cec: SWAP2 00000ced: POP 00000cee: SWAP2 00000cef: POP 00000cf0: DUP2 00000cf1: DUP1 00000cf2: ISZERO 00000cf3: PUSH2 0x0d18 00000cf6: JUMPI 00000cf7: POP 00000cf8: DUP1 00000cf9: MLOAD 00000cfa: ISZERO 00000cfb: DUP1 00000cfc: PUSH2 0x0d18 00000cff: JUMPI 00000d00: POP 00000d01: DUP1 00000d02: DUP1 00000d03: PUSH1 0x20 00000d05: ADD 00000d06: SWAP1 00000d07: MLOAD 00000d08: PUSH1 0x20 00000d0a: DUP2 00000d0b: LT 00000d0c: ISZERO 00000d0d: PUSH2 0x0d15 00000d10: JUMPI 00000d11: PUSH1 0x00 00000d13: DUP1 00000d14: REVERT 00000d15: JUMPDEST 00000d16: POP 00000d17: MLOAD 00000d18: JUMPDEST 00000d19: PUSH2 0x0d69 00000d1c: JUMPI 00000d1d: PUSH1 0x40 00000d1f: DUP1 00000d20: MLOAD 00000d21: PUSH3 0x461bcd 00000d25: PUSH1 0xe5 00000d27: SHL 00000d28: DUP2 00000d29: MSTORE 00000d2a: PUSH1 0x20 00000d2c: PUSH1 0x04 00000d2e: DUP3 00000d2f: ADD 00000d30: MSTORE 00000d31: PUSH1 0x1e 00000d33: PUSH1 0x24 00000d35: DUP3 00000d36: ADD 00000d37: MSTORE 00000d38: PUSH32 0x5472616e7366657248656c7065723a20415050524f56455f4641494c45440000 00000d59: PUSH1 0x44 00000d5b: DUP3 00000d5c: ADD 00000d5d: MSTORE 00000d5e: SWAP1 00000d5f: MLOAD 00000d60: SWAP1 00000d61: DUP2 00000d62: SWAP1 00000d63: SUB 00000d64: PUSH1 0x64 00000d66: ADD 00000d67: SWAP1 00000d68: REVERT 00000d69: JUMPDEST 00000d6a: POP 00000d6b: POP 00000d6c: POP 00000d6d: POP 00000d6e: POP 00000d6f: JUMP 00000d70: INVALID 00000d71: UNKNOWN(0x4F) 00000d72: PUSH24 0x6e61626c653a206e6577206f776e65722069732074686520 00000d8b: PUSH27 0x65726f20616464726573734e465446756e643a2077656920616d6f 00000da7: PUSH22 0x6e7420657863656564732062616c616e63654e465446 00000dbe: PUSH22 0x6e643a20746f6b656e20616d6f756e74206578636565 00000dd5: PUSH5 0x732062616c 00000ddb: PUSH2 0x6e63 00000dde: PUSH6 0x4e465446756e 00000de5: PUSH5 0x3a20455448 00000deb: KECCAK256 00000dec: PUSH2 0x6d6f 00000def: PUSH22 0x6e742073686f756c64206265203e20304f776e61626c 00000e06: PUSH6 0x3a2063616c6c 00000e0d: PUSH6 0x72206973206e 00000e14: PUSH16 0x7420746865206f776e65724e46544675 00000e25: PUSH15 0x643a2048434f524520616d6f756e74 00000e35: KECCAK256 00000e36: PUSH20 0x686f756c64206265203e2030a264697066735822 00000e4b: SLT 00000e4c: KECCAK256 00000e4d: UNKNOWN(0xB7) 00000e4e: SAR 00000e4f: GT 00000e50: DUP13 00000e51: UNKNOWN(0x2F) 00000e52: XOR 00000e53: UNKNOWN(0x4F) 00000e54: SWAP13 00000e55: UNKNOWN(0xEE) 00000e56: UNKNOWN(0xEE) 00000e57: STOP 00000e58: PUSH26 0x8f5fdb9cfff7467268d4b07047e71e9f59c18c0764736f6c6343 00000e73: STOP 00000e74: MOD 00000e75: UNKNOWN(0x0C) 00000e76: STOP 00000e77: CALLER
Warning: This is a nightly build of Foundry. It is recommended to use the latest stable version. To mute this warning set `FOUNDRY_DISABLE_NIGHTLY_WARNING` in your environment.
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0xd62b5db9c11e0afac04b5847070f24c1a49ac3385a3d4fee7f3e389174e0ac97
call_targets:
0x60a199e418d9f5522533ed519bb91fdc94579d83
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xd62b5db9c11e0afac04b5847070f24c1a49ac3385a3d4fee7f3e389174e0ac97",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x60a199e418d9f5522533ed519bb91fdc94579d83"
],
"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": "0xf14210a6",
"selector": "0xf14210a6",
"calldata_variants": [
"0xf14210a6",
"0xf14210a60000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf887ea40",
"selector": "0xf887ea40",
"calldata_variants": [
"0xf887ea40",
"0xf887ea400000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xfc0c546a",
"selector": "0xfc0c546a",
"calldata_variants": [
"0xfc0c546a",
"0xfc0c546a0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc747c533",
"selector": "0xc747c533",
"calldata_variants": [
"0xc747c533",
"0xc747c5330000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe086e5ec",
"selector": "0xe086e5ec",
"calldata_variants": [
"0xe086e5ec",
"0xe086e5ec0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe56a645e",
"selector": "0xe56a645e",
"calldata_variants": [
"0xe56a645e",
"0xe56a645e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x315a095d",
"selector": "0x315a095d",
"calldata_variants": [
"0x315a095d",
"0x315a095d0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 2210,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2745,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2988,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 4,
"guards_detected": [],
"untrusted_call_count": 4
}
|
| high | other | detector | ETH value transfer possible | 55 | no | no |
viewtrace_id: 0xd62b5db9c11e0afac04b5847070f24c1a49ac3385a3d4fee7f3e389174e0ac97
call_targets:
0x60a199e418d9f5522533ed519bb91fdc94579d83
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xd62b5db9c11e0afac04b5847070f24c1a49ac3385a3d4fee7f3e389174e0ac97",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x60a199e418d9f5522533ed519bb91fdc94579d83"
],
"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": "0xf14210a6",
"selector": "0xf14210a6",
"calldata_variants": [
"0xf14210a6",
"0xf14210a60000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf887ea40",
"selector": "0xf887ea40",
"calldata_variants": [
"0xf887ea40",
"0xf887ea400000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xfc0c546a",
"selector": "0xfc0c546a",
"calldata_variants": [
"0xfc0c546a",
"0xfc0c546a0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc747c533",
"selector": "0xc747c533",
"calldata_variants": [
"0xc747c533",
"0xc747c5330000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe086e5ec",
"selector": "0xe086e5ec",
"calldata_variants": [
"0xe086e5ec",
"0xe086e5ec0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe56a645e",
"selector": "0xe56a645e",
"calldata_variants": [
"0xe56a645e",
"0xe56a645e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x315a095d",
"selector": "0x315a095d",
"calldata_variants": [
"0x315a095d",
"0x315a095d0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 2210,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2745,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2988,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 4,
"guards_detected": []
}
|