019b3844-957f-711f-9583-362d9b7f6d92
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 |
|---|---|---|---|---|
| 13375 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 13376 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 112078 | analysis.bundle | complete | 1 / 3 | 1 week ago |
| 112079 | capability.graph | complete | 1 / 3 | 1 week ago |
| 112080 | detector.run | complete | 1 / 3 | 1 week ago |
| 112081 | 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 0x0109 0000000c: JUMPI 0000000d: PUSH1 0x00 0000000f: CALLDATALOAD 00000010: PUSH1 0xe0 00000012: SHR 00000013: DUP1 00000014: PUSH4 0x8456cb59 00000019: GT 0000001a: PUSH2 0x0095 0000001d: JUMPI 0000001e: DUP1 0000001f: PUSH4 0xac8a584a 00000024: GT 00000025: PUSH2 0x0064 00000028: JUMPI 00000029: DUP1 0000002a: PUSH4 0xac8a584a 0000002f: EQ 00000030: PUSH2 0x033d 00000033: JUMPI 00000034: DUP1 00000035: PUSH4 0xc14e50ce 0000003a: EQ 0000003b: PUSH2 0x0370 0000003e: JUMPI 0000003f: DUP1 00000040: PUSH4 0xd0e30db0 00000045: EQ 00000046: PUSH2 0x03a3 00000049: JUMPI 0000004a: DUP1 0000004b: PUSH4 0xea1790b9 00000050: EQ 00000051: PUSH2 0x03ab 00000054: JUMPI 00000055: DUP1 00000056: PUSH4 0xf2fde38b 0000005b: EQ 0000005c: PUSH2 0x0431 0000005f: JUMPI 00000060: PUSH2 0x0109 00000063: JUMP 00000064: JUMPDEST 00000065: DUP1 00000066: PUSH4 0x8456cb59 0000006b: EQ 0000006c: PUSH2 0x02ad 0000006f: JUMPI 00000070: DUP1 00000071: PUSH4 0x8da5cb5b 00000076: EQ 00000077: PUSH2 0x02c2 0000007a: JUMPI 0000007b: DUP1 0000007c: PUSH4 0x9004e5c5 00000081: EQ 00000082: PUSH2 0x02d7 00000085: JUMPI 00000086: DUP1 00000087: PUSH4 0x9870d7fe 0000008c: EQ 0000008d: PUSH2 0x030a 00000090: JUMPI 00000091: PUSH2 0x0109 00000094: JUMP 00000095: JUMPDEST 00000096: DUP1 00000097: PUSH4 0x5c975abb 0000009c: GT 0000009d: PUSH2 0x00dc 000000a0: JUMPI 000000a1: DUP1 000000a2: PUSH4 0x5c975abb 000000a7: EQ 000000a8: PUSH2 0x01d1 000000ab: JUMPI 000000ac: DUP1 000000ad: PUSH4 0x651bf345 000000b2: EQ 000000b3: PUSH2 0x01e6 000000b6: JUMPI 000000b7: DUP1 000000b8: PUSH4 0x6d70f7ae 000000bd: EQ 000000be: PUSH2 0x0232 000000c1: JUMPI 000000c2: DUP1 000000c3: PUSH4 0x711bd9eb 000000c8: EQ 000000c9: PUSH2 0x0265 000000cc: JUMPI 000000cd: DUP1 000000ce: PUSH4 0x7362377b 000000d3: EQ 000000d4: PUSH2 0x0298 000000d7: JUMPI 000000d8: PUSH2 0x0109 000000db: JUMP 000000dc: JUMPDEST 000000dd: DUP1 000000de: PUSH4 0x01ffc9a7 000000e3: EQ 000000e4: PUSH2 0x010e 000000e7: JUMPI 000000e8: DUP1 000000e9: PUSH4 0x3a5381b5 000000ee: EQ 000000ef: PUSH2 0x0156 000000f2: JUMPI 000000f3: DUP1 000000f4: PUSH4 0x3f4ba83a 000000f9: EQ 000000fa: PUSH2 0x0187 000000fd: JUMPI 000000fe: DUP1 000000ff: PUSH4 0x56788a8c 00000104: EQ 00000105: PUSH2 0x019e 00000108: JUMPI 00000109: JUMPDEST 0000010a: PUSH1 0x00 0000010c: DUP1 0000010d: REVERT 0000010e: JUMPDEST 0000010f: CALLVALUE 00000110: DUP1 00000111: ISZERO 00000112: PUSH2 0x011a 00000115: JUMPI 00000116: PUSH1 0x00 00000118: DUP1 00000119: REVERT 0000011a: JUMPDEST 0000011b: POP 0000011c: PUSH2 0x0142 0000011f: PUSH1 0x04 00000121: DUP1 00000122: CALLDATASIZE 00000123: SUB 00000124: PUSH1 0x20 00000126: DUP2 00000127: LT 00000128: ISZERO 00000129: PUSH2 0x0131 0000012c: JUMPI 0000012d: PUSH1 0x00 0000012f: DUP1 00000130: REVERT 00000131: JUMPDEST 00000132: POP 00000133: CALLDATALOAD 00000134: PUSH1 0x01 00000136: PUSH1 0x01 00000138: PUSH1 0xe0 0000013a: SHL 0000013b: SUB 0000013c: NOT 0000013d: AND 0000013e: PUSH2 0x0464 00000141: JUMP 00000142: JUMPDEST 00000143: PUSH1 0x40 00000145: DUP1 00000146: MLOAD 00000147: SWAP2 00000148: ISZERO 00000149: ISZERO 0000014a: DUP3 0000014b: MSTORE 0000014c: MLOAD 0000014d: SWAP1 0000014e: DUP2 0000014f: SWAP1 00000150: SUB 00000151: PUSH1 0x20 00000153: ADD 00000154: SWAP1 00000155: RETURN 00000156: JUMPDEST 00000157: CALLVALUE 00000158: DUP1 00000159: ISZERO 0000015a: PUSH2 0x0162 0000015d: JUMPI 0000015e: PUSH1 0x00 00000160: DUP1 00000161: REVERT 00000162: JUMPDEST 00000163: POP 00000164: PUSH2 0x016b 00000167: PUSH2 0x0483 0000016a: JUMP 0000016b: JUMPDEST 0000016c: PUSH1 0x40 0000016e: DUP1 0000016f: MLOAD 00000170: PUSH1 0x01 00000172: PUSH1 0x01 00000174: PUSH1 0xa0 00000176: SHL 00000177: SUB 00000178: SWAP1 00000179: SWAP3 0000017a: AND 0000017b: DUP3 0000017c: MSTORE 0000017d: MLOAD 0000017e: SWAP1 0000017f: DUP2 00000180: SWAP1 00000181: SUB 00000182: PUSH1 0x20 00000184: ADD 00000185: SWAP1 00000186: RETURN 00000187: JUMPDEST 00000188: CALLVALUE 00000189: DUP1 0000018a: ISZERO 0000018b: PUSH2 0x0193 0000018e: JUMPI 0000018f: PUSH1 0x00 00000191: DUP1 00000192: REVERT 00000193: JUMPDEST 00000194: POP 00000195: PUSH2 0x019c 00000198: PUSH2 0x0492 0000019b: JUMP 0000019c: JUMPDEST 0000019d: STOP 0000019e: JUMPDEST 0000019f: CALLVALUE 000001a0: DUP1 000001a1: ISZERO 000001a2: PUSH2 0x01aa 000001a5: JUMPI 000001a6: PUSH1 0x00 000001a8: DUP1 000001a9: REVERT 000001aa: JUMPDEST 000001ab: POP 000001ac: PUSH2 0x019c 000001af: PUSH1 0x04 000001b1: DUP1 000001b2: CALLDATASIZE 000001b3: SUB 000001b4: PUSH1 0x20 000001b6: DUP2 000001b7: LT 000001b8: ISZERO 000001b9: PUSH2 0x01c1 000001bc: JUMPI 000001bd: PUSH1 0x00 000001bf: DUP1 000001c0: REVERT 000001c1: JUMPDEST 000001c2: POP 000001c3: CALLDATALOAD 000001c4: PUSH1 0x01 000001c6: PUSH1 0x01 000001c8: PUSH1 0xa0 000001ca: SHL 000001cb: SUB 000001cc: AND 000001cd: PUSH2 0x0576 000001d0: JUMP 000001d1: JUMPDEST 000001d2: CALLVALUE 000001d3: DUP1 000001d4: ISZERO 000001d5: PUSH2 0x01dd 000001d8: JUMPI 000001d9: PUSH1 0x00 000001db: DUP1 000001dc: REVERT 000001dd: JUMPDEST 000001de: POP 000001df: PUSH2 0x0142 000001e2: PUSH2 0x060d 000001e5: JUMP 000001e6: JUMPDEST 000001e7: CALLVALUE 000001e8: DUP1 000001e9: ISZERO 000001ea: PUSH2 0x01f2 000001ed: JUMPI 000001ee: PUSH1 0x00 000001f0: DUP1 000001f1: REVERT 000001f2: JUMPDEST 000001f3: POP 000001f4: PUSH2 0x0219 000001f7: PUSH1 0x04 000001f9: DUP1 000001fa: CALLDATASIZE 000001fb: SUB 000001fc: PUSH1 0x20 000001fe: DUP2 000001ff: LT 00000200: ISZERO 00000201: PUSH2 0x0209 00000204: JUMPI 00000205: PUSH1 0x00 00000207: DUP1 00000208: REVERT 00000209: JUMPDEST 0000020a: POP 0000020b: CALLDATALOAD 0000020c: PUSH1 0x01 0000020e: PUSH1 0x01 00000210: PUSH1 0xa0 00000212: SHL 00000213: SUB 00000214: AND 00000215: PUSH2 0x061d 00000218: JUMP 00000219: JUMPDEST 0000021a: PUSH1 0x40 0000021c: DUP1 0000021d: MLOAD 0000021e: PUSH1 0x07 00000220: SWAP3 00000221: DUP4 00000222: SIGNEXTEND 00000223: SWAP1 00000224: SWAP3 00000225: SIGNEXTEND 00000226: DUP3 00000227: MSTORE 00000228: MLOAD 00000229: SWAP1 0000022a: DUP2 0000022b: SWAP1 0000022c: SUB 0000022d: PUSH1 0x20 0000022f: ADD 00000230: SWAP1 00000231: RETURN 00000232: JUMPDEST 00000233: CALLVALUE 00000234: DUP1 00000235: ISZERO 00000236: PUSH2 0x023e 00000239: JUMPI 0000023a: PUSH1 0x00 0000023c: DUP1 0000023d: REVERT 0000023e: JUMPDEST 0000023f: POP 00000240: PUSH2 0x0142 00000243: PUSH1 0x04 00000245: DUP1 00000246: CALLDATASIZE 00000247: SUB 00000248: PUSH1 0x20 0000024a: DUP2 0000024b: LT 0000024c: ISZERO 0000024d: PUSH2 0x0255 00000250: JUMPI 00000251: PUSH1 0x00 00000253: DUP1 00000254: REVERT 00000255: JUMPDEST 00000256: POP 00000257: CALLDATALOAD 00000258: PUSH1 0x01 0000025a: PUSH1 0x01 0000025c: PUSH1 0xa0 0000025e: SHL 0000025f: SUB 00000260: AND 00000261: PUSH2 0x0632 00000264: JUMP 00000265: JUMPDEST 00000266: CALLVALUE 00000267: DUP1 00000268: ISZERO 00000269: PUSH2 0x0271 0000026c: JUMPI 0000026d: PUSH1 0x00 0000026f: DUP1 00000270: REVERT 00000271: JUMPDEST 00000272: POP 00000273: PUSH2 0x019c 00000276: PUSH1 0x04 00000278: DUP1 00000279: CALLDATASIZE 0000027a: SUB 0000027b: PUSH1 0x20 0000027d: DUP2 0000027e: LT 0000027f: ISZERO 00000280: PUSH2 0x0288 00000283: JUMPI 00000284: PUSH1 0x00 00000286: DUP1 00000287: REVERT 00000288: JUMPDEST 00000289: POP 0000028a: CALLDATALOAD 0000028b: PUSH1 0x01 0000028d: PUSH1 0x01 0000028f: PUSH1 0xa0 00000291: SHL 00000292: SUB 00000293: AND 00000294: PUSH2 0x064b 00000297: JUMP 00000298: JUMPDEST 00000299: CALLVALUE 0000029a: DUP1 0000029b: ISZERO 0000029c: PUSH2 0x02a4 0000029f: JUMPI 000002a0: PUSH1 0x00 000002a2: DUP1 000002a3: REVERT 000002a4: JUMPDEST 000002a5: POP 000002a6: PUSH2 0x019c 000002a9: PUSH2 0x06e2 000002ac: JUMP 000002ad: JUMPDEST 000002ae: CALLVALUE 000002af: DUP1 000002b0: ISZERO 000002b1: PUSH2 0x02b9 000002b4: JUMPI 000002b5: PUSH1 0x00 000002b7: DUP1 000002b8: REVERT 000002b9: JUMPDEST 000002ba: POP 000002bb: PUSH2 0x019c 000002be: PUSH2 0x0760 000002c1: JUMP 000002c2: JUMPDEST 000002c3: CALLVALUE 000002c4: DUP1 000002c5: ISZERO 000002c6: PUSH2 0x02ce 000002c9: JUMPI 000002ca: PUSH1 0x00 000002cc: DUP1 000002cd: REVERT 000002ce: JUMPDEST 000002cf: POP 000002d0: PUSH2 0x016b 000002d3: PUSH2 0x0847 000002d6: JUMP 000002d7: JUMPDEST 000002d8: CALLVALUE 000002d9: DUP1 000002da: ISZERO 000002db: PUSH2 0x02e3 000002de: JUMPI 000002df: PUSH1 0x00 000002e1: DUP1 000002e2: REVERT 000002e3: JUMPDEST 000002e4: POP 000002e5: PUSH2 0x0142 000002e8: PUSH1 0x04 000002ea: DUP1 000002eb: CALLDATASIZE 000002ec: SUB 000002ed: PUSH1 0x20 000002ef: DUP2 000002f0: LT 000002f1: ISZERO 000002f2: PUSH2 0x02fa 000002f5: JUMPI 000002f6: PUSH1 0x00 000002f8: DUP1 000002f9: REVERT 000002fa: JUMPDEST 000002fb: POP 000002fc: CALLDATALOAD 000002fd: PUSH1 0x01 000002ff: PUSH1 0x01 00000301: PUSH1 0xa0 00000303: SHL 00000304: SUB 00000305: AND 00000306: PUSH2 0x0856 00000309: JUMP 0000030a: JUMPDEST 0000030b: CALLVALUE 0000030c: DUP1 0000030d: ISZERO 0000030e: PUSH2 0x0316 00000311: JUMPI 00000312: PUSH1 0x00 00000314: DUP1 00000315: REVERT 00000316: JUMPDEST 00000317: POP 00000318: PUSH2 0x019c 0000031b: PUSH1 0x04 0000031d: DUP1 0000031e: CALLDATASIZE 0000031f: SUB 00000320: PUSH1 0x20 00000322: DUP2 00000323: LT 00000324: ISZERO 00000325: PUSH2 0x032d 00000328: JUMPI 00000329: PUSH1 0x00 0000032b: DUP1 0000032c: REVERT 0000032d: JUMPDEST 0000032e: POP 0000032f: CALLDATALOAD 00000330: PUSH1 0x01 00000332: PUSH1 0x01 00000334: PUSH1 0xa0 00000336: SHL 00000337: SUB 00000338: AND 00000339: PUSH2 0x0869 0000033c: JUMP 0000033d: JUMPDEST 0000033e: CALLVALUE 0000033f: DUP1 00000340: ISZERO 00000341: PUSH2 0x0349 00000344: JUMPI 00000345: PUSH1 0x00 00000347: DUP1 00000348: REVERT 00000349: JUMPDEST 0000034a: POP 0000034b: PUSH2 0x019c 0000034e: PUSH1 0x04 00000350: DUP1 00000351: CALLDATASIZE 00000352: SUB 00000353: PUSH1 0x20 00000355: DUP2 00000356: LT 00000357: ISZERO 00000358: PUSH2 0x0360 0000035b: JUMPI 0000035c: PUSH1 0x00 0000035e: DUP1 0000035f: REVERT 00000360: JUMPDEST 00000361: POP 00000362: CALLDATALOAD 00000363: PUSH1 0x01 00000365: PUSH1 0x01 00000367: PUSH1 0xa0 00000369: SHL 0000036a: SUB 0000036b: AND 0000036c: PUSH2 0x08fe 0000036f: JUMP 00000370: JUMPDEST 00000371: CALLVALUE 00000372: DUP1 00000373: ISZERO 00000374: PUSH2 0x037c 00000377: JUMPI 00000378: PUSH1 0x00 0000037a: DUP1 0000037b: REVERT 0000037c: JUMPDEST 0000037d: POP 0000037e: PUSH2 0x019c 00000381: PUSH1 0x04 00000383: DUP1 00000384: CALLDATASIZE 00000385: SUB 00000386: PUSH1 0x20 00000388: DUP2 00000389: LT 0000038a: ISZERO 0000038b: PUSH2 0x0393 0000038e: JUMPI 0000038f: PUSH1 0x00 00000391: DUP1 00000392: REVERT 00000393: JUMPDEST 00000394: POP 00000395: CALLDATALOAD 00000396: PUSH1 0x01 00000398: PUSH1 0x01 0000039a: PUSH1 0xa0 0000039c: SHL 0000039d: SUB 0000039e: AND 0000039f: PUSH2 0x0993 000003a2: JUMP 000003a3: JUMPDEST 000003a4: PUSH2 0x019c 000003a7: PUSH2 0x0a02 000003aa: JUMP 000003ab: JUMPDEST 000003ac: CALLVALUE 000003ad: DUP1 000003ae: ISZERO 000003af: PUSH2 0x03b7 000003b2: JUMPI 000003b3: PUSH1 0x00 000003b5: DUP1 000003b6: REVERT 000003b7: JUMPDEST 000003b8: POP 000003b9: PUSH2 0x019c 000003bc: PUSH1 0x04 000003be: DUP1 000003bf: CALLDATASIZE 000003c0: SUB 000003c1: PUSH1 0x60 000003c3: DUP2 000003c4: LT 000003c5: ISZERO 000003c6: PUSH2 0x03ce 000003c9: JUMPI 000003ca: PUSH1 0x00 000003cc: DUP1 000003cd: REVERT 000003ce: JUMPDEST 000003cf: DUP2 000003d0: ADD 000003d1: SWAP1 000003d2: PUSH1 0x20 000003d4: DUP2 000003d5: ADD 000003d6: DUP2 000003d7: CALLDATALOAD 000003d8: PUSH5 0x0100000000 000003de: DUP2 000003df: GT 000003e0: ISZERO 000003e1: PUSH2 0x03e9 000003e4: JUMPI 000003e5: PUSH1 0x00 000003e7: DUP1 000003e8: REVERT 000003e9: JUMPDEST 000003ea: DUP3 000003eb: ADD 000003ec: DUP4 000003ed: PUSH1 0x20 000003ef: DUP3 000003f0: ADD 000003f1: GT 000003f2: ISZERO 000003f3: PUSH2 0x03fb 000003f6: JUMPI 000003f7: PUSH1 0x00 000003f9: DUP1 000003fa: REVERT 000003fb: JUMPDEST 000003fc: DUP1 000003fd: CALLDATALOAD 000003fe: SWAP1 000003ff: PUSH1 0x20 00000401: ADD 00000402: SWAP2 00000403: DUP5 00000404: PUSH1 0x01 00000406: DUP4 00000407: MUL 00000408: DUP5 00000409: ADD 0000040a: GT 0000040b: PUSH5 0x0100000000 00000411: DUP4 00000412: GT 00000413: OR 00000414: ISZERO 00000415: PUSH2 0x041d 00000418: JUMPI 00000419: PUSH1 0x00 0000041b: DUP1 0000041c: REVERT 0000041d: JUMPDEST 0000041e: SWAP2 0000041f: SWAP4 00000420: POP 00000421: SWAP2 00000422: POP 00000423: DUP1 00000424: CALLDATALOAD 00000425: PUSH1 0x07 00000427: SIGNEXTEND 00000428: SWAP1 00000429: PUSH1 0x20 0000042b: ADD 0000042c: CALLDATALOAD 0000042d: PUSH2 0x0a51 00000430: JUMP 00000431: JUMPDEST 00000432: CALLVALUE 00000433: DUP1 00000434: ISZERO 00000435: PUSH2 0x043d 00000438: JUMPI 00000439: PUSH1 0x00 0000043b: DUP1 0000043c: REVERT 0000043d: JUMPDEST 0000043e: POP 0000043f: PUSH2 0x019c 00000442: PUSH1 0x04 00000444: DUP1 00000445: CALLDATASIZE 00000446: SUB 00000447: PUSH1 0x20 00000449: DUP2 0000044a: LT 0000044b: ISZERO 0000044c: PUSH2 0x0454 0000044f: JUMPI 00000450: PUSH1 0x00 00000452: DUP1 00000453: REVERT 00000454: JUMPDEST 00000455: POP 00000456: CALLDATALOAD 00000457: PUSH1 0x01 00000459: PUSH1 0x01 0000045b: PUSH1 0xa0 0000045d: SHL 0000045e: SUB 0000045f: AND 00000460: PUSH2 0x0c47 00000463: JUMP 00000464: JUMPDEST 00000465: PUSH1 0x01 00000467: PUSH1 0x01 00000469: PUSH1 0xe0 0000046b: SHL 0000046c: SUB 0000046d: NOT 0000046e: AND 0000046f: PUSH1 0x00 00000471: SWAP1 00000472: DUP2 00000473: MSTORE 00000474: PUSH1 0x20 00000476: DUP2 00000477: SWAP1 00000478: MSTORE 00000479: PUSH1 0x40 0000047b: SWAP1 0000047c: KECCAK256 0000047d: SLOAD 0000047e: PUSH1 0xff 00000480: AND 00000481: SWAP1 00000482: JUMP 00000483: JUMPDEST 00000484: PUSH1 0x04 00000486: SLOAD 00000487: PUSH1 0x01 00000489: PUSH1 0x01 0000048b: PUSH1 0xa0 0000048d: SHL 0000048e: SUB 0000048f: AND 00000490: DUP2 00000491: JUMP 00000492: JUMPDEST 00000493: PUSH2 0x049b 00000496: CALLER 00000497: PUSH2 0x0632 0000049a: JUMP 0000049b: JUMPDEST 0000049c: PUSH2 0x04df 0000049f: JUMPI 000004a0: PUSH1 0x40 000004a2: DUP1 000004a3: MLOAD 000004a4: PUSH3 0x461bcd 000004a8: PUSH1 0xe5 000004aa: SHL 000004ab: DUP2 000004ac: MSTORE 000004ad: PUSH1 0x20 000004af: PUSH1 0x04 000004b1: DUP3 000004b2: ADD 000004b3: MSTORE 000004b4: PUSH1 0x10 000004b6: PUSH1 0x24 000004b8: DUP3 000004b9: ADD 000004ba: MSTORE 000004bb: PUSH16 0x26bab9ba1031329037b832b930ba37b9 000004cc: PUSH1 0x81 000004ce: SHL 000004cf: PUSH1 0x44 000004d1: DUP3 000004d2: ADD 000004d3: MSTORE 000004d4: SWAP1 000004d5: MLOAD 000004d6: SWAP1 000004d7: DUP2 000004d8: SWAP1 000004d9: SUB 000004da: PUSH1 0x64 000004dc: ADD 000004dd: SWAP1 000004de: REVERT 000004df: JUMPDEST 000004e0: PUSH1 0x01 000004e2: SLOAD 000004e3: PUSH1 0x01 000004e5: PUSH1 0xa0 000004e7: SHL 000004e8: SWAP1 000004e9: DIV 000004ea: PUSH1 0xff 000004ec: AND 000004ed: PUSH2 0x0534 000004f0: JUMPI 000004f1: PUSH1 0x40 000004f3: DUP1 000004f4: MLOAD 000004f5: PUSH3 0x461bcd 000004f9: PUSH1 0xe5 000004fb: SHL 000004fc: DUP2 000004fd: MSTORE 000004fe: PUSH1 0x20 00000500: PUSH1 0x04 00000502: DUP3 00000503: ADD 00000504: MSTORE 00000505: PUSH1 0x14 00000507: PUSH1 0x24 00000509: DUP3 0000050a: ADD 0000050b: MSTORE 0000050c: PUSH20 0x14185d5cd8589b194e881b9bdd081c185d5cd959 00000521: PUSH1 0x62 00000523: SHL 00000524: PUSH1 0x44 00000526: DUP3 00000527: ADD 00000528: MSTORE 00000529: SWAP1 0000052a: MLOAD 0000052b: SWAP1 0000052c: DUP2 0000052d: SWAP1 0000052e: SUB 0000052f: PUSH1 0x64 00000531: ADD 00000532: SWAP1 00000533: REVERT 00000534: JUMPDEST 00000535: PUSH1 0x01 00000537: DUP1 00000538: SLOAD 00000539: PUSH1 0xff 0000053b: PUSH1 0xa0 0000053d: SHL 0000053e: NOT 0000053f: AND 00000540: SWAP1 00000541: SSTORE 00000542: PUSH1 0x40 00000544: DUP1 00000545: MLOAD 00000546: CALLER 00000547: DUP2 00000548: MSTORE 00000549: SWAP1 0000054a: MLOAD 0000054b: PUSH32 0x5db9ee0a495bf2e6ff9c91a7834c1ba4fdd244a5e8aa4e537bd38aeae4b073aa 0000056c: SWAP2 0000056d: DUP2 0000056e: SWAP1 0000056f: SUB 00000570: PUSH1 0x20 00000572: ADD 00000573: SWAP1 00000574: LOG1 00000575: JUMP 00000576: JUMPDEST 00000577: PUSH2 0x057f 0000057a: CALLER 0000057b: PUSH2 0x0856 0000057e: JUMP 0000057f: JUMPDEST 00000580: PUSH2 0x05c5 00000583: JUMPI 00000584: PUSH1 0x40 00000586: DUP1 00000587: MLOAD 00000588: PUSH3 0x461bcd 0000058c: PUSH1 0xe5 0000058e: SHL 0000058f: DUP2 00000590: MSTORE 00000591: PUSH1 0x20 00000593: PUSH1 0x04 00000595: DUP3 00000596: ADD 00000597: MSTORE 00000598: PUSH1 0x12 0000059a: PUSH1 0x24 0000059c: DUP3 0000059d: ADD 0000059e: MSTORE 0000059f: PUSH18 0x26bab9ba103132903bb4ba34323930bbb2b9 000005b2: PUSH1 0x71 000005b4: SHL 000005b5: PUSH1 0x44 000005b7: DUP3 000005b8: ADD 000005b9: MSTORE 000005ba: SWAP1 000005bb: MLOAD 000005bc: SWAP1 000005bd: DUP2 000005be: SWAP1 000005bf: SUB 000005c0: PUSH1 0x64 000005c2: ADD 000005c3: SWAP1 000005c4: REVERT 000005c5: JUMPDEST 000005c6: PUSH2 0x05d6 000005c9: PUSH1 0x03 000005cb: DUP3 000005cc: PUSH4 0xffffffff 000005d1: PUSH2 0x0c9d 000005d4: AND 000005d5: JUMP 000005d6: JUMPDEST 000005d7: PUSH1 0x40 000005d9: MLOAD 000005da: PUSH1 0x01 000005dc: PUSH1 0x01 000005de: PUSH1 0xa0 000005e0: SHL 000005e1: SUB 000005e2: DUP3 000005e3: AND 000005e4: SWAP1 000005e5: PUSH32 0xa1a8c5d4571c30d14645a130aa34aa21e2983b734153cce6cbc9eb750f5db49d 00000606: SWAP1 00000607: PUSH1 0x00 00000609: SWAP1 0000060a: LOG2 0000060b: POP 0000060c: JUMP 0000060d: JUMPDEST 0000060e: PUSH1 0x01 00000610: SLOAD 00000611: PUSH1 0x01 00000613: PUSH1 0xa0 00000615: SHL 00000616: SWAP1 00000617: DIV 00000618: PUSH1 0xff 0000061a: AND 0000061b: SWAP1 0000061c: JUMP 0000061d: JUMPDEST 0000061e: PUSH1 0x05 00000620: PUSH1 0x20 00000622: MSTORE 00000623: PUSH1 0x00 00000625: SWAP1 00000626: DUP2 00000627: MSTORE 00000628: PUSH1 0x40 0000062a: SWAP1 0000062b: KECCAK256 0000062c: SLOAD 0000062d: PUSH1 0x07 0000062f: SIGNEXTEND 00000630: DUP2 00000631: JUMP 00000632: JUMPDEST 00000633: PUSH1 0x00 00000635: PUSH2 0x0645 00000638: PUSH1 0x02 0000063a: DUP4 0000063b: PUSH4 0xffffffff 00000640: PUSH2 0x0d1e 00000643: AND 00000644: JUMP 00000645: JUMPDEST 00000646: SWAP3 00000647: SWAP2 00000648: POP 00000649: POP 0000064a: JUMP 0000064b: JUMPDEST 0000064c: PUSH2 0x0654 0000064f: CALLER 00000650: PUSH2 0x0856 00000653: JUMP 00000654: JUMPDEST 00000655: PUSH2 0x069a 00000658: JUMPI 00000659: PUSH1 0x40 0000065b: DUP1 0000065c: MLOAD 0000065d: PUSH3 0x461bcd 00000661: PUSH1 0xe5 00000663: SHL 00000664: DUP2 00000665: MSTORE 00000666: PUSH1 0x20 00000668: PUSH1 0x04 0000066a: DUP3 0000066b: ADD 0000066c: MSTORE 0000066d: PUSH1 0x12 0000066f: PUSH1 0x24 00000671: DUP3 00000672: ADD 00000673: MSTORE 00000674: PUSH18 0x26bab9ba103132903bb4ba34323930bbb2b9 00000687: PUSH1 0x71 00000689: SHL 0000068a: PUSH1 0x44 0000068c: DUP3 0000068d: ADD 0000068e: MSTORE 0000068f: SWAP1 00000690: MLOAD 00000691: SWAP1 00000692: DUP2 00000693: SWAP1 00000694: SUB 00000695: PUSH1 0x64 00000697: ADD 00000698: SWAP1 00000699: REVERT 0000069a: JUMPDEST 0000069b: PUSH2 0x06ab 0000069e: PUSH1 0x03 000006a0: DUP3 000006a1: PUSH4 0xffffffff 000006a6: PUSH2 0x0d3d 000006a9: AND 000006aa: JUMP 000006ab: JUMPDEST 000006ac: PUSH1 0x40 000006ae: MLOAD 000006af: PUSH1 0x01 000006b1: PUSH1 0x01 000006b3: PUSH1 0xa0 000006b5: SHL 000006b6: SUB 000006b7: DUP3 000006b8: AND 000006b9: SWAP1 000006ba: PUSH32 0x4c2d50c11eee24ae13f209880951e560d483a69ccf4d53af33195df596295a9e 000006db: SWAP1 000006dc: PUSH1 0x00 000006de: SWAP1 000006df: LOG2 000006e0: POP 000006e1: JUMP 000006e2: JUMPDEST 000006e3: PUSH2 0x06eb 000006e6: CALLER 000006e7: PUSH2 0x0856 000006ea: JUMP 000006eb: JUMPDEST 000006ec: PUSH2 0x0731 000006ef: JUMPI 000006f0: PUSH1 0x40 000006f2: DUP1 000006f3: MLOAD 000006f4: PUSH3 0x461bcd 000006f8: PUSH1 0xe5 000006fa: SHL 000006fb: DUP2 000006fc: MSTORE 000006fd: PUSH1 0x20 000006ff: PUSH1 0x04 00000701: DUP3 00000702: ADD 00000703: MSTORE 00000704: PUSH1 0x12 00000706: PUSH1 0x24 00000708: DUP3 00000709: ADD 0000070a: MSTORE 0000070b: PUSH18 0x26bab9ba103132903bb4ba34323930bbb2b9 0000071e: PUSH1 0x71 00000720: SHL 00000721: PUSH1 0x44 00000723: DUP3 00000724: ADD 00000725: MSTORE 00000726: SWAP1 00000727: MLOAD 00000728: SWAP1 00000729: DUP2 0000072a: SWAP1 0000072b: SUB 0000072c: PUSH1 0x64 0000072e: ADD 0000072f: SWAP1 00000730: REVERT 00000731: JUMPDEST 00000732: PUSH1 0x40 00000734: MLOAD 00000735: CALLER 00000736: SWAP1 00000737: SELFBALANCE 00000738: DUP1 00000739: ISZERO 0000073a: PUSH2 0x08fc 0000073d: MUL 0000073e: SWAP2 0000073f: PUSH1 0x00 00000741: DUP2 00000742: DUP2 00000743: DUP2 00000744: DUP6 00000745: DUP9 00000746: DUP9 00000747: CALL 00000748: SWAP4 00000749: POP 0000074a: POP 0000074b: POP 0000074c: POP 0000074d: ISZERO 0000074e: DUP1 0000074f: ISZERO 00000750: PUSH2 0x075d 00000753: JUMPI 00000754: RETURNDATASIZE 00000755: PUSH1 0x00 00000757: DUP1 00000758: RETURNDATACOPY 00000759: RETURNDATASIZE 0000075a: PUSH1 0x00 0000075c: REVERT 0000075d: JUMPDEST 0000075e: POP 0000075f: JUMP 00000760: JUMPDEST 00000761: PUSH2 0x0769 00000764: CALLER 00000765: PUSH2 0x0632 00000768: JUMP 00000769: JUMPDEST 0000076a: PUSH2 0x07ad 0000076d: JUMPI 0000076e: PUSH1 0x40 00000770: DUP1 00000771: MLOAD 00000772: PUSH3 0x461bcd 00000776: PUSH1 0xe5 00000778: SHL 00000779: DUP2 0000077a: MSTORE 0000077b: PUSH1 0x20 0000077d: PUSH1 0x04 0000077f: DUP3 00000780: ADD 00000781: MSTORE 00000782: PUSH1 0x10 00000784: PUSH1 0x24 00000786: DUP3 00000787: ADD 00000788: MSTORE 00000789: PUSH16 0x26bab9ba1031329037b832b930ba37b9 0000079a: PUSH1 0x81 0000079c: SHL 0000079d: PUSH1 0x44 0000079f: DUP3 000007a0: ADD 000007a1: MSTORE 000007a2: SWAP1 000007a3: MLOAD 000007a4: SWAP1 000007a5: DUP2 000007a6: SWAP1 000007a7: SUB 000007a8: PUSH1 0x64 000007aa: ADD 000007ab: SWAP1 000007ac: REVERT 000007ad: JUMPDEST 000007ae: PUSH1 0x01 000007b0: SLOAD 000007b1: PUSH1 0x01 000007b3: PUSH1 0xa0 000007b5: SHL 000007b6: SWAP1 000007b7: DIV 000007b8: PUSH1 0xff 000007ba: AND 000007bb: ISZERO 000007bc: PUSH2 0x07ff 000007bf: JUMPI 000007c0: PUSH1 0x40 000007c2: DUP1 000007c3: MLOAD 000007c4: PUSH3 0x461bcd 000007c8: PUSH1 0xe5 000007ca: SHL 000007cb: DUP2 000007cc: MSTORE 000007cd: PUSH1 0x20 000007cf: PUSH1 0x04 000007d1: DUP3 000007d2: ADD 000007d3: MSTORE 000007d4: PUSH1 0x10 000007d6: PUSH1 0x24 000007d8: DUP3 000007d9: ADD 000007da: MSTORE 000007db: PUSH16 0x14185d5cd8589b194e881c185d5cd959 000007ec: PUSH1 0x82 000007ee: SHL 000007ef: PUSH1 0x44 000007f1: DUP3 000007f2: ADD 000007f3: MSTORE 000007f4: SWAP1 000007f5: MLOAD 000007f6: SWAP1 000007f7: DUP2 000007f8: SWAP1 000007f9: SUB 000007fa: PUSH1 0x64 000007fc: ADD 000007fd: SWAP1 000007fe: REVERT 000007ff: JUMPDEST 00000800: PUSH1 0x01 00000802: DUP1 00000803: SLOAD 00000804: PUSH1 0xff 00000806: PUSH1 0xa0 00000808: SHL 00000809: NOT 0000080a: AND 0000080b: PUSH1 0x01 0000080d: PUSH1 0xa0 0000080f: SHL 00000810: OR 00000811: SWAP1 00000812: SSTORE 00000813: PUSH1 0x40 00000815: DUP1 00000816: MLOAD 00000817: CALLER 00000818: DUP2 00000819: MSTORE 0000081a: SWAP1 0000081b: MLOAD 0000081c: PUSH32 0x62e78cea01bee320cd4e420270b5ea74000d11b0c9f74754ebdbfc544b05a258 0000083d: SWAP2 0000083e: DUP2 0000083f: SWAP1 00000840: SUB 00000841: PUSH1 0x20 00000843: ADD 00000844: SWAP1 00000845: LOG1 00000846: JUMP 00000847: JUMPDEST 00000848: PUSH1 0x01 0000084a: SLOAD 0000084b: PUSH1 0x01 0000084d: PUSH1 0x01 0000084f: PUSH1 0xa0 00000851: SHL 00000852: SUB 00000853: AND 00000854: SWAP1 00000855: JUMP 00000856: JUMPDEST 00000857: PUSH1 0x00 00000859: PUSH2 0x0645 0000085c: PUSH1 0x03 0000085e: DUP4 0000085f: PUSH4 0xffffffff 00000864: PUSH2 0x0d1e 00000867: AND 00000868: JUMP 00000869: JUMPDEST 0000086a: PUSH2 0x0872 0000086d: CALLER 0000086e: PUSH2 0x0632 00000871: JUMP 00000872: JUMPDEST 00000873: PUSH2 0x08b6 00000876: JUMPI 00000877: PUSH1 0x40 00000879: DUP1 0000087a: MLOAD 0000087b: PUSH3 0x461bcd 0000087f: PUSH1 0xe5 00000881: SHL 00000882: DUP2 00000883: MSTORE 00000884: PUSH1 0x20 00000886: PUSH1 0x04 00000888: DUP3 00000889: ADD 0000088a: MSTORE 0000088b: PUSH1 0x10 0000088d: PUSH1 0x24 0000088f: DUP3 00000890: ADD 00000891: MSTORE 00000892: PUSH16 0x26bab9ba1031329037b832b930ba37b9 000008a3: PUSH1 0x81 000008a5: SHL 000008a6: PUSH1 0x44 000008a8: DUP3 000008a9: ADD 000008aa: MSTORE 000008ab: SWAP1 000008ac: MLOAD 000008ad: SWAP1 000008ae: DUP2 000008af: SWAP1 000008b0: SUB 000008b1: PUSH1 0x64 000008b3: ADD 000008b4: SWAP1 000008b5: REVERT 000008b6: JUMPDEST 000008b7: PUSH2 0x08c7 000008ba: PUSH1 0x02 000008bc: DUP3 000008bd: PUSH4 0xffffffff 000008c2: PUSH2 0x0c9d 000008c5: AND 000008c6: JUMP 000008c7: JUMPDEST 000008c8: PUSH1 0x40 000008ca: MLOAD 000008cb: PUSH1 0x01 000008cd: PUSH1 0x01 000008cf: PUSH1 0xa0 000008d1: SHL 000008d2: SUB 000008d3: DUP3 000008d4: AND 000008d5: SWAP1 000008d6: PUSH32 0xac6fa858e9350a46cec16539926e0fde25b7629f84b5a72bffaae4df888ae86d 000008f7: SWAP1 000008f8: PUSH1 0x00 000008fa: SWAP1 000008fb: LOG2 000008fc: POP 000008fd: JUMP 000008fe: JUMPDEST 000008ff: PUSH2 0x0907 00000902: CALLER 00000903: PUSH2 0x0632 00000906: JUMP 00000907: JUMPDEST 00000908: PUSH2 0x094b 0000090b: JUMPI 0000090c: PUSH1 0x40 0000090e: DUP1 0000090f: MLOAD 00000910: PUSH3 0x461bcd 00000914: PUSH1 0xe5 00000916: SHL 00000917: DUP2 00000918: MSTORE 00000919: PUSH1 0x20 0000091b: PUSH1 0x04 0000091d: DUP3 0000091e: ADD 0000091f: MSTORE 00000920: PUSH1 0x10 00000922: PUSH1 0x24 00000924: DUP3 00000925: ADD 00000926: MSTORE 00000927: PUSH16 0x26bab9ba1031329037b832b930ba37b9 00000938: PUSH1 0x81 0000093a: SHL 0000093b: PUSH1 0x44 0000093d: DUP3 0000093e: ADD 0000093f: MSTORE 00000940: SWAP1 00000941: MLOAD 00000942: SWAP1 00000943: DUP2 00000944: SWAP1 00000945: SUB 00000946: PUSH1 0x64 00000948: ADD 00000949: SWAP1 0000094a: REVERT 0000094b: JUMPDEST 0000094c: PUSH2 0x095c 0000094f: PUSH1 0x02 00000951: DUP3 00000952: PUSH4 0xffffffff 00000957: PUSH2 0x0d3d 0000095a: AND 0000095b: JUMP 0000095c: JUMPDEST 0000095d: PUSH1 0x40 0000095f: MLOAD 00000960: PUSH1 0x01 00000962: PUSH1 0x01 00000964: PUSH1 0xa0 00000966: SHL 00000967: SUB 00000968: DUP3 00000969: AND 0000096a: SWAP1 0000096b: PUSH32 0x80c0b871b97b595b16a7741c1b06fed0c6f6f558639f18ccbce50724325dc40d 0000098c: SWAP1 0000098d: PUSH1 0x00 0000098f: SWAP1 00000990: LOG2 00000991: POP 00000992: JUMP 00000993: JUMPDEST 00000994: PUSH2 0x099c 00000997: CALLER 00000998: PUSH2 0x0632 0000099b: JUMP 0000099c: JUMPDEST 0000099d: PUSH2 0x09e0 000009a0: JUMPI 000009a1: PUSH1 0x40 000009a3: DUP1 000009a4: MLOAD 000009a5: PUSH3 0x461bcd 000009a9: PUSH1 0xe5 000009ab: SHL 000009ac: DUP2 000009ad: MSTORE 000009ae: PUSH1 0x20 000009b0: PUSH1 0x04 000009b2: DUP3 000009b3: ADD 000009b4: MSTORE 000009b5: PUSH1 0x10 000009b7: PUSH1 0x24 000009b9: DUP3 000009ba: ADD 000009bb: MSTORE 000009bc: PUSH16 0x26bab9ba1031329037b832b930ba37b9 000009cd: PUSH1 0x81 000009cf: SHL 000009d0: PUSH1 0x44 000009d2: DUP3 000009d3: ADD 000009d4: MSTORE 000009d5: SWAP1 000009d6: MLOAD 000009d7: SWAP1 000009d8: DUP2 000009d9: SWAP1 000009da: SUB 000009db: PUSH1 0x64 000009dd: ADD 000009de: SWAP1 000009df: REVERT 000009e0: JUMPDEST 000009e1: PUSH1 0x04 000009e3: DUP1 000009e4: SLOAD 000009e5: PUSH1 0x01 000009e7: PUSH1 0x01 000009e9: PUSH1 0xa0 000009eb: SHL 000009ec: SUB 000009ed: NOT 000009ee: AND 000009ef: PUSH1 0x01 000009f1: PUSH1 0x01 000009f3: PUSH1 0xa0 000009f5: SHL 000009f6: SUB 000009f7: SWAP3 000009f8: SWAP1 000009f9: SWAP3 000009fa: AND 000009fb: SWAP2 000009fc: SWAP1 000009fd: SWAP2 000009fe: OR 000009ff: SWAP1 00000a00: SSTORE 00000a01: JUMP 00000a02: JUMPDEST 00000a03: PUSH2 0x0a0b 00000a06: CALLER 00000a07: PUSH2 0x0632 00000a0a: JUMP 00000a0b: JUMPDEST 00000a0c: PUSH2 0x0a4f 00000a0f: JUMPI 00000a10: PUSH1 0x40 00000a12: DUP1 00000a13: MLOAD 00000a14: PUSH3 0x461bcd 00000a18: PUSH1 0xe5 00000a1a: SHL 00000a1b: DUP2 00000a1c: MSTORE 00000a1d: PUSH1 0x20 00000a1f: PUSH1 0x04 00000a21: DUP3 00000a22: ADD 00000a23: MSTORE 00000a24: PUSH1 0x10 00000a26: PUSH1 0x24 00000a28: DUP3 00000a29: ADD 00000a2a: MSTORE 00000a2b: PUSH16 0x26bab9ba1031329037b832b930ba37b9 00000a3c: PUSH1 0x81 00000a3e: SHL 00000a3f: PUSH1 0x44 00000a41: DUP3 00000a42: ADD 00000a43: MSTORE 00000a44: SWAP1 00000a45: MLOAD 00000a46: SWAP1 00000a47: DUP2 00000a48: SWAP1 00000a49: SUB 00000a4a: PUSH1 0x64 00000a4c: ADD 00000a4d: SWAP1 00000a4e: REVERT 00000a4f: JUMPDEST 00000a50: JUMP 00000a51: JUMPDEST 00000a52: PUSH1 0x01 00000a54: SLOAD 00000a55: PUSH1 0x01 00000a57: PUSH1 0xa0 00000a59: SHL 00000a5a: SWAP1 00000a5b: DIV 00000a5c: PUSH1 0xff 00000a5e: AND 00000a5f: ISZERO 00000a60: PUSH2 0x0aa3 00000a63: JUMPI 00000a64: PUSH1 0x40 00000a66: DUP1 00000a67: MLOAD 00000a68: PUSH3 0x461bcd 00000a6c: PUSH1 0xe5 00000a6e: SHL 00000a6f: DUP2 00000a70: MSTORE 00000a71: PUSH1 0x20 00000a73: PUSH1 0x04 00000a75: DUP3 00000a76: ADD 00000a77: MSTORE 00000a78: PUSH1 0x10 00000a7a: PUSH1 0x24 00000a7c: DUP3 00000a7d: ADD 00000a7e: MSTORE 00000a7f: PUSH16 0x14185d5cd8589b194e881c185d5cd959 00000a90: PUSH1 0x82 00000a92: SHL 00000a93: PUSH1 0x44 00000a95: DUP3 00000a96: ADD 00000a97: MSTORE 00000a98: SWAP1 00000a99: MLOAD 00000a9a: SWAP1 00000a9b: DUP2 00000a9c: SWAP1 00000a9d: SUB 00000a9e: PUSH1 0x64 00000aa0: ADD 00000aa1: SWAP1 00000aa2: REVERT 00000aa3: JUMPDEST 00000aa4: PUSH2 0x0ae5 00000aa7: CALLER 00000aa8: DUP4 00000aa9: DUP4 00000aaa: DUP8 00000aab: DUP8 00000aac: DUP1 00000aad: DUP1 00000aae: PUSH1 0x1f 00000ab0: ADD 00000ab1: PUSH1 0x20 00000ab3: DUP1 00000ab4: SWAP2 00000ab5: DIV 00000ab6: MUL 00000ab7: PUSH1 0x20 00000ab9: ADD 00000aba: PUSH1 0x40 00000abc: MLOAD 00000abd: SWAP1 00000abe: DUP2 00000abf: ADD 00000ac0: PUSH1 0x40 00000ac2: MSTORE 00000ac3: DUP1 00000ac4: SWAP4 00000ac5: SWAP3 00000ac6: SWAP2 00000ac7: SWAP1 00000ac8: DUP2 00000ac9: DUP2 00000aca: MSTORE 00000acb: PUSH1 0x20 00000acd: ADD 00000ace: DUP4 00000acf: DUP4 00000ad0: DUP1 00000ad1: DUP3 00000ad2: DUP5 00000ad3: CALLDATACOPY 00000ad4: PUSH1 0x00 00000ad6: SWAP3 00000ad7: ADD 00000ad8: SWAP2 00000ad9: SWAP1 00000ada: SWAP2 00000adb: MSTORE 00000adc: POP 00000add: PUSH2 0x0dba 00000ae0: SWAP3 00000ae1: POP 00000ae2: POP 00000ae3: POP 00000ae4: JUMP 00000ae5: JUMPDEST 00000ae6: PUSH2 0x0b2a 00000ae9: JUMPI 00000aea: PUSH1 0x40 00000aec: DUP1 00000aed: MLOAD 00000aee: PUSH3 0x461bcd 00000af2: PUSH1 0xe5 00000af4: SHL 00000af5: DUP2 00000af6: MSTORE 00000af7: PUSH1 0x20 00000af9: PUSH1 0x04 00000afb: DUP3 00000afc: ADD 00000afd: MSTORE 00000afe: PUSH1 0x11 00000b00: PUSH1 0x24 00000b02: DUP3 00000b03: ADD 00000b04: MSTORE 00000b05: PUSH17 0x696e76616c6964207369676e6174757265 00000b17: PUSH1 0x78 00000b19: SHL 00000b1a: PUSH1 0x44 00000b1c: DUP3 00000b1d: ADD 00000b1e: MSTORE 00000b1f: SWAP1 00000b20: MLOAD 00000b21: SWAP1 00000b22: DUP2 00000b23: SWAP1 00000b24: SUB 00000b25: PUSH1 0x64 00000b27: ADD 00000b28: SWAP1 00000b29: REVERT 00000b2a: JUMPDEST 00000b2b: PUSH1 0x00 00000b2d: PUSH3 0x015180 00000b31: DUP4 00000b32: PUSH1 0x07 00000b34: SIGNEXTEND 00000b35: DUP2 00000b36: PUSH2 0x0b3b 00000b39: JUMPI 00000b3a: INVALID 00000b3b: JUMPDEST 00000b3c: CALLER 00000b3d: PUSH1 0x00 00000b3f: SWAP1 00000b40: DUP2 00000b41: MSTORE 00000b42: PUSH1 0x05 00000b44: PUSH1 0x20 00000b46: MSTORE 00000b47: PUSH1 0x40 00000b49: SWAP1 00000b4a: KECCAK256 00000b4b: SLOAD 00000b4c: SWAP2 00000b4d: SWAP1 00000b4e: SDIV 00000b4f: SWAP2 00000b50: POP 00000b51: PUSH1 0x07 00000b53: DUP3 00000b54: DUP2 00000b55: SIGNEXTEND 00000b56: SWAP2 00000b57: DUP2 00000b58: SIGNEXTEND 00000b59: SWAP1 00000b5a: SIGNEXTEND 00000b5b: SLT 00000b5c: PUSH2 0x0bac 00000b5f: JUMPI 00000b60: PUSH1 0x40 00000b62: DUP1 00000b63: MLOAD 00000b64: PUSH3 0x461bcd 00000b68: PUSH1 0xe5 00000b6a: SHL 00000b6b: DUP2 00000b6c: MSTORE 00000b6d: PUSH1 0x20 00000b6f: PUSH1 0x04 00000b71: DUP3 00000b72: ADD 00000b73: MSTORE 00000b74: PUSH1 0x17 00000b76: PUSH1 0x24 00000b78: DUP3 00000b79: ADD 00000b7a: MSTORE 00000b7b: PUSH32 0x616c72656164792072657175657374656420746f646179000000000000000000 00000b9c: PUSH1 0x44 00000b9e: DUP3 00000b9f: ADD 00000ba0: MSTORE 00000ba1: SWAP1 00000ba2: MLOAD 00000ba3: SWAP1 00000ba4: DUP2 00000ba5: SWAP1 00000ba6: SUB 00000ba7: PUSH1 0x64 00000ba9: ADD 00000baa: SWAP1 00000bab: REVERT 00000bac: JUMPDEST 00000bad: CALLER 00000bae: PUSH1 0x00 00000bb0: DUP2 00000bb1: DUP2 00000bb2: MSTORE 00000bb3: PUSH1 0x05 00000bb5: PUSH1 0x20 00000bb7: MSTORE 00000bb8: PUSH1 0x40 00000bba: DUP1 00000bbb: DUP3 00000bbc: KECCAK256 00000bbd: DUP1 00000bbe: SLOAD 00000bbf: PUSH8 0xffffffffffffffff 00000bc8: NOT 00000bc9: AND 00000bca: PUSH8 0xffffffffffffffff 00000bd3: PUSH1 0x07 00000bd5: DUP8 00000bd6: SWAP1 00000bd7: SIGNEXTEND 00000bd8: AND 00000bd9: OR 00000bda: SWAP1 00000bdb: SSTORE 00000bdc: MLOAD 00000bdd: PUSH2 0x08fc 00000be0: DUP6 00000be1: ISZERO 00000be2: MUL 00000be3: SWAP2 00000be4: DUP6 00000be5: SWAP2 00000be6: SWAP1 00000be7: DUP2 00000be8: DUP2 00000be9: DUP2 00000bea: DUP6 00000beb: DUP9 00000bec: DUP9 00000bed: CALL 00000bee: SWAP4 00000bef: POP 00000bf0: POP 00000bf1: POP 00000bf2: POP 00000bf3: ISZERO 00000bf4: DUP1 00000bf5: ISZERO 00000bf6: PUSH2 0x0c03 00000bf9: JUMPI 00000bfa: RETURNDATASIZE 00000bfb: PUSH1 0x00 00000bfd: DUP1 00000bfe: RETURNDATACOPY 00000bff: RETURNDATASIZE 00000c00: PUSH1 0x00 00000c02: REVERT 00000c03: JUMPDEST 00000c04: POP 00000c05: PUSH1 0x40 00000c07: DUP1 00000c08: MLOAD 00000c09: PUSH1 0x07 00000c0b: DUP6 00000c0c: DUP2 00000c0d: SIGNEXTEND 00000c0e: SWAP1 00000c0f: SIGNEXTEND 00000c10: DUP2 00000c11: MSTORE 00000c12: SWAP1 00000c13: MLOAD 00000c14: CALLER 00000c15: SWAP2 00000c16: PUSH32 0x708861da4aa6afa7c59ec1b6595bfacef3b852515c06faafba359c70bc640e8c 00000c37: SWAP2 00000c38: SWAP1 00000c39: DUP2 00000c3a: SWAP1 00000c3b: SUB 00000c3c: PUSH1 0x20 00000c3e: ADD 00000c3f: SWAP1 00000c40: LOG2 00000c41: POP 00000c42: POP 00000c43: POP 00000c44: POP 00000c45: POP 00000c46: JUMP 00000c47: JUMPDEST 00000c48: PUSH2 0x0c50 00000c4b: CALLER 00000c4c: PUSH2 0x0632 00000c4f: JUMP 00000c50: JUMPDEST 00000c51: PUSH2 0x0c94 00000c54: JUMPI 00000c55: PUSH1 0x40 00000c57: DUP1 00000c58: MLOAD 00000c59: PUSH3 0x461bcd 00000c5d: PUSH1 0xe5 00000c5f: SHL 00000c60: DUP2 00000c61: MSTORE 00000c62: PUSH1 0x20 00000c64: PUSH1 0x04 00000c66: DUP3 00000c67: ADD 00000c68: MSTORE 00000c69: PUSH1 0x10 00000c6b: PUSH1 0x24 00000c6d: DUP3 00000c6e: ADD 00000c6f: MSTORE 00000c70: PUSH16 0x26bab9ba1031329037b832b930ba37b9 00000c81: PUSH1 0x81 00000c83: SHL 00000c84: PUSH1 0x44 00000c86: DUP3 00000c87: ADD 00000c88: MSTORE 00000c89: SWAP1 00000c8a: MLOAD 00000c8b: SWAP1 00000c8c: DUP2 00000c8d: SWAP1 00000c8e: SUB 00000c8f: PUSH1 0x64 00000c91: ADD 00000c92: SWAP1 00000c93: REVERT 00000c94: JUMPDEST 00000c95: PUSH2 0x075d 00000c98: DUP2 00000c99: PUSH2 0x0e0b 00000c9c: JUMP 00000c9d: JUMPDEST 00000c9e: PUSH2 0x0ca7 00000ca1: DUP3 00000ca2: DUP3 00000ca3: PUSH2 0x0d1e 00000ca6: JUMP 00000ca7: JUMPDEST 00000ca8: ISZERO 00000ca9: PUSH2 0x0cf9 00000cac: JUMPI 00000cad: PUSH1 0x40 00000caf: DUP1 00000cb0: MLOAD 00000cb1: PUSH3 0x461bcd 00000cb5: PUSH1 0xe5 00000cb7: SHL 00000cb8: DUP2 00000cb9: MSTORE 00000cba: PUSH1 0x20 00000cbc: PUSH1 0x04 00000cbe: DUP3 00000cbf: ADD 00000cc0: MSTORE 00000cc1: PUSH1 0x1c 00000cc3: PUSH1 0x24 00000cc5: DUP3 00000cc6: ADD 00000cc7: MSTORE 00000cc8: PUSH32 0x726f6c6520616c72656164792068617320746865206163636f756e7400000000 00000ce9: PUSH1 0x44 00000ceb: DUP3 00000cec: ADD 00000ced: MSTORE 00000cee: SWAP1 00000cef: MLOAD 00000cf0: SWAP1 00000cf1: DUP2 00000cf2: SWAP1 00000cf3: SUB 00000cf4: PUSH1 0x64 00000cf6: ADD 00000cf7: SWAP1 00000cf8: REVERT 00000cf9: JUMPDEST 00000cfa: PUSH1 0x01 00000cfc: PUSH1 0x01 00000cfe: PUSH1 0xa0 00000d00: SHL 00000d01: SUB 00000d02: AND 00000d03: PUSH1 0x00 00000d05: SWAP1 00000d06: DUP2 00000d07: MSTORE 00000d08: PUSH1 0x20 00000d0a: SWAP2 00000d0b: SWAP1 00000d0c: SWAP2 00000d0d: MSTORE 00000d0e: PUSH1 0x40 00000d10: SWAP1 00000d11: KECCAK256 00000d12: DUP1 00000d13: SLOAD 00000d14: PUSH1 0xff 00000d16: NOT 00000d17: AND 00000d18: PUSH1 0x01 00000d1a: OR 00000d1b: SWAP1 00000d1c: SSTORE 00000d1d: JUMP 00000d1e: JUMPDEST 00000d1f: PUSH1 0x01 00000d21: PUSH1 0x01 00000d23: PUSH1 0xa0 00000d25: SHL 00000d26: SUB 00000d27: AND 00000d28: PUSH1 0x00 00000d2a: SWAP1 00000d2b: DUP2 00000d2c: MSTORE 00000d2d: PUSH1 0x20 00000d2f: SWAP2 00000d30: SWAP1 00000d31: SWAP2 00000d32: MSTORE 00000d33: PUSH1 0x40 00000d35: SWAP1 00000d36: KECCAK256 00000d37: SLOAD 00000d38: PUSH1 0xff 00000d3a: AND 00000d3b: SWAP1 00000d3c: JUMP 00000d3d: JUMPDEST 00000d3e: PUSH2 0x0d47 00000d41: DUP3 00000d42: DUP3 00000d43: PUSH2 0x0d1e 00000d46: JUMP 00000d47: JUMPDEST 00000d48: PUSH2 0x0d98 00000d4b: JUMPI 00000d4c: PUSH1 0x40 00000d4e: DUP1 00000d4f: MLOAD 00000d50: PUSH3 0x461bcd 00000d54: PUSH1 0xe5 00000d56: SHL 00000d57: DUP2 00000d58: MSTORE 00000d59: PUSH1 0x20 00000d5b: PUSH1 0x04 00000d5d: DUP3 00000d5e: ADD 00000d5f: MSTORE 00000d60: PUSH1 0x1d 00000d62: PUSH1 0x24 00000d64: DUP3 00000d65: ADD 00000d66: MSTORE 00000d67: PUSH32 0x726f6c6520646f73656e2774206861766520746865206163636f756e74000000 00000d88: PUSH1 0x44 00000d8a: DUP3 00000d8b: ADD 00000d8c: MSTORE 00000d8d: SWAP1 00000d8e: MLOAD 00000d8f: SWAP1 00000d90: DUP2 00000d91: SWAP1 00000d92: SUB 00000d93: PUSH1 0x64 00000d95: ADD 00000d96: SWAP1 00000d97: REVERT 00000d98: JUMPDEST 00000d99: PUSH1 0x01 00000d9b: PUSH1 0x01 00000d9d: PUSH1 0xa0 00000d9f: SHL 00000da0: SUB 00000da1: AND 00000da2: PUSH1 0x00 00000da4: SWAP1 00000da5: DUP2 00000da6: MSTORE 00000da7: PUSH1 0x20 00000da9: SWAP2 00000daa: SWAP1 00000dab: SWAP2 00000dac: MSTORE 00000dad: PUSH1 0x40 00000daf: SWAP1 00000db0: KECCAK256 00000db1: DUP1 00000db2: SLOAD 00000db3: PUSH1 0xff 00000db5: NOT 00000db6: AND 00000db7: SWAP1 00000db8: SSTORE 00000db9: JUMP 00000dba: JUMPDEST 00000dbb: PUSH1 0x04 00000dbd: SLOAD 00000dbe: PUSH1 0x00 00000dc0: SWAP1 00000dc1: PUSH1 0x01 00000dc3: PUSH1 0x01 00000dc5: PUSH1 0xa0 00000dc7: SHL 00000dc8: SUB 00000dc9: AND 00000dca: PUSH2 0x0dd2 00000dcd: JUMPI 00000dce: PUSH1 0x00 00000dd0: DUP1 00000dd1: REVERT 00000dd2: JUMPDEST 00000dd3: PUSH1 0x00 00000dd5: PUSH2 0x0df0 00000dd8: PUSH2 0x0dea 00000ddb: PUSH2 0x0de5 00000dde: DUP9 00000ddf: DUP9 00000de0: DUP9 00000de1: PUSH2 0x0e69 00000de4: JUMP 00000de5: JUMPDEST 00000de6: PUSH2 0x0eb1 00000de9: JUMP 00000dea: JUMPDEST 00000deb: DUP5 00000dec: PUSH2 0x0ebc 00000def: JUMP 00000df0: JUMPDEST 00000df1: PUSH1 0x04 00000df3: SLOAD 00000df4: PUSH1 0x01 00000df6: PUSH1 0x01 00000df8: PUSH1 0xa0 00000dfa: SHL 00000dfb: SUB 00000dfc: SWAP1 00000dfd: DUP2 00000dfe: AND 00000dff: SWAP2 00000e00: AND 00000e01: EQ 00000e02: SWAP7 00000e03: SWAP6 00000e04: POP 00000e05: POP 00000e06: POP 00000e07: POP 00000e08: POP 00000e09: POP 00000e0a: JUMP 00000e0b: JUMPDEST 00000e0c: PUSH1 0x00 00000e0e: PUSH2 0x0e15 00000e11: PUSH2 0x0847 00000e14: JUMP 00000e15: JUMPDEST 00000e16: PUSH1 0x01 00000e18: DUP1 00000e19: SLOAD 00000e1a: PUSH1 0x01 00000e1c: PUSH1 0x01 00000e1e: PUSH1 0xa0 00000e20: SHL 00000e21: SUB 00000e22: NOT 00000e23: AND 00000e24: PUSH1 0x01 00000e26: PUSH1 0x01 00000e28: PUSH1 0xa0 00000e2a: SHL 00000e2b: SUB 00000e2c: DUP6 00000e2d: DUP2 00000e2e: AND 00000e2f: SWAP2 00000e30: DUP3 00000e31: OR 00000e32: SWAP1 00000e33: SWAP3 00000e34: SSTORE 00000e35: PUSH1 0x40 00000e37: MLOAD 00000e38: SWAP3 00000e39: SWAP4 00000e3a: POP 00000e3b: SWAP2 00000e3c: SWAP1 00000e3d: DUP4 00000e3e: AND 00000e3f: SWAP1 00000e40: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0 00000e61: SWAP1 00000e62: PUSH1 0x00 00000e64: SWAP1 00000e65: LOG3 00000e66: POP 00000e67: POP 00000e68: JUMP 00000e69: JUMPDEST 00000e6a: PUSH1 0x40 00000e6c: DUP1 00000e6d: MLOAD 00000e6e: PUSH1 0x01 00000e70: PUSH1 0x01 00000e72: PUSH1 0xa0 00000e74: SHL 00000e75: SUB 00000e76: DUP6 00000e77: AND 00000e78: PUSH1 0x20 00000e7a: DUP1 00000e7b: DUP4 00000e7c: ADD 00000e7d: SWAP2 00000e7e: SWAP1 00000e7f: SWAP2 00000e80: MSTORE 00000e81: PUSH1 0x07 00000e83: DUP6 00000e84: DUP2 00000e85: SIGNEXTEND 00000e86: SWAP1 00000e87: SIGNEXTEND 00000e88: DUP3 00000e89: DUP5 00000e8a: ADD 00000e8b: MSTORE 00000e8c: PUSH1 0x60 00000e8e: DUP1 00000e8f: DUP4 00000e90: ADD 00000e91: DUP6 00000e92: SWAP1 00000e93: MSTORE 00000e94: DUP4 00000e95: MLOAD 00000e96: DUP1 00000e97: DUP5 00000e98: SUB 00000e99: SWAP1 00000e9a: SWAP2 00000e9b: ADD 00000e9c: DUP2 00000e9d: MSTORE 00000e9e: PUSH1 0x80 00000ea0: SWAP1 00000ea1: SWAP3 00000ea2: ADD 00000ea3: SWAP1 00000ea4: SWAP3 00000ea5: MSTORE 00000ea6: DUP1 00000ea7: MLOAD 00000ea8: SWAP2 00000ea9: ADD 00000eaa: KECCAK256 00000eab: SWAP4 00000eac: SWAP3 00000ead: POP 00000eae: POP 00000eaf: POP 00000eb0: JUMP 00000eb1: JUMPDEST 00000eb2: PUSH1 0x00 00000eb4: PUSH2 0x0645 00000eb7: DUP3 00000eb8: PUSH2 0x0ecf 00000ebb: JUMP 00000ebc: JUMPDEST 00000ebd: PUSH1 0x00 00000ebf: PUSH2 0x0ec8 00000ec2: DUP4 00000ec3: DUP4 00000ec4: PUSH2 0x0f20 00000ec7: JUMP 00000ec8: JUMPDEST 00000ec9: SWAP4 00000eca: SWAP3 00000ecb: POP 00000ecc: POP 00000ecd: POP 00000ece: JUMP 00000ecf: JUMPDEST 00000ed0: PUSH1 0x40 00000ed2: DUP1 00000ed3: MLOAD 00000ed4: PUSH32 0x19457468657265756d205369676e6564204d6573736167653a0a333200000000 00000ef5: PUSH1 0x20 00000ef7: DUP1 00000ef8: DUP4 00000ef9: ADD 00000efa: SWAP2 00000efb: SWAP1 00000efc: SWAP2 00000efd: MSTORE 00000efe: PUSH1 0x3c 00000f00: DUP1 00000f01: DUP4 00000f02: ADD 00000f03: SWAP5 00000f04: SWAP1 00000f05: SWAP5 00000f06: MSTORE 00000f07: DUP3 00000f08: MLOAD 00000f09: DUP1 00000f0a: DUP4 00000f0b: SUB 00000f0c: SWAP1 00000f0d: SWAP5 00000f0e: ADD 00000f0f: DUP5 00000f10: MSTORE 00000f11: PUSH1 0x5c 00000f13: SWAP1 00000f14: SWAP2 00000f15: ADD 00000f16: SWAP1 00000f17: SWAP2 00000f18: MSTORE 00000f19: DUP2 00000f1a: MLOAD 00000f1b: SWAP2 00000f1c: ADD 00000f1d: KECCAK256 00000f1e: SWAP1 00000f1f: JUMP 00000f20: JUMPDEST 00000f21: PUSH1 0x00 00000f23: DUP2 00000f24: MLOAD 00000f25: PUSH1 0x41 00000f27: EQ 00000f28: PUSH2 0x0f33 00000f2b: JUMPI 00000f2c: POP 00000f2d: PUSH1 0x00 00000f2f: PUSH2 0x0645 00000f32: JUMP 00000f33: JUMPDEST 00000f34: PUSH1 0x20 00000f36: DUP3 00000f37: ADD 00000f38: MLOAD 00000f39: PUSH1 0x40 00000f3b: DUP4 00000f3c: ADD 00000f3d: MLOAD 00000f3e: PUSH1 0x60 00000f40: DUP5 00000f41: ADD 00000f42: MLOAD 00000f43: PUSH1 0x00 00000f45: BYTE 00000f46: PUSH32 0x7fffffffffffffffffffffffffffffff5d576e7357a4501ddfe92f46681b20a0 00000f67: DUP3 00000f68: GT 00000f69: ISZERO 00000f6a: PUSH2 0x0f79 00000f6d: JUMPI 00000f6e: PUSH1 0x00 00000f70: SWAP4 00000f71: POP 00000f72: POP 00000f73: POP 00000f74: POP 00000f75: PUSH2 0x0645 00000f78: JUMP 00000f79: JUMPDEST 00000f7a: DUP1 00000f7b: PUSH1 0xff 00000f7d: AND 00000f7e: PUSH1 0x1b 00000f80: EQ 00000f81: ISZERO 00000f82: DUP1 00000f83: ISZERO 00000f84: PUSH2 0x0f91 00000f87: JUMPI 00000f88: POP 00000f89: DUP1 00000f8a: PUSH1 0xff 00000f8c: AND 00000f8d: PUSH1 0x1c 00000f8f: EQ 00000f90: ISZERO 00000f91: JUMPDEST 00000f92: ISZERO 00000f93: PUSH2 0x0fa2 00000f96: JUMPI 00000f97: PUSH1 0x00 00000f99: SWAP4 00000f9a: POP 00000f9b: POP 00000f9c: POP 00000f9d: POP 00000f9e: PUSH2 0x0645 00000fa1: JUMP 00000fa2: JUMPDEST 00000fa3: PUSH1 0x40 00000fa5: DUP1 00000fa6: MLOAD 00000fa7: PUSH1 0x00 00000fa9: DUP2 00000faa: MSTORE 00000fab: PUSH1 0x20 00000fad: DUP1 00000fae: DUP3 00000faf: ADD 00000fb0: DUP1 00000fb1: DUP5 00000fb2: MSTORE 00000fb3: DUP10 00000fb4: SWAP1 00000fb5: MSTORE 00000fb6: PUSH1 0xff 00000fb8: DUP5 00000fb9: AND 00000fba: DUP3 00000fbb: DUP5 00000fbc: ADD 00000fbd: MSTORE 00000fbe: PUSH1 0x60 00000fc0: DUP3 00000fc1: ADD 00000fc2: DUP7 00000fc3: SWAP1 00000fc4: MSTORE 00000fc5: PUSH1 0x80 00000fc7: DUP3 00000fc8: ADD 00000fc9: DUP6 00000fca: SWAP1 00000fcb: MSTORE 00000fcc: SWAP2 00000fcd: MLOAD 00000fce: PUSH1 0x01 00000fd0: SWAP3 00000fd1: PUSH1 0xa0 00000fd3: DUP1 00000fd4: DUP5 00000fd5: ADD 00000fd6: SWAP4 00000fd7: SWAP2 00000fd8: SWAP3 00000fd9: PUSH1 0x1f 00000fdb: NOT 00000fdc: DUP2 00000fdd: ADD 00000fde: SWAP3 00000fdf: DUP2 00000fe0: SWAP1 00000fe1: SUB 00000fe2: SWAP1 00000fe3: SWAP2 00000fe4: ADD 00000fe5: SWAP1 00000fe6: DUP6 00000fe7: GAS 00000fe8: STATICCALL 00000fe9: ISZERO 00000fea: DUP1 00000feb: ISZERO 00000fec: PUSH2 0x0ff9 00000fef: JUMPI 00000ff0: RETURNDATASIZE 00000ff1: PUSH1 0x00 00000ff3: DUP1 00000ff4: RETURNDATACOPY 00000ff5: RETURNDATASIZE 00000ff6: PUSH1 0x00 00000ff8: REVERT 00000ff9: JUMPDEST 00000ffa: POP 00000ffb: POP 00000ffc: PUSH1 0x40 00000ffe: MLOAD 00000fff: PUSH1 0x1f 00001001: NOT 00001002: ADD 00001003: MLOAD 00001004: SWAP8 00001005: SWAP7 00001006: POP 00001007: POP 00001008: POP 00001009: POP 0000100a: POP 0000100b: POP 0000100c: POP 0000100d: JUMP 0000100e: INVALID 0000100f: LOG2 00001010: PUSH6 0x627a7a723158 00001017: KECCAK256 00001018: DUP5 00001019: DUP5 0000101a: PUSH30 0x32562ca440c162f861f3369fe00b533f6c4765b6e18198ea7b6ce1581764 00001039: PUSH20
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 | ETH value transfer possible | 55 | no | no |
viewtrace_id: 0xe96218a10e168ad8d441e6286deb244fc7eb57ccda20900bca6b12fc690806bb
call_targets:
0xd7bec4d6bf6fc371eb51611a50540f0b59b5f896
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xe96218a10e168ad8d441e6286deb244fc7eb57ccda20900bca6b12fc690806bb",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xd7bec4d6bf6fc371eb51611a50540f0b59b5f896"
],
"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": "0xac8a584a",
"selector": "0xac8a584a",
"calldata_variants": [
"0xac8a584a",
"0xac8a584a0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc14e50ce",
"selector": "0xc14e50ce",
"calldata_variants": [
"0xc14e50ce",
"0xc14e50ce0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd0e30db0",
"selector": "0xd0e30db0",
"calldata_variants": [
"0xd0e30db0",
"0xd0e30db00000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xea1790b9",
"selector": "0xea1790b9",
"calldata_variants": [
"0xea1790b9",
"0xea1790b90000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8456cb59",
"selector": "0x8456cb59",
"calldata_variants": [
"0x8456cb59",
"0x8456cb590000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x9004e5c5",
"selector": "0x9004e5c5",
"calldata_variants": [
"0x9004e5c5",
"0x9004e5c50000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1863,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 3053,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 2,
"guards_detected": []
}
|
| high | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0xe96218a10e168ad8d441e6286deb244fc7eb57ccda20900bca6b12fc690806bb
call_targets:
0xd7bec4d6bf6fc371eb51611a50540f0b59b5f896
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xe96218a10e168ad8d441e6286deb244fc7eb57ccda20900bca6b12fc690806bb",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xd7bec4d6bf6fc371eb51611a50540f0b59b5f896"
],
"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": "0xac8a584a",
"selector": "0xac8a584a",
"calldata_variants": [
"0xac8a584a",
"0xac8a584a0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc14e50ce",
"selector": "0xc14e50ce",
"calldata_variants": [
"0xc14e50ce",
"0xc14e50ce0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd0e30db0",
"selector": "0xd0e30db0",
"calldata_variants": [
"0xd0e30db0",
"0xd0e30db00000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xea1790b9",
"selector": "0xea1790b9",
"calldata_variants": [
"0xea1790b9",
"0xea1790b90000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8456cb59",
"selector": "0x8456cb59",
"calldata_variants": [
"0x8456cb59",
"0x8456cb590000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x9004e5c5",
"selector": "0x9004e5c5",
"calldata_variants": [
"0x9004e5c5",
"0x9004e5c50000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1863,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 3053,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 2,
"guards_detected": [],
"untrusted_call_count": 2
}
|