019b3844-a56b-72c7-af66-0a50cc74b127
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 |
|---|---|---|---|---|
| 16193 | artifact.fetch | complete | 1 / 3 | 4 months ago |
| 16194 | tool.cast_disasm | complete | 1 / 3 | 4 months ago |
| 86548 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 86549 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 86550 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 86551 | validation.fork | complete | 1 / 3 | 2 weeks ago |
No slither job recorded yet.
No codex job recorded yet.
00000000: PUSH1 0x80 00000002: PUSH1 0x40 00000004: MSTORE 00000005: PUSH1 0x04 00000007: CALLDATASIZE 00000008: LT 00000009: PUSH2 0x0118 0000000c: JUMPI 0000000d: PUSH1 0x00 0000000f: CALLDATALOAD 00000010: PUSH1 0xe0 00000012: SHR 00000013: DUP1 00000014: PUSH4 0x69d0a802 00000019: GT 0000001a: PUSH2 0x00a0 0000001d: JUMPI 0000001e: DUP1 0000001f: PUSH4 0xc07ea541 00000024: GT 00000025: PUSH2 0x0064 00000028: JUMPI 00000029: DUP1 0000002a: PUSH4 0xc07ea541 0000002f: EQ 00000030: PUSH2 0x0356 00000033: JUMPI 00000034: DUP1 00000035: PUSH4 0xe22212af 0000003a: EQ 0000003b: PUSH2 0x0396 0000003e: JUMPI 0000003f: DUP1 00000040: PUSH4 0xf14210a6 00000045: EQ 00000046: PUSH2 0x03b6 00000049: JUMPI 0000004a: DUP1 0000004b: PUSH4 0xf2fde38b 00000050: EQ 00000051: PUSH2 0x03d6 00000054: JUMPI 00000055: DUP1 00000056: PUSH4 0xf6326fb3 0000005b: EQ 0000005c: PUSH2 0x03f6 0000005f: JUMPI 00000060: PUSH1 0x00 00000062: DUP1 00000063: REVERT 00000064: JUMPDEST 00000065: DUP1 00000066: PUSH4 0x69d0a802 0000006b: EQ 0000006c: PUSH2 0x02c3 0000006f: JUMPI 00000070: DUP1 00000071: PUSH4 0x715018a6 00000076: EQ 00000077: PUSH2 0x02e3 0000007a: JUMPI 0000007b: DUP1 0000007c: PUSH4 0x8da5cb5b 00000081: EQ 00000082: PUSH2 0x02f8 00000085: JUMPI 00000086: DUP1 00000087: PUSH4 0x902af2d1 0000008c: EQ 0000008d: PUSH2 0x0316 00000090: JUMPI 00000091: DUP1 00000092: PUSH4 0xa59a9973 00000097: EQ 00000098: PUSH2 0x0336 0000009b: JUMPI 0000009c: PUSH1 0x00 0000009e: DUP1 0000009f: REVERT 000000a0: JUMPDEST 000000a1: DUP1 000000a2: PUSH4 0x2f88be94 000000a7: GT 000000a8: PUSH2 0x00e7 000000ab: JUMPI 000000ac: DUP1 000000ad: PUSH4 0x2f88be94 000000b2: EQ 000000b3: PUSH2 0x0230 000000b6: JUMPI 000000b7: DUP1 000000b8: PUSH4 0x43d03bd5 000000bd: EQ 000000be: PUSH2 0x0250 000000c1: JUMPI 000000c2: DUP1 000000c3: PUSH4 0x489e5c0b 000000c8: EQ 000000c9: PUSH2 0x0270 000000cc: JUMPI 000000cd: DUP1 000000ce: PUSH4 0x57de59de 000000d3: EQ 000000d4: PUSH2 0x0290 000000d7: JUMPI 000000d8: DUP1 000000d9: PUSH4 0x58c3816e 000000de: EQ 000000df: PUSH2 0x02b0 000000e2: JUMPI 000000e3: PUSH1 0x00 000000e5: DUP1 000000e6: REVERT 000000e7: JUMPDEST 000000e8: DUP1 000000e9: PUSH4 0x08c8e616 000000ee: EQ 000000ef: PUSH2 0x01ab 000000f2: JUMPI 000000f3: DUP1 000000f4: PUSH4 0x113aa8b1 000000f9: EQ 000000fa: PUSH2 0x01e8 000000fd: JUMPI 000000fe: DUP1 000000ff: PUSH4 0x16114acd 00000104: EQ 00000105: PUSH2 0x0208 00000108: JUMPI 00000109: DUP1 0000010a: PUSH4 0x2aa918cb 0000010f: EQ 00000110: PUSH2 0x0228 00000113: JUMPI 00000114: PUSH1 0x00 00000116: DUP1 00000117: REVERT 00000118: JUMPDEST 00000119: CALLDATASIZE 0000011a: PUSH2 0x01a6 0000011d: JUMPI 0000011e: CALLER 0000011f: PUSH1 0x00 00000121: DUP2 00000122: DUP2 00000123: MSTORE 00000124: PUSH1 0x05 00000126: PUSH1 0x20 00000128: MSTORE 00000129: PUSH1 0x40 0000012b: SWAP1 0000012c: KECCAK256 0000012d: SLOAD 0000012e: PUSH1 0xff 00000130: AND 00000131: ISZERO 00000132: PUSH2 0x0143 00000135: JUMPI 00000136: POP 00000137: PUSH1 0x04 00000139: SLOAD 0000013a: PUSH1 0x01 0000013c: PUSH1 0x01 0000013e: PUSH1 0xa0 00000140: SHL 00000141: SUB 00000142: AND 00000143: JUMPDEST 00000144: PUSH1 0x02 00000146: SLOAD 00000147: PUSH1 0x40 00000149: MLOAD 0000014a: PUSH4 0x40c10f19 0000014f: PUSH1 0xe0 00000151: SHL 00000152: DUP2 00000153: MSTORE 00000154: PUSH1 0x01 00000156: PUSH1 0x01 00000158: PUSH1 0xa0 0000015a: SHL 0000015b: SUB 0000015c: DUP4 0000015d: DUP2 0000015e: AND 0000015f: PUSH1 0x04 00000161: DUP4 00000162: ADD 00000163: MSTORE 00000164: CALLVALUE 00000165: PUSH1 0x24 00000167: DUP4 00000168: ADD 00000169: MSTORE 0000016a: SWAP1 0000016b: SWAP2 0000016c: AND 0000016d: SWAP1 0000016e: PUSH4 0x40c10f19 00000173: SWAP1 00000174: PUSH1 0x44 00000176: ADD 00000177: PUSH1 0x00 00000179: PUSH1 0x40 0000017b: MLOAD 0000017c: DUP1 0000017d: DUP4 0000017e: SUB 0000017f: DUP2 00000180: PUSH1 0x00 00000182: DUP8 00000183: DUP1 00000184: EXTCODESIZE 00000185: ISZERO 00000186: DUP1 00000187: ISZERO 00000188: PUSH2 0x0190 0000018b: JUMPI 0000018c: PUSH1 0x00 0000018e: DUP1 0000018f: REVERT 00000190: JUMPDEST 00000191: POP 00000192: GAS 00000193: CALL 00000194: ISZERO 00000195: DUP1 00000196: ISZERO 00000197: PUSH2 0x01a4 0000019a: JUMPI 0000019b: RETURNDATASIZE 0000019c: PUSH1 0x00 0000019e: DUP1 0000019f: RETURNDATACOPY 000001a0: RETURNDATASIZE 000001a1: PUSH1 0x00 000001a3: REVERT 000001a4: JUMPDEST 000001a5: STOP 000001a6: JUMPDEST 000001a7: PUSH1 0x00 000001a9: DUP1 000001aa: REVERT 000001ab: JUMPDEST 000001ac: CALLVALUE 000001ad: DUP1 000001ae: ISZERO 000001af: PUSH2 0x01b7 000001b2: JUMPI 000001b3: PUSH1 0x00 000001b5: DUP1 000001b6: REVERT 000001b7: JUMPDEST 000001b8: POP 000001b9: PUSH1 0x02 000001bb: SLOAD 000001bc: PUSH2 0x01cb 000001bf: SWAP1 000001c0: PUSH1 0x01 000001c2: PUSH1 0x01 000001c4: PUSH1 0xa0 000001c6: SHL 000001c7: SUB 000001c8: AND 000001c9: DUP2 000001ca: JUMP 000001cb: JUMPDEST 000001cc: PUSH1 0x40 000001ce: MLOAD 000001cf: PUSH1 0x01 000001d1: PUSH1 0x01 000001d3: PUSH1 0xa0 000001d5: SHL 000001d6: SUB 000001d7: SWAP1 000001d8: SWAP2 000001d9: AND 000001da: DUP2 000001db: MSTORE 000001dc: PUSH1 0x20 000001de: ADD 000001df: JUMPDEST 000001e0: PUSH1 0x40 000001e2: MLOAD 000001e3: DUP1 000001e4: SWAP2 000001e5: SUB 000001e6: SWAP1 000001e7: RETURN 000001e8: JUMPDEST 000001e9: CALLVALUE 000001ea: DUP1 000001eb: ISZERO 000001ec: PUSH2 0x01f4 000001ef: JUMPI 000001f0: PUSH1 0x00 000001f2: DUP1 000001f3: REVERT 000001f4: JUMPDEST 000001f5: POP 000001f6: PUSH2 0x01a4 000001f9: PUSH2 0x0203 000001fc: CALLDATASIZE 000001fd: PUSH1 0x04 000001ff: PUSH2 0x0cac 00000202: JUMP 00000203: JUMPDEST 00000204: PUSH2 0x03fe 00000207: JUMP 00000208: JUMPDEST 00000209: CALLVALUE 0000020a: DUP1 0000020b: ISZERO 0000020c: PUSH2 0x0214 0000020f: JUMPI 00000210: PUSH1 0x00 00000212: DUP1 00000213: REVERT 00000214: JUMPDEST 00000215: POP 00000216: PUSH2 0x01a4 00000219: PUSH2 0x0223 0000021c: CALLDATASIZE 0000021d: PUSH1 0x04 0000021f: PUSH2 0x0cac 00000222: JUMP 00000223: JUMPDEST 00000224: PUSH2 0x0482 00000227: JUMP 00000228: JUMPDEST 00000229: PUSH2 0x01a4 0000022c: PUSH2 0x0514 0000022f: JUMP 00000230: JUMPDEST 00000231: CALLVALUE 00000232: DUP1 00000233: ISZERO 00000234: PUSH2 0x023c 00000237: JUMPI 00000238: PUSH1 0x00 0000023a: DUP1 0000023b: REVERT 0000023c: JUMPDEST 0000023d: POP 0000023e: PUSH2 0x01a4 00000241: PUSH2 0x024b 00000244: CALLDATASIZE 00000245: PUSH1 0x04 00000247: PUSH2 0x0cac 0000024a: JUMP 0000024b: JUMPDEST 0000024c: PUSH2 0x054b 0000024f: JUMP 00000250: JUMPDEST 00000251: CALLVALUE 00000252: DUP1 00000253: ISZERO 00000254: PUSH2 0x025c 00000257: JUMPI 00000258: PUSH1 0x00 0000025a: DUP1 0000025b: REVERT 0000025c: JUMPDEST 0000025d: POP 0000025e: PUSH1 0x01 00000260: SLOAD 00000261: PUSH2 0x01cb 00000264: SWAP1 00000265: PUSH1 0x01 00000267: PUSH1 0x01 00000269: PUSH1 0xa0 0000026b: SHL 0000026c: SUB 0000026d: AND 0000026e: DUP2 0000026f: JUMP 00000270: JUMPDEST 00000271: CALLVALUE 00000272: DUP1 00000273: ISZERO 00000274: PUSH2 0x027c 00000277: JUMPI 00000278: PUSH1 0x00 0000027a: DUP1 0000027b: REVERT 0000027c: JUMPDEST 0000027d: POP 0000027e: PUSH2 0x01a4 00000281: PUSH2 0x028b 00000284: CALLDATASIZE 00000285: PUSH1 0x04 00000287: PUSH2 0x0cdc 0000028a: JUMP 0000028b: JUMPDEST 0000028c: PUSH2 0x05c7 0000028f: JUMP 00000290: JUMPDEST 00000291: CALLVALUE 00000292: DUP1 00000293: ISZERO 00000294: PUSH2 0x029c 00000297: JUMPI 00000298: PUSH1 0x00 0000029a: DUP1 0000029b: REVERT 0000029c: JUMPDEST 0000029d: POP 0000029e: PUSH2 0x01a4 000002a1: PUSH2 0x02ab 000002a4: CALLDATASIZE 000002a5: PUSH1 0x04 000002a7: PUSH2 0x0d13 000002aa: JUMP 000002ab: JUMPDEST 000002ac: PUSH2 0x0658 000002af: JUMP 000002b0: JUMPDEST 000002b1: PUSH2 0x01a4 000002b4: PUSH2 0x02be 000002b7: CALLDATASIZE 000002b8: PUSH1 0x04 000002ba: PUSH2 0x0cac 000002bd: JUMP 000002be: JUMPDEST 000002bf: PUSH2 0x0728 000002c2: JUMP 000002c3: JUMPDEST 000002c4: CALLVALUE 000002c5: DUP1 000002c6: ISZERO 000002c7: PUSH2 0x02cf 000002ca: JUMPI 000002cb: PUSH1 0x00 000002cd: DUP1 000002ce: REVERT 000002cf: JUMPDEST 000002d0: POP 000002d1: PUSH1 0x04 000002d3: SLOAD 000002d4: PUSH2 0x01cb 000002d7: SWAP1 000002d8: PUSH1 0x01 000002da: PUSH1 0x01 000002dc: PUSH1 0xa0 000002de: SHL 000002df: SUB 000002e0: AND 000002e1: DUP2 000002e2: JUMP 000002e3: JUMPDEST 000002e4: CALLVALUE 000002e5: DUP1 000002e6: ISZERO 000002e7: PUSH2 0x02ef 000002ea: JUMPI 000002eb: PUSH1 0x00 000002ed: DUP1 000002ee: REVERT 000002ef: JUMPDEST 000002f0: POP 000002f1: PUSH2 0x01a4 000002f4: PUSH2 0x0790 000002f7: JUMP 000002f8: JUMPDEST 000002f9: CALLVALUE 000002fa: DUP1 000002fb: ISZERO 000002fc: PUSH2 0x0304 000002ff: JUMPI 00000300: PUSH1 0x00 00000302: DUP1 00000303: REVERT 00000304: JUMPDEST 00000305: POP 00000306: PUSH1 0x00 00000308: SLOAD 00000309: PUSH1 0x01 0000030b: PUSH1 0x01 0000030d: PUSH1 0xa0 0000030f: SHL 00000310: SUB 00000311: AND 00000312: PUSH2 0x01cb 00000315: JUMP 00000316: JUMPDEST 00000317: CALLVALUE 00000318: DUP1 00000319: ISZERO 0000031a: PUSH2 0x0322 0000031d: JUMPI 0000031e: PUSH1 0x00 00000320: DUP1 00000321: REVERT 00000322: JUMPDEST 00000323: POP 00000324: PUSH2 0x01a4 00000327: PUSH2 0x0331 0000032a: CALLDATASIZE 0000032b: PUSH1 0x04 0000032d: PUSH2 0x0cac 00000330: JUMP 00000331: JUMPDEST 00000332: PUSH2 0x07a4 00000335: JUMP 00000336: JUMPDEST 00000337: CALLVALUE 00000338: DUP1 00000339: ISZERO 0000033a: PUSH2 0x0342 0000033d: JUMPI 0000033e: PUSH1 0x00 00000340: DUP1 00000341: REVERT 00000342: JUMPDEST 00000343: POP 00000344: PUSH1 0x03 00000346: SLOAD 00000347: PUSH2 0x01cb 0000034a: SWAP1 0000034b: PUSH1 0x01 0000034d: PUSH1 0x01 0000034f: PUSH1 0xa0 00000351: SHL 00000352: SUB 00000353: AND 00000354: DUP2 00000355: JUMP 00000356: JUMPDEST 00000357: CALLVALUE 00000358: DUP1 00000359: ISZERO 0000035a: PUSH2 0x0362 0000035d: JUMPI 0000035e: PUSH1 0x00 00000360: DUP1 00000361: REVERT 00000362: JUMPDEST 00000363: POP 00000364: PUSH2 0x0386 00000367: PUSH2 0x0371 0000036a: CALLDATASIZE 0000036b: PUSH1 0x04 0000036d: PUSH2 0x0cac 00000370: JUMP 00000371: JUMPDEST 00000372: PUSH1 0x05 00000374: PUSH1 0x20 00000376: MSTORE 00000377: PUSH1 0x00 00000379: SWAP1 0000037a: DUP2 0000037b: MSTORE 0000037c: PUSH1 0x40 0000037e: SWAP1 0000037f: KECCAK256 00000380: SLOAD 00000381: PUSH1 0xff 00000383: AND 00000384: DUP2 00000385: JUMP 00000386: JUMPDEST 00000387: PUSH1 0x40 00000389: MLOAD 0000038a: SWAP1 0000038b: ISZERO 0000038c: ISZERO 0000038d: DUP2 0000038e: MSTORE 0000038f: PUSH1 0x20 00000391: ADD 00000392: PUSH2 0x01df 00000395: JUMP 00000396: JUMPDEST 00000397: CALLVALUE 00000398: DUP1 00000399: ISZERO 0000039a: PUSH2 0x03a2 0000039d: JUMPI 0000039e: PUSH1 0x00 000003a0: DUP1 000003a1: REVERT 000003a2: JUMPDEST 000003a3: POP 000003a4: PUSH2 0x01a4 000003a7: PUSH2 0x03b1 000003aa: CALLDATASIZE 000003ab: PUSH1 0x04 000003ad: PUSH2 0x0cac 000003b0: JUMP 000003b1: JUMPDEST 000003b2: PUSH2 0x0820 000003b5: JUMP 000003b6: JUMPDEST 000003b7: CALLVALUE 000003b8: DUP1 000003b9: ISZERO 000003ba: PUSH2 0x03c2 000003bd: JUMPI 000003be: PUSH1 0x00 000003c0: DUP1 000003c1: REVERT 000003c2: JUMPDEST 000003c3: POP 000003c4: PUSH2 0x01a4 000003c7: PUSH2 0x03d1 000003ca: CALLDATASIZE 000003cb: PUSH1 0x04 000003cd: PUSH2 0x0d13 000003d0: JUMP 000003d1: JUMPDEST 000003d2: PUSH2 0x089c 000003d5: JUMP 000003d6: JUMPDEST 000003d7: CALLVALUE 000003d8: DUP1 000003d9: ISZERO 000003da: PUSH2 0x03e2 000003dd: JUMPI 000003de: PUSH1 0x00 000003e0: DUP1 000003e1: REVERT 000003e2: JUMPDEST 000003e3: POP 000003e4: PUSH2 0x01a4 000003e7: PUSH2 0x03f1 000003ea: CALLDATASIZE 000003eb: PUSH1 0x04 000003ed: PUSH2 0x0cac 000003f0: JUMP 000003f1: JUMPDEST 000003f2: PUSH2 0x09c6 000003f5: JUMP 000003f6: JUMPDEST 000003f7: PUSH2 0x01a4 000003fa: PUSH2 0x0a3c 000003fd: JUMP 000003fe: JUMPDEST 000003ff: PUSH2 0x0406 00000402: PUSH2 0x0aa1 00000405: JUMP 00000406: JUMPDEST 00000407: PUSH1 0x03 00000409: SLOAD 0000040a: PUSH1 0x01 0000040c: PUSH1 0x01 0000040e: PUSH1 0xa0 00000410: SHL 00000411: SUB 00000412: DUP1 00000413: DUP4 00000414: AND 00000415: SWAP2 00000416: AND 00000417: SUB 00000418: PUSH2 0x0420 0000041b: JUMPI 0000041c: PUSH1 0x00 0000041e: DUP1 0000041f: REVERT 00000420: JUMPDEST 00000421: PUSH1 0x03 00000423: DUP1 00000424: SLOAD 00000425: PUSH1 0x01 00000427: PUSH1 0x01 00000429: PUSH1 0xa0 0000042b: SHL 0000042c: SUB 0000042d: DUP4 0000042e: DUP2 0000042f: AND 00000430: PUSH1 0x01 00000432: PUSH1 0x01 00000434: PUSH1 0xa0 00000436: SHL 00000437: SUB 00000438: NOT 00000439: DUP4 0000043a: AND 0000043b: DUP2 0000043c: OR 0000043d: SWAP1 0000043e: SWAP4 0000043f: SSTORE 00000440: PUSH1 0x40 00000442: DUP1 00000443: MLOAD 00000444: SWAP2 00000445: SWAP1 00000446: SWAP3 00000447: AND 00000448: DUP1 00000449: DUP3 0000044a: MSTORE 0000044b: PUSH1 0x20 0000044d: DUP3 0000044e: ADD 0000044f: SWAP4 00000450: SWAP1 00000451: SWAP4 00000452: MSTORE 00000453: PUSH32 0x1b71416b0353d88c20dda5c0a9e49d15b77898a3991a2779120aefe57da2e0a7 00000474: SWAP2 00000475: ADD 00000476: JUMPDEST 00000477: PUSH1 0x40 00000479: MLOAD 0000047a: DUP1 0000047b: SWAP2 0000047c: SUB 0000047d: SWAP1 0000047e: LOG1 0000047f: POP 00000480: POP 00000481: JUMP 00000482: JUMPDEST 00000483: PUSH1 0x01 00000485: SLOAD 00000486: PUSH1 0x01 00000488: PUSH1 0x01 0000048a: PUSH1 0xa0 0000048c: SHL 0000048d: SUB 0000048e: AND 0000048f: PUSH2 0x0497 00000492: JUMPI 00000493: PUSH1 0x00 00000495: DUP1 00000496: REVERT 00000497: JUMPDEST 00000498: PUSH1 0x01 0000049a: SLOAD 0000049b: PUSH1 0x40 0000049d: MLOAD 0000049e: PUSH4 0x70a08231 000004a3: PUSH1 0xe0 000004a5: SHL 000004a6: DUP2 000004a7: MSTORE 000004a8: ADDRESS 000004a9: PUSH1 0x04 000004ab: DUP3 000004ac: ADD 000004ad: MSTORE 000004ae: PUSH2 0x0511 000004b1: SWAP2 000004b2: DUP4 000004b3: SWAP2 000004b4: PUSH1 0x01 000004b6: PUSH1 0x01 000004b8: PUSH1 0xa0 000004ba: SHL 000004bb: SUB 000004bc: SWAP2 000004bd: DUP3 000004be: AND 000004bf: SWAP2 000004c0: DUP4 000004c1: AND 000004c2: SWAP1 000004c3: PUSH4 0x70a08231 000004c8: SWAP1 000004c9: PUSH1 0x24 000004cb: ADD 000004cc: PUSH1 0x20 000004ce: PUSH1 0x40 000004d0: MLOAD 000004d1: DUP1 000004d2: DUP4 000004d3: SUB 000004d4: DUP2 000004d5: DUP7 000004d6: GAS 000004d7: STATICCALL 000004d8: ISZERO 000004d9: DUP1 000004da: ISZERO 000004db: PUSH2 0x04e8 000004de: JUMPI 000004df: RETURNDATASIZE 000004e0: PUSH1 0x00 000004e2: DUP1 000004e3: RETURNDATACOPY 000004e4: RETURNDATASIZE 000004e5: PUSH1 0x00 000004e7: REVERT 000004e8: JUMPDEST 000004e9: POP 000004ea: POP 000004eb: POP 000004ec: POP 000004ed: PUSH1 0x40 000004ef: MLOAD 000004f0: RETURNDATASIZE 000004f1: PUSH1 0x1f 000004f3: NOT 000004f4: PUSH1 0x1f 000004f6: DUP3 000004f7: ADD 000004f8: AND 000004f9: DUP3 000004fa: ADD 000004fb: DUP1 000004fc: PUSH1 0x40 000004fe: MSTORE 000004ff: POP 00000500: DUP2 00000501: ADD 00000502: SWAP1 00000503: PUSH2 0x050c 00000506: SWAP2 00000507: SWAP1 00000508: PUSH2 0x0d2c 0000050b: JUMP 0000050c: JUMPDEST 0000050d: PUSH2 0x0b0a 00000510: JUMP 00000511: JUMPDEST 00000512: POP 00000513: JUMP 00000514: JUMPDEST 00000515: PUSH1 0x40 00000517: MLOAD 00000518: CALLVALUE 00000519: DUP2 0000051a: MSTORE 0000051b: CALLER 0000051c: SWAP1 0000051d: PUSH32 0xd7289cb4bb1d80932416fb1a5e3130055c190f63290d5762ff0389a3163b6e8a 0000053e: SWAP1 0000053f: PUSH1 0x20 00000541: ADD 00000542: PUSH1 0x40 00000544: MLOAD 00000545: DUP1 00000546: SWAP2 00000547: SUB 00000548: SWAP1 00000549: LOG2 0000054a: JUMP 0000054b: JUMPDEST 0000054c: PUSH2 0x0553 0000054f: PUSH2 0x0aa1 00000552: JUMP 00000553: JUMPDEST 00000554: PUSH1 0x04 00000556: SLOAD 00000557: PUSH1 0x01 00000559: PUSH1 0x01 0000055b: PUSH1 0xa0 0000055d: SHL 0000055e: SUB 0000055f: DUP1 00000560: DUP4 00000561: AND 00000562: SWAP2 00000563: AND 00000564: SUB 00000565: PUSH2 0x056d 00000568: JUMPI 00000569: PUSH1 0x00 0000056b: DUP1 0000056c: REVERT 0000056d: JUMPDEST 0000056e: PUSH1 0x04 00000570: DUP1 00000571: SLOAD 00000572: PUSH1 0x01 00000574: PUSH1 0x01 00000576: PUSH1 0xa0 00000578: SHL 00000579: SUB 0000057a: DUP4 0000057b: DUP2 0000057c: AND 0000057d: PUSH1 0x01 0000057f: PUSH1 0x01 00000581: PUSH1 0xa0 00000583: SHL 00000584: SUB 00000585: NOT 00000586: DUP4 00000587: AND 00000588: DUP2 00000589: OR 0000058a: SWAP1 0000058b: SWAP4 0000058c: SSTORE 0000058d: PUSH1 0x40 0000058f: DUP1 00000590: MLOAD 00000591: SWAP2 00000592: SWAP1 00000593: SWAP3 00000594: AND 00000595: DUP1 00000596: DUP3 00000597: MSTORE 00000598: PUSH1 0x20 0000059a: DUP3 0000059b: ADD 0000059c: SWAP4 0000059d: SWAP1 0000059e: SWAP4 0000059f: MSTORE 000005a0: PUSH32 0xf474019b38de051f59c48553823b00ed0d6878e1ddc738cdfb9c865effebdc28 000005c1: SWAP2 000005c2: ADD 000005c3: PUSH2 0x0476 000005c6: JUMP 000005c7: JUMPDEST 000005c8: PUSH2 0x05cf 000005cb: PUSH2 0x0aa1 000005ce: JUMP 000005cf: JUMPDEST 000005d0: PUSH1 0x01 000005d2: PUSH1 0x01 000005d4: PUSH1 0xa0 000005d6: SHL 000005d7: SUB 000005d8: DUP3 000005d9: AND 000005da: PUSH1 0x00 000005dc: SWAP1 000005dd: DUP2 000005de: MSTORE 000005df: PUSH1 0x05 000005e1: PUSH1 0x20 000005e3: MSTORE 000005e4: PUSH1 0x40 000005e6: SWAP1 000005e7: KECCAK256 000005e8: SLOAD 000005e9: DUP2 000005ea: ISZERO 000005eb: ISZERO 000005ec: PUSH1 0xff 000005ee: SWAP1 000005ef: SWAP2 000005f0: AND 000005f1: ISZERO 000005f2: ISZERO 000005f3: SUB 000005f4: PUSH2 0x05fc 000005f7: JUMPI 000005f8: PUSH1 0x00 000005fa: DUP1 000005fb: REVERT 000005fc: JUMPDEST 000005fd: PUSH1 0x01 000005ff: PUSH1 0x01 00000601: PUSH1 0xa0 00000603: SHL 00000604: SUB 00000605: DUP3 00000606: AND 00000607: PUSH1 0x00 00000609: DUP2 0000060a: DUP2 0000060b: MSTORE 0000060c: PUSH1 0x05 0000060e: PUSH1 0x20 00000610: SWAP1 00000611: DUP2 00000612: MSTORE 00000613: PUSH1 0x40 00000615: SWAP2 00000616: DUP3 00000617: SWAP1 00000618: KECCAK256 00000619: DUP1 0000061a: SLOAD 0000061b: PUSH1 0xff 0000061d: NOT 0000061e: AND 0000061f: DUP6 00000620: ISZERO 00000621: ISZERO 00000622: SWAP1 00000623: DUP2 00000624: OR 00000625: SWAP1 00000626: SWAP2 00000627: SSTORE 00000628: DUP3 00000629: MLOAD 0000062a: SWAP4 0000062b: DUP5 0000062c: MSTORE 0000062d: SWAP1 0000062e: DUP4 0000062f: ADD 00000630: MSTORE 00000631: PUSH32 0x70aa3f45b9d0a7dfa2d07214617857e523d5f6535f8192106cba1794099856ff 00000652: SWAP2 00000653: ADD 00000654: PUSH2 0x0476 00000657: JUMP 00000658: JUMPDEST 00000659: PUSH2 0x0660 0000065c: PUSH2 0x0aa1 0000065f: JUMP 00000660: JUMPDEST 00000661: PUSH1 0x03 00000663: SLOAD 00000664: PUSH1 0x01 00000666: PUSH1 0x01 00000668: PUSH1 0xa0 0000066a: SHL 0000066b: SUB 0000066c: AND 0000066d: PUSH2 0x0675 00000670: JUMPI 00000671: PUSH1 0x00 00000673: DUP1 00000674: REVERT 00000675: JUMPDEST 00000676: SELFBALANCE 00000677: DUP2 00000678: GT 00000679: ISZERO 0000067a: PUSH2 0x0682 0000067d: JUMPI 0000067e: PUSH1 0x00 00000680: DUP1 00000681: REVERT 00000682: JUMPDEST 00000683: PUSH1 0x03 00000685: SLOAD 00000686: PUSH1 0x40 00000688: MLOAD 00000689: PUSH1 0x00 0000068b: SWAP2 0000068c: PUSH1 0x01 0000068e: PUSH1 0x01 00000690: PUSH1 0xa0 00000692: SHL 00000693: SUB 00000694: AND 00000695: SWAP1 00000696: DUP4 00000697: SWAP1 00000698: DUP4 00000699: DUP2 0000069a: DUP2 0000069b: DUP2 0000069c: DUP6 0000069d: DUP8 0000069e: GAS 0000069f: CALL 000006a0: SWAP3 000006a1: POP 000006a2: POP 000006a3: POP 000006a4: RETURNDATASIZE 000006a5: DUP1 000006a6: PUSH1 0x00 000006a8: DUP2 000006a9: EQ 000006aa: PUSH2 0x06cf 000006ad: JUMPI 000006ae: PUSH1 0x40 000006b0: MLOAD 000006b1: SWAP2 000006b2: POP 000006b3: PUSH1 0x1f 000006b5: NOT 000006b6: PUSH1 0x3f 000006b8: RETURNDATASIZE 000006b9: ADD 000006ba: AND 000006bb: DUP3 000006bc: ADD 000006bd: PUSH1 0x40 000006bf: MSTORE 000006c0: RETURNDATASIZE 000006c1: DUP3 000006c2: MSTORE 000006c3: RETURNDATASIZE 000006c4: PUSH1 0x00 000006c6: PUSH1 0x20 000006c8: DUP5 000006c9: ADD 000006ca: RETURNDATACOPY 000006cb: PUSH2 0x06d4 000006ce: JUMP 000006cf: JUMPDEST 000006d0: PUSH1 0x60 000006d2: SWAP2 000006d3: POP 000006d4: JUMPDEST 000006d5: POP 000006d6: POP 000006d7: SWAP1 000006d8: POP 000006d9: DUP1 000006da: PUSH2 0x06e2 000006dd: JUMPI 000006de: PUSH1 0x00 000006e0: DUP1 000006e1: REVERT 000006e2: JUMPDEST 000006e3: PUSH1 0x03 000006e5: SLOAD 000006e6: PUSH1 0x40 000006e8: MLOAD 000006e9: DUP4 000006ea: DUP2 000006eb: MSTORE 000006ec: PUSH1 0x01 000006ee: PUSH1 0x01 000006f0: PUSH1 0xa0 000006f2: SHL 000006f3: SUB 000006f4: SWAP1 000006f5: SWAP2 000006f6: AND 000006f7: SWAP1 000006f8: PUSH32 0x8c8f77105ce8ee99e391fd4da140bc14a988eb4cf878b240bfed9b10ae7c6758 00000719: SWAP1 0000071a: PUSH1 0x20 0000071c: ADD 0000071d: PUSH1 0x40 0000071f: MLOAD 00000720: DUP1 00000721: SWAP2 00000722: SUB 00000723: SWAP1 00000724: LOG2 00000725: POP 00000726: POP 00000727: JUMP 00000728: JUMPDEST 00000729: PUSH1 0x02 0000072b: SLOAD 0000072c: PUSH1 0x40 0000072e: MLOAD 0000072f: PUSH4 0x40c10f19 00000734: PUSH1 0xe0 00000736: SHL 00000737: DUP2 00000738: MSTORE 00000739: PUSH1 0x01 0000073b: PUSH1 0x01 0000073d: PUSH1 0xa0 0000073f: SHL 00000740: SUB 00000741: DUP4 00000742: DUP2 00000743: AND 00000744: PUSH1 0x04 00000746: DUP4 00000747: ADD 00000748: MSTORE 00000749: CALLVALUE 0000074a: PUSH1 0x24 0000074c: DUP4 0000074d: ADD 0000074e: MSTORE 0000074f: SWAP1 00000750: SWAP2 00000751: AND 00000752: SWAP1 00000753: PUSH4 0x40c10f19 00000758: SWAP1 00000759: PUSH1 0x44 0000075b: ADD 0000075c: PUSH1 0x00 0000075e: PUSH1 0x40 00000760: MLOAD 00000761: DUP1 00000762: DUP4 00000763: SUB 00000764: DUP2 00000765: PUSH1 0x00 00000767: DUP8 00000768: DUP1 00000769: EXTCODESIZE 0000076a: ISZERO 0000076b: DUP1 0000076c: ISZERO 0000076d: PUSH2 0x0775 00000770: JUMPI 00000771: PUSH1 0x00 00000773: DUP1 00000774: REVERT 00000775: JUMPDEST 00000776: POP 00000777: GAS 00000778: CALL 00000779: ISZERO 0000077a: DUP1 0000077b: ISZERO 0000077c: PUSH2 0x0789 0000077f: JUMPI 00000780: RETURNDATASIZE 00000781: PUSH1 0x00 00000783: DUP1 00000784: RETURNDATACOPY 00000785: RETURNDATASIZE 00000786: PUSH1 0x00 00000788: REVERT 00000789: JUMPDEST 0000078a: POP 0000078b: POP 0000078c: POP 0000078d: POP 0000078e: POP 0000078f: JUMP 00000790: JUMPDEST 00000791: PUSH2 0x0798 00000794: PUSH2 0x0aa1 00000797: JUMP 00000798: JUMPDEST 00000799: PUSH2 0x07a2 0000079c: PUSH1 0x00 0000079e: PUSH2 0x0c40 000007a1: JUMP 000007a2: JUMPDEST 000007a3: JUMP 000007a4: JUMPDEST 000007a5: PUSH2 0x07ac 000007a8: PUSH2 0x0aa1 000007ab: JUMP 000007ac: JUMPDEST 000007ad: PUSH1 0x02 000007af: SLOAD 000007b0: PUSH1 0x01 000007b2: PUSH1 0x01 000007b4: PUSH1 0xa0 000007b6: SHL 000007b7: SUB 000007b8: DUP1 000007b9: DUP4 000007ba: AND 000007bb: SWAP2 000007bc: AND 000007bd: SUB 000007be: PUSH2 0x07c6 000007c1: JUMPI 000007c2: PUSH1 0x00 000007c4: DUP1 000007c5: REVERT 000007c6: JUMPDEST 000007c7: PUSH1 0x02 000007c9: DUP1 000007ca: SLOAD 000007cb: PUSH1 0x01 000007cd: PUSH1 0x01 000007cf: PUSH1 0xa0 000007d1: SHL 000007d2: SUB 000007d3: DUP4 000007d4: DUP2 000007d5: AND 000007d6: PUSH1 0x01 000007d8: PUSH1 0x01 000007da: PUSH1 0xa0 000007dc: SHL 000007dd: SUB 000007de: NOT 000007df: DUP4 000007e0: AND 000007e1: DUP2 000007e2: OR 000007e3: SWAP1 000007e4: SWAP4 000007e5: SSTORE 000007e6: PUSH1 0x40 000007e8: DUP1 000007e9: MLOAD 000007ea: SWAP2 000007eb: SWAP1 000007ec: SWAP3 000007ed: AND 000007ee: DUP1 000007ef: DUP3 000007f0: MSTORE 000007f1: PUSH1 0x20 000007f3: DUP3 000007f4: ADD 000007f5: SWAP4 000007f6: SWAP1 000007f7: SWAP4 000007f8: MSTORE 000007f9: PUSH32 0x35298af8e26eb2d59ae067158ad7005a6ff3d008b6906c6a2f1b313d15597d61 0000081a: SWAP2 0000081b: ADD 0000081c: PUSH2 0x0476 0000081f: JUMP 00000820: JUMPDEST 00000821: PUSH2 0x0828 00000824: PUSH2 0x0aa1 00000827: JUMP 00000828: JUMPDEST 00000829: PUSH1 0x01 0000082b: SLOAD 0000082c: PUSH1 0x01 0000082e: PUSH1 0x01 00000830: PUSH1 0xa0 00000832: SHL 00000833: SUB 00000834: DUP1 00000835: DUP4 00000836: AND 00000837: SWAP2 00000838: AND 00000839: SUB 0000083a: PUSH2 0x0842 0000083d: JUMPI 0000083e: PUSH1 0x00 00000840: DUP1 00000841: REVERT 00000842: JUMPDEST 00000843: PUSH1 0x01 00000845: DUP1 00000846: SLOAD 00000847: PUSH1 0x01 00000849: PUSH1 0x01 0000084b: PUSH1 0xa0 0000084d: SHL 0000084e: SUB 0000084f: DUP4 00000850: DUP2 00000851: AND 00000852: PUSH1 0x01 00000854: PUSH1 0x01 00000856: PUSH1 0xa0 00000858: SHL 00000859: SUB 0000085a: NOT 0000085b: DUP4 0000085c: AND 0000085d: DUP2 0000085e: OR 0000085f: SWAP1 00000860: SWAP4 00000861: SSTORE 00000862: PUSH1 0x40 00000864: DUP1 00000865: MLOAD 00000866: SWAP2 00000867: SWAP1 00000868: SWAP3 00000869: AND 0000086a: DUP1 0000086b: DUP3 0000086c: MSTORE 0000086d: PUSH1 0x20 0000086f: DUP3 00000870: ADD 00000871: SWAP4 00000872: SWAP1 00000873: SWAP4 00000874: MSTORE 00000875: PUSH32 0xd961bdc876de67ab892dce771ca242760d9512ce261e2f72cc48ce42996c5476 00000896: SWAP2 00000897: ADD 00000898: PUSH2 0x0476 0000089b: JUMP 0000089c: JUMPDEST 0000089d: SELFBALANCE 0000089e: DUP2 0000089f: GT 000008a0: ISZERO 000008a1: PUSH2 0x0909 000008a4: JUMPI 000008a5: PUSH1 0x40 000008a7: MLOAD 000008a8: PUSH3 0x461bcd 000008ac: PUSH1 0xe5 000008ae: SHL 000008af: DUP2 000008b0: MSTORE 000008b1: PUSH1 0x20 000008b3: PUSH1 0x04 000008b5: DUP3 000008b6: ADD 000008b7: MSTORE 000008b8: PUSH1 0x2f 000008ba: PUSH1 0x24 000008bc: DUP3 000008bd: ADD 000008be: MSTORE 000008bf: PUSH32 0x496e73756666696369656e742066756e647320746f2072656465656d20746861 000008e0: PUSH1 0x44 000008e2: DUP3 000008e3: ADD 000008e4: MSTORE 000008e5: PUSH15 0x1d08185b5bdd5b9d081bd988160dd1 000008f5: PUSH1 0x8a 000008f7: SHL 000008f8: PUSH1 0x64 000008fa: DUP3 000008fb: ADD 000008fc: MSTORE 000008fd: PUSH1 0x84 000008ff: ADD 00000900: JUMPDEST 00000901: PUSH1 0x40 00000903: MLOAD 00000904: DUP1 00000905: SWAP2 00000906: SUB 00000907: SWAP1 00000908: REVERT 00000909: JUMPDEST 0000090a: PUSH1 0x02 0000090c: SLOAD 0000090d: PUSH1 0x40 0000090f: MLOAD 00000910: PUSH4 0x2770a7eb 00000915: PUSH1 0xe2 00000917: SHL 00000918: DUP2 00000919: MSTORE 0000091a: CALLER 0000091b: PUSH1 0x04 0000091d: DUP3 0000091e: ADD 0000091f: MSTORE 00000920: PUSH1 0x24 00000922: DUP2 00000923: ADD 00000924: DUP4 00000925: SWAP1 00000926: MSTORE 00000927: PUSH1 0x01 00000929: PUSH1 0x01 0000092b: PUSH1 0xa0 0000092d: SHL 0000092e: SUB 0000092f: SWAP1 00000930: SWAP2 00000931: AND 00000932: SWAP1 00000933: PUSH4 0x9dc29fac 00000938: SWAP1 00000939: PUSH1 0x44 0000093b: ADD 0000093c: PUSH1 0x00 0000093e: PUSH1 0x40 00000940: MLOAD 00000941: DUP1 00000942: DUP4 00000943: SUB 00000944: DUP2 00000945: PUSH1 0x00 00000947: DUP8 00000948: DUP1 00000949: EXTCODESIZE 0000094a: ISZERO 0000094b: DUP1 0000094c: ISZERO 0000094d: PUSH2 0x0955 00000950: JUMPI 00000951: PUSH1 0x00 00000953: DUP1 00000954: REVERT 00000955: JUMPDEST 00000956: POP 00000957: GAS 00000958: CALL 00000959: ISZERO 0000095a: DUP1 0000095b: ISZERO 0000095c: PUSH2 0x0969 0000095f: JUMPI 00000960: RETURNDATASIZE 00000961: PUSH1 0x00 00000963: DUP1 00000964: RETURNDATACOPY 00000965: RETURNDATASIZE 00000966: PUSH1 0x00 00000968: REVERT 00000969: JUMPDEST 0000096a: POP 0000096b: POP 0000096c: PUSH1 0x40 0000096e: MLOAD 0000096f: PUSH1 0x00 00000971: SWAP3 00000972: POP 00000973: CALLER 00000974: SWAP2 00000975: POP 00000976: DUP4 00000977: SWAP1 00000978: DUP4 00000979: DUP2 0000097a: DUP2 0000097b: DUP2 0000097c: DUP6 0000097d: DUP8 0000097e: GAS 0000097f: CALL 00000980: SWAP3 00000981: POP 00000982: POP 00000983: POP 00000984: RETURNDATASIZE 00000985: DUP1 00000986: PUSH1 0x00 00000988: DUP2 00000989: EQ 0000098a: PUSH2 0x09af 0000098d: JUMPI 0000098e: PUSH1 0x40 00000990: MLOAD 00000991: SWAP2 00000992: POP 00000993: PUSH1 0x1f 00000995: NOT 00000996: PUSH1 0x3f 00000998: RETURNDATASIZE 00000999: ADD 0000099a: AND 0000099b: DUP3 0000099c: ADD 0000099d: PUSH1 0x40 0000099f: MSTORE 000009a0: RETURNDATASIZE 000009a1: DUP3 000009a2: MSTORE 000009a3: RETURNDATASIZE 000009a4: PUSH1 0x00 000009a6: PUSH1 0x20 000009a8: DUP5 000009a9: ADD 000009aa: RETURNDATACOPY 000009ab: PUSH2 0x09b4 000009ae: JUMP 000009af: JUMPDEST 000009b0: PUSH1 0x60 000009b2: SWAP2 000009b3: POP 000009b4: JUMPDEST 000009b5: POP 000009b6: POP 000009b7: SWAP1 000009b8: POP 000009b9: DUP1 000009ba: PUSH2 0x09c2 000009bd: JUMPI 000009be: PUSH1 0x00 000009c0: DUP1 000009c1: REVERT 000009c2: JUMPDEST 000009c3: POP 000009c4: POP 000009c5: JUMP 000009c6: JUMPDEST 000009c7: PUSH2 0x09ce 000009ca: PUSH2 0x0aa1 000009cd: JUMP 000009ce: JUMPDEST 000009cf: PUSH1 0x01 000009d1: PUSH1 0x01 000009d3: PUSH1 0xa0 000009d5: SHL 000009d6: SUB 000009d7: DUP2 000009d8: AND 000009d9: PUSH2 0x0a33 000009dc: JUMPI 000009dd: PUSH1 0x40 000009df: MLOAD 000009e0: PUSH3 0x461bcd 000009e4: PUSH1 0xe5 000009e6: SHL 000009e7: DUP2 000009e8: MSTORE 000009e9: PUSH1 0x20 000009eb: PUSH1 0x04 000009ed: DUP3 000009ee: ADD 000009ef: MSTORE 000009f0: PUSH1 0x26 000009f2: PUSH1 0x24 000009f4: DUP3 000009f5: ADD 000009f6: MSTORE 000009f7: PUSH32 0x4f776e61626c653a206e6577206f776e657220697320746865207a65726f2061 00000a18: PUSH1 0x44 00000a1a: DUP3 00000a1b: ADD 00000a1c: MSTORE 00000a1d: PUSH6 0x646472657373 00000a24: PUSH1 0xd0 00000a26: SHL 00000a27: PUSH1 0x64 00000a29: DUP3 00000a2a: ADD 00000a2b: MSTORE 00000a2c: PUSH1 0x84 00000a2e: ADD 00000a2f: PUSH2 0x0900 00000a32: JUMP 00000a33: JUMPDEST 00000a34: PUSH2 0x0511 00000a37: DUP2 00000a38: PUSH2 0x0c40 00000a3b: JUMP 00000a3c: JUMPDEST 00000a3d: PUSH1 0x02 00000a3f: SLOAD 00000a40: PUSH1 0x40 00000a42: MLOAD 00000a43: PUSH4 0x40c10f19 00000a48: PUSH1 0xe0 00000a4a: SHL 00000a4b: DUP2 00000a4c: MSTORE 00000a4d: CALLER 00000a4e: PUSH1 0x04 00000a50: DUP3 00000a51: ADD 00000a52: MSTORE 00000a53: CALLVALUE 00000a54: PUSH1 0x24 00000a56: DUP3 00000a57: ADD 00000a58: MSTORE 00000a59: PUSH1 0x01 00000a5b: PUSH1 0x01 00000a5d: PUSH1 0xa0 00000a5f: SHL 00000a60: SUB 00000a61: SWAP1 00000a62: SWAP2 00000a63: AND 00000a64: SWAP1 00000a65: PUSH4 0x40c10f19 00000a6a: SWAP1 00000a6b: PUSH1 0x44 00000a6d: ADD 00000a6e: PUSH1 0x00 00000a70: PUSH1 0x40 00000a72: MLOAD 00000a73: DUP1 00000a74: DUP4 00000a75: SUB 00000a76: DUP2 00000a77: PUSH1 0x00 00000a79: DUP8 00000a7a: DUP1 00000a7b: EXTCODESIZE 00000a7c: ISZERO 00000a7d: DUP1 00000a7e: ISZERO 00000a7f: PUSH2 0x0a87 00000a82: JUMPI 00000a83: PUSH1 0x00 00000a85: DUP1 00000a86: REVERT 00000a87: JUMPDEST 00000a88: POP 00000a89: GAS 00000a8a: CALL 00000a8b: ISZERO 00000a8c: DUP1 00000a8d: ISZERO 00000a8e: PUSH2 0x0a9b 00000a91: JUMPI 00000a92: RETURNDATASIZE 00000a93: PUSH1 0x00 00000a95: DUP1 00000a96: RETURNDATACOPY 00000a97: RETURNDATASIZE 00000a98: PUSH1 0x00 00000a9a: REVERT 00000a9b: JUMPDEST 00000a9c: POP 00000a9d: POP 00000a9e: POP 00000a9f: POP 00000aa0: JUMP 00000aa1: JUMPDEST 00000aa2: CALLER 00000aa3: PUSH2 0x0ab4 00000aa6: PUSH1 0x00 00000aa8: SLOAD 00000aa9: PUSH1 0x01 00000aab: PUSH1 0x01 00000aad: PUSH1 0xa0 00000aaf: SHL 00000ab0: SUB 00000ab1: AND 00000ab2: SWAP1 00000ab3: JUMP 00000ab4: JUMPDEST 00000ab5: PUSH1 0x01 00000ab7: PUSH1 0x01 00000ab9: PUSH1 0xa0 00000abb: SHL 00000abc: SUB 00000abd: AND 00000abe: EQ 00000abf: PUSH2 0x07a2 00000ac2: JUMPI 00000ac3: PUSH1 0x40 00000ac5: MLOAD 00000ac6: PUSH3 0x461bcd 00000aca: PUSH1 0xe5 00000acc: SHL 00000acd: DUP2 00000ace: MSTORE 00000acf: PUSH1 0x20 00000ad1: PUSH1 0x04 00000ad3: DUP3 00000ad4: ADD 00000ad5: DUP2 00000ad6: SWAP1 00000ad7: MSTORE 00000ad8: PUSH1 0x24 00000ada: DUP3 00000adb: ADD 00000adc: MSTORE 00000add: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572 00000afe: PUSH1 0x44 00000b00: DUP3 00000b01: ADD 00000b02: MSTORE 00000b03: PUSH1 0x64 00000b05: ADD 00000b06: PUSH2 0x0900 00000b09: JUMP 00000b0a: JUMPDEST 00000b0b: PUSH1 0x40 00000b0d: DUP1 00000b0e: MLOAD 00000b0f: DUP1 00000b10: DUP3 00000b11: ADD 00000b12: DUP3 00000b13: MSTORE 00000b14: PUSH1 0x19 00000b16: DUP2 00000b17: MSTORE 00000b18: PUSH32 0x7472616e7366657228616464726573732c75696e743235362900000000000000 00000b39: PUSH1 0x20 00000b3b: SWAP2 00000b3c: DUP3 00000b3d: ADD 00000b3e: MSTORE 00000b3f: DUP2 00000b40: MLOAD 00000b41: PUSH1 0x01 00000b43: PUSH1 0x01 00000b45: PUSH1 0xa0 00000b47: SHL 00000b48: SUB 00000b49: DUP6 00000b4a: DUP2 00000b4b: AND 00000b4c: PUSH1 0x24 00000b4e: DUP4 00000b4f: ADD 00000b50: MSTORE 00000b51: PUSH1 0x44 00000b53: DUP1 00000b54: DUP4 00000b55: ADD 00000b56: DUP7 00000b57: SWAP1 00000b58: MSTORE 00000b59: DUP5 00000b5a: MLOAD 00000b5b: DUP1 00000b5c: DUP5 00000b5d: SUB 00000b5e: SWAP1 00000b5f: SWAP2 00000b60: ADD 00000b61: DUP2 00000b62: MSTORE 00000b63: PUSH1 0x64 00000b65: SWAP1 00000b66: SWAP3 00000b67: ADD 00000b68: DUP5 00000b69: MSTORE 00000b6a: SWAP2 00000b6b: DUP2 00000b6c: ADD 00000b6d: DUP1 00000b6e: MLOAD 00000b6f: PUSH1 0x01 00000b71: PUSH1 0x01 00000b73: PUSH1 0xe0 00000b75: SHL 00000b76: SUB 00000b77: AND 00000b78: PUSH4 0xa9059cbb 00000b7d: PUSH1 0xe0 00000b7f: SHL 00000b80: OR 00000b81: SWAP1 00000b82: MSTORE 00000b83: SWAP2 00000b84: MLOAD 00000b85: PUSH1 0x00 00000b87: SWAP3 00000b88: DUP4 00000b89: SWAP3 00000b8a: DUP8 00000b8b: AND 00000b8c: SWAP2 00000b8d: PUSH2 0x0b96 00000b90: SWAP2 00000b91: SWAP1 00000b92: PUSH2 0x0d45 00000b95: JUMP 00000b96: JUMPDEST 00000b97: PUSH1 0x00 00000b99: PUSH1 0x40 00000b9b: MLOAD 00000b9c: DUP1 00000b9d: DUP4 00000b9e: SUB 00000b9f: DUP2 00000ba0: PUSH1 0x00 00000ba2: DUP7 00000ba3: GAS 00000ba4: CALL 00000ba5: SWAP2 00000ba6: POP 00000ba7: POP 00000ba8: RETURNDATASIZE 00000ba9: DUP1 00000baa: PUSH1 0x00 00000bac: DUP2 00000bad: EQ 00000bae: PUSH2 0x0bd3 00000bb1: JUMPI 00000bb2: PUSH1 0x40 00000bb4: MLOAD 00000bb5: SWAP2 00000bb6: POP 00000bb7: PUSH1 0x1f 00000bb9: NOT 00000bba: PUSH1 0x3f 00000bbc: RETURNDATASIZE 00000bbd: ADD 00000bbe: AND 00000bbf: DUP3 00000bc0: ADD 00000bc1: PUSH1 0x40 00000bc3: MSTORE 00000bc4: RETURNDATASIZE 00000bc5: DUP3 00000bc6: MSTORE 00000bc7: RETURNDATASIZE 00000bc8: PUSH1 0x00 00000bca: PUSH1 0x20 00000bcc: DUP5 00000bcd: ADD 00000bce: RETURNDATACOPY 00000bcf: PUSH2 0x0bd8 00000bd2: JUMP 00000bd3: JUMPDEST 00000bd4: PUSH1 0x60 00000bd6: SWAP2 00000bd7: POP 00000bd8: JUMPDEST 00000bd9: POP 00000bda: SWAP2 00000bdb: POP 00000bdc: SWAP2 00000bdd: POP 00000bde: DUP2 00000bdf: DUP1 00000be0: ISZERO 00000be1: PUSH2 0x0c02 00000be4: JUMPI 00000be5: POP 00000be6: DUP1 00000be7: MLOAD 00000be8: ISZERO 00000be9: DUP1 00000bea: PUSH2 0x0c02 00000bed: JUMPI 00000bee: POP 00000bef: DUP1 00000bf0: DUP1 00000bf1: PUSH1 0x20 00000bf3: ADD 00000bf4: SWAP1 00000bf5: MLOAD 00000bf6: DUP2 00000bf7: ADD 00000bf8: SWAP1 00000bf9: PUSH2 0x0c02 00000bfc: SWAP2 00000bfd: SWAP1 00000bfe: PUSH2 0x0d80 00000c01: JUMP 00000c02: JUMPDEST 00000c03: PUSH2 0x0789 00000c06: JUMPI 00000c07: PUSH1 0x40 00000c09: MLOAD 00000c0a: PUSH3 0x461bcd 00000c0e: PUSH1 0xe5 00000c10: SHL 00000c11: DUP2 00000c12: MSTORE 00000c13: PUSH1 0x20 00000c15: PUSH1 0x04 00000c17: DUP3 00000c18: ADD 00000c19: MSTORE 00000c1a: PUSH1 0x0f 00000c1c: PUSH1 0x24 00000c1e: DUP3 00000c1f: ADD 00000c20: MSTORE 00000c21: PUSH15 0x1514905394d1915497d19052531151 00000c31: PUSH1 0x8a 00000c33: SHL 00000c34: PUSH1 0x44 00000c36: DUP3 00000c37: ADD 00000c38: MSTORE 00000c39: PUSH1 0x64 00000c3b: ADD 00000c3c: PUSH2 0x0900 00000c3f: JUMP 00000c40: JUMPDEST 00000c41: PUSH1 0x00 00000c43: DUP1 00000c44: SLOAD 00000c45: PUSH1 0x01 00000c47: PUSH1 0x01 00000c49: PUSH1 0xa0 00000c4b: SHL 00000c4c: SUB 00000c4d: DUP4 00000c4e: DUP2 00000c4f: AND 00000c50: PUSH1 0x01 00000c52: PUSH1 0x01 00000c54: PUSH1 0xa0 00000c56: SHL 00000c57: SUB 00000c58: NOT 00000c59: DUP4 00000c5a: AND 00000c5b: DUP2 00000c5c: OR 00000c5d: DUP5 00000c5e: SSTORE 00000c5f: PUSH1 0x40 00000c61: MLOAD 00000c62: SWAP2 00000c63: SWAP1 00000c64: SWAP3 00000c65: AND 00000c66: SWAP3 00000c67: DUP4 00000c68: SWAP2 00000c69: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0 00000c8a: SWAP2 00000c8b: SWAP1 00000c8c: LOG3 00000c8d: POP 00000c8e: POP 00000c8f: JUMP 00000c90: JUMPDEST 00000c91: DUP1 00000c92: CALLDATALOAD 00000c93: PUSH1 0x01 00000c95: PUSH1 0x01 00000c97: PUSH1 0xa0 00000c99: SHL 00000c9a: SUB 00000c9b: DUP2 00000c9c: AND 00000c9d: DUP2 00000c9e: EQ 00000c9f: PUSH2 0x0ca7 00000ca2: JUMPI 00000ca3: PUSH1 0x00 00000ca5: DUP1 00000ca6: REVERT 00000ca7: JUMPDEST 00000ca8: SWAP2 00000ca9: SWAP1 00000caa: POP 00000cab: JUMP 00000cac: JUMPDEST 00000cad: PUSH1 0x00 00000caf: PUSH1 0x20 00000cb1: DUP3 00000cb2: DUP5 00000cb3: SUB 00000cb4: SLT 00000cb5: ISZERO 00000cb6: PUSH2 0x0cbe 00000cb9: JUMPI 00000cba: PUSH1 0x00 00000cbc: DUP1 00000cbd: REVERT 00000cbe: JUMPDEST 00000cbf: PUSH2 0x0cc7 00000cc2: DUP3 00000cc3: PUSH2 0x0c90 00000cc6: JUMP 00000cc7: JUMPDEST 00000cc8: SWAP4 00000cc9: SWAP3 00000cca: POP 00000ccb: POP 00000ccc: POP 00000ccd: JUMP 00000cce: JUMPDEST 00000ccf: DUP1 00000cd0: ISZERO 00000cd1: ISZERO 00000cd2: DUP2 00000cd3: EQ 00000cd4: PUSH2 0x0511 00000cd7: JUMPI 00000cd8: PUSH1 0x00 00000cda: DUP1 00000cdb: REVERT 00000cdc: JUMPDEST 00000cdd: PUSH1 0x00 00000cdf: DUP1 00000ce0: PUSH1 0x40 00000ce2: DUP4 00000ce3: DUP6 00000ce4: SUB 00000ce5: SLT 00000ce6: ISZERO 00000ce7: PUSH2 0x0cef 00000cea: JUMPI 00000ceb: PUSH1 0x00 00000ced: DUP1 00000cee: REVERT 00000cef: JUMPDEST 00000cf0: PUSH2 0x0cf8 00000cf3: DUP4 00000cf4: PUSH2 0x0c90 00000cf7: JUMP 00000cf8: JUMPDEST 00000cf9: SWAP2 00000cfa: POP 00000cfb: PUSH1 0x20 00000cfd: DUP4 00000cfe: ADD 00000cff: CALLDATALOAD 00000d00: PUSH2 0x0d08 00000d03: DUP2 00000d04: PUSH2 0x0cce 00000d07: JUMP 00000d08: JUMPDEST 00000d09: DUP1 00000d0a: SWAP2 00000d0b: POP 00000d0c: POP 00000d0d: SWAP3 00000d0e: POP 00000d0f: SWAP3 00000d10: SWAP1 00000d11: POP 00000d12: JUMP 00000d13: JUMPDEST 00000d14: PUSH1 0x00 00000d16: PUSH1 0x20 00000d18: DUP3 00000d19: DUP5 00000d1a: SUB 00000d1b: SLT 00000d1c: ISZERO 00000d1d: PUSH2 0x0d25 00000d20: JUMPI 00000d21: PUSH1 0x00 00000d23: DUP1 00000d24: REVERT 00000d25: JUMPDEST 00000d26: POP 00000d27: CALLDATALOAD 00000d28: SWAP2 00000d29: SWAP1 00000d2a: POP 00000d2b: JUMP 00000d2c: JUMPDEST 00000d2d: PUSH1 0x00 00000d2f: PUSH1 0x20 00000d31: DUP3 00000d32: DUP5 00000d33: SUB 00000d34: SLT 00000d35: ISZERO 00000d36: PUSH2 0x0d3e 00000d39: JUMPI 00000d3a: PUSH1 0x00 00000d3c: DUP1 00000d3d: REVERT 00000d3e: JUMPDEST 00000d3f: POP 00000d40: MLOAD 00000d41: SWAP2 00000d42: SWAP1 00000d43: POP 00000d44: JUMP 00000d45: JUMPDEST 00000d46: PUSH1 0x00 00000d48: DUP3 00000d49: MLOAD 00000d4a: PUSH1 0x00 00000d4c: JUMPDEST 00000d4d: DUP2 00000d4e: DUP2 00000d4f: LT 00000d50: ISZERO 00000d51: PUSH2 0x0d66 00000d54: JUMPI 00000d55: PUSH1 0x20 00000d57: DUP2 00000d58: DUP7 00000d59: ADD 00000d5a: DUP2 00000d5b: ADD 00000d5c: MLOAD 00000d5d: DUP6 00000d5e: DUP4 00000d5f: ADD 00000d60: MSTORE 00000d61: ADD 00000d62: PUSH2 0x0d4c 00000d65: JUMP 00000d66: JUMPDEST 00000d67: DUP2 00000d68: DUP2 00000d69: GT 00000d6a: ISZERO 00000d6b: PUSH2 0x0d75 00000d6e: JUMPI 00000d6f: PUSH1 0x00 00000d71: DUP3 00000d72: DUP6 00000d73: ADD 00000d74: MSTORE 00000d75: JUMPDEST 00000d76: POP 00000d77: SWAP2 00000d78: SWAP1 00000d79: SWAP2 00000d7a: ADD 00000d7b: SWAP3 00000d7c: SWAP2 00000d7d: POP 00000d7e: POP 00000d7f: JUMP 00000d80: JUMPDEST 00000d81: PUSH1 0x00 00000d83: PUSH1 0x20 00000d85: DUP3 00000d86: DUP5 00000d87: SUB 00000d88: SLT 00000d89: ISZERO 00000d8a: PUSH2 0x0d92 00000d8d: JUMPI 00000d8e: PUSH1 0x00 00000d90: DUP1 00000d91: REVERT 00000d92: JUMPDEST 00000d93: DUP2 00000d94: MLOAD 00000d95: PUSH2 0x0cc7 00000d98: DUP2 00000d99: PUSH2 0x0cce 00000d9c: JUMP 00000d9d: INVALID 00000d9e: LOG2 00000d9f: PUSH5 0x6970667358 00000da5: UNKNOWN(0x22) 00000da6: SLT 00000da7: KECCAK256 00000da8: JUMP 00000da9: BLOCKHASH 00000daa: SSTORE 00000dab: DUP10 00000dac: CODESIZE 00000dad: PUSH5 0xaa4a703836 00000db3: POP 00000db4: CALL 00000db5: UNKNOWN(0xB4) 00000db6: DUP15 00000db7: UNKNOWN(0x4E) 00000db8: SWAP16 00000db9: JUMP 00000dba: PUSH20 0xdac190d27b749f5589b427aafe64736f6c634300 00000dcf: ADDMOD 00000dd0: UNKNOWN(0x0F) 00000dd1: STOP 00000dd2: 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: 0xe8ee9700f0d6a94e025bdf7dc42dc84e2e27796179b98459a6523f939844b696
call_targets:
0x7ca54e9aa3128bf15f764fa0f0f93e72b5267000
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xe8ee9700f0d6a94e025bdf7dc42dc84e2e27796179b98459a6523f939844b696",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x7ca54e9aa3128bf15f764fa0f0f93e72b5267000"
],
"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": "0xc07ea541",
"selector": "0xc07ea541",
"calldata_variants": [
"0xc07ea541",
"0xc07ea5410000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe22212af",
"selector": "0xe22212af",
"calldata_variants": [
"0xe22212af",
"0xe22212af0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf14210a6",
"selector": "0xf14210a6",
"calldata_variants": [
"0xf14210a6",
"0xf14210a60000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf6326fb3",
"selector": "0xf6326fb3",
"calldata_variants": [
"0xf6326fb3",
"0xf6326fb30000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x69d0a802",
"selector": "0x69d0a802",
"calldata_variants": [
"0x69d0a802",
"0x69d0a8020000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x715018a6",
"selector": "0x715018a6",
"calldata_variants": [
"0x715018a6",
"0x715018a60000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 403,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1695,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1912,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 8,
"guards_detected": [],
"untrusted_call_count": 8
}
|
| high | other | detector | ETH value transfer possible | 55 | no | no |
viewtrace_id: 0xe8ee9700f0d6a94e025bdf7dc42dc84e2e27796179b98459a6523f939844b696
call_targets:
0x7ca54e9aa3128bf15f764fa0f0f93e72b5267000
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xe8ee9700f0d6a94e025bdf7dc42dc84e2e27796179b98459a6523f939844b696",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x7ca54e9aa3128bf15f764fa0f0f93e72b5267000"
],
"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": "0xc07ea541",
"selector": "0xc07ea541",
"calldata_variants": [
"0xc07ea541",
"0xc07ea5410000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe22212af",
"selector": "0xe22212af",
"calldata_variants": [
"0xe22212af",
"0xe22212af0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf14210a6",
"selector": "0xf14210a6",
"calldata_variants": [
"0xf14210a6",
"0xf14210a60000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf6326fb3",
"selector": "0xf6326fb3",
"calldata_variants": [
"0xf6326fb3",
"0xf6326fb30000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x69d0a802",
"selector": "0x69d0a802",
"calldata_variants": [
"0x69d0a802",
"0x69d0a8020000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x715018a6",
"selector": "0x715018a6",
"calldata_variants": [
"0x715018a6",
"0x715018a60000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 403,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1695,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1912,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 8,
"guards_detected": []
}
|