019b3844-adc4-700d-9cf6-315a89cd9262
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 |
|---|---|---|---|---|
| 17665 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 17666 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 86760 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 86761 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 86762 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 86763 | 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 0x0078 0000000c: JUMPI 0000000d: PUSH0 0000000e: CALLDATALOAD 0000000f: PUSH1 0xe0 00000011: SHR 00000012: DUP1 00000013: PUSH4 0xe080fa7a 00000018: GT 00000019: PUSH2 0x004a 0000001c: JUMPI 0000001d: DUP1 0000001e: PUSH4 0xe080fa7a 00000023: EQ 00000024: PUSH2 0x0113 00000027: JUMPI 00000028: DUP1 00000029: PUSH4 0xf2fde38b 0000002e: EQ 0000002f: PUSH2 0x0126 00000032: JUMPI 00000033: DUP1 00000034: PUSH4 0xf5dc2e42 00000039: EQ 0000003a: PUSH2 0x0145 0000003d: JUMPI 0000003e: DUP1 0000003f: PUSH4 0xfb56a141 00000044: EQ 00000045: PUSH2 0x0164 00000048: JUMPI 00000049: STOP 0000004a: JUMPDEST 0000004b: DUP1 0000004c: PUSH4 0x37cc4bc6 00000051: EQ 00000052: PUSH2 0x0081 00000055: JUMPI 00000056: DUP1 00000057: PUSH4 0x4daa8b89 0000005c: EQ 0000005d: PUSH2 0x00a0 00000060: JUMPI 00000061: DUP1 00000062: PUSH4 0x81bfda2c 00000067: EQ 00000068: PUSH2 0x00c8 0000006b: JUMPI 0000006c: DUP1 0000006d: PUSH4 0x8da5cb5b 00000072: EQ 00000073: PUSH2 0x00dd 00000076: JUMPI 00000077: STOP 00000078: JUMPDEST 00000079: CALLDATASIZE 0000007a: PUSH2 0x007f 0000007d: JUMPI 0000007e: STOP 0000007f: JUMPDEST 00000080: STOP 00000081: JUMPDEST 00000082: CALLVALUE 00000083: DUP1 00000084: ISZERO 00000085: PUSH2 0x008c 00000088: JUMPI 00000089: PUSH0 0000008a: DUP1 0000008b: REVERT 0000008c: JUMPDEST 0000008d: POP 0000008e: PUSH2 0x007f 00000091: PUSH2 0x009b 00000094: CALLDATASIZE 00000095: PUSH1 0x04 00000097: PUSH2 0x09f7 0000009a: JUMP 0000009b: JUMPDEST 0000009c: PUSH2 0x0183 0000009f: JUMP 000000a0: JUMPDEST 000000a1: CALLVALUE 000000a2: DUP1 000000a3: ISZERO 000000a4: PUSH2 0x00ab 000000a7: JUMPI 000000a8: PUSH0 000000a9: DUP1 000000aa: REVERT 000000ab: JUMPDEST 000000ac: POP 000000ad: PUSH2 0x00b5 000000b0: PUSH1 0x02 000000b2: SLOAD 000000b3: DUP2 000000b4: JUMP 000000b5: JUMPDEST 000000b6: PUSH1 0x40 000000b8: MLOAD 000000b9: SWAP1 000000ba: DUP2 000000bb: MSTORE 000000bc: PUSH1 0x20 000000be: ADD 000000bf: JUMPDEST 000000c0: PUSH1 0x40 000000c2: MLOAD 000000c3: DUP1 000000c4: SWAP2 000000c5: SUB 000000c6: SWAP1 000000c7: RETURN 000000c8: JUMPDEST 000000c9: CALLVALUE 000000ca: DUP1 000000cb: ISZERO 000000cc: PUSH2 0x00d3 000000cf: JUMPI 000000d0: PUSH0 000000d1: DUP1 000000d2: REVERT 000000d3: JUMPDEST 000000d4: POP 000000d5: PUSH2 0x00b5 000000d8: PUSH1 0x01 000000da: SLOAD 000000db: DUP2 000000dc: JUMP 000000dd: JUMPDEST 000000de: CALLVALUE 000000df: DUP1 000000e0: ISZERO 000000e1: PUSH2 0x00e8 000000e4: JUMPI 000000e5: PUSH0 000000e6: DUP1 000000e7: REVERT 000000e8: JUMPDEST 000000e9: POP 000000ea: PUSH0 000000eb: SLOAD 000000ec: PUSH2 0x00fb 000000ef: SWAP1 000000f0: PUSH1 0x01 000000f2: PUSH1 0x01 000000f4: PUSH1 0xa0 000000f6: SHL 000000f7: SUB 000000f8: AND 000000f9: DUP2 000000fa: JUMP 000000fb: JUMPDEST 000000fc: PUSH1 0x40 000000fe: MLOAD 000000ff: PUSH1 0x01 00000101: PUSH1 0x01 00000103: PUSH1 0xa0 00000105: SHL 00000106: SUB 00000107: SWAP1 00000108: SWAP2 00000109: AND 0000010a: DUP2 0000010b: MSTORE 0000010c: PUSH1 0x20 0000010e: ADD 0000010f: PUSH2 0x00bf 00000112: JUMP 00000113: JUMPDEST 00000114: PUSH2 0x007f 00000117: PUSH2 0x0121 0000011a: CALLDATASIZE 0000011b: PUSH1 0x04 0000011d: PUSH2 0x0a6a 00000120: JUMP 00000121: JUMPDEST 00000122: PUSH2 0x030f 00000125: JUMP 00000126: JUMPDEST 00000127: CALLVALUE 00000128: DUP1 00000129: ISZERO 0000012a: PUSH2 0x0131 0000012d: JUMPI 0000012e: PUSH0 0000012f: DUP1 00000130: REVERT 00000131: JUMPDEST 00000132: POP 00000133: PUSH2 0x007f 00000136: PUSH2 0x0140 00000139: CALLDATASIZE 0000013a: PUSH1 0x04 0000013c: PUSH2 0x0b2e 0000013f: JUMP 00000140: JUMPDEST 00000141: PUSH2 0x04c2 00000144: JUMP 00000145: JUMPDEST 00000146: CALLVALUE 00000147: DUP1 00000148: ISZERO 00000149: PUSH2 0x0150 0000014c: JUMPI 0000014d: PUSH0 0000014e: DUP1 0000014f: REVERT 00000150: JUMPDEST 00000151: POP 00000152: PUSH1 0x03 00000154: SLOAD 00000155: PUSH2 0x00fb 00000158: SWAP1 00000159: PUSH1 0x01 0000015b: PUSH1 0x01 0000015d: PUSH1 0xa0 0000015f: SHL 00000160: SUB 00000161: AND 00000162: DUP2 00000163: JUMP 00000164: JUMPDEST 00000165: CALLVALUE 00000166: DUP1 00000167: ISZERO 00000168: PUSH2 0x016f 0000016b: JUMPI 0000016c: PUSH0 0000016d: DUP1 0000016e: REVERT 0000016f: JUMPDEST 00000170: POP 00000171: PUSH2 0x007f 00000174: PUSH2 0x017e 00000177: CALLDATASIZE 00000178: PUSH1 0x04 0000017a: PUSH2 0x0b49 0000017d: JUMP 0000017e: JUMPDEST 0000017f: PUSH2 0x04e3 00000182: JUMP 00000183: JUMPDEST 00000184: PUSH0 00000185: SLOAD 00000186: PUSH1 0x01 00000188: PUSH1 0x01 0000018a: PUSH1 0xa0 0000018c: SHL 0000018d: SUB 0000018e: AND 0000018f: CALLER 00000190: EQ 00000191: PUSH2 0x0198 00000194: JUMPI 00000195: PUSH0 00000196: DUP1 00000197: REVERT 00000198: JUMPDEST 00000199: DUP2 0000019a: MLOAD 0000019b: DUP4 0000019c: MLOAD 0000019d: EQ 0000019e: PUSH2 0x01c2 000001a1: JUMPI 000001a2: PUSH1 0x40 000001a4: MLOAD 000001a5: PUSH3 0x461bcd 000001a9: PUSH1 0xe5 000001ab: SHL 000001ac: DUP2 000001ad: MSTORE 000001ae: PUSH1 0x04 000001b0: ADD 000001b1: PUSH2 0x01b9 000001b4: SWAP1 000001b5: PUSH2 0x0b93 000001b8: JUMP 000001b9: JUMPDEST 000001ba: PUSH1 0x40 000001bc: MLOAD 000001bd: DUP1 000001be: SWAP2 000001bf: SUB 000001c0: SWAP1 000001c1: REVERT 000001c2: JUMPDEST 000001c3: PUSH1 0x01 000001c5: PUSH1 0x01 000001c7: PUSH1 0xa0 000001c9: SHL 000001ca: SUB 000001cb: DUP2 000001cc: AND 000001cd: PUSH2 0x0210 000001d0: JUMPI 000001d1: PUSH1 0x40 000001d3: MLOAD 000001d4: PUSH3 0x461bcd 000001d8: PUSH1 0xe5 000001da: SHL 000001db: DUP2 000001dc: MSTORE 000001dd: PUSH1 0x20 000001df: PUSH1 0x04 000001e1: DUP3 000001e2: ADD 000001e3: MSTORE 000001e4: PUSH1 0x15 000001e6: PUSH1 0x24 000001e8: DUP3 000001e9: ADD 000001ea: MSTORE 000001eb: PUSH21 0x496e76616c696420746f6b656e2061646472657373 00000201: PUSH1 0x58 00000203: SHL 00000204: PUSH1 0x44 00000206: DUP3 00000207: ADD 00000208: MSTORE 00000209: PUSH1 0x64 0000020b: ADD 0000020c: PUSH2 0x01b9 0000020f: JUMP 00000210: JUMPDEST 00000211: PUSH0 00000212: JUMPDEST 00000213: DUP3 00000214: MLOAD 00000215: DUP2 00000216: LT 00000217: ISZERO 00000218: PUSH2 0x02a5 0000021b: JUMPI 0000021c: PUSH0 0000021d: PUSH1 0x01 0000021f: PUSH1 0x01 00000221: PUSH1 0xa0 00000223: SHL 00000224: SUB 00000225: AND 00000226: DUP5 00000227: DUP3 00000228: DUP2 00000229: MLOAD 0000022a: DUP2 0000022b: LT 0000022c: PUSH2 0x0237 0000022f: JUMPI 00000230: PUSH2 0x0237 00000233: PUSH2 0x0bc0 00000236: JUMP 00000237: JUMPDEST 00000238: PUSH1 0x20 0000023a: MUL 0000023b: PUSH1 0x20 0000023d: ADD 0000023e: ADD 0000023f: MLOAD 00000240: PUSH1 0x01 00000242: PUSH1 0x01 00000244: PUSH1 0xa0 00000246: SHL 00000247: SUB 00000248: AND 00000249: SUB 0000024a: PUSH2 0x0265 0000024d: JUMPI 0000024e: PUSH1 0x40 00000250: MLOAD 00000251: PUSH3 0x461bcd 00000255: PUSH1 0xe5 00000257: SHL 00000258: DUP2 00000259: MSTORE 0000025a: PUSH1 0x04 0000025c: ADD 0000025d: PUSH2 0x01b9 00000260: SWAP1 00000261: PUSH2 0x0bd4 00000264: JUMP 00000265: JUMPDEST 00000266: PUSH0 00000267: DUP4 00000268: DUP3 00000269: DUP2 0000026a: MLOAD 0000026b: DUP2 0000026c: LT 0000026d: PUSH2 0x0278 00000270: JUMPI 00000271: PUSH2 0x0278 00000274: PUSH2 0x0bc0 00000277: JUMP 00000278: JUMPDEST 00000279: PUSH1 0x20 0000027b: MUL 0000027c: PUSH1 0x20 0000027e: ADD 0000027f: ADD 00000280: MLOAD 00000281: GT 00000282: PUSH2 0x029d 00000285: JUMPI 00000286: PUSH1 0x40 00000288: MLOAD 00000289: PUSH3 0x461bcd 0000028d: PUSH1 0xe5 0000028f: SHL 00000290: DUP2 00000291: MSTORE 00000292: PUSH1 0x04 00000294: ADD 00000295: PUSH2 0x01b9 00000298: SWAP1 00000299: PUSH2 0x0bfd 0000029c: JUMP 0000029d: JUMPDEST 0000029e: PUSH1 0x01 000002a0: ADD 000002a1: PUSH2 0x0212 000002a4: JUMP 000002a5: JUMPDEST 000002a6: POP 000002a7: PUSH0 000002a8: JUMPDEST 000002a9: DUP4 000002aa: MLOAD 000002ab: DUP2 000002ac: LT 000002ad: ISZERO 000002ae: PUSH2 0x0309 000002b1: JUMPI 000002b2: PUSH2 0x0301 000002b5: DUP5 000002b6: DUP3 000002b7: DUP2 000002b8: MLOAD 000002b9: DUP2 000002ba: LT 000002bb: PUSH2 0x02c6 000002be: JUMPI 000002bf: PUSH2 0x02c6 000002c2: PUSH2 0x0bc0 000002c5: JUMP 000002c6: JUMPDEST 000002c7: PUSH1 0x20 000002c9: MUL 000002ca: PUSH1 0x20 000002cc: ADD 000002cd: ADD 000002ce: MLOAD 000002cf: DUP5 000002d0: DUP4 000002d1: DUP2 000002d2: MLOAD 000002d3: DUP2 000002d4: LT 000002d5: PUSH2 0x02e0 000002d8: JUMPI 000002d9: PUSH2 0x02e0 000002dc: PUSH2 0x0bc0 000002df: JUMP 000002e0: JUMPDEST 000002e1: PUSH1 0x20 000002e3: MUL 000002e4: PUSH1 0x20 000002e6: ADD 000002e7: ADD 000002e8: MLOAD 000002e9: DUP5 000002ea: PUSH1 0x01 000002ec: PUSH1 0x01 000002ee: PUSH1 0xa0 000002f0: SHL 000002f1: SUB 000002f2: AND 000002f3: PUSH2 0x0655 000002f6: SWAP1 000002f7: SWAP3 000002f8: SWAP2 000002f9: SWAP1 000002fa: PUSH4 0xffffffff 000002ff: AND 00000300: JUMP 00000301: JUMPDEST 00000302: PUSH1 0x01 00000304: ADD 00000305: PUSH2 0x02a8 00000308: JUMP 00000309: JUMPDEST 0000030a: POP 0000030b: POP 0000030c: POP 0000030d: POP 0000030e: JUMP 0000030f: JUMPDEST 00000310: PUSH0 00000311: SLOAD 00000312: PUSH1 0x01 00000314: PUSH1 0x01 00000316: PUSH1 0xa0 00000318: SHL 00000319: SUB 0000031a: AND 0000031b: CALLER 0000031c: EQ 0000031d: PUSH2 0x0324 00000320: JUMPI 00000321: PUSH0 00000322: DUP1 00000323: REVERT 00000324: JUMPDEST 00000325: DUP2 00000326: MLOAD 00000327: DUP4 00000328: MLOAD 00000329: EQ 0000032a: PUSH2 0x0345 0000032d: JUMPI 0000032e: PUSH1 0x40 00000330: MLOAD 00000331: PUSH3 0x461bcd 00000335: PUSH1 0xe5 00000337: SHL 00000338: DUP2 00000339: MSTORE 0000033a: PUSH1 0x04 0000033c: ADD 0000033d: PUSH2 0x01b9 00000340: SWAP1 00000341: PUSH2 0x0b93 00000344: JUMP 00000345: JUMPDEST 00000346: PUSH1 0x01 00000348: SLOAD 00000349: DUP2 0000034a: GT 0000034b: PUSH2 0x0386 0000034e: JUMPI 0000034f: PUSH1 0x40 00000351: MLOAD 00000352: PUSH3 0x461bcd 00000356: PUSH1 0xe5 00000358: SHL 00000359: DUP2 0000035a: MSTORE 0000035b: PUSH1 0x20 0000035d: PUSH1 0x04 0000035f: DUP3 00000360: ADD 00000361: MSTORE 00000362: PUSH1 0x0d 00000364: PUSH1 0x24 00000366: DUP3 00000367: ADD 00000368: MSTORE 00000369: PUSH13 0x0496e76616c69642067726f757 00000377: PUSH1 0x9c 00000379: SHL 0000037a: PUSH1 0x44 0000037c: DUP3 0000037d: ADD 0000037e: MSTORE 0000037f: PUSH1 0x64 00000381: ADD 00000382: PUSH2 0x01b9 00000385: JUMP 00000386: JUMPDEST 00000387: PUSH0 00000388: JUMPDEST 00000389: DUP4 0000038a: MLOAD 0000038b: DUP2 0000038c: LT 0000038d: ISZERO 0000038e: PUSH2 0x041b 00000391: JUMPI 00000392: PUSH0 00000393: PUSH1 0x01 00000395: PUSH1 0x01 00000397: PUSH1 0xa0 00000399: SHL 0000039a: SUB 0000039b: AND 0000039c: DUP5 0000039d: DUP3 0000039e: DUP2 0000039f: MLOAD 000003a0: DUP2 000003a1: LT 000003a2: PUSH2 0x03ad 000003a5: JUMPI 000003a6: PUSH2 0x03ad 000003a9: PUSH2 0x0bc0 000003ac: JUMP 000003ad: JUMPDEST 000003ae: PUSH1 0x20 000003b0: MUL 000003b1: PUSH1 0x20 000003b3: ADD 000003b4: ADD 000003b5: MLOAD 000003b6: PUSH1 0x01 000003b8: PUSH1 0x01 000003ba: PUSH1 0xa0 000003bc: SHL 000003bd: SUB 000003be: AND 000003bf: SUB 000003c0: PUSH2 0x03db 000003c3: JUMPI 000003c4: PUSH1 0x40 000003c6: MLOAD 000003c7: PUSH3 0x461bcd 000003cb: PUSH1 0xe5 000003cd: SHL 000003ce: DUP2 000003cf: MSTORE 000003d0: PUSH1 0x04 000003d2: ADD 000003d3: PUSH2 0x01b9 000003d6: SWAP1 000003d7: PUSH2 0x0bd4 000003da: JUMP 000003db: JUMPDEST 000003dc: PUSH0 000003dd: DUP4 000003de: DUP3 000003df: DUP2 000003e0: MLOAD 000003e1: DUP2 000003e2: LT 000003e3: PUSH2 0x03ee 000003e6: JUMPI 000003e7: PUSH2 0x03ee 000003ea: PUSH2 0x0bc0 000003ed: JUMP 000003ee: JUMPDEST 000003ef: PUSH1 0x20 000003f1: MUL 000003f2: PUSH1 0x20 000003f4: ADD 000003f5: ADD 000003f6: MLOAD 000003f7: GT 000003f8: PUSH2 0x0413 000003fb: JUMPI 000003fc: PUSH1 0x40 000003fe: MLOAD 000003ff: PUSH3 0x461bcd 00000403: PUSH1 0xe5 00000405: SHL 00000406: DUP2 00000407: MSTORE 00000408: PUSH1 0x04 0000040a: ADD 0000040b: PUSH2 0x01b9 0000040e: SWAP1 0000040f: PUSH2 0x0bfd 00000412: JUMP 00000413: JUMPDEST 00000414: PUSH1 0x01 00000416: ADD 00000417: PUSH2 0x0388 0000041a: JUMP 0000041b: JUMPDEST 0000041c: POP 0000041d: PUSH1 0x02 0000041f: DUP2 00000420: SWAP1 00000421: SSTORE 00000422: PUSH0 00000423: JUMPDEST 00000424: DUP4 00000425: MLOAD 00000426: DUP2 00000427: LT 00000428: ISZERO 00000429: PUSH2 0x0309 0000042c: JUMPI 0000042d: PUSH0 0000042e: DUP5 0000042f: DUP3 00000430: DUP2 00000431: MLOAD 00000432: DUP2 00000433: LT 00000434: PUSH2 0x043f 00000437: JUMPI 00000438: PUSH2 0x043f 0000043b: PUSH2 0x0bc0 0000043e: JUMP 0000043f: JUMPDEST 00000440: PUSH1 0x20 00000442: MUL 00000443: PUSH1 0x20 00000445: ADD 00000446: ADD 00000447: MLOAD 00000448: PUSH1 0x01 0000044a: PUSH1 0x01 0000044c: PUSH1 0xa0 0000044e: SHL 0000044f: SUB 00000450: AND 00000451: DUP5 00000452: DUP4 00000453: DUP2 00000454: MLOAD 00000455: DUP2 00000456: LT 00000457: PUSH2 0x0462 0000045a: JUMPI 0000045b: PUSH2 0x0462 0000045e: PUSH2 0x0bc0 00000461: JUMP 00000462: JUMPDEST 00000463: PUSH1 0x20 00000465: MUL 00000466: PUSH1 0x20 00000468: ADD 00000469: ADD 0000046a: MLOAD 0000046b: PUSH1 0x40 0000046d: MLOAD 0000046e: PUSH0 0000046f: PUSH1 0x40 00000471: MLOAD 00000472: DUP1 00000473: DUP4 00000474: SUB 00000475: DUP2 00000476: DUP6 00000477: DUP8 00000478: GAS 00000479: CALL 0000047a: SWAP3 0000047b: POP 0000047c: POP 0000047d: POP 0000047e: RETURNDATASIZE 0000047f: DUP1 00000480: PUSH0 00000481: DUP2 00000482: EQ 00000483: PUSH2 0x04a7 00000486: JUMPI 00000487: PUSH1 0x40 00000489: MLOAD 0000048a: SWAP2 0000048b: POP 0000048c: PUSH1 0x1f 0000048e: NOT 0000048f: PUSH1 0x3f 00000491: RETURNDATASIZE 00000492: ADD 00000493: AND 00000494: DUP3 00000495: ADD 00000496: PUSH1 0x40 00000498: MSTORE 00000499: RETURNDATASIZE 0000049a: DUP3 0000049b: MSTORE 0000049c: RETURNDATASIZE 0000049d: PUSH0 0000049e: PUSH1 0x20 000004a0: DUP5 000004a1: ADD 000004a2: RETURNDATACOPY 000004a3: PUSH2 0x04ac 000004a6: JUMP 000004a7: JUMPDEST 000004a8: PUSH1 0x60 000004aa: SWAP2 000004ab: POP 000004ac: JUMPDEST 000004ad: POP 000004ae: POP 000004af: SWAP1 000004b0: POP 000004b1: DUP1 000004b2: PUSH2 0x04b9 000004b5: JUMPI 000004b6: PUSH0 000004b7: DUP1 000004b8: REVERT 000004b9: JUMPDEST 000004ba: POP 000004bb: PUSH1 0x01 000004bd: ADD 000004be: PUSH2 0x0423 000004c1: JUMP 000004c2: JUMPDEST 000004c3: PUSH0 000004c4: SLOAD 000004c5: PUSH1 0x01 000004c7: PUSH1 0x01 000004c9: PUSH1 0xa0 000004cb: SHL 000004cc: SUB 000004cd: AND 000004ce: CALLER 000004cf: EQ 000004d0: PUSH2 0x04d7 000004d3: JUMPI 000004d4: PUSH0 000004d5: DUP1 000004d6: REVERT 000004d7: JUMPDEST 000004d8: PUSH2 0x04e0 000004db: DUP2 000004dc: PUSH2 0x06ac 000004df: JUMP 000004e0: JUMPDEST 000004e1: POP 000004e2: JUMP 000004e3: JUMPDEST 000004e4: PUSH0 000004e5: SLOAD 000004e6: PUSH1 0x01 000004e8: PUSH1 0x01 000004ea: PUSH1 0xa0 000004ec: SHL 000004ed: SUB 000004ee: AND 000004ef: CALLER 000004f0: EQ 000004f1: PUSH2 0x04f8 000004f4: JUMPI 000004f5: PUSH0 000004f6: DUP1 000004f7: REVERT 000004f8: JUMPDEST 000004f9: DUP2 000004fa: MLOAD 000004fb: DUP4 000004fc: MLOAD 000004fd: EQ 000004fe: PUSH2 0x0519 00000501: JUMPI 00000502: PUSH1 0x40 00000504: MLOAD 00000505: PUSH3 0x461bcd 00000509: PUSH1 0xe5 0000050b: SHL 0000050c: DUP2 0000050d: MSTORE 0000050e: PUSH1 0x04 00000510: ADD 00000511: PUSH2 0x01b9 00000514: SWAP1 00000515: PUSH2 0x0b93 00000518: JUMP 00000519: JUMPDEST 0000051a: PUSH1 0x01 0000051c: SLOAD 0000051d: DUP2 0000051e: GT 0000051f: PUSH2 0x055a 00000522: JUMPI 00000523: PUSH1 0x40 00000525: MLOAD 00000526: PUSH3 0x461bcd 0000052a: PUSH1 0xe5 0000052c: SHL 0000052d: DUP2 0000052e: MSTORE 0000052f: PUSH1 0x20 00000531: PUSH1 0x04 00000533: DUP3 00000534: ADD 00000535: MSTORE 00000536: PUSH1 0x0d 00000538: PUSH1 0x24 0000053a: DUP3 0000053b: ADD 0000053c: MSTORE 0000053d: PUSH13 0x0496e76616c69642067726f757 0000054b: PUSH1 0x9c 0000054d: SHL 0000054e: PUSH1 0x44 00000550: DUP3 00000551: ADD 00000552: MSTORE 00000553: PUSH1 0x64 00000555: ADD 00000556: PUSH2 0x01b9 00000559: JUMP 0000055a: JUMPDEST 0000055b: PUSH0 0000055c: JUMPDEST 0000055d: DUP4 0000055e: MLOAD 0000055f: DUP2 00000560: LT 00000561: ISZERO 00000562: PUSH2 0x05ef 00000565: JUMPI 00000566: PUSH0 00000567: PUSH1 0x01 00000569: PUSH1 0x01 0000056b: PUSH1 0xa0 0000056d: SHL 0000056e: SUB 0000056f: AND 00000570: DUP5 00000571: DUP3 00000572: DUP2 00000573: MLOAD 00000574: DUP2 00000575: LT 00000576: PUSH2 0x0581 00000579: JUMPI 0000057a: PUSH2 0x0581 0000057d: PUSH2 0x0bc0 00000580: JUMP 00000581: JUMPDEST 00000582: PUSH1 0x20 00000584: MUL 00000585: PUSH1 0x20 00000587: ADD 00000588: ADD 00000589: MLOAD 0000058a: PUSH1 0x01 0000058c: PUSH1 0x01 0000058e: PUSH1 0xa0 00000590: SHL 00000591: SUB 00000592: AND 00000593: SUB 00000594: PUSH2 0x05af 00000597: JUMPI 00000598: PUSH1 0x40 0000059a: MLOAD 0000059b: PUSH3 0x461bcd 0000059f: PUSH1 0xe5 000005a1: SHL 000005a2: DUP2 000005a3: MSTORE 000005a4: PUSH1 0x04 000005a6: ADD 000005a7: PUSH2 0x01b9 000005aa: SWAP1 000005ab: PUSH2 0x0bd4 000005ae: JUMP 000005af: JUMPDEST 000005b0: PUSH0 000005b1: DUP4 000005b2: DUP3 000005b3: DUP2 000005b4: MLOAD 000005b5: DUP2 000005b6: LT 000005b7: PUSH2 0x05c2 000005ba: JUMPI 000005bb: PUSH2 0x05c2 000005be: PUSH2 0x0bc0 000005c1: JUMP 000005c2: JUMPDEST 000005c3: PUSH1 0x20 000005c5: MUL 000005c6: PUSH1 0x20 000005c8: ADD 000005c9: ADD 000005ca: MLOAD 000005cb: GT 000005cc: PUSH2 0x05e7 000005cf: JUMPI 000005d0: PUSH1 0x40 000005d2: MLOAD 000005d3: PUSH3 0x461bcd 000005d7: PUSH1 0xe5 000005d9: SHL 000005da: DUP2 000005db: MSTORE 000005dc: PUSH1 0x04 000005de: ADD 000005df: PUSH2 0x01b9 000005e2: SWAP1 000005e3: PUSH2 0x0bfd 000005e6: JUMP 000005e7: JUMPDEST 000005e8: PUSH1 0x01 000005ea: ADD 000005eb: PUSH2 0x055c 000005ee: JUMP 000005ef: JUMPDEST 000005f0: POP 000005f1: PUSH1 0x01 000005f3: DUP2 000005f4: SWAP1 000005f5: SSTORE 000005f6: PUSH0 000005f7: JUMPDEST 000005f8: DUP4 000005f9: MLOAD 000005fa: DUP2 000005fb: LT 000005fc: ISZERO 000005fd: PUSH2 0x0309 00000600: JUMPI 00000601: PUSH2 0x064d 00000604: DUP5 00000605: DUP3 00000606: DUP2 00000607: MLOAD 00000608: DUP2 00000609: LT 0000060a: PUSH2 0x0615 0000060d: JUMPI 0000060e: PUSH2 0x0615 00000611: PUSH2 0x0bc0 00000614: JUMP 00000615: JUMPDEST 00000616: PUSH1 0x20 00000618: MUL 00000619: PUSH1 0x20 0000061b: ADD 0000061c: ADD 0000061d: MLOAD 0000061e: DUP5 0000061f: DUP4 00000620: DUP2 00000621: MLOAD 00000622: DUP2 00000623: LT 00000624: PUSH2 0x062f 00000627: JUMPI 00000628: PUSH2 0x062f 0000062b: PUSH2 0x0bc0 0000062e: JUMP 0000062f: JUMPDEST 00000630: PUSH1 0x20 00000632: SWAP1 00000633: DUP2 00000634: MUL 00000635: SWAP2 00000636: SWAP1 00000637: SWAP2 00000638: ADD 00000639: ADD 0000063a: MLOAD 0000063b: PUSH1 0x03 0000063d: SLOAD 0000063e: PUSH1 0x01 00000640: PUSH1 0x01 00000642: PUSH1 0xa0 00000644: SHL 00000645: SUB 00000646: AND 00000647: SWAP2 00000648: SWAP1 00000649: PUSH2 0x0655 0000064c: JUMP 0000064d: JUMPDEST 0000064e: PUSH1 0x01 00000650: ADD 00000651: PUSH2 0x05f7 00000654: JUMP 00000655: JUMPDEST 00000656: PUSH1 0x40 00000658: DUP1 00000659: MLOAD 0000065a: PUSH1 0x01 0000065c: PUSH1 0x01 0000065e: PUSH1 0xa0 00000660: SHL 00000661: SUB 00000662: DUP5 00000663: AND 00000664: PUSH1 0x24 00000666: DUP3 00000667: ADD 00000668: MSTORE 00000669: PUSH1 0x44 0000066b: DUP1 0000066c: DUP3 0000066d: ADD 0000066e: DUP5 0000066f: SWAP1 00000670: MSTORE 00000671: DUP3 00000672: MLOAD 00000673: DUP1 00000674: DUP4 00000675: SUB 00000676: SWAP1 00000677: SWAP2 00000678: ADD 00000679: DUP2 0000067a: MSTORE 0000067b: PUSH1 0x64 0000067d: SWAP1 0000067e: SWAP2 0000067f: ADD 00000680: SWAP1 00000681: SWAP2 00000682: MSTORE 00000683: PUSH1 0x20 00000685: DUP2 00000686: ADD 00000687: DUP1 00000688: MLOAD 00000689: PUSH1 0x01 0000068b: PUSH1 0x01 0000068d: PUSH1 0xe0 0000068f: SHL 00000690: SUB 00000691: AND 00000692: PUSH4 0xa9059cbb 00000697: PUSH1 0xe0 00000699: SHL 0000069a: OR 0000069b: SWAP1 0000069c: MSTORE 0000069d: PUSH2 0x06a7 000006a0: SWAP1 000006a1: DUP5 000006a2: SWAP1 000006a3: PUSH2 0x0717 000006a6: JUMP 000006a7: JUMPDEST 000006a8: POP 000006a9: POP 000006aa: POP 000006ab: JUMP 000006ac: JUMPDEST 000006ad: PUSH1 0x01 000006af: PUSH1 0x01 000006b1: PUSH1 0xa0 000006b3: SHL 000006b4: SUB 000006b5: DUP2 000006b6: AND 000006b7: PUSH2 0x06be 000006ba: JUMPI 000006bb: PUSH0 000006bc: DUP1 000006bd: REVERT 000006be: JUMPDEST 000006bf: PUSH0 000006c0: DUP1 000006c1: SLOAD 000006c2: PUSH1 0x40 000006c4: MLOAD 000006c5: PUSH1 0x01 000006c7: PUSH1 0x01 000006c9: PUSH1 0xa0 000006cb: SHL 000006cc: SUB 000006cd: DUP1 000006ce: DUP6 000006cf: AND 000006d0: SWAP4 000006d1: SWAP3 000006d2: AND 000006d3: SWAP2 000006d4: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0 000006f5: SWAP2 000006f6: LOG3 000006f7: PUSH0 000006f8: DUP1 000006f9: SLOAD 000006fa: PUSH1 0x01 000006fc: PUSH1 0x01 000006fe: PUSH1 0xa0 00000700: SHL 00000701: SUB 00000702: NOT 00000703: AND 00000704: PUSH1 0x01 00000706: PUSH1 0x01 00000708: PUSH1 0xa0 0000070a: SHL 0000070b: SUB 0000070c: SWAP3 0000070d: SWAP1 0000070e: SWAP3 0000070f: AND 00000710: SWAP2 00000711: SWAP1 00000712: SWAP2 00000713: OR 00000714: SWAP1 00000715: SSTORE 00000716: JUMP 00000717: JUMPDEST 00000718: PUSH0 00000719: PUSH2 0x072b 0000071c: PUSH1 0x01 0000071e: PUSH1 0x01 00000720: PUSH1 0xa0 00000722: SHL 00000723: SUB 00000724: DUP5 00000725: AND 00000726: DUP4 00000727: PUSH2 0x0778 0000072a: JUMP 0000072b: JUMPDEST 0000072c: SWAP1 0000072d: POP 0000072e: DUP1 0000072f: MLOAD 00000730: PUSH0 00000731: EQ 00000732: ISZERO 00000733: DUP1 00000734: ISZERO 00000735: PUSH2 0x074f 00000738: JUMPI 00000739: POP 0000073a: DUP1 0000073b: DUP1 0000073c: PUSH1 0x20 0000073e: ADD 0000073f: SWAP1 00000740: MLOAD 00000741: DUP2 00000742: ADD 00000743: SWAP1 00000744: PUSH2 0x074d 00000747: SWAP2 00000748: SWAP1 00000749: PUSH2 0x0c24 0000074c: JUMP 0000074d: JUMPDEST 0000074e: ISZERO 0000074f: JUMPDEST 00000750: ISZERO 00000751: PUSH2 0x06a7 00000754: JUMPI 00000755: PUSH1 0x40 00000757: MLOAD 00000758: PUSH4 0x5274afe7 0000075d: PUSH1 0xe0 0000075f: SHL 00000760: DUP2 00000761: MSTORE 00000762: PUSH1 0x01 00000764: PUSH1 0x01 00000766: PUSH1 0xa0 00000768: SHL 00000769: SUB 0000076a: DUP5 0000076b: AND 0000076c: PUSH1 0x04 0000076e: DUP3 0000076f: ADD 00000770: MSTORE 00000771: PUSH1 0x24 00000773: ADD 00000774: PUSH2 0x01b9 00000777: JUMP 00000778: JUMPDEST 00000779: PUSH1 0x60 0000077b: PUSH2 0x0785 0000077e: DUP4 0000077f: DUP4 00000780: PUSH0 00000781: PUSH2 0x078c 00000784: JUMP 00000785: JUMPDEST 00000786: SWAP4 00000787: SWAP3 00000788: POP 00000789: POP 0000078a: POP 0000078b: JUMP 0000078c: JUMPDEST 0000078d: PUSH1 0x60 0000078f: DUP2 00000790: SELFBALANCE 00000791: LT 00000792: ISZERO 00000793: PUSH2 0x07b1 00000796: JUMPI 00000797: PUSH1 0x40 00000799: MLOAD 0000079a: PUSH4 0xcd786059 0000079f: PUSH1 0xe0 000007a1: SHL 000007a2: DUP2 000007a3: MSTORE 000007a4: ADDRESS 000007a5: PUSH1 0x04 000007a7: DUP3 000007a8: ADD 000007a9: MSTORE 000007aa: PUSH1 0x24 000007ac: ADD 000007ad: PUSH2 0x01b9 000007b0: JUMP 000007b1: JUMPDEST 000007b2: PUSH0 000007b3: DUP1 000007b4: DUP6 000007b5: PUSH1 0x01 000007b7: PUSH1 0x01 000007b9: PUSH1 0xa0 000007bb: SHL 000007bc: SUB 000007bd: AND 000007be: DUP5 000007bf: DUP7 000007c0: PUSH1 0x40 000007c2: MLOAD 000007c3: PUSH2 0x07cc 000007c6: SWAP2 000007c7: SWAP1 000007c8: PUSH2 0x0c43 000007cb: JUMP 000007cc: JUMPDEST 000007cd: PUSH0 000007ce: PUSH1 0x40 000007d0: MLOAD 000007d1: DUP1 000007d2: DUP4 000007d3: SUB 000007d4: DUP2 000007d5: DUP6 000007d6: DUP8 000007d7: GAS 000007d8: CALL 000007d9: SWAP3 000007da: POP 000007db: POP 000007dc: POP 000007dd: RETURNDATASIZE 000007de: DUP1 000007df: PUSH0 000007e0: DUP2 000007e1: EQ 000007e2: PUSH2 0x0806 000007e5: JUMPI 000007e6: PUSH1 0x40 000007e8: MLOAD 000007e9: SWAP2 000007ea: POP 000007eb: PUSH1 0x1f 000007ed: NOT 000007ee: PUSH1 0x3f 000007f0: RETURNDATASIZE 000007f1: ADD 000007f2: AND 000007f3: DUP3 000007f4: ADD 000007f5: PUSH1 0x40 000007f7: MSTORE 000007f8: RETURNDATASIZE 000007f9: DUP3 000007fa: MSTORE 000007fb: RETURNDATASIZE 000007fc: PUSH0 000007fd: PUSH1 0x20 000007ff: DUP5 00000800: ADD 00000801: RETURNDATACOPY 00000802: PUSH2 0x080b 00000805: JUMP 00000806: JUMPDEST 00000807: PUSH1 0x60 00000809: SWAP2 0000080a: POP 0000080b: JUMPDEST 0000080c: POP 0000080d: SWAP2 0000080e: POP 0000080f: SWAP2 00000810: POP 00000811: PUSH2 0x081b 00000814: DUP7 00000815: DUP4 00000816: DUP4 00000817: PUSH2 0x0825 0000081a: JUMP 0000081b: JUMPDEST 0000081c: SWAP7 0000081d: SWAP6 0000081e: POP 0000081f: POP 00000820: POP 00000821: POP 00000822: POP 00000823: POP 00000824: JUMP 00000825: JUMPDEST 00000826: PUSH1 0x60 00000828: DUP3 00000829: PUSH2 0x083a 0000082c: JUMPI 0000082d: PUSH2 0x0835 00000830: DUP3 00000831: PUSH2 0x0881 00000834: JUMP 00000835: JUMPDEST 00000836: PUSH2 0x0785 00000839: JUMP 0000083a: JUMPDEST 0000083b: DUP2 0000083c: MLOAD 0000083d: ISZERO 0000083e: DUP1 0000083f: ISZERO 00000840: PUSH2 0x0851 00000843: JUMPI 00000844: POP 00000845: PUSH1 0x01 00000847: PUSH1 0x01 00000849: PUSH1 0xa0 0000084b: SHL 0000084c: SUB 0000084d: DUP5 0000084e: AND 0000084f: EXTCODESIZE 00000850: ISZERO 00000851: JUMPDEST 00000852: ISZERO 00000853: PUSH2 0x087a 00000856: JUMPI 00000857: PUSH1 0x40 00000859: MLOAD 0000085a: PUSH4 0x9996b315 0000085f: PUSH1 0xe0 00000861: SHL 00000862: DUP2 00000863: MSTORE 00000864: PUSH1 0x01 00000866: PUSH1 0x01 00000868: PUSH1 0xa0 0000086a: SHL 0000086b: SUB 0000086c: DUP6 0000086d: AND 0000086e: PUSH1 0x04 00000870: DUP3 00000871: ADD 00000872: MSTORE 00000873: PUSH1 0x24 00000875: ADD 00000876: PUSH2 0x01b9 00000879: JUMP 0000087a: JUMPDEST 0000087b: POP 0000087c: DUP1 0000087d: PUSH2 0x0785 00000880: JUMP 00000881: JUMPDEST 00000882: DUP1 00000883: MLOAD 00000884: ISZERO 00000885: PUSH2 0x0891 00000888: JUMPI 00000889: DUP1 0000088a: MLOAD 0000088b: DUP1 0000088c: DUP3 0000088d: PUSH1 0x20 0000088f: ADD 00000890: REVERT 00000891: JUMPDEST 00000892: PUSH1 0x40 00000894: MLOAD 00000895: PUSH4 0x0a12f521 0000089a: PUSH1 0xe1 0000089c: SHL 0000089d: DUP2 0000089e: MSTORE 0000089f: PUSH1 0x04 000008a1: ADD 000008a2: PUSH1 0x40 000008a4: MLOAD 000008a5: DUP1 000008a6: SWAP2 000008a7: SUB 000008a8: SWAP1 000008a9: REVERT 000008aa: JUMPDEST 000008ab: PUSH4 0x4e487b71 000008b0: PUSH1 0xe0 000008b2: SHL 000008b3: PUSH0 000008b4: MSTORE 000008b5: PUSH1 0x41 000008b7: PUSH1 0x04 000008b9: MSTORE 000008ba: PUSH1 0x24 000008bc: PUSH0 000008bd: REVERT 000008be: JUMPDEST 000008bf: PUSH1 0x40 000008c1: MLOAD 000008c2: PUSH1 0x1f 000008c4: DUP3 000008c5: ADD 000008c6: PUSH1 0x1f 000008c8: NOT 000008c9: AND 000008ca: DUP2 000008cb: ADD 000008cc: PUSH8 0xffffffffffffffff 000008d5: DUP2 000008d6: GT 000008d7: DUP3 000008d8: DUP3 000008d9: LT 000008da: OR 000008db: ISZERO 000008dc: PUSH2 0x08e7 000008df: JUMPI 000008e0: PUSH2 0x08e7 000008e3: PUSH2 0x08aa 000008e6: JUMP 000008e7: JUMPDEST 000008e8: PUSH1 0x40 000008ea: MSTORE 000008eb: SWAP2 000008ec: SWAP1 000008ed: POP 000008ee: JUMP 000008ef: JUMPDEST 000008f0: PUSH0 000008f1: PUSH8 0xffffffffffffffff 000008fa: DUP3 000008fb: GT 000008fc: ISZERO 000008fd: PUSH2 0x0908 00000900: JUMPI 00000901: PUSH2 0x0908 00000904: PUSH2 0x08aa 00000907: JUMP 00000908: JUMPDEST 00000909: POP 0000090a: PUSH1 0x05 0000090c: SHL 0000090d: PUSH1 0x20 0000090f: ADD 00000910: SWAP1 00000911: JUMP 00000912: JUMPDEST 00000913: PUSH1 0x01 00000915: PUSH1 0x01 00000917: PUSH1 0xa0 00000919: SHL 0000091a: SUB 0000091b: DUP2 0000091c: AND 0000091d: DUP2 0000091e: EQ 0000091f: PUSH2 0x04e0 00000922: JUMPI 00000923: PUSH0 00000924: DUP1 00000925: REVERT 00000926: JUMPDEST 00000927: PUSH0 00000928: DUP3 00000929: PUSH1 0x1f 0000092b: DUP4 0000092c: ADD 0000092d: SLT 0000092e: PUSH2 0x0935 00000931: JUMPI 00000932: PUSH0 00000933: DUP1 00000934: REVERT 00000935: JUMPDEST 00000936: DUP2 00000937: CALLDATALOAD 00000938: PUSH1 0x20 0000093a: PUSH2 0x094a 0000093d: PUSH2 0x0945 00000940: DUP4 00000941: PUSH2 0x08ef 00000944: JUMP 00000945: JUMPDEST 00000946: PUSH2 0x08be 00000949: JUMP 0000094a: JUMPDEST 0000094b: DUP1 0000094c: DUP4 0000094d: DUP3 0000094e: MSTORE 0000094f: PUSH1 0x20 00000951: DUP3 00000952: ADD 00000953: SWAP2 00000954: POP 00000955: PUSH1 0x20 00000957: DUP5 00000958: PUSH1 0x05 0000095a: SHL 0000095b: DUP8 0000095c: ADD 0000095d: ADD 0000095e: SWAP4 0000095f: POP 00000960: DUP7 00000961: DUP5 00000962: GT 00000963: ISZERO 00000964: PUSH2 0x096b 00000967: JUMPI 00000968: PUSH0 00000969: DUP1 0000096a: REVERT 0000096b: JUMPDEST 0000096c: PUSH1 0x20 0000096e: DUP7 0000096f: ADD 00000970: JUMPDEST 00000971: DUP5 00000972: DUP2 00000973: LT 00000974: ISZERO 00000975: PUSH2 0x0990 00000978: JUMPI 00000979: DUP1 0000097a: CALLDATALOAD 0000097b: PUSH2 0x0983 0000097e: DUP2 0000097f: PUSH2 0x0912 00000982: JUMP 00000983: JUMPDEST 00000984: DUP4 00000985: MSTORE 00000986: SWAP2 00000987: DUP4 00000988: ADD 00000989: SWAP2 0000098a: DUP4 0000098b: ADD 0000098c: PUSH2 0x0970 0000098f: JUMP 00000990: JUMPDEST 00000991: POP 00000992: SWAP7 00000993: SWAP6 00000994: POP 00000995: POP 00000996: POP 00000997: POP 00000998: POP 00000999: POP 0000099a: JUMP 0000099b: JUMPDEST 0000099c: PUSH0 0000099d: DUP3 0000099e: PUSH1 0x1f 000009a0: DUP4 000009a1: ADD 000009a2: SLT 000009a3: PUSH2 0x09aa 000009a6: JUMPI 000009a7: PUSH0 000009a8: DUP1 000009a9: REVERT 000009aa: JUMPDEST 000009ab: DUP2 000009ac: CALLDATALOAD 000009ad: PUSH1 0x20 000009af: PUSH2 0x09ba 000009b2: PUSH2 0x0945 000009b5: DUP4 000009b6: PUSH2 0x08ef 000009b9: JUMP 000009ba: JUMPDEST 000009bb: DUP1 000009bc: DUP4 000009bd: DUP3 000009be: MSTORE 000009bf: PUSH1 0x20 000009c1: DUP3 000009c2: ADD 000009c3: SWAP2 000009c4: POP 000009c5: PUSH1 0x20 000009c7: DUP5 000009c8: PUSH1 0x05 000009ca: SHL 000009cb: DUP8 000009cc: ADD 000009cd: ADD 000009ce: SWAP4 000009cf: POP 000009d0: DUP7 000009d1: DUP5 000009d2: GT 000009d3: ISZERO 000009d4: PUSH2 0x09db 000009d7: JUMPI 000009d8: PUSH0 000009d9: DUP1 000009da: REVERT 000009db: JUMPDEST 000009dc: PUSH1 0x20 000009de: DUP7 000009df: ADD 000009e0: JUMPDEST 000009e1: DUP5 000009e2: DUP2 000009e3: LT 000009e4: ISZERO 000009e5: PUSH2 0x0990 000009e8: JUMPI 000009e9: DUP1 000009ea: CALLDATALOAD 000009eb: DUP4 000009ec: MSTORE 000009ed: SWAP2 000009ee: DUP4 000009ef: ADD 000009f0: SWAP2 000009f1: DUP4 000009f2: ADD 000009f3: PUSH2 0x09e0 000009f6: JUMP 000009f7: JUMPDEST 000009f8: PUSH0 000009f9: DUP1 000009fa: PUSH0 000009fb: PUSH1 0x60 000009fd: DUP5 000009fe: DUP7 000009ff: SUB 00000a00: SLT 00000a01: ISZERO 00000a02: PUSH2 0x0a09 00000a05: JUMPI 00000a06: PUSH0 00000a07: DUP1 00000a08: REVERT 00000a09: JUMPDEST 00000a0a: DUP4 00000a0b: CALLDATALOAD 00000a0c: PUSH8 0xffffffffffffffff 00000a15: DUP1 00000a16: DUP3 00000a17: GT 00000a18: ISZERO 00000a19: PUSH2 0x0a20 00000a1c: JUMPI 00000a1d: PUSH0 00000a1e: DUP1 00000a1f: REVERT 00000a20: JUMPDEST 00000a21: PUSH2 0x0a2c 00000a24: DUP8 00000a25: DUP4 00000a26: DUP9 00000a27: ADD 00000a28: PUSH2 0x0926 00000a2b: JUMP 00000a2c: JUMPDEST 00000a2d: SWAP5 00000a2e: POP 00000a2f: PUSH1 0x20 00000a31: DUP7 00000a32: ADD 00000a33: CALLDATALOAD 00000a34: SWAP2 00000a35: POP 00000a36: DUP1 00000a37: DUP3 00000a38: GT 00000a39: ISZERO 00000a3a: PUSH2 0x0a41 00000a3d: JUMPI 00000a3e: PUSH0 00000a3f: DUP1 00000a40: REVERT 00000a41: JUMPDEST 00000a42: POP 00000a43: PUSH2 0x0a4e 00000a46: DUP7 00000a47: DUP3 00000a48: DUP8 00000a49: ADD 00000a4a: PUSH2 0x099b 00000a4d: JUMP 00000a4e: JUMPDEST 00000a4f: SWAP3 00000a50: POP 00000a51: POP 00000a52: PUSH1 0x40 00000a54: DUP5 00000a55: ADD 00000a56: CALLDATALOAD 00000a57: PUSH2 0x0a5f 00000a5a: DUP2 00000a5b: PUSH2 0x0912 00000a5e: JUMP 00000a5f: JUMPDEST 00000a60: DUP1 00000a61: SWAP2 00000a62: POP 00000a63: POP 00000a64: SWAP3 00000a65: POP 00000a66: SWAP3 00000a67: POP 00000a68: SWAP3 00000a69: JUMP 00000a6a: JUMPDEST 00000a6b: PUSH0 00000a6c: DUP1 00000a6d: PUSH0 00000a6e: PUSH1 0x60 00000a70: DUP5 00000a71: DUP7 00000a72: SUB 00000a73: SLT 00000a74: ISZERO 00000a75: PUSH2 0x0a7c 00000a78: JUMPI 00000a79: PUSH0 00000a7a: DUP1 00000a7b: REVERT 00000a7c: JUMPDEST 00000a7d: DUP4 00000a7e: CALLDATALOAD 00000a7f: PUSH8 0xffffffffffffffff 00000a88: DUP1 00000a89: DUP3 00000a8a: GT 00000a8b: ISZERO 00000a8c: PUSH2 0x0a93 00000a8f: JUMPI 00000a90: PUSH0 00000a91: DUP1 00000a92: REVERT 00000a93: JUMPDEST 00000a94: DUP2 00000a95: DUP7 00000a96: ADD 00000a97: SWAP2 00000a98: POP 00000a99: DUP7 00000a9a: PUSH1 0x1f 00000a9c: DUP4 00000a9d: ADD 00000a9e: SLT 00000a9f: PUSH2 0x0aa6 00000aa2: JUMPI 00000aa3: PUSH0 00000aa4: DUP1 00000aa5: REVERT 00000aa6: JUMPDEST 00000aa7: DUP2 00000aa8: CALLDATALOAD 00000aa9: PUSH1 0x20 00000aab: PUSH2 0x0ab6 00000aae: PUSH2 0x0945 00000ab1: DUP4 00000ab2: PUSH2 0x08ef 00000ab5: JUMP 00000ab6: JUMPDEST 00000ab7: DUP3 00000ab8: DUP2 00000ab9: MSTORE 00000aba: PUSH1 0x05 00000abc: SWAP3 00000abd: SWAP1 00000abe: SWAP3 00000abf: SHL 00000ac0: DUP5 00000ac1: ADD 00000ac2: DUP2 00000ac3: ADD 00000ac4: SWAP2 00000ac5: DUP2 00000ac6: DUP2 00000ac7: ADD 00000ac8: SWAP1 00000ac9: DUP11 00000aca: DUP5 00000acb: GT 00000acc: ISZERO 00000acd: PUSH2 0x0ad4 00000ad0: JUMPI 00000ad1: PUSH0 00000ad2: DUP1 00000ad3: REVERT 00000ad4: JUMPDEST 00000ad5: SWAP5 00000ad6: DUP3 00000ad7: ADD 00000ad8: SWAP5 00000ad9: JUMPDEST 00000ada: DUP4 00000adb: DUP7 00000adc: LT 00000add: ISZERO 00000ade: PUSH2 0x0afb 00000ae1: JUMPI 00000ae2: DUP6 00000ae3: CALLDATALOAD 00000ae4: PUSH2 0x0aec 00000ae7: DUP2 00000ae8: PUSH2 0x0912 00000aeb: JUMP 00000aec: JUMPDEST 00000aed: DUP3 00000aee: MSTORE 00000aef: SWAP5 00000af0: DUP3 00000af1: ADD 00000af2: SWAP5 00000af3: SWAP1 00000af4: DUP3 00000af5: ADD 00000af6: SWAP1 00000af7: PUSH2 0x0ad9 00000afa: JUMP 00000afb: JUMPDEST 00000afc: SWAP8 00000afd: POP 00000afe: POP 00000aff: DUP8 00000b00: ADD 00000b01: CALLDATALOAD 00000b02: SWAP3 00000b03: POP 00000b04: POP 00000b05: DUP1 00000b06: DUP3 00000b07: GT 00000b08: ISZERO 00000b09: PUSH2 0x0b10 00000b0c: JUMPI 00000b0d: PUSH0 00000b0e: DUP1 00000b0f: REVERT 00000b10: JUMPDEST 00000b11: POP 00000b12: PUSH2 0x0b1d 00000b15: DUP7 00000b16: DUP3 00000b17: DUP8 00000b18: ADD 00000b19: PUSH2 0x099b 00000b1c: JUMP 00000b1d: JUMPDEST 00000b1e: SWAP3 00000b1f: POP 00000b20: POP 00000b21: PUSH1 0x40 00000b23: DUP5 00000b24: ADD 00000b25: CALLDATALOAD 00000b26: SWAP1 00000b27: POP 00000b28: SWAP3 00000b29: POP 00000b2a: SWAP3 00000b2b: POP 00000b2c: SWAP3 00000b2d: JUMP 00000b2e: JUMPDEST 00000b2f: PUSH0 00000b30: PUSH1 0x20 00000b32: DUP3 00000b33: DUP5 00000b34: SUB 00000b35: SLT 00000b36: ISZERO 00000b37: PUSH2 0x0b3e 00000b3a: JUMPI 00000b3b: PUSH0 00000b3c: DUP1 00000b3d: REVERT 00000b3e: JUMPDEST 00000b3f: DUP2 00000b40: CALLDATALOAD 00000b41: PUSH2 0x0785 00000b44: DUP2 00000b45: PUSH2 0x0912 00000b48: JUMP 00000b49: JUMPDEST 00000b4a: PUSH0 00000b4b: DUP1 00000b4c: PUSH0 00000b4d: PUSH1 0x60 00000b4f: DUP5 00000b50: DUP7 00000b51: SUB 00000b52: SLT 00000b53: ISZERO 00000b54: PUSH2 0x0b5b 00000b57: JUMPI 00000b58: PUSH0 00000b59: DUP1 00000b5a: REVERT 00000b5b: JUMPDEST 00000b5c: DUP4 00000b5d: CALLDATALOAD 00000b5e: PUSH8 0xffffffffffffffff 00000b67: DUP1 00000b68: DUP3 00000b69: GT 00000b6a: ISZERO 00000b6b: PUSH2 0x0b72 00000b6e: JUMPI 00000b6f: PUSH0 00000b70: DUP1 00000b71: REVERT 00000b72: JUMPDEST 00000b73: PUSH2 0x0b7e 00000b76: DUP8 00000b77: DUP4 00000b78: DUP9 00000b79: ADD 00000b7a: PUSH2 0x0926 00000b7d: JUMP 00000b7e: JUMPDEST 00000b7f: SWAP5 00000b80: POP 00000b81: PUSH1 0x20 00000b83: DUP7 00000b84: ADD 00000b85: CALLDATALOAD 00000b86: SWAP2 00000b87: POP 00000b88: DUP1 00000b89: DUP3 00000b8a: GT 00000b8b: ISZERO 00000b8c: PUSH2 0x0b10 00000b8f: JUMPI 00000b90: PUSH0 00000b91: DUP1 00000b92: REVERT 00000b93: JUMPDEST 00000b94: PUSH1 0x20 00000b96: DUP1 00000b97: DUP3 00000b98: MSTORE 00000b99: PUSH1 0x13 00000b9b: SWAP1 00000b9c: DUP3 00000b9d: ADD 00000b9e: MSTORE 00000b9f: PUSH19 0x092dcecc2d8d2c840c8c2e8c240d8cadccee8d 00000bb3: PUSH1 0x6b 00000bb5: SHL 00000bb6: PUSH1 0x40 00000bb8: DUP3 00000bb9: ADD 00000bba: MSTORE 00000bbb: PUSH1 0x60 00000bbd: ADD 00000bbe: SWAP1 00000bbf: JUMP 00000bc0: JUMPDEST 00000bc1: PUSH4 0x4e487b71 00000bc6: PUSH1 0xe0 00000bc8: SHL 00000bc9: PUSH0 00000bca: MSTORE 00000bcb: PUSH1 0x32 00000bcd: PUSH1 0x04 00000bcf: MSTORE 00000bd0: PUSH1 0x24 00000bd2: PUSH0 00000bd3: REVERT 00000bd4: JUMPDEST 00000bd5: PUSH1 0x20 00000bd7: DUP1 00000bd8: DUP3 00000bd9: MSTORE 00000bda: PUSH1 0x0f 00000bdc: SWAP1 00000bdd: DUP3 00000bde: ADD 00000bdf: MSTORE 00000be0: PUSH15 0x496e76616c69642061646472657373 00000bf0: PUSH1 0x88 00000bf2: SHL 00000bf3: PUSH1 0x40 00000bf5: DUP3 00000bf6: ADD 00000bf7: MSTORE 00000bf8: PUSH1 0x60 00000bfa: ADD 00000bfb: SWAP1 00000bfc: JUMP 00000bfd: JUMPDEST 00000bfe: PUSH1 0x20 00000c00: DUP1 00000c01: DUP3 00000c02: MSTORE 00000c03: PUSH1 0x0d 00000c05: SWAP1 00000c06: DUP3 00000c07: ADD 00000c08: MSTORE 00000c09: PUSH13 0x496e76616c69642076616c7565 00000c17: PUSH1 0x98 00000c19: SHL 00000c1a: PUSH1 0x40 00000c1c: DUP3 00000c1d: ADD 00000c1e: MSTORE 00000c1f: PUSH1 0x60 00000c21: ADD 00000c22: SWAP1 00000c23: JUMP 00000c24: JUMPDEST 00000c25: PUSH0 00000c26: PUSH1 0x20 00000c28: DUP3 00000c29: DUP5 00000c2a: SUB 00000c2b: SLT 00000c2c: ISZERO 00000c2d: PUSH2 0x0c34 00000c30: JUMPI 00000c31: PUSH0 00000c32: DUP1 00000c33: REVERT 00000c34: JUMPDEST 00000c35: DUP2 00000c36: MLOAD 00000c37: DUP1 00000c38: ISZERO 00000c39: ISZERO 00000c3a: DUP2 00000c3b: EQ 00000c3c: PUSH2 0x0785 00000c3f: JUMPI 00000c40: PUSH0 00000c41: DUP1 00000c42: REVERT 00000c43: JUMPDEST 00000c44: PUSH0 00000c45: DUP3 00000c46: MLOAD 00000c47: PUSH0 00000c48: JUMPDEST 00000c49: DUP2 00000c4a: DUP2 00000c4b: LT 00000c4c: ISZERO 00000c4d: PUSH2 0x0c62 00000c50: JUMPI 00000c51: PUSH1 0x20 00000c53: DUP2 00000c54: DUP7 00000c55: ADD 00000c56: DUP2 00000c57: ADD 00000c58: MLOAD 00000c59: DUP6 00000c5a: DUP4 00000c5b: ADD 00000c5c: MSTORE 00000c5d: ADD 00000c5e: PUSH2 0x0c48 00000c61: JUMP 00000c62: JUMPDEST 00000c63: POP 00000c64: PUSH0 00000c65: SWAP3 00000c66: ADD 00000c67: SWAP2 00000c68: DUP3 00000c69: MSTORE 00000c6a: POP 00000c6b: SWAP2 00000c6c: SWAP1 00000c6d: POP 00000c6e: JUMP 00000c6f: INVALID 00000c70: LOG2 00000c71: PUSH5 0x6970667358 00000c77: UNKNOWN(0x22) 00000c78: SLT 00000c79: KECCAK256 00000c7a: UNKNOWN(0xF7) 00000c7b: DUP16 00000c7c: UNKNOWN(0xEB) 00000c7d: UNKNOWN(0xBC) 00000c7e: UNKNOWN(0xDA) 00000c7f: UNKNOWN(0xE1) 00000c80: ADD 00000c81: DUP5 00000c82: ORIGIN 00000c83: UNKNOWN(0xB3) 00000c84: UNKNOWN(0x22) 00000c85: UNKNOWN(0xBF) 00000c86: CALLER 00000c87: UNKNOWN(0xE9) 00000c88: EXTCODESIZE 00000c89: CALLDATACOPY 00000c8a: SWAP5 00000c8b: GT 00000c8c: UNKNOWN(0xA9) 00000c8d: SUB 00000c8e: PUSH31
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 | auth | detector | Authorization based on tx.origin | 70 | no | — |
viewvalidation_json{
"reason": "missing sink mapping",
"status": "no_sink"
}
witness_json{
"notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
"constraints": [],
"entrypoints": [
{
"calldata": "0xe080fa7a",
"selector": "0xe080fa7a",
"calldata_variants": [
"0xe080fa7a",
"0xe080fa7a0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf5dc2e42",
"selector": "0xf5dc2e42",
"calldata_variants": [
"0xf5dc2e42",
"0xf5dc2e420000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xfb56a141",
"selector": "0xfb56a141",
"calldata_variants": [
"0xfb56a141",
"0xfb56a1410000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x37cc4bc6",
"selector": "0x37cc4bc6",
"calldata_variants": [
"0x37cc4bc6",
"0x37cc4bc60000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x4daa8b89",
"selector": "0x4daa8b89",
"calldata_variants": [
"0x4daa8b89",
"0x4daa8b890000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x81bfda2c",
"selector": "0x81bfda2c",
"calldata_variants": [
"0x81bfda2c",
"0x81bfda2c0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"guards_detected": [
{
"pc": 3202,
"type": "tx_origin_used"
}
]
}
|
| medium | other | detector | Untrusted CALL target/value reachable | 45 | no | no |
viewtrace_id: 0xee115e39b32072a02ec59bdad07fa5e521bfb966630b6bb47f668132add6abcc
call_targets:
0x74a6d24df2aa77c8d2aa32a713f6ef8a7deaf424
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xee115e39b32072a02ec59bdad07fa5e521bfb966630b6bb47f668132add6abcc",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x74a6d24df2aa77c8d2aa32a713f6ef8a7deaf424"
],
"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": "0xe080fa7a",
"selector": "0xe080fa7a",
"calldata_variants": [
"0xe080fa7a",
"0xe080fa7a0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf5dc2e42",
"selector": "0xf5dc2e42",
"calldata_variants": [
"0xf5dc2e42",
"0xf5dc2e420000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xfb56a141",
"selector": "0xfb56a141",
"calldata_variants": [
"0xfb56a141",
"0xfb56a1410000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x37cc4bc6",
"selector": "0x37cc4bc6",
"calldata_variants": [
"0x37cc4bc6",
"0x37cc4bc60000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x4daa8b89",
"selector": "0x4daa8b89",
"calldata_variants": [
"0x4daa8b89",
"0x4daa8b890000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x81bfda2c",
"selector": "0x81bfda2c",
"calldata_variants": [
"0x81bfda2c",
"0x81bfda2c0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1145,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2008,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 2,
"guards_detected": [
{
"pc": 3202,
"type": "tx_origin_used"
}
],
"untrusted_call_count": 2
}
|
| medium | other | detector | ETH value transfer possible | 40 | no | no |
viewtrace_id: 0xee115e39b32072a02ec59bdad07fa5e521bfb966630b6bb47f668132add6abcc
call_targets:
0x74a6d24df2aa77c8d2aa32a713f6ef8a7deaf424
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xee115e39b32072a02ec59bdad07fa5e521bfb966630b6bb47f668132add6abcc",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x74a6d24df2aa77c8d2aa32a713f6ef8a7deaf424"
],
"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": "0xe080fa7a",
"selector": "0xe080fa7a",
"calldata_variants": [
"0xe080fa7a",
"0xe080fa7a0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf5dc2e42",
"selector": "0xf5dc2e42",
"calldata_variants": [
"0xf5dc2e42",
"0xf5dc2e420000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xfb56a141",
"selector": "0xfb56a141",
"calldata_variants": [
"0xfb56a141",
"0xfb56a1410000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x37cc4bc6",
"selector": "0x37cc4bc6",
"calldata_variants": [
"0x37cc4bc6",
"0x37cc4bc60000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x4daa8b89",
"selector": "0x4daa8b89",
"calldata_variants": [
"0x4daa8b89",
"0x4daa8b890000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x81bfda2c",
"selector": "0x81bfda2c",
"calldata_variants": [
"0x81bfda2c",
"0x81bfda2c0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1145,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2008,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 2,
"guards_detected": [
{
"pc": 3202,
"type": "tx_origin_used"
}
]
}
|