019b3844-ae26-71eb-b413-45a80f8c0451
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 |
|---|---|---|---|---|
| 17729 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 17730 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 86680 | analysis.bundle | complete | 1 / 3 | 1 week ago |
| 86681 | capability.graph | complete | 1 / 3 | 1 week ago |
| 86682 | detector.run | complete | 1 / 3 | 1 week ago |
| 86683 | 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 0x0085 0000000c: JUMPI 0000000d: PUSH1 0x00 0000000f: CALLDATALOAD 00000010: PUSH1 0xe0 00000012: SHR 00000013: DUP1 00000014: PUSH4 0xa389783e 00000019: GT 0000001a: PUSH2 0x0059 0000001d: JUMPI 0000001e: DUP1 0000001f: PUSH4 0xa389783e 00000024: EQ 00000025: PUSH2 0x0134 00000028: JUMPI 00000029: DUP1 0000002a: PUSH4 0xb7f64bd5 0000002f: EQ 00000030: PUSH2 0x0192 00000033: JUMPI 00000034: DUP1 00000035: PUSH4 0xe3d670d7 0000003a: EQ 0000003b: PUSH2 0x01e4 0000003e: JUMPI 0000003f: DUP1 00000040: PUSH4 0xe81f02b6 00000045: EQ 00000046: PUSH2 0x0223 00000049: JUMPI 0000004a: DUP1 0000004b: PUSH4 0xff05280e 00000050: EQ 00000051: PUSH2 0x0243 00000054: JUMPI 00000055: PUSH1 0x00 00000057: DUP1 00000058: REVERT 00000059: JUMPDEST 0000005a: DUP1 0000005b: PUSH3 0x9315b9 0000005f: EQ 00000060: PUSH2 0x008a 00000063: JUMPI 00000064: DUP1 00000065: PUSH4 0x3ccfd60b 0000006a: EQ 0000006b: PUSH2 0x00ac 0000006e: JUMPI 0000006f: DUP1 00000070: PUSH4 0x5ecb16cd 00000075: EQ 00000076: PUSH2 0x00c1 00000079: JUMPI 0000007a: DUP1 0000007b: PUSH4 0x9a375b07 00000080: EQ 00000081: PUSH2 0x00e1 00000084: JUMPI 00000085: JUMPDEST 00000086: PUSH1 0x00 00000088: DUP1 00000089: REVERT 0000008a: JUMPDEST 0000008b: CALLVALUE 0000008c: DUP1 0000008d: ISZERO 0000008e: PUSH2 0x0096 00000091: JUMPI 00000092: PUSH1 0x00 00000094: DUP1 00000095: REVERT 00000096: JUMPDEST 00000097: POP 00000098: PUSH2 0x00aa 0000009b: PUSH2 0x00a5 0000009e: CALLDATASIZE 0000009f: PUSH1 0x04 000000a1: PUSH2 0x0bed 000000a4: JUMP 000000a5: JUMPDEST 000000a6: PUSH2 0x0256 000000a9: JUMP 000000aa: JUMPDEST 000000ab: STOP 000000ac: JUMPDEST 000000ad: CALLVALUE 000000ae: DUP1 000000af: ISZERO 000000b0: PUSH2 0x00b8 000000b3: JUMPI 000000b4: PUSH1 0x00 000000b6: DUP1 000000b7: REVERT 000000b8: JUMPDEST 000000b9: POP 000000ba: PUSH2 0x00aa 000000bd: PUSH2 0x0309 000000c0: JUMP 000000c1: JUMPDEST 000000c2: CALLVALUE 000000c3: DUP1 000000c4: ISZERO 000000c5: PUSH2 0x00cd 000000c8: JUMPI 000000c9: PUSH1 0x00 000000cb: DUP1 000000cc: REVERT 000000cd: JUMPDEST 000000ce: POP 000000cf: PUSH2 0x00aa 000000d2: PUSH2 0x00dc 000000d5: CALLDATASIZE 000000d6: PUSH1 0x04 000000d8: PUSH2 0x0c7f 000000db: JUMP 000000dc: JUMPDEST 000000dd: PUSH2 0x0319 000000e0: JUMP 000000e1: JUMPDEST 000000e2: CALLVALUE 000000e3: DUP1 000000e4: ISZERO 000000e5: PUSH2 0x00ed 000000e8: JUMPI 000000e9: PUSH1 0x00 000000eb: DUP1 000000ec: REVERT 000000ed: JUMPDEST 000000ee: POP 000000ef: PUSH2 0x00aa 000000f2: PUSH2 0x00fc 000000f5: CALLDATASIZE 000000f6: PUSH1 0x04 000000f8: PUSH2 0x0c49 000000fb: JUMP 000000fc: JUMPDEST 000000fd: CALLER 000000fe: PUSH1 0x00 00000100: SWAP1 00000101: DUP2 00000102: MSTORE 00000103: PUSH1 0x01 00000105: PUSH1 0x20 00000107: SWAP1 00000108: DUP2 00000109: MSTORE 0000010a: PUSH1 0x40 0000010c: DUP1 0000010d: DUP4 0000010e: KECCAK256 0000010f: PUSH1 0x01 00000111: PUSH1 0x01 00000113: PUSH1 0xa0 00000115: SHL 00000116: SUB 00000117: SWAP6 00000118: SWAP1 00000119: SWAP6 0000011a: AND 0000011b: DUP4 0000011c: MSTORE 0000011d: SWAP4 0000011e: SWAP1 0000011f: MSTORE 00000120: SWAP2 00000121: SWAP1 00000122: SWAP2 00000123: KECCAK256 00000124: DUP1 00000125: SLOAD 00000126: PUSH1 0xff 00000128: NOT 00000129: AND 0000012a: SWAP2 0000012b: ISZERO 0000012c: ISZERO 0000012d: SWAP2 0000012e: SWAP1 0000012f: SWAP2 00000130: OR 00000131: SWAP1 00000132: SSTORE 00000133: JUMP 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 0x017d 00000145: PUSH2 0x014f 00000148: CALLDATASIZE 00000149: PUSH1 0x04 0000014b: PUSH2 0x0bbb 0000014e: JUMP 0000014f: JUMPDEST 00000150: PUSH1 0x01 00000152: PUSH1 0x01 00000154: PUSH1 0xa0 00000156: SHL 00000157: SUB 00000158: SWAP2 00000159: DUP3 0000015a: AND 0000015b: PUSH1 0x00 0000015d: SWAP1 0000015e: DUP2 0000015f: MSTORE 00000160: PUSH1 0x01 00000162: PUSH1 0x20 00000164: SWAP1 00000165: DUP2 00000166: MSTORE 00000167: PUSH1 0x40 00000169: DUP1 0000016a: DUP4 0000016b: KECCAK256 0000016c: SWAP4 0000016d: SWAP1 0000016e: SWAP5 0000016f: AND 00000170: DUP3 00000171: MSTORE 00000172: SWAP2 00000173: SWAP1 00000174: SWAP2 00000175: MSTORE 00000176: KECCAK256 00000177: SLOAD 00000178: PUSH1 0xff 0000017a: AND 0000017b: SWAP1 0000017c: JUMP 0000017d: JUMPDEST 0000017e: PUSH1 0x40 00000180: MLOAD 00000181: SWAP1 00000182: ISZERO 00000183: ISZERO 00000184: DUP2 00000185: MSTORE 00000186: PUSH1 0x20 00000188: ADD 00000189: JUMPDEST 0000018a: PUSH1 0x40 0000018c: MLOAD 0000018d: DUP1 0000018e: SWAP2 0000018f: SUB 00000190: SWAP1 00000191: RETURN 00000192: JUMPDEST 00000193: CALLVALUE 00000194: DUP1 00000195: ISZERO 00000196: PUSH2 0x019e 00000199: JUMPI 0000019a: PUSH1 0x00 0000019c: DUP1 0000019d: REVERT 0000019e: JUMPDEST 0000019f: POP 000001a0: PUSH2 0x01d6 000001a3: PUSH2 0x01ad 000001a6: CALLDATASIZE 000001a7: PUSH1 0x04 000001a9: PUSH2 0x0bbb 000001ac: JUMP 000001ad: JUMPDEST 000001ae: PUSH1 0x01 000001b0: PUSH1 0x01 000001b2: PUSH1 0xa0 000001b4: SHL 000001b5: SUB 000001b6: SWAP2 000001b7: DUP3 000001b8: AND 000001b9: PUSH1 0x00 000001bb: SWAP1 000001bc: DUP2 000001bd: MSTORE 000001be: PUSH1 0x20 000001c0: DUP2 000001c1: DUP2 000001c2: MSTORE 000001c3: PUSH1 0x40 000001c5: DUP1 000001c6: DUP4 000001c7: KECCAK256 000001c8: SWAP4 000001c9: SWAP1 000001ca: SWAP5 000001cb: AND 000001cc: DUP3 000001cd: MSTORE 000001ce: SWAP2 000001cf: SWAP1 000001d0: SWAP2 000001d1: MSTORE 000001d2: KECCAK256 000001d3: SLOAD 000001d4: SWAP1 000001d5: JUMP 000001d6: JUMPDEST 000001d7: PUSH1 0x40 000001d9: MLOAD 000001da: SWAP1 000001db: DUP2 000001dc: MSTORE 000001dd: PUSH1 0x20 000001df: ADD 000001e0: PUSH2 0x0189 000001e3: JUMP 000001e4: JUMPDEST 000001e5: CALLVALUE 000001e6: DUP1 000001e7: ISZERO 000001e8: PUSH2 0x01f0 000001eb: JUMPI 000001ec: PUSH1 0x00 000001ee: DUP1 000001ef: REVERT 000001f0: JUMPDEST 000001f1: POP 000001f2: PUSH2 0x01d6 000001f5: PUSH2 0x01ff 000001f8: CALLDATASIZE 000001f9: PUSH1 0x04 000001fb: PUSH2 0x0b9a 000001fe: JUMP 000001ff: JUMPDEST 00000200: PUSH1 0x01 00000202: PUSH1 0x01 00000204: PUSH1 0xa0 00000206: SHL 00000207: SUB 00000208: AND 00000209: PUSH1 0x00 0000020b: SWAP1 0000020c: DUP2 0000020d: MSTORE 0000020e: PUSH1 0x20 00000210: DUP2 00000211: DUP2 00000212: MSTORE 00000213: PUSH1 0x40 00000215: DUP1 00000216: DUP4 00000217: KECCAK256 00000218: DUP4 00000219: DUP1 0000021a: MSTORE 0000021b: SWAP1 0000021c: SWAP2 0000021d: MSTORE 0000021e: SWAP1 0000021f: KECCAK256 00000220: SLOAD 00000221: SWAP1 00000222: JUMP 00000223: JUMPDEST 00000224: CALLVALUE 00000225: DUP1 00000226: ISZERO 00000227: PUSH2 0x022f 0000022a: JUMPI 0000022b: PUSH1 0x00 0000022d: DUP1 0000022e: REVERT 0000022f: JUMPDEST 00000230: POP 00000231: PUSH2 0x00aa 00000234: PUSH2 0x023e 00000237: CALLDATASIZE 00000238: PUSH1 0x04 0000023a: PUSH2 0x0bbb 0000023d: JUMP 0000023e: JUMPDEST 0000023f: PUSH2 0x0362 00000242: JUMP 00000243: JUMPDEST 00000244: PUSH2 0x00aa 00000247: PUSH2 0x0251 0000024a: CALLDATASIZE 0000024b: PUSH1 0x04 0000024d: PUSH2 0x0cf8 00000250: JUMP 00000251: JUMPDEST 00000252: PUSH2 0x03cf 00000255: JUMP 00000256: JUMPDEST 00000257: PUSH1 0x01 00000259: PUSH1 0x01 0000025b: PUSH1 0xa0 0000025d: SHL 0000025e: SUB 0000025f: DUP4 00000260: AND 00000261: CALLER 00000262: EQ 00000263: DUP1 00000264: ISZERO 00000265: SWAP1 00000266: PUSH2 0x0295 00000269: JUMPI 0000026a: POP 0000026b: PUSH1 0x01 0000026d: PUSH1 0x01 0000026f: PUSH1 0xa0 00000271: SHL 00000272: SUB 00000273: DUP1 00000274: DUP5 00000275: AND 00000276: PUSH1 0x00 00000278: SWAP1 00000279: DUP2 0000027a: MSTORE 0000027b: PUSH1 0x01 0000027d: PUSH1 0x20 0000027f: SWAP1 00000280: DUP2 00000281: MSTORE 00000282: PUSH1 0x40 00000284: DUP1 00000285: DUP4 00000286: KECCAK256 00000287: SWAP4 00000288: DUP7 00000289: AND 0000028a: DUP4 0000028b: MSTORE 0000028c: SWAP3 0000028d: SWAP1 0000028e: MSTORE 0000028f: KECCAK256 00000290: SLOAD 00000291: PUSH1 0xff 00000293: AND 00000294: ISZERO 00000295: JUMPDEST 00000296: ISZERO 00000297: PUSH2 0x02b3 0000029a: JUMPI 0000029b: PUSH1 0x40 0000029d: MLOAD 0000029e: PUSH4 0x93256b7d 000002a3: PUSH1 0xe0 000002a5: SHL 000002a6: DUP2 000002a7: MSTORE 000002a8: PUSH1 0x04 000002aa: ADD 000002ab: PUSH1 0x40 000002ad: MLOAD 000002ae: DUP1 000002af: SWAP2 000002b0: SUB 000002b1: SWAP1 000002b2: REVERT 000002b3: JUMPDEST 000002b4: PUSH1 0x00 000002b6: JUMPDEST 000002b7: DUP2 000002b8: MLOAD 000002b9: DUP2 000002ba: LT 000002bb: ISZERO 000002bc: PUSH2 0x0303 000002bf: JUMPI 000002c0: PUSH2 0x02f1 000002c3: DUP5 000002c4: DUP5 000002c5: DUP5 000002c6: DUP5 000002c7: DUP2 000002c8: MLOAD 000002c9: DUP2 000002ca: LT 000002cb: PUSH2 0x02e4 000002ce: JUMPI 000002cf: PUSH4 0x4e487b71 000002d4: PUSH1 0xe0 000002d6: SHL 000002d7: PUSH1 0x00 000002d9: MSTORE 000002da: PUSH1 0x32 000002dc: PUSH1 0x04 000002de: MSTORE 000002df: PUSH1 0x24 000002e1: PUSH1 0x00 000002e3: REVERT 000002e4: JUMPDEST 000002e5: PUSH1 0x20 000002e7: MUL 000002e8: PUSH1 0x20 000002ea: ADD 000002eb: ADD 000002ec: MLOAD 000002ed: PUSH2 0x08c7 000002f0: JUMP 000002f1: JUMPDEST 000002f2: DUP1 000002f3: PUSH2 0x02fb 000002f6: DUP2 000002f7: PUSH2 0x0dd6 000002fa: JUMP 000002fb: JUMPDEST 000002fc: SWAP2 000002fd: POP 000002fe: POP 000002ff: PUSH2 0x02b6 00000302: JUMP 00000303: JUMPDEST 00000304: POP 00000305: POP 00000306: POP 00000307: POP 00000308: JUMP 00000309: JUMPDEST 0000030a: CALLER 0000030b: PUSH2 0x0316 0000030e: DUP2 0000030f: DUP1 00000310: PUSH1 0x00 00000312: PUSH2 0x08c7 00000315: JUMP 00000316: JUMPDEST 00000317: POP 00000318: JUMP 00000319: JUMPDEST 0000031a: CALLER 0000031b: PUSH1 0x00 0000031d: JUMPDEST 0000031e: DUP3 0000031f: MLOAD 00000320: DUP2 00000321: LT 00000322: ISZERO 00000323: PUSH2 0x035d 00000326: JUMPI 00000327: PUSH2 0x034b 0000032a: DUP3 0000032b: DUP4 0000032c: DUP6 0000032d: DUP5 0000032e: DUP2 0000032f: MLOAD 00000330: DUP2 00000331: LT 00000332: PUSH2 0x02e4 00000335: JUMPI 00000336: PUSH4 0x4e487b71 0000033b: PUSH1 0xe0 0000033d: SHL 0000033e: PUSH1 0x00 00000340: MSTORE 00000341: PUSH1 0x32 00000343: PUSH1 0x04 00000345: MSTORE 00000346: PUSH1 0x24 00000348: PUSH1 0x00 0000034a: REVERT 0000034b: JUMPDEST 0000034c: DUP1 0000034d: PUSH2 0x0355 00000350: DUP2 00000351: PUSH2 0x0dd6 00000354: JUMP 00000355: JUMPDEST 00000356: SWAP2 00000357: POP 00000358: POP 00000359: PUSH2 0x031d 0000035c: JUMP 0000035d: JUMPDEST 0000035e: POP 0000035f: POP 00000360: POP 00000361: JUMP 00000362: JUMPDEST 00000363: PUSH1 0x01 00000365: PUSH1 0x01 00000367: PUSH1 0xa0 00000369: SHL 0000036a: SUB 0000036b: DUP3 0000036c: AND 0000036d: CALLER 0000036e: EQ 0000036f: DUP1 00000370: ISZERO 00000371: SWAP1 00000372: PUSH2 0x03a1 00000375: JUMPI 00000376: POP 00000377: PUSH1 0x01 00000379: PUSH1 0x01 0000037b: PUSH1 0xa0 0000037d: SHL 0000037e: SUB 0000037f: DUP1 00000380: DUP4 00000381: AND 00000382: PUSH1 0x00 00000384: SWAP1 00000385: DUP2 00000386: MSTORE 00000387: PUSH1 0x01 00000389: PUSH1 0x20 0000038b: SWAP1 0000038c: DUP2 0000038d: MSTORE 0000038e: PUSH1 0x40 00000390: DUP1 00000391: DUP4 00000392: KECCAK256 00000393: SWAP4 00000394: DUP6 00000395: AND 00000396: DUP4 00000397: MSTORE 00000398: SWAP3 00000399: SWAP1 0000039a: MSTORE 0000039b: KECCAK256 0000039c: SLOAD 0000039d: PUSH1 0xff 0000039f: AND 000003a0: ISZERO 000003a1: JUMPDEST 000003a2: ISZERO 000003a3: PUSH2 0x03bf 000003a6: JUMPI 000003a7: PUSH1 0x40 000003a9: MLOAD 000003aa: PUSH4 0x93256b7d 000003af: PUSH1 0xe0 000003b1: SHL 000003b2: DUP2 000003b3: MSTORE 000003b4: PUSH1 0x04 000003b6: ADD 000003b7: PUSH1 0x40 000003b9: MLOAD 000003ba: DUP1 000003bb: SWAP2 000003bc: SUB 000003bd: SWAP1 000003be: REVERT 000003bf: JUMPDEST 000003c0: PUSH2 0x03cb 000003c3: DUP3 000003c4: DUP3 000003c5: PUSH1 0x00 000003c7: PUSH2 0x08c7 000003ca: JUMP 000003cb: JUMPDEST 000003cc: POP 000003cd: POP 000003ce: JUMP 000003cf: JUMPDEST 000003d0: DUP3 000003d1: DUP2 000003d2: EQ 000003d3: PUSH2 0x03ef 000003d6: JUMPI 000003d7: PUSH1 0x40 000003d9: MLOAD 000003da: PUSH4 0x251f56a1 000003df: PUSH1 0xe2 000003e1: SHL 000003e2: DUP2 000003e3: MSTORE 000003e4: PUSH1 0x04 000003e6: ADD 000003e7: PUSH1 0x40 000003e9: MLOAD 000003ea: DUP1 000003eb: SWAP2 000003ec: SUB 000003ed: SWAP1 000003ee: REVERT 000003ef: JUMPDEST 000003f0: PUSH1 0x00 000003f2: DUP1 000003f3: JUMPDEST 000003f4: DUP3 000003f5: DUP2 000003f6: LT 000003f7: ISZERO 000003f8: PUSH2 0x0452 000003fb: JUMPI 000003fc: DUP4 000003fd: DUP4 000003fe: DUP3 000003ff: DUP2 00000400: DUP2 00000401: LT 00000402: PUSH2 0x041b 00000405: JUMPI 00000406: PUSH4 0x4e487b71 0000040b: PUSH1 0xe0 0000040d: SHL 0000040e: PUSH1 0x00 00000410: MSTORE 00000411: PUSH1 0x32 00000413: PUSH1 0x04 00000415: MSTORE 00000416: PUSH1 0x24 00000418: PUSH1 0x00 0000041a: REVERT 0000041b: JUMPDEST 0000041c: SWAP1 0000041d: POP 0000041e: PUSH1 0x20 00000420: MUL 00000421: ADD 00000422: PUSH1 0x20 00000424: DUP2 00000425: ADD 00000426: SWAP1 00000427: PUSH2 0x0430 0000042a: SWAP2 0000042b: SWAP1 0000042c: PUSH2 0x0cd6 0000042f: JUMP 00000430: JUMPDEST 00000431: PUSH2 0x043e 00000434: SWAP1 00000435: PUSH2 0xffff 00000438: AND 00000439: DUP4 0000043a: PUSH2 0x0d7f 0000043d: JUMP 0000043e: JUMPDEST 0000043f: SWAP2 00000440: POP 00000441: DUP1 00000442: PUSH2 0x044a 00000445: DUP2 00000446: PUSH2 0x0dd6 00000449: JUMP 0000044a: JUMPDEST 0000044b: SWAP2 0000044c: POP 0000044d: POP 0000044e: PUSH2 0x03f3 00000451: JUMP 00000452: JUMPDEST 00000453: POP 00000454: DUP1 00000455: PUSH2 0x2710 00000458: EQ 00000459: PUSH2 0x0475 0000045c: JUMPI 0000045d: PUSH1 0x40 0000045f: MLOAD 00000460: PUSH4 0x24296085 00000465: PUSH1 0xe1 00000467: SHL 00000468: DUP2 00000469: MSTORE 0000046a: PUSH1 0x04 0000046c: ADD 0000046d: PUSH1 0x40 0000046f: MLOAD 00000470: DUP1 00000471: SWAP2 00000472: SUB 00000473: SWAP1 00000474: REVERT 00000475: JUMPDEST 00000476: PUSH1 0x01 00000478: PUSH1 0x01 0000047a: PUSH1 0xa0 0000047c: SHL 0000047d: SUB 0000047e: DUP7 0000047f: AND 00000480: PUSH2 0x064d 00000483: JUMPI 00000484: CALLVALUE 00000485: PUSH1 0x00 00000487: JUMPDEST 00000488: DUP6 00000489: DUP2 0000048a: LT 0000048b: ISZERO 0000048c: PUSH2 0x0646 0000048f: JUMPI 00000490: PUSH1 0x00 00000492: DUP6 00000493: DUP6 00000494: DUP4 00000495: DUP2 00000496: DUP2 00000497: LT 00000498: PUSH2 0x04b1 0000049b: JUMPI 0000049c: PUSH4 0x4e487b71 000004a1: PUSH1 0xe0 000004a3: SHL 000004a4: PUSH1 0x00 000004a6: MSTORE 000004a7: PUSH1 0x32 000004a9: PUSH1 0x04 000004ab: MSTORE 000004ac: PUSH1 0x24 000004ae: PUSH1 0x00 000004b0: REVERT 000004b1: JUMPDEST 000004b2: SWAP1 000004b3: POP 000004b4: PUSH1 0x20 000004b6: MUL 000004b7: ADD 000004b8: PUSH1 0x20 000004ba: DUP2 000004bb: ADD 000004bc: SWAP1 000004bd: PUSH2 0x04c6 000004c0: SWAP2 000004c1: SWAP1 000004c2: PUSH2 0x0cd6 000004c5: JUMP 000004c6: JUMPDEST 000004c7: PUSH2 0xffff 000004ca: AND 000004cb: GT 000004cc: ISZERO 000004cd: PUSH2 0x0634 000004d0: JUMPI 000004d1: PUSH1 0x00 000004d3: PUSH2 0x2710 000004d6: DUP7 000004d7: DUP7 000004d8: DUP5 000004d9: DUP2 000004da: DUP2 000004db: LT 000004dc: PUSH2 0x04f5 000004df: JUMPI 000004e0: PUSH4 0x4e487b71 000004e5: PUSH1 0xe0 000004e7: SHL 000004e8: PUSH1 0x00 000004ea: MSTORE 000004eb: PUSH1 0x32 000004ed: PUSH1 0x04 000004ef: MSTORE 000004f0: PUSH1 0x24 000004f2: PUSH1 0x00 000004f4: REVERT 000004f5: JUMPDEST 000004f6: SWAP1 000004f7: POP 000004f8: PUSH1 0x20 000004fa: MUL 000004fb: ADD 000004fc: PUSH1 0x20 000004fe: DUP2 000004ff: ADD 00000500: SWAP1 00000501: PUSH2 0x050a 00000504: SWAP2 00000505: SWAP1 00000506: PUSH2 0x0cd6 00000509: JUMP 0000050a: JUMPDEST 0000050b: PUSH2 0x0518 0000050e: SWAP1 0000050f: PUSH2 0xffff 00000512: AND 00000513: DUP6 00000514: PUSH2 0x0db7 00000517: JUMP 00000518: JUMPDEST 00000519: PUSH2 0x0522 0000051c: SWAP2 0000051d: SWAP1 0000051e: PUSH2 0x0d97 00000521: JUMP 00000522: JUMPDEST 00000523: SWAP1 00000524: POP 00000525: DUP1 00000526: PUSH1 0x00 00000528: DUP1 00000529: DUP11 0000052a: DUP11 0000052b: DUP7 0000052c: DUP2 0000052d: DUP2 0000052e: LT 0000052f: PUSH2 0x0548 00000532: JUMPI 00000533: PUSH4 0x4e487b71 00000538: PUSH1 0xe0 0000053a: SHL 0000053b: PUSH1 0x00 0000053d: MSTORE 0000053e: PUSH1 0x32 00000540: PUSH1 0x04 00000542: MSTORE 00000543: PUSH1 0x24 00000545: PUSH1 0x00 00000547: REVERT 00000548: JUMPDEST 00000549: SWAP1 0000054a: POP 0000054b: PUSH1 0x20 0000054d: MUL 0000054e: ADD 0000054f: PUSH1 0x20 00000551: DUP2 00000552: ADD 00000553: SWAP1 00000554: PUSH2 0x055d 00000557: SWAP2 00000558: SWAP1 00000559: PUSH2 0x0b9a 0000055c: JUMP 0000055d: JUMPDEST 0000055e: PUSH1 0x01 00000560: PUSH1 0x01 00000562: PUSH1 0xa0 00000564: SHL 00000565: SUB 00000566: AND 00000567: PUSH1 0x01 00000569: PUSH1 0x01 0000056b: PUSH1 0xa0 0000056d: SHL 0000056e: SUB 0000056f: AND 00000570: DUP2 00000571: MSTORE 00000572: PUSH1 0x20 00000574: ADD 00000575: SWAP1 00000576: DUP2 00000577: MSTORE 00000578: PUSH1 0x20 0000057a: ADD 0000057b: PUSH1 0x00 0000057d: KECCAK256 0000057e: PUSH1 0x00 00000580: DUP12 00000581: PUSH1 0x01 00000583: PUSH1 0x01 00000585: PUSH1 0xa0 00000587: SHL 00000588: SUB 00000589: AND 0000058a: PUSH1 0x01 0000058c: PUSH1 0x01 0000058e: PUSH1 0xa0 00000590: SHL 00000591: SUB 00000592: AND 00000593: DUP2 00000594: MSTORE 00000595: PUSH1 0x20 00000597: ADD 00000598: SWAP1 00000599: DUP2 0000059a: MSTORE 0000059b: PUSH1 0x20 0000059d: ADD 0000059e: PUSH1 0x00 000005a0: KECCAK256 000005a1: PUSH1 0x00 000005a3: DUP3 000005a4: DUP3 000005a5: SLOAD 000005a6: PUSH2 0x05af 000005a9: SWAP2 000005aa: SWAP1 000005ab: PUSH2 0x0d7f 000005ae: JUMP 000005af: JUMPDEST 000005b0: SWAP1 000005b1: SWAP2 000005b2: SSTORE 000005b3: POP 000005b4: DUP9 000005b5: SWAP1 000005b6: POP 000005b7: DUP8 000005b8: DUP4 000005b9: DUP2 000005ba: DUP2 000005bb: LT 000005bc: PUSH2 0x05d5 000005bf: JUMPI 000005c0: PUSH4 0x4e487b71 000005c5: PUSH1 0xe0 000005c7: SHL 000005c8: PUSH1 0x00 000005ca: MSTORE 000005cb: PUSH1 0x32 000005cd: PUSH1 0x04 000005cf: MSTORE 000005d0: PUSH1 0x24 000005d2: PUSH1 0x00 000005d4: REVERT 000005d5: JUMPDEST 000005d6: SWAP1 000005d7: POP 000005d8: PUSH1 0x20 000005da: MUL 000005db: ADD 000005dc: PUSH1 0x20 000005de: DUP2 000005df: ADD 000005e0: SWAP1 000005e1: PUSH2 0x05ea 000005e4: SWAP2 000005e5: SWAP1 000005e6: PUSH2 0x0b9a 000005e9: JUMP 000005ea: JUMPDEST 000005eb: PUSH1 0x40 000005ed: DUP1 000005ee: MLOAD 000005ef: PUSH1 0x01 000005f1: PUSH1 0x01 000005f3: PUSH1 0xa0 000005f5: SHL 000005f6: SUB 000005f7: DUP13 000005f8: DUP2 000005f9: AND 000005fa: DUP3 000005fb: MSTORE 000005fc: PUSH1 0x20 000005fe: DUP3 000005ff: ADD 00000600: DUP6 00000601: SWAP1 00000602: MSTORE 00000603: SWAP3 00000604: SWAP1 00000605: SWAP3 00000606: AND 00000607: SWAP2 00000608: PUSH32 0x55f368ec5df1aca853572d5a6cbda215a84cf17a93c765932dcfb1c237df2eca 00000629: SWAP2 0000062a: ADD 0000062b: PUSH1 0x40 0000062d: MLOAD 0000062e: DUP1 0000062f: SWAP2 00000630: SUB 00000631: SWAP1 00000632: LOG2 00000633: POP 00000634: JUMPDEST 00000635: DUP1 00000636: PUSH2 0x063e 00000639: DUP2 0000063a: PUSH2 0x0dd6 0000063d: JUMP 0000063e: JUMPDEST 0000063f: SWAP2 00000640: POP 00000641: POP 00000642: PUSH2 0x0487 00000645: JUMP 00000646: JUMPDEST 00000647: POP 00000648: POP 00000649: PUSH2 0x08be 0000064c: JUMP 0000064d: JUMPDEST 0000064e: PUSH1 0x40 00000650: MLOAD 00000651: PUSH4 0x23b872dd 00000656: PUSH1 0xe0 00000658: SHL 00000659: DUP2 0000065a: MSTORE 0000065b: CALLER 0000065c: PUSH1 0x04 0000065e: DUP3 0000065f: ADD 00000660: MSTORE 00000661: ADDRESS 00000662: PUSH1 0x24 00000664: DUP3 00000665: ADD 00000666: MSTORE 00000667: PUSH1 0x44 00000669: DUP2 0000066a: ADD 0000066b: DUP9 0000066c: SWAP1 0000066d: MSTORE 0000066e: DUP7 0000066f: SWAP1 00000670: PUSH1 0x00 00000672: SWAP1 00000673: PUSH1 0x01 00000675: PUSH1 0x01 00000677: PUSH1 0xa0 00000679: SHL 0000067a: SUB 0000067b: DUP4 0000067c: AND 0000067d: SWAP1 0000067e: PUSH4 0x23b872dd 00000683: SWAP1 00000684: PUSH1 0x64 00000686: ADD 00000687: PUSH1 0x20 00000689: PUSH1 0x40 0000068b: MLOAD 0000068c: DUP1 0000068d: DUP4 0000068e: SUB 0000068f: DUP2 00000690: PUSH1 0x00 00000692: DUP8 00000693: DUP1 00000694: EXTCODESIZE 00000695: ISZERO 00000696: DUP1 00000697: ISZERO 00000698: PUSH2 0x06a0 0000069b: JUMPI 0000069c: PUSH1 0x00 0000069e: DUP1 0000069f: REVERT 000006a0: JUMPDEST 000006a1: POP 000006a2: GAS 000006a3: CALL 000006a4: ISZERO 000006a5: DUP1 000006a6: ISZERO 000006a7: PUSH2 0x06b4 000006aa: JUMPI 000006ab: RETURNDATASIZE 000006ac: PUSH1 0x00 000006ae: DUP1 000006af: RETURNDATACOPY 000006b0: RETURNDATASIZE 000006b1: PUSH1 0x00 000006b3: REVERT 000006b4: JUMPDEST 000006b5: POP 000006b6: POP 000006b7: POP 000006b8: POP 000006b9: PUSH1 0x40 000006bb: MLOAD 000006bc: RETURNDATASIZE 000006bd: PUSH1 0x1f 000006bf: NOT 000006c0: PUSH1 0x1f 000006c2: DUP3 000006c3: ADD 000006c4: AND 000006c5: DUP3 000006c6: ADD 000006c7: DUP1 000006c8: PUSH1 0x40 000006ca: MSTORE 000006cb: POP 000006cc: DUP2 000006cd: ADD 000006ce: SWAP1 000006cf: PUSH2 0x06d8 000006d2: SWAP2 000006d3: SWAP1 000006d4: PUSH2 0x0cba 000006d7: JUMP 000006d8: JUMPDEST 000006d9: SWAP1 000006da: POP 000006db: DUP1 000006dc: PUSH2 0x06f8 000006df: JUMPI 000006e0: PUSH1 0x40 000006e2: MLOAD 000006e3: PUSH4 0x12171d83 000006e8: PUSH1 0xe3 000006ea: SHL 000006eb: DUP2 000006ec: MSTORE 000006ed: PUSH1 0x04 000006ef: ADD 000006f0: PUSH1 0x40 000006f2: MLOAD 000006f3: DUP1 000006f4: SWAP2 000006f5: SUB 000006f6: SWAP1 000006f7: REVERT 000006f8: JUMPDEST 000006f9: PUSH1 0x00 000006fb: JUMPDEST 000006fc: DUP7 000006fd: DUP2 000006fe: LT 000006ff: ISZERO 00000700: PUSH2 0x08ba 00000703: JUMPI 00000704: PUSH1 0x00 00000706: DUP7 00000707: DUP7 00000708: DUP4 00000709: DUP2 0000070a: DUP2 0000070b: LT 0000070c: PUSH2 0x0725 0000070f: JUMPI 00000710: PUSH4 0x4e487b71 00000715: PUSH1 0xe0 00000717: SHL 00000718: PUSH1 0x00 0000071a: MSTORE 0000071b: PUSH1 0x32 0000071d: PUSH1 0x04 0000071f: MSTORE 00000720: PUSH1 0x24 00000722: PUSH1 0x00 00000724: REVERT 00000725: JUMPDEST 00000726: SWAP1 00000727: POP 00000728: PUSH1 0x20 0000072a: MUL 0000072b: ADD 0000072c: PUSH1 0x20 0000072e: DUP2 0000072f: ADD 00000730: SWAP1 00000731: PUSH2 0x073a 00000734: SWAP2 00000735: SWAP1 00000736: PUSH2 0x0cd6 00000739: JUMP 0000073a: JUMPDEST 0000073b: PUSH2 0xffff 0000073e: AND 0000073f: GT 00000740: ISZERO 00000741: PUSH2 0x08a8 00000744: JUMPI 00000745: PUSH1 0x00 00000747: PUSH2 0x2710 0000074a: DUP8 0000074b: DUP8 0000074c: DUP5 0000074d: DUP2 0000074e: DUP2 0000074f: LT 00000750: PUSH2 0x0769 00000753: JUMPI 00000754: PUSH4 0x4e487b71 00000759: PUSH1 0xe0 0000075b: SHL 0000075c: PUSH1 0x00 0000075e: MSTORE 0000075f: PUSH1 0x32 00000761: PUSH1 0x04 00000763: MSTORE 00000764: PUSH1 0x24 00000766: PUSH1 0x00 00000768: REVERT 00000769: JUMPDEST 0000076a: SWAP1 0000076b: POP 0000076c: PUSH1 0x20 0000076e: MUL 0000076f: ADD 00000770: PUSH1 0x20 00000772: DUP2 00000773: ADD 00000774: SWAP1 00000775: PUSH2 0x077e 00000778: SWAP2 00000779: SWAP1 0000077a: PUSH2 0x0cd6 0000077d: JUMP 0000077e: JUMPDEST 0000077f: PUSH2 0x078c 00000782: SWAP1 00000783: PUSH2 0xffff 00000786: AND 00000787: DUP14 00000788: PUSH2 0x0db7 0000078b: JUMP 0000078c: JUMPDEST 0000078d: PUSH2 0x0796 00000790: SWAP2 00000791: SWAP1 00000792: PUSH2 0x0d97 00000795: JUMP 00000796: JUMPDEST 00000797: SWAP1 00000798: POP 00000799: DUP1 0000079a: PUSH1 0x00 0000079c: DUP1 0000079d: DUP12 0000079e: DUP12 0000079f: DUP7 000007a0: DUP2 000007a1: DUP2 000007a2: LT 000007a3: PUSH2 0x07bc 000007a6: JUMPI 000007a7: PUSH4 0x4e487b71 000007ac: PUSH1 0xe0 000007ae: SHL 000007af: PUSH1 0x00 000007b1: MSTORE 000007b2: PUSH1 0x32 000007b4: PUSH1 0x04 000007b6: MSTORE 000007b7: PUSH1 0x24 000007b9: PUSH1 0x00 000007bb: REVERT 000007bc: JUMPDEST 000007bd: SWAP1 000007be: POP 000007bf: PUSH1 0x20 000007c1: MUL 000007c2: ADD 000007c3: PUSH1 0x20 000007c5: DUP2 000007c6: ADD 000007c7: SWAP1 000007c8: PUSH2 0x07d1 000007cb: SWAP2 000007cc: SWAP1 000007cd: PUSH2 0x0b9a 000007d0: JUMP 000007d1: JUMPDEST 000007d2: PUSH1 0x01 000007d4: PUSH1 0x01 000007d6: PUSH1 0xa0 000007d8: SHL 000007d9: SUB 000007da: AND 000007db: PUSH1 0x01 000007dd: PUSH1 0x01 000007df: PUSH1 0xa0 000007e1: SHL 000007e2: SUB 000007e3: AND 000007e4: DUP2 000007e5: MSTORE 000007e6: PUSH1 0x20 000007e8: ADD 000007e9: SWAP1 000007ea: DUP2 000007eb: MSTORE 000007ec: PUSH1 0x20 000007ee: ADD 000007ef: PUSH1 0x00 000007f1: KECCAK256 000007f2: PUSH1 0x00 000007f4: DUP13 000007f5: PUSH1 0x01 000007f7: PUSH1 0x01 000007f9: PUSH1 0xa0 000007fb: SHL 000007fc: SUB 000007fd: AND 000007fe: PUSH1 0x01 00000800: PUSH1 0x01 00000802: PUSH1 0xa0 00000804: SHL 00000805: SUB 00000806: AND 00000807: DUP2 00000808: MSTORE 00000809: PUSH1 0x20 0000080b: ADD 0000080c: SWAP1 0000080d: DUP2 0000080e: MSTORE 0000080f: PUSH1 0x20 00000811: ADD 00000812: PUSH1 0x00 00000814: KECCAK256 00000815: PUSH1 0x00 00000817: DUP3 00000818: DUP3 00000819: SLOAD 0000081a: PUSH2 0x0823 0000081d: SWAP2 0000081e: SWAP1 0000081f: PUSH2 0x0d7f 00000822: JUMP 00000823: JUMPDEST 00000824: SWAP1 00000825: SWAP2 00000826: SSTORE 00000827: POP 00000828: DUP10 00000829: SWAP1 0000082a: POP 0000082b: DUP9 0000082c: DUP4 0000082d: DUP2 0000082e: DUP2 0000082f: LT 00000830: PUSH2 0x0849 00000833: JUMPI 00000834: PUSH4 0x4e487b71 00000839: PUSH1 0xe0 0000083b: SHL 0000083c: PUSH1 0x00 0000083e: MSTORE 0000083f: PUSH1 0x32 00000841: PUSH1 0x04 00000843: MSTORE 00000844: PUSH1 0x24 00000846: PUSH1 0x00 00000848: REVERT 00000849: JUMPDEST 0000084a: SWAP1 0000084b: POP 0000084c: PUSH1 0x20 0000084e: MUL 0000084f: ADD 00000850: PUSH1 0x20 00000852: DUP2 00000853: ADD 00000854: SWAP1 00000855: PUSH2 0x085e 00000858: SWAP2 00000859: SWAP1 0000085a: PUSH2 0x0b9a 0000085d: JUMP 0000085e: JUMPDEST 0000085f: PUSH1 0x40 00000861: DUP1 00000862: MLOAD 00000863: PUSH1 0x01 00000865: PUSH1 0x01 00000867: PUSH1 0xa0 00000869: SHL 0000086a: SUB 0000086b: DUP14 0000086c: DUP2 0000086d: AND 0000086e: DUP3 0000086f: MSTORE 00000870: PUSH1 0x20 00000872: DUP3 00000873: ADD 00000874: DUP6 00000875: SWAP1 00000876: MSTORE 00000877: SWAP3 00000878: SWAP1 00000879: SWAP3 0000087a: AND 0000087b: SWAP2 0000087c: PUSH32 0x55f368ec5df1aca853572d5a6cbda215a84cf17a93c765932dcfb1c237df2eca 0000089d: SWAP2 0000089e: ADD 0000089f: PUSH1 0x40 000008a1: MLOAD 000008a2: DUP1 000008a3: SWAP2 000008a4: SUB 000008a5: SWAP1 000008a6: LOG2 000008a7: POP 000008a8: JUMPDEST 000008a9: DUP1 000008aa: PUSH2 0x08b2 000008ad: DUP2 000008ae: PUSH2 0x0dd6 000008b1: JUMP 000008b2: JUMPDEST 000008b3: SWAP2 000008b4: POP 000008b5: POP 000008b6: PUSH2 0x06fb 000008b9: JUMP 000008ba: JUMPDEST 000008bb: POP 000008bc: POP 000008bd: POP 000008be: JUMPDEST 000008bf: POP 000008c0: POP 000008c1: POP 000008c2: POP 000008c3: POP 000008c4: POP 000008c5: POP 000008c6: JUMP 000008c7: JUMPDEST 000008c8: PUSH1 0x01 000008ca: PUSH1 0x01 000008cc: PUSH1 0xa0 000008ce: SHL 000008cf: SUB 000008d0: DUP4 000008d1: DUP2 000008d2: AND 000008d3: PUSH1 0x00 000008d5: SWAP1 000008d6: DUP2 000008d7: MSTORE 000008d8: PUSH1 0x20 000008da: DUP2 000008db: DUP2 000008dc: MSTORE 000008dd: PUSH1 0x40 000008df: DUP1 000008e0: DUP4 000008e1: KECCAK256 000008e2: SWAP4 000008e3: DUP6 000008e4: AND 000008e5: DUP4 000008e6: MSTORE 000008e7: SWAP3 000008e8: SWAP1 000008e9: MSTORE 000008ea: SWAP1 000008eb: DUP2 000008ec: KECCAK256 000008ed: DUP1 000008ee: SLOAD 000008ef: SWAP2 000008f0: SWAP1 000008f1: SSTORE 000008f2: DUP1 000008f3: PUSH2 0x090f 000008f6: JUMPI 000008f7: PUSH1 0x40 000008f9: MLOAD 000008fa: PUSH4 0x21cd723f 000008ff: PUSH1 0xe2 00000901: SHL 00000902: DUP2 00000903: MSTORE 00000904: PUSH1 0x04 00000906: ADD 00000907: PUSH1 0x40 00000909: MLOAD 0000090a: DUP1 0000090b: SWAP2 0000090c: SUB 0000090d: SWAP1 0000090e: REVERT 0000090f: JUMPDEST 00000910: PUSH1 0x01 00000912: PUSH1 0x01 00000914: PUSH1 0xa0 00000916: SHL 00000917: SUB 00000918: DUP3 00000919: AND 0000091a: PUSH2 0x0999 0000091d: JUMPI 0000091e: PUSH1 0x00 00000920: DUP4 00000921: PUSH1 0x01 00000923: PUSH1 0x01 00000925: PUSH1 0xa0 00000927: SHL 00000928: SUB 00000929: AND 0000092a: DUP3 0000092b: PUSH1 0x40 0000092d: MLOAD 0000092e: PUSH1 0x00 00000930: PUSH1 0x40 00000932: MLOAD 00000933: DUP1 00000934: DUP4 00000935: SUB 00000936: DUP2 00000937: DUP6 00000938: DUP8 00000939: GAS 0000093a: CALL 0000093b: SWAP3 0000093c: POP 0000093d: POP 0000093e: POP 0000093f: RETURNDATASIZE 00000940: DUP1 00000941: PUSH1 0x00 00000943: DUP2 00000944: EQ 00000945: PUSH2 0x096a 00000948: JUMPI 00000949: PUSH1 0x40 0000094b: MLOAD 0000094c: SWAP2 0000094d: POP 0000094e: PUSH1 0x1f 00000950: NOT 00000951: PUSH1 0x3f 00000953: RETURNDATASIZE 00000954: ADD 00000955: AND 00000956: DUP3 00000957: ADD 00000958: PUSH1 0x40 0000095a: MSTORE 0000095b: RETURNDATASIZE 0000095c: DUP3 0000095d: MSTORE 0000095e: RETURNDATASIZE 0000095f: PUSH1 0x00 00000961: PUSH1 0x20 00000963: DUP5 00000964: ADD 00000965: RETURNDATACOPY 00000966: PUSH2 0x096f 00000969: JUMP 0000096a: JUMPDEST 0000096b: PUSH1 0x60 0000096d: SWAP2 0000096e: POP 0000096f: JUMPDEST 00000970: POP 00000971: POP 00000972: DUP1 00000973: SWAP2 00000974: POP 00000975: POP 00000976: DUP1 00000977: PUSH2 0x0993 0000097a: JUMPI 0000097b: PUSH1 0x40 0000097d: MLOAD 0000097e: PUSH4 0x12171d83 00000983: PUSH1 0xe3 00000985: SHL 00000986: DUP2 00000987: MSTORE 00000988: PUSH1 0x04 0000098a: ADD 0000098b: PUSH1 0x40 0000098d: MLOAD 0000098e: DUP1 0000098f: SWAP2 00000990: SUB 00000991: SWAP1 00000992: REVERT 00000993: JUMPDEST 00000994: POP 00000995: PUSH2 0x0a43 00000998: JUMP 00000999: JUMPDEST 0000099a: PUSH1 0x40 0000099c: MLOAD 0000099d: PUSH4 0xa9059cbb 000009a2: PUSH1 0xe0 000009a4: SHL 000009a5: DUP2 000009a6: MSTORE 000009a7: PUSH1 0x01 000009a9: PUSH1 0x01 000009ab: PUSH1 0xa0 000009ad: SHL 000009ae: SUB 000009af: DUP5 000009b0: DUP2 000009b1: AND 000009b2: PUSH1 0x04 000009b4: DUP4 000009b5: ADD 000009b6: MSTORE 000009b7: PUSH1 0x24 000009b9: DUP3 000009ba: ADD 000009bb: DUP4 000009bc: SWAP1 000009bd: MSTORE 000009be: DUP4 000009bf: SWAP2 000009c0: PUSH1 0x00 000009c2: SWAP2 000009c3: DUP4 000009c4: AND 000009c5: SWAP1 000009c6: PUSH4 0xa9059cbb 000009cb: SWAP1 000009cc: PUSH1 0x44 000009ce: ADD 000009cf: PUSH1 0x20 000009d1: PUSH1 0x40 000009d3: MLOAD 000009d4: DUP1 000009d5: DUP4 000009d6: SUB 000009d7: DUP2 000009d8: PUSH1 0x00 000009da: DUP8 000009db: DUP1 000009dc: EXTCODESIZE 000009dd: ISZERO 000009de: DUP1 000009df: ISZERO 000009e0: PUSH2 0x09e8 000009e3: JUMPI 000009e4: PUSH1 0x00 000009e6: DUP1 000009e7: REVERT 000009e8: JUMPDEST 000009e9: POP 000009ea: GAS 000009eb: CALL 000009ec: ISZERO 000009ed: DUP1 000009ee: ISZERO 000009ef: PUSH2 0x09fc 000009f2: JUMPI 000009f3: RETURNDATASIZE 000009f4: PUSH1 0x00 000009f6: DUP1 000009f7: RETURNDATACOPY 000009f8: RETURNDATASIZE 000009f9: PUSH1 0x00 000009fb: REVERT 000009fc: JUMPDEST 000009fd: POP 000009fe: POP 000009ff: POP 00000a00: POP 00000a01: PUSH1 0x40 00000a03: MLOAD 00000a04: RETURNDATASIZE 00000a05: PUSH1 0x1f 00000a07: NOT 00000a08: PUSH1 0x1f 00000a0a: DUP3 00000a0b: ADD 00000a0c: AND 00000a0d: DUP3 00000a0e: ADD 00000a0f: DUP1 00000a10: PUSH1 0x40 00000a12: MSTORE 00000a13: POP 00000a14: DUP2 00000a15: ADD 00000a16: SWAP1 00000a17: PUSH2 0x0a20 00000a1a: SWAP2 00000a1b: SWAP1 00000a1c: PUSH2 0x0cba 00000a1f: JUMP 00000a20: JUMPDEST 00000a21: SWAP1 00000a22: POP 00000a23: DUP1 00000a24: PUSH2 0x0a40 00000a27: JUMPI 00000a28: PUSH1 0x40 00000a2a: MLOAD 00000a2b: PUSH4 0x12171d83 00000a30: PUSH1 0xe3 00000a32: SHL 00000a33: DUP2 00000a34: MSTORE 00000a35: PUSH1 0x04 00000a37: ADD 00000a38: PUSH1 0x40 00000a3a: MLOAD 00000a3b: DUP1 00000a3c: SWAP2 00000a3d: SUB 00000a3e: SWAP1 00000a3f: REVERT 00000a40: JUMPDEST 00000a41: POP 00000a42: POP 00000a43: JUMPDEST 00000a44: PUSH1 0x40 00000a46: DUP1 00000a47: MLOAD 00000a48: PUSH1 0x01 00000a4a: PUSH1 0x01 00000a4c: PUSH1 0xa0 00000a4e: SHL 00000a4f: SUB 00000a50: DUP5 00000a51: DUP2 00000a52: AND 00000a53: DUP3 00000a54: MSTORE 00000a55: PUSH1 0x20 00000a57: DUP3 00000a58: ADD 00000a59: DUP5 00000a5a: SWAP1 00000a5b: MSTORE 00000a5c: DUP7 00000a5d: AND 00000a5e: SWAP2 00000a5f: PUSH32 0x2717ead6b9200dd235aad468c9809ea400fe33ac69b5bfaa6d3e90fc922b6398 00000a80: SWAP2 00000a81: ADD 00000a82: PUSH1 0x40 00000a84: MLOAD 00000a85: DUP1 00000a86: SWAP2 00000a87: SUB 00000a88: SWAP1 00000a89: LOG2 00000a8a: POP 00000a8b: POP 00000a8c: POP 00000a8d: POP 00000a8e: JUMP 00000a8f: JUMPDEST 00000a90: DUP1 00000a91: CALLDATALOAD 00000a92: PUSH1 0x01 00000a94: PUSH1 0x01 00000a96: PUSH1 0xa0 00000a98: SHL 00000a99: SUB 00000a9a: DUP2 00000a9b: AND 00000a9c: DUP2 00000a9d: EQ 00000a9e: PUSH2 0x0aa6 00000aa1: JUMPI 00000aa2: PUSH1 0x00 00000aa4: DUP1 00000aa5: REVERT 00000aa6: JUMPDEST 00000aa7: SWAP2 00000aa8: SWAP1 00000aa9: POP 00000aaa: JUMP 00000aab: JUMPDEST 00000aac: PUSH1 0x00 00000aae: DUP1 00000aaf: DUP4 00000ab0: PUSH1 0x1f 00000ab2: DUP5 00000ab3: ADD 00000ab4: SLT 00000ab5: PUSH2 0x0abc 00000ab8: JUMPI 00000ab9: DUP1 00000aba: DUP2 00000abb: REVERT 00000abc: JUMPDEST 00000abd: POP 00000abe: DUP2 00000abf: CALLDATALOAD 00000ac0: PUSH8 0xffffffffffffffff 00000ac9: DUP2 00000aca: GT 00000acb: ISZERO 00000acc: PUSH2 0x0ad3 00000acf: JUMPI 00000ad0: DUP2 00000ad1: DUP3 00000ad2: REVERT 00000ad3: JUMPDEST 00000ad4: PUSH1 0x20 00000ad6: DUP4 00000ad7: ADD 00000ad8: SWAP2 00000ad9: POP 00000ada: DUP4 00000adb: PUSH1 0x20 00000add: DUP3 00000ade: PUSH1 0x05 00000ae0: SHL 00000ae1: DUP6 00000ae2: ADD 00000ae3: ADD 00000ae4: GT 00000ae5: ISZERO 00000ae6: PUSH2 0x0aee 00000ae9: JUMPI 00000aea: PUSH1 0x00 00000aec: DUP1 00000aed: REVERT 00000aee: JUMPDEST 00000aef: SWAP3 00000af0: POP 00000af1: SWAP3 00000af2: SWAP1 00000af3: POP 00000af4: JUMP 00000af5: JUMPDEST 00000af6: PUSH1 0x00 00000af8: DUP3 00000af9: PUSH1 0x1f 00000afb: DUP4 00000afc: ADD 00000afd: SLT 00000afe: PUSH2 0x0b05 00000b01: JUMPI 00000b02: DUP1 00000b03: DUP2 00000b04: REVERT 00000b05: JUMPDEST 00000b06: DUP2 00000b07: CALLDATALOAD 00000b08: PUSH1 0x20 00000b0a: PUSH8 0xffffffffffffffff 00000b13: DUP1 00000b14: DUP4 00000b15: GT 00000b16: ISZERO 00000b17: PUSH2 0x0b22 00000b1a: JUMPI 00000b1b: PUSH2 0x0b22 00000b1e: PUSH2 0x0e07 00000b21: JUMP 00000b22: JUMPDEST 00000b23: DUP3 00000b24: PUSH1 0x05 00000b26: SHL 00000b27: PUSH1 0x40 00000b29: MLOAD 00000b2a: PUSH1 0x1f 00000b2c: NOT 00000b2d: PUSH1 0x3f 00000b2f: DUP4 00000b30: ADD 00000b31: AND 00000b32: DUP2 00000b33: ADD 00000b34: DUP2 00000b35: DUP2 00000b36: LT 00000b37: DUP5 00000b38: DUP3 00000b39: GT 00000b3a: OR 00000b3b: ISZERO 00000b3c: PUSH2 0x0b47 00000b3f: JUMPI 00000b40: PUSH2 0x0b47 00000b43: PUSH2 0x0e07 00000b46: JUMP 00000b47: JUMPDEST 00000b48: PUSH1 0x40 00000b4a: MSTORE 00000b4b: DUP5 00000b4c: DUP2 00000b4d: MSTORE 00000b4e: DUP4 00000b4f: DUP2 00000b50: ADD 00000b51: SWAP3 00000b52: POP 00000b53: DUP7 00000b54: DUP5 00000b55: ADD 00000b56: DUP3 00000b57: DUP9 00000b58: ADD 00000b59: DUP6 00000b5a: ADD 00000b5b: DUP10 00000b5c: LT 00000b5d: ISZERO 00000b5e: PUSH2 0x0b65 00000b61: JUMPI 00000b62: DUP7 00000b63: DUP8 00000b64: REVERT 00000b65: JUMPDEST 00000b66: DUP7 00000b67: SWAP3 00000b68: POP 00000b69: JUMPDEST 00000b6a: DUP6 00000b6b: DUP4 00000b6c: LT 00000b6d: ISZERO 00000b6e: PUSH2 0x0b8e 00000b71: JUMPI 00000b72: PUSH2 0x0b7a 00000b75: DUP2 00000b76: PUSH2 0x0a8f 00000b79: JUMP 00000b7a: JUMPDEST 00000b7b: DUP5 00000b7c: MSTORE 00000b7d: SWAP3 00000b7e: DUP5 00000b7f: ADD 00000b80: SWAP3 00000b81: PUSH1 0x01 00000b83: SWAP3 00000b84: SWAP1 00000b85: SWAP3 00000b86: ADD 00000b87: SWAP2 00000b88: DUP5 00000b89: ADD 00000b8a: PUSH2 0x0b69 00000b8d: JUMP 00000b8e: JUMPDEST 00000b8f: POP 00000b90: SWAP8 00000b91: SWAP7 00000b92: POP 00000b93: POP 00000b94: POP 00000b95: POP 00000b96: POP 00000b97: POP 00000b98: POP 00000b99: JUMP 00000b9a: JUMPDEST 00000b9b: PUSH1 0x00 00000b9d: PUSH1 0x20 00000b9f: DUP3 00000ba0: DUP5 00000ba1: SUB 00000ba2: SLT 00000ba3: ISZERO 00000ba4: PUSH2 0x0bab 00000ba7: JUMPI 00000ba8: DUP1 00000ba9: DUP2 00000baa: REVERT 00000bab: JUMPDEST 00000bac: PUSH2 0x0bb4 00000baf: DUP3 00000bb0: PUSH2 0x0a8f 00000bb3: JUMP 00000bb4: JUMPDEST 00000bb5: SWAP4 00000bb6: SWAP3 00000bb7: POP 00000bb8: POP 00000bb9: POP 00000bba: JUMP 00000bbb: JUMPDEST 00000bbc: PUSH1 0x00 00000bbe: DUP1 00000bbf: PUSH1 0x40 00000bc1: DUP4 00000bc2: DUP6 00000bc3: SUB 00000bc4: SLT 00000bc5: ISZERO 00000bc6: PUSH2 0x0bcd 00000bc9: JUMPI 00000bca: DUP1 00000bcb: DUP2 00000bcc: REVERT 00000bcd: JUMPDEST 00000bce: PUSH2 0x0bd6 00000bd1: DUP4 00000bd2: PUSH2 0x0a8f 00000bd5: JUMP 00000bd6: JUMPDEST 00000bd7: SWAP2 00000bd8: POP 00000bd9: PUSH2 0x0be4 00000bdc: PUSH1 0x20 00000bde: DUP5 00000bdf: ADD 00000be0: PUSH2 0x0a8f 00000be3: JUMP 00000be4: JUMPDEST 00000be5: SWAP1 00000be6: POP 00000be7: SWAP3 00000be8: POP 00000be9: SWAP3 00000bea: SWAP1 00000beb: POP 00000bec: JUMP 00000bed: JUMPDEST 00000bee: PUSH1 0x00 00000bf0: DUP1 00000bf1: PUSH1 0x00 00000bf3: PUSH1 0x60 00000bf5: DUP5 00000bf6: DUP7 00000bf7: SUB 00000bf8: SLT 00000bf9: ISZERO 00000bfa: PUSH2 0x0c01 00000bfd: JUMPI 00000bfe: DUP1 00000bff: DUP2 00000c00: REVERT 00000c01: JUMPDEST 00000c02: PUSH2 0x0c0a 00000c05: DUP5 00000c06: PUSH2 0x0a8f 00000c09: JUMP 00000c0a: JUMPDEST 00000c0b: SWAP3 00000c0c: POP 00000c0d: PUSH2 0x0c18 00000c10: PUSH1 0x20 00000c12: DUP6 00000c13: ADD 00000c14: PUSH2 0x0a8f 00000c17: JUMP 00000c18: JUMPDEST 00000c19: SWAP2 00000c1a: POP 00000c1b: PUSH1 0x40 00000c1d: DUP5 00000c1e: ADD 00000c1f: CALLDATALOAD 00000c20: PUSH8 0xffffffffffffffff 00000c29: DUP2 00000c2a: GT 00000c2b: ISZERO 00000c2c: PUSH2 0x0c33 00000c2f: JUMPI 00000c30: DUP2 00000c31: DUP3 00000c32: REVERT 00000c33: JUMPDEST 00000c34: PUSH2 0x0c3f 00000c37: DUP7 00000c38: DUP3 00000c39: DUP8 00000c3a: ADD 00000c3b: PUSH2 0x0af5 00000c3e: JUMP 00000c3f: JUMPDEST 00000c40: SWAP2 00000c41: POP 00000c42: POP 00000c43: SWAP3 00000c44: POP 00000c45: SWAP3 00000c46: POP 00000c47: SWAP3 00000c48: JUMP 00000c49: JUMPDEST 00000c4a: PUSH1 0x00 00000c4c: DUP1 00000c4d: PUSH1 0x40 00000c4f: DUP4 00000c50: DUP6 00000c51: SUB 00000c52: SLT 00000c53: ISZERO 00000c54: PUSH2 0x0c5b 00000c57: JUMPI 00000c58: DUP2 00000c59: DUP3 00000c5a: REVERT 00000c5b: JUMPDEST 00000c5c: PUSH2 0x0c64 00000c5f: DUP4 00000c60: PUSH2 0x0a8f 00000c63: JUMP 00000c64: JUMPDEST 00000c65: SWAP2 00000c66: POP 00000c67: PUSH1 0x20 00000c69: DUP4 00000c6a: ADD 00000c6b: CALLDATALOAD 00000c6c: PUSH2 0x0c74 00000c6f: DUP2 00000c70: PUSH2 0x0e1d 00000c73: JUMP 00000c74: JUMPDEST 00000c75: DUP1 00000c76: SWAP2 00000c77: POP 00000c78: POP 00000c79: SWAP3 00000c7a: POP 00000c7b: SWAP3 00000c7c: SWAP1 00000c7d: POP 00000c7e: JUMP 00000c7f: JUMPDEST 00000c80: PUSH1 0x00 00000c82: PUSH1 0x20 00000c84: DUP3 00000c85: DUP5 00000c86: SUB 00000c87: SLT 00000c88: ISZERO 00000c89: PUSH2 0x0c90 00000c8c: JUMPI 00000c8d: DUP1 00000c8e: DUP2 00000c8f: REVERT 00000c90: JUMPDEST 00000c91: DUP2 00000c92: CALLDATALOAD 00000c93: PUSH8 0xffffffffffffffff 00000c9c: DUP2 00000c9d: GT 00000c9e: ISZERO 00000c9f: PUSH2 0x0ca6 00000ca2: JUMPI 00000ca3: DUP2 00000ca4: DUP3 00000ca5: REVERT 00000ca6: JUMPDEST 00000ca7: PUSH2 0x0cb2 00000caa: DUP5 00000cab: DUP3 00000cac: DUP6 00000cad: ADD 00000cae: PUSH2 0x0af5 00000cb1: JUMP 00000cb2: JUMPDEST 00000cb3: SWAP5 00000cb4: SWAP4 00000cb5: POP 00000cb6: POP 00000cb7: POP 00000cb8: POP 00000cb9: JUMP 00000cba: JUMPDEST 00000cbb: PUSH1 0x00 00000cbd: PUSH1 0x20 00000cbf: DUP3 00000cc0: DUP5 00000cc1: SUB 00000cc2: SLT 00000cc3: ISZERO 00000cc4: PUSH2 0x0ccb 00000cc7: JUMPI 00000cc8: DUP1 00000cc9: DUP2 00000cca: REVERT 00000ccb: JUMPDEST 00000ccc: DUP2 00000ccd: MLOAD 00000cce: PUSH2 0x0bb4 00000cd1: DUP2 00000cd2: PUSH2 0x0e1d 00000cd5: JUMP 00000cd6: JUMPDEST 00000cd7: PUSH1 0x00 00000cd9: PUSH1 0x20 00000cdb: DUP3 00000cdc: DUP5 00000cdd: SUB 00000cde: SLT 00000cdf: ISZERO 00000ce0: PUSH2 0x0ce7 00000ce3: JUMPI 00000ce4: DUP1 00000ce5: DUP2 00000ce6: REVERT 00000ce7: JUMPDEST 00000ce8: DUP2 00000ce9: CALLDATALOAD 00000cea: PUSH2 0xffff 00000ced: DUP2 00000cee: AND 00000cef: DUP2 00000cf0: EQ 00000cf1: PUSH2 0x0bb4 00000cf4: JUMPI 00000cf5: DUP2 00000cf6: DUP3 00000cf7: REVERT 00000cf8: JUMPDEST 00000cf9: PUSH1 0x00 00000cfb: DUP1 00000cfc: PUSH1 0x00 00000cfe: DUP1 00000cff: PUSH1 0x00 00000d01: DUP1 00000d02: PUSH1 0x80 00000d04: DUP8 00000d05: DUP10 00000d06: SUB 00000d07: SLT 00000d08: ISZERO 00000d09: PUSH2 0x0d10 00000d0c: JUMPI 00000d0d: DUP2 00000d0e: DUP3 00000d0f: REVERT 00000d10: JUMPDEST 00000d11: DUP7 00000d12: CALLDATALOAD 00000d13: SWAP6 00000d14: POP 00000d15: PUSH2 0x0d20 00000d18: PUSH1 0x20 00000d1a: DUP9 00000d1b: ADD 00000d1c: PUSH2 0x0a8f 00000d1f: JUMP 00000d20: JUMPDEST 00000d21: SWAP5 00000d22: POP 00000d23: PUSH1 0x40 00000d25: DUP8 00000d26: ADD 00000d27: CALLDATALOAD 00000d28: PUSH8 0xffffffffffffffff 00000d31: DUP1 00000d32: DUP3 00000d33: GT 00000d34: ISZERO 00000d35: PUSH2 0x0d3c 00000d38: JUMPI 00000d39: DUP4 00000d3a: DUP5 00000d3b: REVERT 00000d3c: JUMPDEST 00000d3d: PUSH2 0x0d48 00000d40: DUP11 00000d41: DUP4 00000d42: DUP12 00000d43: ADD 00000d44: PUSH2 0x0aab 00000d47: JUMP 00000d48: JUMPDEST 00000d49: SWAP1 00000d4a: SWAP7 00000d4b: POP 00000d4c: SWAP5 00000d4d: POP 00000d4e: PUSH1 0x60 00000d50: DUP10 00000d51: ADD 00000d52: CALLDATALOAD 00000d53: SWAP2 00000d54: POP 00000d55: DUP1 00000d56: DUP3 00000d57: GT 00000d58: ISZERO 00000d59: PUSH2 0x0d60 00000d5c: JUMPI 00000d5d: DUP4 00000d5e: DUP5 00000d5f: REVERT 00000d60: JUMPDEST 00000d61: POP 00000d62: PUSH2 0x0d6d 00000d65: DUP10 00000d66: DUP3 00000d67: DUP11 00000d68: ADD 00000d69: PUSH2 0x0aab 00000d6c: JUMP 00000d6d: JUMPDEST 00000d6e: SWAP8 00000d6f: SWAP11 00000d70: SWAP7 00000d71: SWAP10 00000d72: POP 00000d73: SWAP5 00000d74: SWAP8 00000d75: POP 00000d76: SWAP3 00000d77: SWAP6 00000d78: SWAP4 00000d79: SWAP5 00000d7a: SWAP3 00000d7b: POP 00000d7c: POP 00000d7d: POP 00000d7e: JUMP 00000d7f: JUMPDEST 00000d80: PUSH1 0x00 00000d82: DUP3 00000d83: NOT 00000d84: DUP3 00000d85: GT 00000d86: ISZERO 00000d87: PUSH2 0x0d92 00000d8a: JUMPI 00000d8b: PUSH2 0x0d92 00000d8e: PUSH2 0x0df1 00000d91: JUMP 00000d92: JUMPDEST 00000d93: POP 00000d94: ADD 00000d95: SWAP1 00000d96: JUMP 00000d97: JUMPDEST 00000d98: PUSH1 0x00 00000d9a: DUP3 00000d9b: PUSH2 0x0db2 00000d9e: JUMPI 00000d9f: PUSH4 0x4e487b71 00000da4: PUSH1 0xe0 00000da6: SHL 00000da7: DUP2 00000da8: MSTORE 00000da9: PUSH1 0x12 00000dab: PUSH1 0x04 00000dad: MSTORE 00000dae: PUSH1 0x24 00000db0: DUP2 00000db1: REVERT 00000db2: JUMPDEST 00000db3: POP 00000db4: DIV 00000db5: SWAP1 00000db6: JUMP 00000db7: JUMPDEST 00000db8: PUSH1 0x00 00000dba: DUP2 00000dbb: PUSH1 0x00 00000dbd: NOT 00000dbe: DIV 00000dbf: DUP4 00000dc0: GT 00000dc1: DUP3 00000dc2: ISZERO 00000dc3: ISZERO 00000dc4: AND 00000dc5: ISZERO 00000dc6: PUSH2 0x0dd1 00000dc9: JUMPI 00000dca: PUSH2 0x0dd1 00000dcd: PUSH2 0x0df1 00000dd0: JUMP 00000dd1: JUMPDEST 00000dd2: POP 00000dd3: MUL 00000dd4: SWAP1 00000dd5: JUMP 00000dd6: JUMPDEST 00000dd7: PUSH1 0x00 00000dd9: PUSH1 0x00 00000ddb: NOT 00000ddc: DUP3 00000ddd: EQ 00000dde: ISZERO 00000ddf: PUSH2 0x0dea 00000de2: JUMPI 00000de3: PUSH2 0x0dea 00000de6: PUSH2 0x0df1 00000de9: JUMP 00000dea: JUMPDEST 00000deb: POP 00000dec: PUSH1 0x01 00000dee: ADD 00000def: SWAP1 00000df0: JUMP 00000df1: JUMPDEST 00000df2: PUSH4 0x4e487b71 00000df7: PUSH1 0xe0 00000df9: SHL 00000dfa: PUSH1 0x00 00000dfc: MSTORE 00000dfd: PUSH1 0x11 00000dff: PUSH1 0x04 00000e01: MSTORE 00000e02: PUSH1 0x24 00000e04: PUSH1 0x00 00000e06: REVERT 00000e07: JUMPDEST 00000e08: PUSH4 0x4e487b71 00000e0d: PUSH1 0xe0 00000e0f: SHL 00000e10: PUSH1 0x00 00000e12: MSTORE 00000e13: PUSH1 0x41 00000e15: PUSH1 0x04 00000e17: MSTORE 00000e18: PUSH1 0x24 00000e1a: PUSH1 0x00 00000e1c: REVERT 00000e1d: JUMPDEST 00000e1e: DUP1 00000e1f: ISZERO 00000e20: ISZERO 00000e21: DUP2 00000e22: EQ 00000e23: PUSH2 0x0316 00000e26: JUMPI 00000e27: PUSH1 0x00 00000e29: DUP1 00000e2a: REVERT 00000e2b: INVALID 00000e2c: LOG2 00000e2d: PUSH5 0x6970667358 00000e33: UNKNOWN(0x22) 00000e34: SLT 00000e35: KECCAK256 00000e36: MSTORE8 00000e37: MSTORE 00000e38: DUP7 00000e39: UNKNOWN(0x2C) 00000e3a: LOG2 00000e3b: JUMP 00000e3c: UNKNOWN(0xCA) 00000e3d: PUSH9 0xd1afa1d275e255472b 00000e47: CALLER 00000e48: UNKNOWN(0xCC) 00000e49: UNKNOWN(0xC2) 00000e4a: UNKNOWN(0xC3) 00000e4b: DUP13 00000e4c: DIV 00000e4d: UNKNOWN(0xD1) 00000e4e: UNKNOWN(0xA8) 00000e4f: DUP5 00000e50: CALLVALUE 00000e51: JUMPDEST 00000e52: POP 00000e53: BASEFEE 00000e54: UNKNOWN(0xAB) 00000e55: UNKNOWN(0xB8) 00000e56: PUSH5 0x736f6c6343 00000e5c: STOP 00000e5d: ADDMOD 00000e5e: DIV 00000e5f: STOP 00000e60: 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: 0x03c137142fd03144b16d2ecfa11f532674eca04df4dbbd29cb53ece16d3bf984
call_targets:
0xaafdfa4a935d8511bf285af11a0544ce7e4a1199
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x03c137142fd03144b16d2ecfa11f532674eca04df4dbbd29cb53ece16d3bf984",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xaafdfa4a935d8511bf285af11a0544ce7e4a1199"
],
"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": "0xa389783e",
"selector": "0xa389783e",
"calldata_variants": [
"0xa389783e",
"0xa389783e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xb7f64bd5",
"selector": "0xb7f64bd5",
"calldata_variants": [
"0xb7f64bd5",
"0xb7f64bd50000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe3d670d7",
"selector": "0xe3d670d7",
"calldata_variants": [
"0xe3d670d7",
"0xe3d670d70000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe81f02b6",
"selector": "0xe81f02b6",
"calldata_variants": [
"0xe81f02b6",
"0xe81f02b60000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xff05280e",
"selector": "0xff05280e",
"calldata_variants": [
"0xff05280e",
"0xff05280e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3ccfd60b",
"selector": "0x3ccfd60b",
"calldata_variants": [
"0x3ccfd60b",
"0x3ccfd60b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x5ecb16cd",
"selector": "0x5ecb16cd",
"calldata_variants": [
"0x5ecb16cd",
"0x5ecb16cd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x9a375b07",
"selector": "0x9a375b07",
"calldata_variants": [
"0x9a375b07",
"0x9a375b070000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1699,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2362,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2539,
"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: 0x03c137142fd03144b16d2ecfa11f532674eca04df4dbbd29cb53ece16d3bf984
call_targets:
0xaafdfa4a935d8511bf285af11a0544ce7e4a1199
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x03c137142fd03144b16d2ecfa11f532674eca04df4dbbd29cb53ece16d3bf984",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xaafdfa4a935d8511bf285af11a0544ce7e4a1199"
],
"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": "0xa389783e",
"selector": "0xa389783e",
"calldata_variants": [
"0xa389783e",
"0xa389783e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xb7f64bd5",
"selector": "0xb7f64bd5",
"calldata_variants": [
"0xb7f64bd5",
"0xb7f64bd50000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe3d670d7",
"selector": "0xe3d670d7",
"calldata_variants": [
"0xe3d670d7",
"0xe3d670d70000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe81f02b6",
"selector": "0xe81f02b6",
"calldata_variants": [
"0xe81f02b6",
"0xe81f02b60000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xff05280e",
"selector": "0xff05280e",
"calldata_variants": [
"0xff05280e",
"0xff05280e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3ccfd60b",
"selector": "0x3ccfd60b",
"calldata_variants": [
"0x3ccfd60b",
"0x3ccfd60b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x5ecb16cd",
"selector": "0x5ecb16cd",
"calldata_variants": [
"0x5ecb16cd",
"0x5ecb16cd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x9a375b07",
"selector": "0x9a375b07",
"calldata_variants": [
"0x9a375b07",
"0x9a375b070000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1699,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2362,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2539,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 3,
"guards_detected": []
}
|