019b3836-31d0-7124-aeab-9b10355cb239
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 |
|---|---|---|---|---|
| 2849 | artifact.fetch | complete | 1 / 3 | 4 months ago |
| 2850 | tool.cast_disasm | complete | 1 / 3 | 4 months ago |
| 80015 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 80016 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 80017 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 80018 | validation.fork | complete | 1 / 3 | 2 weeks ago |
No slither job recorded yet.
No codex job recorded yet.
00000000: PUSH1 0x60 00000002: PUSH1 0x40 00000004: MSTORE 00000005: CALLDATASIZE 00000006: ISZERO 00000007: PUSH2 0x0174 0000000a: JUMPI 0000000b: PUSH1 0xe0 0000000d: PUSH1 0x02 0000000f: EXP 00000010: PUSH1 0x00 00000012: CALLDATALOAD 00000013: DIV 00000014: PUSH4 0x04b52931 00000019: DUP2 0000001a: EQ 0000001b: PUSH2 0x0176 0000001e: JUMPI 0000001f: DUP1 00000020: PUSH4 0x0c2141c4 00000025: EQ 00000026: PUSH2 0x017f 00000029: JUMPI 0000002a: DUP1 0000002b: PUSH4 0x0de78f53 00000030: EQ 00000031: PUSH2 0x0191 00000034: JUMPI 00000035: DUP1 00000036: PUSH4 0x10a610c7 0000003b: EQ 0000003c: PUSH2 0x019a 0000003f: JUMPI 00000040: DUP1 00000041: PUSH4 0x16e64048 00000046: EQ 00000047: PUSH2 0x01f7 0000004a: JUMPI 0000004b: DUP1 0000004c: PUSH4 0x1f2a63c0 00000051: EQ 00000052: PUSH2 0x0206 00000055: JUMPI 00000056: DUP1 00000057: PUSH4 0x228cb733 0000005c: EQ 0000005d: PUSH2 0x020f 00000060: JUMPI 00000061: DUP1 00000062: PUSH4 0x332d2b87 00000067: EQ 00000068: PUSH2 0x0218 0000006b: JUMPI 0000006c: DUP1 0000006d: PUSH4 0x4082de67 00000072: EQ 00000073: PUSH2 0x0221 00000076: JUMPI 00000077: DUP1 00000078: PUSH4 0x4bb278f3 0000007d: EQ 0000007e: PUSH2 0x03cd 00000081: JUMPI 00000082: DUP1 00000083: PUSH4 0x52f62631 00000088: EQ 00000089: PUSH2 0x044f 0000008c: JUMPI 0000008d: DUP1 0000008e: PUSH4 0x53bfd0e9 00000093: EQ 00000094: PUSH2 0x0458 00000097: JUMPI 00000098: DUP1 00000099: PUSH4 0x6135ba82 0000009e: EQ 0000009f: PUSH2 0x0461 000000a2: JUMPI 000000a3: DUP1 000000a4: PUSH4 0x6335ec5b 000000a9: EQ 000000aa: PUSH2 0x0519 000000ad: JUMPI 000000ae: DUP1 000000af: PUSH4 0x6563079b 000000b4: EQ 000000b5: PUSH2 0x0522 000000b8: JUMPI 000000b9: DUP1 000000ba: PUSH4 0x6ba04322 000000bf: EQ 000000c0: PUSH2 0x052b 000000c3: JUMPI 000000c4: DUP1 000000c5: PUSH4 0x8bd1762b 000000ca: EQ 000000cb: PUSH2 0x0534 000000ce: JUMPI 000000cf: DUP1 000000d0: PUSH4 0x94e2e13c 000000d5: EQ 000000d6: PUSH2 0x05f9 000000d9: JUMPI 000000da: DUP1 000000db: PUSH4 0x9e0551c6 000000e0: EQ 000000e1: PUSH2 0x0627 000000e4: JUMPI 000000e5: DUP1 000000e6: PUSH4 0x9e7bd827 000000eb: EQ 000000ec: PUSH2 0x0666 000000ef: JUMPI 000000f0: DUP1 000000f1: PUSH4 0xb1936aa4 000000f6: EQ 000000f7: PUSH2 0x066f 000000fa: JUMPI 000000fb: DUP1 000000fc: PUSH4 0xc42dff7e 00000101: EQ 00000102: PUSH2 0x0678 00000105: JUMPI 00000106: DUP1 00000107: PUSH4 0xcb8a9a5f 0000010c: EQ 0000010d: PUSH2 0x0681 00000110: JUMPI 00000111: DUP1 00000112: PUSH4 0xcfb3ec31 00000117: EQ 00000118: PUSH2 0x068a 0000011b: JUMPI 0000011c: DUP1 0000011d: PUSH4 0xd4842e6d 00000122: EQ 00000123: PUSH2 0x0693 00000126: JUMPI 00000127: DUP1 00000128: PUSH4 0xd8a6203b 0000012d: EQ 0000012e: PUSH2 0x06c0 00000131: JUMPI 00000132: DUP1 00000133: PUSH4 0xdfbf53ae 00000138: EQ 00000139: PUSH2 0x06c9 0000013c: JUMPI 0000013d: DUP1 0000013e: PUSH4 0xe8223650 00000143: EQ 00000144: PUSH2 0x06d2 00000147: JUMPI 00000148: DUP1 00000149: PUSH4 0xea448c55 0000014e: EQ 0000014f: PUSH2 0x06db 00000152: JUMPI 00000153: DUP1 00000154: PUSH4 0xee76be97 00000159: EQ 0000015a: PUSH2 0x06e4 0000015d: JUMPI 0000015e: DUP1 0000015f: PUSH4 0xfd140e76 00000164: EQ 00000165: PUSH2 0x071a 00000168: JUMPI 00000169: DUP1 0000016a: PUSH4 0xfd77fdfb 0000016f: EQ 00000170: PUSH2 0x0723 00000173: JUMPI 00000174: JUMPDEST 00000175: STOP 00000176: JUMPDEST 00000177: PUSH2 0x072c 0000017a: PUSH1 0x24 0000017c: SLOAD 0000017d: DUP2 0000017e: JUMP 0000017f: JUMPDEST 00000180: PUSH2 0x073e 00000183: PUSH1 0x1a 00000185: SLOAD 00000186: PUSH1 0x01 00000188: PUSH1 0xa0 0000018a: PUSH1 0x02 0000018c: EXP 0000018d: SUB 0000018e: AND 0000018f: DUP2 00000190: JUMP 00000191: JUMPDEST 00000192: PUSH2 0x072c 00000195: PUSH1 0x19 00000197: SLOAD 00000198: DUP2 00000199: JUMP 0000019a: JUMPDEST 0000019b: PUSH2 0x0748 0000019e: PUSH1 0x27 000001a0: DUP1 000001a1: SLOAD 000001a2: PUSH1 0x20 000001a4: PUSH1 0x02 000001a6: PUSH1 0x01 000001a8: DUP4 000001a9: AND 000001aa: ISZERO 000001ab: PUSH2 0x0100 000001ae: MUL 000001af: PUSH1 0x00 000001b1: NOT 000001b2: ADD 000001b3: SWAP1 000001b4: SWAP3 000001b5: AND 000001b6: SWAP2 000001b7: SWAP1 000001b8: SWAP2 000001b9: DIV 000001ba: PUSH1 0x1f 000001bc: DUP2 000001bd: ADD 000001be: DUP3 000001bf: SWAP1 000001c0: DIV 000001c1: SWAP1 000001c2: SWAP2 000001c3: MUL 000001c4: PUSH1 0x80 000001c6: SWAP1 000001c7: DUP2 000001c8: ADD 000001c9: PUSH1 0x40 000001cb: MSTORE 000001cc: PUSH1 0x60 000001ce: DUP3 000001cf: DUP2 000001d0: MSTORE 000001d1: SWAP3 000001d2: SWAP2 000001d3: SWAP1 000001d4: DUP3 000001d5: DUP3 000001d6: DUP1 000001d7: ISZERO 000001d8: PUSH2 0x07f7 000001db: JUMPI 000001dc: DUP1 000001dd: PUSH1 0x1f 000001df: LT 000001e0: PUSH2 0x07cc 000001e3: JUMPI 000001e4: PUSH2 0x0100 000001e7: DUP1 000001e8: DUP4 000001e9: SLOAD 000001ea: DIV 000001eb: MUL 000001ec: DUP4 000001ed: MSTORE 000001ee: SWAP2 000001ef: PUSH1 0x20 000001f1: ADD 000001f2: SWAP2 000001f3: PUSH2 0x07f7 000001f6: JUMP 000001f7: JUMPDEST 000001f8: PUSH2 0x072c 000001fb: PUSH1 0x28 000001fd: SLOAD 000001fe: PUSH1 0xb0 00000200: PUSH1 0x02 00000202: EXP 00000203: MUL 00000204: DUP2 00000205: JUMP 00000206: JUMPDEST 00000207: PUSH2 0x072c 0000020a: PUSH1 0x29 0000020c: SLOAD 0000020d: DUP2 0000020e: JUMP 0000020f: JUMPDEST 00000210: PUSH2 0x072c 00000213: PUSH1 0x0b 00000215: SLOAD 00000216: DUP2 00000217: JUMP 00000218: JUMPDEST 00000219: PUSH2 0x072c 0000021c: PUSH1 0x09 0000021e: SLOAD 0000021f: DUP2 00000220: JUMP 00000221: JUMPDEST 00000222: PUSH2 0x0174 00000225: PUSH1 0x04 00000227: CALLDATALOAD 00000228: PUSH1 0x24 0000022a: CALLDATALOAD 0000022b: PUSH1 0x09 0000022d: SLOAD 0000022e: PUSH1 0x02 00000230: EQ 00000231: PUSH2 0x023b 00000234: JUMPI 00000235: PUSH1 0x00 00000237: NOT 00000238: PUSH1 0x16 0000023a: SSTORE 0000023b: JUMPDEST 0000023c: PUSH1 0x01 0000023e: SLOAD 0000023f: PUSH1 0x01 00000241: PUSH1 0xa0 00000243: PUSH1 0x02 00000245: EXP 00000246: SUB 00000247: SWAP1 00000248: DUP2 00000249: AND 0000024a: CALLER 0000024b: SWAP1 0000024c: SWAP2 0000024d: AND 0000024e: EQ 0000024f: ISZERO 00000250: PUSH2 0x0c40 00000253: JUMPI 00000254: PUSH1 0x00 00000256: PUSH1 0x0a 00000258: SSTORE 00000259: JUMPDEST 0000025a: PUSH1 0x1a 0000025c: DUP1 0000025d: SLOAD 0000025e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000273: NOT 00000274: AND 00000275: CALLER 00000276: SWAP1 00000277: DUP2 00000278: OR 00000279: SWAP1 0000027a: SWAP2 0000027b: SSTORE 0000027c: PUSH1 0x18 0000027e: DUP4 0000027f: SWAP1 00000280: SSTORE 00000281: PUSH1 0x19 00000283: DUP3 00000284: SWAP1 00000285: SSTORE 00000286: PUSH13 0x01000000000000000000000000 00000294: PUSH1 0x01 00000296: PUSH1 0xa0 00000298: PUSH1 0x02 0000029a: EXP 0000029b: SUB 0000029c: SWAP2 0000029d: SWAP1 0000029e: SWAP2 0000029f: AND 000002a0: MUL 000002a1: PUSH1 0x60 000002a3: DUP2 000002a4: DUP2 000002a5: MSTORE 000002a6: PUSH1 0x74 000002a8: DUP5 000002a9: DUP2 000002aa: MSTORE 000002ab: PUSH1 0x94 000002ad: DUP5 000002ae: SWAP1 000002af: MSTORE 000002b0: PUSH1 0x54 000002b2: DUP3 000002b3: KECCAK256 000002b4: PUSH1 0x1b 000002b6: SSTORE 000002b7: DUP3 000002b8: DUP3 000002b9: MSTORE 000002ba: PUSH1 0x14 000002bc: DUP3 000002bd: KECCAK256 000002be: PUSH1 0x1d 000002c0: SSTORE 000002c1: DUP5 000002c2: DUP2 000002c3: MSTORE 000002c4: PUSH1 0x34 000002c6: DUP3 000002c7: KECCAK256 000002c8: PUSH1 0x1e 000002ca: SSTORE 000002cb: DUP3 000002cc: DUP3 000002cd: MSTORE 000002ce: PUSH1 0xf8 000002d0: PUSH1 0x02 000002d2: EXP 000002d3: DUP2 000002d4: MSTORE 000002d5: PUSH1 0x15 000002d7: DUP1 000002d8: DUP4 000002d9: KECCAK256 000002da: PUSH1 0x1f 000002dc: SSTORE 000002dd: SWAP3 000002de: DUP3 000002df: MSTORE 000002e0: PUSH32 0x3100000000000000000000000000000000000000000000000000000000000000 00000301: SWAP1 00000302: MSTORE 00000303: KECCAK256 00000304: PUSH1 0x20 00000306: SSTORE 00000307: PUSH1 0x0a 00000309: SLOAD 0000030a: PUSH1 0x01 0000030c: SWAP1 0000030d: PUSH1 0x02 0000030f: DUP2 00000310: LT 00000311: ISZERO 00000312: PUSH2 0x0002 00000315: JUMPI 00000316: PUSH1 0x04 00000318: MUL 00000319: PUSH1 0x02 0000031b: SWAP1 0000031c: DUP2 0000031d: ADD 0000031e: SLOAD 0000031f: PUSH1 0x1c 00000321: SSTORE 00000322: PUSH1 0x0a 00000324: SLOAD 00000325: SWAP1 00000326: DUP2 00000327: LT 00000328: ISZERO 00000329: PUSH2 0x0002 0000032c: JUMPI 0000032d: PUSH1 0x04 0000032f: MUL 00000330: PUSH1 0x02 00000332: ADD 00000333: SLOAD 00000334: PUSH13 0x01000000000000000000000000 00000342: CALLER 00000343: PUSH1 0x01 00000345: PUSH1 0xa0 00000347: PUSH1 0x02 00000349: EXP 0000034a: SUB 0000034b: AND 0000034c: MUL 0000034d: PUSH1 0x60 0000034f: SWAP1 00000350: DUP2 00000351: MSTORE 00000352: PUSH1 0x74 00000354: DUP6 00000355: SWAP1 00000356: MSTORE 00000357: PUSH1 0x54 00000359: SWAP1 0000035a: KECCAK256 0000035b: EQ 0000035c: SWAP1 0000035d: POP 0000035e: DUP1 0000035f: ISZERO 00000360: PUSH2 0x0383 00000363: JUMPI 00000364: POP 00000365: PUSH1 0x0a 00000367: SLOAD 00000368: PUSH1 0x01 0000036a: SWAP1 0000036b: PUSH1 0x02 0000036d: DUP2 0000036e: LT 0000036f: ISZERO 00000370: PUSH2 0x0002 00000373: JUMPI 00000374: PUSH1 0x04 00000376: MUL 00000377: ADD 00000378: PUSH1 0x00 0000037a: POP 0000037b: PUSH1 0x03 0000037d: ADD 0000037e: SLOAD 0000037f: PUSH1 0xff 00000381: AND 00000382: ISZERO 00000383: JUMPDEST 00000384: ISZERO 00000385: PUSH2 0x0c6d 00000388: JUMPI 00000389: PUSH1 0x0a 0000038b: SLOAD 0000038c: DUP3 0000038d: SWAP1 0000038e: PUSH1 0x01 00000390: SWAP1 00000391: PUSH1 0x02 00000393: DUP2 00000394: LT 00000395: ISZERO 00000396: PUSH2 0x0002 00000399: JUMPI 0000039a: PUSH1 0x04 0000039c: MUL 0000039d: PUSH1 0x03 0000039f: ADD 000003a0: SWAP2 000003a1: SWAP1 000003a2: SWAP2 000003a3: SSTORE 000003a4: PUSH1 0x0a 000003a6: SLOAD 000003a7: DUP2 000003a8: SWAP1 000003a9: PUSH1 0x02 000003ab: DUP2 000003ac: LT 000003ad: ISZERO 000003ae: PUSH2 0x0002 000003b1: JUMPI 000003b2: PUSH1 0x04 000003b4: SWAP1 000003b5: DUP2 000003b6: MUL 000003b7: ADD 000003b8: DUP1 000003b9: SLOAD 000003ba: PUSH1 0xff 000003bc: NOT 000003bd: AND 000003be: SWAP1 000003bf: SWAP2 000003c0: OR 000003c1: SWAP1 000003c2: SSTORE 000003c3: POP 000003c4: PUSH1 0x00 000003c6: PUSH1 0x16 000003c8: SSTORE 000003c9: PUSH2 0x0c74 000003cc: JUMP 000003cd: JUMPDEST 000003ce: PUSH1 0x04 000003d0: SLOAD 000003d1: PUSH2 0x0174 000003d4: SWAP1 000003d5: PUSH1 0x00 000003d7: SWAP1 000003d8: DUP2 000003d9: SWAP1 000003da: PUSH1 0xff 000003dc: AND 000003dd: DUP1 000003de: ISZERO 000003df: PUSH2 0x03ea 000003e2: JUMPI 000003e3: POP 000003e4: PUSH1 0x08 000003e6: SLOAD 000003e7: PUSH1 0xff 000003e9: AND 000003ea: JUMPDEST 000003eb: ISZERO 000003ec: PUSH2 0x0c74 000003ef: JUMPI 000003f0: POP 000003f1: POP 000003f2: PUSH1 0x03 000003f4: DUP1 000003f5: SLOAD 000003f6: PUSH1 0x07 000003f8: SLOAD 000003f9: SWAP1 000003fa: SWAP2 000003fb: PUSH1 0x0c 000003fd: SWAP1 000003fe: DUP4 000003ff: SWAP1 00000400: DUP2 00000401: LT 00000402: ISZERO 00000403: PUSH2 0x0002 00000406: JUMPI 00000407: SWAP1 00000408: SWAP1 00000409: PUSH1 0x03 0000040b: MUL 0000040c: ADD 0000040d: PUSH1 0x00 0000040f: POP 00000410: DUP2 00000411: PUSH1 0x03 00000413: DUP2 00000414: LT 00000415: ISZERO 00000416: PUSH2 0x0002 00000419: JUMPI 0000041a: SWAP1 0000041b: SWAP1 0000041c: ADD 0000041d: PUSH1 0x00 0000041f: SWAP1 00000420: SLOAD 00000421: EQ 00000422: ISZERO 00000423: PUSH2 0x0c78 00000426: JUMPI 00000427: PUSH1 0x01 00000429: PUSH1 0x00 0000042b: PUSH1 0x0b 0000042d: SLOAD 0000042e: SWAP2 0000042f: SLOAD 00000430: PUSH1 0x01 00000432: PUSH1 0xa0 00000434: PUSH1 0x02 00000436: EXP 00000437: SUB 00000438: AND 00000439: SWAP2 0000043a: PUSH1 0x60 0000043c: DUP3 0000043d: DUP2 0000043e: DUP2 0000043f: DUP2 00000440: DUP6 00000441: DUP9 00000442: DUP4 00000443: CALL 00000444: POP 00000445: POP 00000446: POP 00000447: PUSH1 0x17 00000449: SSTORE 0000044a: POP 0000044b: PUSH2 0x0c74 0000044e: JUMP 0000044f: JUMPDEST 00000450: PUSH2 0x072c 00000453: PUSH1 0x1b 00000455: SLOAD 00000456: DUP2 00000457: JUMP 00000458: JUMPDEST 00000459: PUSH2 0x072c 0000045c: PUSH1 0x1d 0000045e: SLOAD 0000045f: DUP2 00000460: JUMP 00000461: JUMPDEST 00000462: PUSH1 0x20 00000464: PUSH1 0x44 00000466: CALLDATALOAD 00000467: PUSH1 0x04 00000469: DUP2 0000046a: DUP2 0000046b: ADD 0000046c: CALLDATALOAD 0000046d: PUSH1 0x1f 0000046f: DUP2 00000470: ADD 00000471: DUP5 00000472: SWAP1 00000473: DIV 00000474: SWAP1 00000475: SWAP4 00000476: MUL 00000477: PUSH1 0x80 00000479: SWAP1 0000047a: DUP2 0000047b: ADD 0000047c: PUSH1 0x40 0000047e: MSTORE 0000047f: PUSH1 0x60 00000481: DUP5 00000482: DUP2 00000483: MSTORE 00000484: PUSH2 0x072c 00000487: SWAP5 00000488: DUP4 00000489: CALLDATALOAD 0000048a: SWAP5 0000048b: PUSH1 0x24 0000048d: DUP1 0000048e: CALLDATALOAD 0000048f: SWAP6 00000490: SWAP5 00000491: PUSH1 0x64 00000493: SWAP5 00000494: SWAP4 00000495: SWAP3 00000496: SWAP1 00000497: SWAP2 00000498: ADD 00000499: SWAP2 0000049a: SWAP1 0000049b: DUP2 0000049c: SWAP1 0000049d: DUP4 0000049e: DUP3 0000049f: DUP1 000004a0: DUP3 000004a1: DUP5 000004a2: CALLDATACOPY 000004a3: POP 000004a4: SWAP5 000004a5: SWAP7 000004a6: POP 000004a7: POP 000004a8: POP 000004a9: POP 000004aa: POP 000004ab: POP 000004ac: POP 000004ad: PUSH1 0x00 000004af: PUSH1 0x01 000004b1: PUSH1 0xa0 000004b3: PUSH1 0x02 000004b5: EXP 000004b6: SUB 000004b7: DUP5 000004b8: AND 000004b9: DUP2 000004ba: DUP1 000004bb: DUP1 000004bc: DUP1 000004bd: JUMPDEST 000004be: PUSH1 0x20 000004c0: DUP5 000004c1: LT 000004c2: ISZERO 000004c3: PUSH2 0x07ff 000004c6: JUMPI 000004c7: PUSH1 0x10 000004c9: DUP6 000004ca: MOD 000004cb: SWAP3 000004cc: POP 000004cd: PUSH1 0x0a 000004cf: DUP4 000004d0: LT 000004d1: ISZERO 000004d2: PUSH2 0x085f 000004d5: JUMPI 000004d6: PUSH1 0x30 000004d8: DUP4 000004d9: ADD 000004da: PUSH1 0xf8 000004dc: PUSH1 0x02 000004de: EXP 000004df: MUL 000004e0: PUSH1 0x2b 000004e2: PUSH1 0x1f 000004e4: DUP7 000004e5: SWAP1 000004e6: SUB 000004e7: PUSH1 0x20 000004e9: DUP2 000004ea: LT 000004eb: ISZERO 000004ec: PUSH2 0x0002 000004ef: JUMPI 000004f0: PUSH1 0x20 000004f2: DUP1 000004f3: DUP3 000004f4: DIV 000004f5: SWAP1 000004f6: SWAP3 000004f7: ADD 000004f8: SWAP2 000004f9: SWAP1 000004fa: MOD 000004fb: PUSH2 0x0100 000004fe: EXP 000004ff: DUP2 00000500: SLOAD 00000501: DUP2 00000502: PUSH1 0xff 00000504: MUL 00000505: NOT 00000506: AND 00000507: SWAP1 00000508: DUP4 00000509: PUSH1 0xf8 0000050b: PUSH1 0x02 0000050d: EXP 0000050e: SWAP1 0000050f: DIV 00000510: MUL 00000511: OR 00000512: SWAP1 00000513: SSTORE 00000514: POP 00000515: PUSH2 0x089f 00000518: JUMP 00000519: JUMPDEST 0000051a: PUSH2 0x072c 0000051d: PUSH1 0x25 0000051f: SLOAD 00000520: DUP2 00000521: JUMP 00000522: JUMPDEST 00000523: PUSH2 0x072c 00000526: PUSH1 0x0a 00000528: SLOAD 00000529: DUP2 0000052a: JUMP 0000052b: JUMPDEST 0000052c: PUSH2 0x072c 0000052f: PUSH1 0x20 00000531: SLOAD 00000532: DUP2 00000533: JUMP 00000534: JUMPDEST 00000535: PUSH2 0x0174 00000538: PUSH1 0x04 0000053a: CALLDATALOAD 0000053b: PUSH1 0x09 0000053d: SLOAD 0000053e: PUSH1 0x02 00000540: SWAP1 00000541: LT 00000542: DUP1 00000543: ISZERO 00000544: PUSH2 0x054f 00000547: JUMPI 00000548: POP 00000549: PUSH1 0x00 0000054b: SLOAD 0000054c: CALLVALUE 0000054d: LT 0000054e: ISZERO 0000054f: JUMPDEST 00000550: ISZERO 00000551: PUSH2 0x0c1a 00000554: JUMPI 00000555: PUSH1 0x09 00000557: SLOAD 00000558: PUSH1 0x0b 0000055a: DUP1 0000055b: SLOAD 0000055c: CALLVALUE 0000055d: ADD 0000055e: SWAP1 0000055f: SSTORE 00000560: CALLER 00000561: SWAP1 00000562: PUSH1 0x01 00000564: SWAP1 00000565: PUSH1 0x02 00000567: DUP2 00000568: LT 00000569: ISZERO 0000056a: PUSH2 0x0002 0000056d: JUMPI 0000056e: SWAP1 0000056f: SWAP1 00000570: PUSH1 0x04 00000572: MUL 00000573: ADD 00000574: PUSH1 0x00 00000576: POP 00000577: DUP1 00000578: SLOAD 00000579: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000058e: NOT 0000058f: AND 00000590: SWAP1 00000591: SWAP2 00000592: OR 00000593: SWAP1 00000594: SSTORE 00000595: PUSH1 0x09 00000597: SLOAD 00000598: DUP2 00000599: SWAP1 0000059a: PUSH1 0x01 0000059c: SWAP1 0000059d: PUSH1 0x02 0000059f: DUP2 000005a0: LT 000005a1: ISZERO 000005a2: PUSH2 0x0002 000005a5: JUMPI 000005a6: PUSH1 0x04 000005a8: MUL 000005a9: PUSH1 0x02 000005ab: ADD 000005ac: SWAP2 000005ad: SWAP1 000005ae: SWAP2 000005af: SSTORE 000005b0: PUSH1 0x09 000005b2: DUP1 000005b3: SLOAD 000005b4: SWAP1 000005b5: SWAP2 000005b6: ADD 000005b7: SWAP1 000005b8: SSTORE 000005b9: PUSH1 0x00 000005bb: DUP1 000005bc: SLOAD 000005bd: CALLVALUE 000005be: SUB 000005bf: GT 000005c0: ISZERO 000005c1: PUSH2 0x05ef 000005c4: JUMPI 000005c5: PUSH1 0x00 000005c7: DUP1 000005c8: SLOAD 000005c9: CALLER 000005ca: PUSH1 0x01 000005cc: PUSH1 0xa0 000005ce: PUSH1 0x02 000005d0: EXP 000005d1: SUB 000005d2: AND 000005d3: SWAP2 000005d4: SWAP1 000005d5: CALLVALUE 000005d6: SUB 000005d7: PUSH1 0x60 000005d9: DUP3 000005da: DUP2 000005db: DUP2 000005dc: DUP2 000005dd: DUP6 000005de: DUP9 000005df: DUP4 000005e0: CALL 000005e1: POP 000005e2: POP 000005e3: PUSH1 0x0b 000005e5: DUP1 000005e6: SLOAD 000005e7: SWAP2 000005e8: SWAP1 000005e9: SWAP2 000005ea: SUB 000005eb: SWAP1 000005ec: SSTORE 000005ed: POP 000005ee: POP 000005ef: JUMPDEST 000005f0: PUSH1 0x00 000005f2: PUSH1 0x15 000005f4: SSTORE 000005f5: PUSH2 0x0c3d 000005f8: JUMP 000005f9: JUMPDEST 000005fa: PUSH2 0x072c 000005fd: PUSH1 0x04 000005ff: CALLDATALOAD 00000600: PUSH1 0x2a 00000602: DUP2 00000603: PUSH1 0x0a 00000605: DUP2 00000606: LT 00000607: ISZERO 00000608: PUSH2 0x0002 0000060b: JUMPI 0000060c: POP 0000060d: PUSH1 0x20 0000060f: DUP1 00000610: DUP4 00000611: DIV 00000612: SWAP2 00000613: SWAP1 00000614: SWAP2 00000615: ADD 00000616: SLOAD 00000617: SWAP2 00000618: MOD 00000619: PUSH2 0x0100 0000061c: EXP 0000061d: SWAP1 0000061e: DIV 0000061f: PUSH1 0xf8 00000621: PUSH1 0x02 00000623: EXP 00000624: MUL 00000625: DUP2 00000626: JUMP 00000627: JUMPDEST 00000628: PUSH2 0x07b6 0000062b: PUSH1 0x04 0000062d: CALLDATALOAD 0000062e: PUSH1 0x01 00000630: DUP2 00000631: PUSH1 0x02 00000633: DUP2 00000634: LT 00000635: ISZERO 00000636: PUSH2 0x0002 00000639: JUMPI 0000063a: POP 0000063b: PUSH1 0x04 0000063d: SWAP2 0000063e: DUP3 0000063f: MUL 00000640: SWAP1 00000641: DUP2 00000642: ADD 00000643: SLOAD 00000644: PUSH1 0x02 00000646: DUP3 00000647: ADD 00000648: SLOAD 00000649: PUSH1 0x03 0000064b: DUP4 0000064c: ADD 0000064d: SLOAD 0000064e: SWAP3 0000064f: SWAP1 00000650: SWAP4 00000651: ADD 00000652: SLOAD 00000653: PUSH1 0x01 00000655: PUSH1 0xa0 00000657: PUSH1 0x02 00000659: EXP 0000065a: SUB 0000065b: SWAP1 0000065c: SWAP2 0000065d: AND 0000065e: SWAP3 0000065f: SWAP2 00000660: SWAP1 00000661: PUSH1 0xff 00000663: AND 00000664: DUP5 00000665: JUMP 00000666: JUMPDEST 00000667: PUSH2 0x072c 0000066a: PUSH1 0x26 0000066c: SLOAD 0000066d: DUP2 0000066e: JUMP 0000066f: JUMPDEST 00000670: PUSH2 0x072c 00000673: PUSH1 0x1f 00000675: SLOAD 00000676: DUP2 00000677: JUMP 00000678: JUMPDEST 00000679: PUSH2 0x072c 0000067c: PUSH1 0x1c 0000067e: SLOAD 0000067f: DUP2 00000680: JUMP 00000681: JUMPDEST 00000682: PUSH2 0x072c 00000685: PUSH1 0x16 00000687: SLOAD 00000688: DUP2 00000689: JUMP 0000068a: JUMPDEST 0000068b: PUSH2 0x072c 0000068e: PUSH1 0x22 00000690: SLOAD 00000691: DUP2 00000692: JUMP 00000693: JUMPDEST 00000694: PUSH2 0x072c 00000697: PUSH1 0x04 00000699: CALLDATALOAD 0000069a: PUSH1 0x2b 0000069c: DUP2 0000069d: PUSH1 0x20 0000069f: DUP2 000006a0: LT 000006a1: ISZERO 000006a2: PUSH2 0x0002 000006a5: JUMPI 000006a6: POP 000006a7: PUSH1 0x20 000006a9: DUP1 000006aa: DUP4 000006ab: DIV 000006ac: SWAP1 000006ad: SWAP2 000006ae: ADD 000006af: SLOAD 000006b0: SWAP2 000006b1: MOD 000006b2: PUSH2 0x0100 000006b5: EXP 000006b6: SWAP1 000006b7: DIV 000006b8: PUSH1 0xf8 000006ba: PUSH1 0x02 000006bc: EXP 000006bd: MUL 000006be: DUP2 000006bf: JUMP 000006c0: JUMPDEST 000006c1: PUSH2 0x072c 000006c4: PUSH1 0x23 000006c6: SLOAD 000006c7: DUP2 000006c8: JUMP 000006c9: JUMPDEST 000006ca: PUSH2 0x072c 000006cd: PUSH1 0x17 000006cf: SLOAD 000006d0: DUP2 000006d1: JUMP 000006d2: JUMPDEST 000006d3: PUSH2 0x072c 000006d6: PUSH1 0x1e 000006d8: SLOAD 000006d9: DUP2 000006da: JUMP 000006db: JUMPDEST 000006dc: PUSH2 0x072c 000006df: PUSH1 0x21 000006e1: SLOAD 000006e2: DUP2 000006e3: JUMP 000006e4: JUMPDEST 000006e5: PUSH2 0x072c 000006e8: PUSH1 0x04 000006ea: CALLDATALOAD 000006eb: PUSH1 0x24 000006ed: CALLDATALOAD 000006ee: PUSH1 0x0c 000006f0: DUP3 000006f1: PUSH1 0x03 000006f3: DUP2 000006f4: LT 000006f5: ISZERO 000006f6: PUSH2 0x0002 000006f9: JUMPI 000006fa: SWAP1 000006fb: SWAP1 000006fc: PUSH1 0x03 000006fe: MUL 000006ff: ADD 00000700: PUSH1 0x00 00000702: POP 00000703: DUP2 00000704: PUSH1 0x03 00000706: DUP2 00000707: LT 00000708: ISZERO 00000709: PUSH2 0x0002 0000070c: JUMPI 0000070d: SWAP1 0000070e: SWAP1 0000070f: ADD 00000710: PUSH1 0x00 00000712: SWAP2 00000713: POP 00000714: SWAP2 00000715: POP 00000716: POP 00000717: SLOAD 00000718: DUP2 00000719: JUMP 0000071a: JUMPDEST 0000071b: PUSH2 0x072c 0000071e: PUSH1 0x18 00000720: SLOAD 00000721: DUP2 00000722: JUMP 00000723: JUMPDEST 00000724: PUSH2 0x072c 00000727: PUSH1 0x15 00000729: SLOAD 0000072a: DUP2 0000072b: JUMP 0000072c: JUMPDEST 0000072d: PUSH1 0x40 0000072f: DUP1 00000730: MLOAD 00000731: SWAP2 00000732: DUP3 00000733: MSTORE 00000734: MLOAD 00000735: SWAP1 00000736: DUP2 00000737: SWAP1 00000738: SUB 00000739: PUSH1 0x20 0000073b: ADD 0000073c: SWAP1 0000073d: RETURN 0000073e: JUMPDEST 0000073f: PUSH1 0x60 00000741: SWAP1 00000742: DUP2 00000743: MSTORE 00000744: PUSH1 0x20 00000746: SWAP1 00000747: RETURN 00000748: JUMPDEST 00000749: PUSH1 0x40 0000074b: MLOAD 0000074c: DUP1 0000074d: DUP1 0000074e: PUSH1 0x20 00000750: ADD 00000751: DUP3 00000752: DUP2 00000753: SUB 00000754: DUP3 00000755: MSTORE 00000756: DUP4 00000757: DUP2 00000758: DUP2 00000759: MLOAD 0000075a: DUP2 0000075b: MSTORE 0000075c: PUSH1 0x20 0000075e: ADD 0000075f: SWAP2 00000760: POP 00000761: DUP1 00000762: MLOAD 00000763: SWAP1 00000764: PUSH1 0x20 00000766: ADD 00000767: SWAP1 00000768: DUP1 00000769: DUP4 0000076a: DUP4 0000076b: DUP3 0000076c: SWAP1 0000076d: PUSH1 0x00 0000076f: PUSH1 0x04 00000771: PUSH1 0x20 00000773: DUP5 00000774: PUSH1 0x1f 00000776: ADD 00000777: DIV 00000778: PUSH1 0x0f 0000077a: MUL 0000077b: PUSH1 0x03 0000077d: ADD 0000077e: CALL 0000077f: POP 00000780: SWAP1 00000781: POP 00000782: SWAP1 00000783: DUP2 00000784: ADD 00000785: SWAP1 00000786: PUSH1 0x1f 00000788: AND 00000789: DUP1 0000078a: ISZERO 0000078b: PUSH2 0x07a8 0000078e: JUMPI 0000078f: DUP1 00000790: DUP3 00000791: SUB 00000792: DUP1 00000793: MLOAD 00000794: PUSH1 0x01 00000796: DUP4 00000797: PUSH1 0x20 00000799: SUB 0000079a: PUSH2 0x0100 0000079d: EXP 0000079e: SUB 0000079f: NOT 000007a0: AND 000007a1: DUP2 000007a2: MSTORE 000007a3: PUSH1 0x20 000007a5: ADD 000007a6: SWAP2 000007a7: POP 000007a8: JUMPDEST 000007a9: POP 000007aa: SWAP3 000007ab: POP 000007ac: POP 000007ad: POP 000007ae: PUSH1 0x40 000007b0: MLOAD 000007b1: DUP1 000007b2: SWAP2 000007b3: SUB 000007b4: SWAP1 000007b5: RETURN 000007b6: JUMPDEST 000007b7: PUSH1 0x60 000007b9: SWAP4 000007ba: DUP5 000007bb: MSTORE 000007bc: PUSH1 0x80 000007be: SWAP3 000007bf: DUP4 000007c0: MSTORE 000007c1: PUSH1 0xa0 000007c3: SWAP2 000007c4: SWAP1 000007c5: SWAP2 000007c6: MSTORE 000007c7: PUSH1 0xc0 000007c9: MSTORE 000007ca: SWAP1 000007cb: RETURN 000007cc: JUMPDEST 000007cd: DUP3 000007ce: ADD 000007cf: SWAP2 000007d0: SWAP1 000007d1: PUSH1 0x00 000007d3: MSTORE 000007d4: PUSH1 0x20 000007d6: PUSH1 0x00 000007d8: KECCAK256 000007d9: SWAP1 000007da: JUMPDEST 000007db: DUP2 000007dc: SLOAD 000007dd: DUP2 000007de: MSTORE 000007df: SWAP1 000007e0: PUSH1 0x01 000007e2: ADD 000007e3: SWAP1 000007e4: PUSH1 0x20 000007e6: ADD 000007e7: DUP1 000007e8: DUP4 000007e9: GT 000007ea: PUSH2 0x07da 000007ed: JUMPI 000007ee: DUP3 000007ef: SWAP1 000007f0: SUB 000007f1: PUSH1 0x1f 000007f3: AND 000007f4: DUP3 000007f5: ADD 000007f6: SWAP2 000007f7: JUMPDEST 000007f8: POP 000007f9: POP 000007fa: POP 000007fb: POP 000007fc: POP 000007fd: DUP2 000007fe: JUMP 000007ff: JUMPDEST 00000800: SWAP3 00000801: POP 00000802: DUP1 00000803: JUMPDEST 00000804: PUSH1 0x08 00000806: DUP5 00000807: LT 00000808: ISZERO 00000809: PUSH2 0x08b1 0000080c: JUMPI 0000080d: PUSH1 0x10 0000080f: DUP6 00000810: MOD 00000811: SWAP3 00000812: POP 00000813: PUSH1 0x0a 00000815: DUP4 00000816: LT 00000817: ISZERO 00000818: PUSH2 0x0913 0000081b: JUMPI 0000081c: PUSH1 0x30 0000081e: DUP4 0000081f: ADD 00000820: PUSH1 0xf8 00000822: PUSH1 0x02 00000824: EXP 00000825: MUL 00000826: PUSH1 0x2a 00000828: PUSH1 0x09 0000082a: DUP7 0000082b: SWAP1 0000082c: SUB 0000082d: PUSH1 0x0a 0000082f: DUP2 00000830: LT 00000831: ISZERO 00000832: PUSH2 0x0002 00000835: JUMPI 00000836: PUSH1 0x20 00000838: DUP1 00000839: DUP3 0000083a: DIV 0000083b: SWAP1 0000083c: SWAP3 0000083d: ADD 0000083e: SWAP2 0000083f: SWAP1 00000840: MOD 00000841: PUSH2 0x0100 00000844: EXP 00000845: DUP2 00000846: SLOAD 00000847: DUP2 00000848: PUSH1 0xff 0000084a: MUL 0000084b: NOT 0000084c: AND 0000084d: SWAP1 0000084e: DUP4 0000084f: PUSH1 0xf8 00000851: PUSH1 0x02 00000853: EXP 00000854: SWAP1 00000855: DIV 00000856: MUL 00000857: OR 00000858: SWAP1 00000859: SSTORE 0000085a: POP 0000085b: PUSH2 0x0953 0000085e: JUMP 0000085f: JUMPDEST 00000860: PUSH1 0x57 00000862: DUP4 00000863: ADD 00000864: PUSH1 0xf8 00000866: PUSH1 0x02 00000868: EXP 00000869: MUL 0000086a: PUSH1 0x2b 0000086c: PUSH1 0x1f 0000086e: DUP7 0000086f: SWAP1 00000870: SUB 00000871: PUSH1 0x20 00000873: DUP2 00000874: LT 00000875: ISZERO 00000876: PUSH2 0x0002 00000879: JUMPI 0000087a: PUSH1 0x20 0000087c: DUP1 0000087d: DUP3 0000087e: DIV 0000087f: SWAP1 00000880: SWAP3 00000881: ADD 00000882: SWAP2 00000883: SWAP1 00000884: MOD 00000885: PUSH2 0x0100 00000888: EXP 00000889: DUP2 0000088a: SLOAD 0000088b: DUP2 0000088c: PUSH1 0xff 0000088e: MUL 0000088f: NOT 00000890: AND 00000891: SWAP1 00000892: DUP4 00000893: PUSH1 0xf8 00000895: PUSH1 0x02 00000897: EXP 00000898: SWAP1 00000899: DIV 0000089a: MUL 0000089b: OR 0000089c: SWAP1 0000089d: SSTORE 0000089e: POP 0000089f: JUMPDEST 000008a0: PUSH1 0x10 000008a2: SWAP1 000008a3: SWAP5 000008a4: DIV 000008a5: SWAP4 000008a6: PUSH1 0x01 000008a8: SWAP4 000008a9: SWAP1 000008aa: SWAP4 000008ab: ADD 000008ac: SWAP3 000008ad: PUSH2 0x04bd 000008b0: JUMP 000008b1: JUMPDEST 000008b2: PUSH1 0x2a 000008b4: DUP1 000008b5: SLOAD 000008b6: PUSH1 0xff 000008b8: NOT 000008b9: AND 000008ba: PUSH1 0x30 000008bc: OR 000008bd: PUSH2 0xff00 000008c0: NOT 000008c1: AND 000008c2: PUSH2 0x7800 000008c5: OR 000008c6: SWAP1 000008c7: SSTORE 000008c8: SWAP3 000008c9: POP 000008ca: DUP1 000008cb: JUMPDEST 000008cc: PUSH1 0x0a 000008ce: DUP5 000008cf: LT 000008d0: ISZERO 000008d1: PUSH2 0x0965 000008d4: JUMPI 000008d5: PUSH2 0x0100 000008d8: SWAP2 000008d9: SWAP1 000008da: SWAP2 000008db: MUL 000008dc: SWAP1 000008dd: PUSH1 0x2a 000008df: DUP5 000008e0: PUSH1 0x0a 000008e2: DUP2 000008e3: LT 000008e4: ISZERO 000008e5: PUSH2 0x0002 000008e8: JUMPI 000008e9: PUSH1 0x20 000008eb: DUP1 000008ec: DUP3 000008ed: DIV 000008ee: SWAP1 000008ef: SWAP3 000008f0: ADD 000008f1: SLOAD 000008f2: PUSH1 0x01 000008f4: SWAP7 000008f5: SWAP1 000008f6: SWAP7 000008f7: ADD 000008f8: SWAP6 000008f9: PUSH1 0xf8 000008fb: PUSH1 0x02 000008fd: EXP 000008fe: SWAP3 000008ff: SWAP1 00000900: SWAP2 00000901: MOD 00000902: PUSH2 0x0100 00000905: EXP 00000906: SWAP1 00000907: DIV 00000908: DUP2 00000909: MUL 0000090a: DIV 0000090b: SWAP1 0000090c: SWAP2 0000090d: ADD 0000090e: SWAP1 0000090f: PUSH2 0x08cb 00000912: JUMP 00000913: JUMPDEST 00000914: PUSH1 0x57 00000916: DUP4 00000917: ADD 00000918: PUSH1 0xf8 0000091a: PUSH1 0x02 0000091c: EXP 0000091d: MUL 0000091e: PUSH1 0x2a 00000920: PUSH1 0x09 00000922: DUP7 00000923: SWAP1 00000924: SUB 00000925: PUSH1 0x0a 00000927: DUP2 00000928: LT 00000929: ISZERO 0000092a: PUSH2 0x0002 0000092d: JUMPI 0000092e: PUSH1 0x20 00000930: DUP1 00000931: DUP3 00000932: DIV 00000933: SWAP1 00000934: SWAP3 00000935: ADD 00000936: SWAP2 00000937: SWAP1 00000938: MOD 00000939: PUSH2 0x0100 0000093c: EXP 0000093d: DUP2 0000093e: SLOAD 0000093f: DUP2 00000940: PUSH1 0xff 00000942: MUL 00000943: NOT 00000944: AND 00000945: SWAP1 00000946: DUP4 00000947: PUSH1 0xf8 00000949: PUSH1 0x02 0000094b: EXP 0000094c: SWAP1 0000094d: DIV 0000094e: MUL 0000094f: OR 00000950: SWAP1 00000951: SSTORE 00000952: POP 00000953: JUMPDEST 00000954: PUSH1 0x10 00000956: SWAP1 00000957: SWAP5 00000958: DIV 00000959: SWAP4 0000095a: PUSH1 0x01 0000095c: SWAP4 0000095d: SWAP1 0000095e: SWAP4 0000095f: ADD 00000960: SWAP3 00000961: PUSH2 0x0803 00000964: JUMP 00000965: JUMPDEST 00000966: PUSH1 0x28 00000968: DUP1 00000969: SLOAD 0000096a: PUSH10 0xffffffffffffffffffff 00000975: NOT 00000976: AND 00000977: PUSH1 0xb0 00000979: PUSH1 0x02 0000097b: EXP 0000097c: DUP1 0000097d: DUP6 0000097e: MUL 0000097f: DIV 00000980: OR 00000981: SWAP1 00000982: SSTORE 00000983: SWAP3 00000984: POP 00000985: DUP3 00000986: JUMPDEST 00000987: PUSH1 0x20 00000989: DUP5 0000098a: LT 0000098b: ISZERO 0000098c: PUSH2 0x09c7 0000098f: JUMPI 00000990: PUSH2 0x0100 00000993: MUL 00000994: PUSH1 0x2b 00000996: DUP5 00000997: PUSH1 0x20 00000999: DUP2 0000099a: LT 0000099b: ISZERO 0000099c: PUSH2 0x0002 0000099f: JUMPI 000009a0: PUSH1 0x20 000009a2: DUP1 000009a3: DUP3 000009a4: DIV 000009a5: SWAP1 000009a6: SWAP3 000009a7: ADD 000009a8: SLOAD 000009a9: PUSH1 0x01 000009ab: SWAP7 000009ac: SWAP1 000009ad: SWAP7 000009ae: ADD 000009af: SWAP6 000009b0: PUSH1 0xf8 000009b2: PUSH1 0x02 000009b4: EXP 000009b5: SWAP3 000009b6: SWAP1 000009b7: SWAP2 000009b8: MOD 000009b9: PUSH2 0x0100 000009bc: EXP 000009bd: SWAP1 000009be: DIV 000009bf: DUP2 000009c0: MUL 000009c1: DIV 000009c2: ADD 000009c3: PUSH2 0x0986 000009c6: JUMP 000009c7: JUMPDEST 000009c8: DUP1 000009c9: PUSH1 0x01 000009cb: MUL 000009cc: PUSH1 0x29 000009ce: PUSH1 0x00 000009d0: POP 000009d1: DUP2 000009d2: SWAP1 000009d3: SSTORE 000009d4: POP 000009d5: PUSH1 0x28 000009d7: PUSH1 0x00 000009d9: SWAP1 000009da: SLOAD 000009db: SWAP1 000009dc: PUSH2 0x0100 000009df: EXP 000009e0: SWAP1 000009e1: DIV 000009e2: PUSH1 0xb0 000009e4: PUSH1 0x02 000009e6: EXP 000009e7: MUL 000009e8: PUSH1 0x29 000009ea: PUSH1 0x00 000009ec: POP 000009ed: SLOAD 000009ee: PUSH1 0x40 000009f0: MLOAD 000009f1: DUP1 000009f2: DUP4 000009f3: DUP2 000009f4: MSTORE 000009f5: PUSH1 0x0a 000009f7: ADD 000009f8: DUP3 000009f9: DUP2 000009fa: MSTORE 000009fb: PUSH1 0x20 000009fd: ADD 000009fe: SWAP3 000009ff: POP 00000a00: POP 00000a01: POP 00000a02: PUSH1 0x40 00000a04: MLOAD 00000a05: DUP1 00000a06: SWAP2 00000a07: SUB 00000a08: SWAP1 00000a09: KECCAK256 00000a0a: PUSH1 0x1e 00000a0c: PUSH1 0x00 00000a0e: POP 00000a0f: DUP2 00000a10: SWAP1 00000a11: SSTORE 00000a12: POP 00000a13: PUSH1 0x28 00000a15: PUSH1 0x00 00000a17: SWAP1 00000a18: SLOAD 00000a19: SWAP1 00000a1a: PUSH2 0x0100 00000a1d: EXP 00000a1e: SWAP1 00000a1f: DIV 00000a20: PUSH1 0xb0 00000a22: PUSH1 0x02 00000a24: EXP 00000a25: MUL 00000a26: PUSH1 0x29 00000a28: PUSH1 0x00 00000a2a: POP 00000a2b: SLOAD 00000a2c: DUP10 00000a2d: PUSH1 0x40 00000a2f: MLOAD 00000a30: DUP1 00000a31: DUP5 00000a32: DUP2 00000a33: MSTORE 00000a34: PUSH1 0x0a 00000a36: ADD 00000a37: DUP4 00000a38: DUP2 00000a39: MSTORE 00000a3a: PUSH1 0x20 00000a3c: ADD 00000a3d: DUP3 00000a3e: DUP2 00000a3f: MSTORE 00000a40: PUSH1 0x20 00000a42: ADD 00000a43: SWAP4 00000a44: POP 00000a45: POP 00000a46: POP 00000a47: POP 00000a48: PUSH1 0x40 00000a4a: MLOAD 00000a4b: DUP1 00000a4c: SWAP2 00000a4d: SUB 00000a4e: SWAP1 00000a4f: KECCAK256 00000a50: PUSH1 0x1f 00000a52: PUSH1 0x00 00000a54: POP 00000a55: DUP2 00000a56: SWAP1 00000a57: SSTORE 00000a58: POP 00000a59: DUP8 00000a5a: PUSH1 0x30 00000a5c: ADD 00000a5d: PUSH1 0xf8 00000a5f: PUSH1 0x02 00000a61: EXP 00000a62: MUL 00000a63: PUSH1 0x20 00000a65: PUSH1 0x00 00000a67: POP 00000a68: DUP2 00000a69: SWAP1 00000a6a: SSTORE 00000a6b: POP 00000a6c: PUSH1 0x28 00000a6e: PUSH1 0x00 00000a70: SWAP1 00000a71: SLOAD 00000a72: SWAP1 00000a73: PUSH2 0x0100 00000a76: EXP 00000a77: SWAP1 00000a78: DIV 00000a79: PUSH1 0xb0 00000a7b: PUSH1 0x02 00000a7d: EXP 00000a7e: MUL 00000a7f: PUSH1 0x29 00000a81: PUSH1 0x00 00000a83: POP 00000a84: SLOAD 00000a85: DUP10 00000a86: PUSH1 0x30 00000a88: ADD 00000a89: PUSH1 0xf8 00000a8b: PUSH1 0x02 00000a8d: EXP 00000a8e: MUL 00000a8f: PUSH1 0x40 00000a91: MLOAD 00000a92: DUP1 00000a93: DUP5 00000a94: DUP2 00000a95: MSTORE 00000a96: PUSH1 0x0a 00000a98: ADD 00000a99: DUP4 00000a9a: DUP2 00000a9b: MSTORE 00000a9c: PUSH1 0x20 00000a9e: ADD 00000a9f: DUP3 00000aa0: DUP2 00000aa1: MSTORE 00000aa2: PUSH1 0x01 00000aa4: ADD 00000aa5: SWAP4 00000aa6: POP 00000aa7: POP 00000aa8: POP 00000aa9: POP 00000aaa: PUSH1 0x40 00000aac: MLOAD 00000aad: DUP1 00000aae: SWAP2 00000aaf: SUB 00000ab0: SWAP1 00000ab1: KECCAK256 00000ab2: PUSH1 0x21 00000ab4: PUSH1 0x00 00000ab6: POP 00000ab7: DUP2 00000ab8: SWAP1 00000ab9: SSTORE 00000aba: POP 00000abb: DUP7 00000abc: PUSH1 0x27 00000abe: PUSH1 0x00 00000ac0: POP 00000ac1: SWAP1 00000ac2: DUP1 00000ac3: MLOAD 00000ac4: SWAP1 00000ac5: PUSH1 0x20 00000ac7: ADD 00000ac8: SWAP1 00000ac9: DUP3 00000aca: DUP1 00000acb: SLOAD 00000acc: PUSH1 0x01 00000ace: DUP2 00000acf: PUSH1 0x01 00000ad1: AND 00000ad2: ISZERO 00000ad3: PUSH2 0x0100 00000ad6: MUL 00000ad7: SUB 00000ad8: AND 00000ad9: PUSH1 0x02 00000adb: SWAP1 00000adc: DIV 00000add: SWAP1 00000ade: PUSH1 0x00 00000ae0: MSTORE 00000ae1: PUSH1 0x20 00000ae3: PUSH1 0x00 00000ae5: KECCAK256 00000ae6: SWAP1 00000ae7: PUSH1 0x1f 00000ae9: ADD 00000aea: PUSH1 0x20 00000aec: SWAP1 00000aed: DIV 00000aee: DUP2 00000aef: ADD 00000af0: SWAP3 00000af1: DUP3 00000af2: PUSH1 0x1f 00000af4: LT 00000af5: PUSH2 0x0b20 00000af8: JUMPI 00000af9: DUP1 00000afa: MLOAD 00000afb: PUSH1 0xff 00000afd: NOT 00000afe: AND 00000aff: DUP4 00000b00: DUP1 00000b01: ADD 00000b02: OR 00000b03: DUP6 00000b04: SSTORE 00000b05: JUMPDEST 00000b06: POP 00000b07: PUSH2 0x0b50 00000b0a: SWAP3 00000b0b: SWAP2 00000b0c: POP 00000b0d: JUMPDEST 00000b0e: DUP1 00000b0f: DUP3 00000b10: GT 00000b11: ISZERO 00000b12: PUSH2 0x0c16 00000b15: JUMPI 00000b16: DUP10 00000b17: DUP2 00000b18: SSTORE 00000b19: PUSH1 0x01 00000b1b: ADD 00000b1c: PUSH2 0x0b0d 00000b1f: JUMP 00000b20: JUMPDEST 00000b21: DUP3 00000b22: DUP1 00000b23: ADD 00000b24: PUSH1 0x01 00000b26: ADD 00000b27: DUP6 00000b28: SSTORE 00000b29: DUP3 00000b2a: ISZERO 00000b2b: PUSH2 0x0b05 00000b2e: JUMPI 00000b2f: SWAP2 00000b30: DUP3 00000b31: ADD 00000b32: JUMPDEST 00000b33: DUP3 00000b34: DUP2 00000b35: GT 00000b36: ISZERO 00000b37: PUSH2 0x0b05 00000b3a: JUMPI 00000b3b: DUP3 00000b3c: MLOAD 00000b3d: DUP3 00000b3e: PUSH1 0x00 00000b40: POP 00000b41: SSTORE 00000b42: SWAP2 00000b43: PUSH1 0x20 00000b45: ADD 00000b46: SWAP2 00000b47: SWAP1 00000b48: PUSH1 0x01 00000b4a: ADD 00000b4b: SWAP1 00000b4c: PUSH2 0x0b32 00000b4f: JUMP 00000b50: JUMPDEST 00000b51: POP 00000b52: POP 00000b53: DUP7 00000b54: PUSH1 0x40 00000b56: MLOAD 00000b57: DUP1 00000b58: DUP3 00000b59: DUP1 00000b5a: MLOAD 00000b5b: SWAP1 00000b5c: PUSH1 0x20 00000b5e: ADD 00000b5f: SWAP1 00000b60: DUP1 00000b61: DUP4 00000b62: DUP4 00000b63: DUP3 00000b64: SWAP1 00000b65: PUSH1 0x00 00000b67: PUSH1 0x04 00000b69: PUSH1 0x20 00000b6b: DUP5 00000b6c: PUSH1 0x1f 00000b6e: ADD 00000b6f: DIV 00000b70: PUSH1 0x0f 00000b72: MUL 00000b73: PUSH1 0x03 00000b75: ADD 00000b76: CALL 00000b77: POP 00000b78: SWAP1 00000b79: POP 00000b7a: ADD 00000b7b: SWAP2 00000b7c: POP 00000b7d: POP 00000b7e: PUSH1 0x40 00000b80: MLOAD 00000b81: DUP1 00000b82: SWAP2 00000b83: SUB 00000b84: SWAP1 00000b85: KECCAK256 00000b86: PUSH1 0x23 00000b88: PUSH1 0x00 00000b8a: POP 00000b8b: DUP2 00000b8c: SWAP1 00000b8d: SSTORE 00000b8e: POP 00000b8f: PUSH1 0x28 00000b91: PUSH1 0x00 00000b93: SWAP1 00000b94: SLOAD 00000b95: SWAP1 00000b96: PUSH2 0x0100 00000b99: EXP 00000b9a: SWAP1 00000b9b: DIV 00000b9c: PUSH1 0xb0 00000b9e: PUSH1 0x02 00000ba0: EXP 00000ba1: MUL 00000ba2: PUSH1 0x29 00000ba4: PUSH1 0x00 00000ba6: POP 00000ba7: SLOAD 00000ba8: DUP10 00000ba9: PUSH1 0x30 00000bab: ADD 00000bac: PUSH1 0xf8 00000bae: PUSH1 0x02 00000bb0: EXP 00000bb1: MUL 00000bb2: DUP10 00000bb3: PUSH1 0x40 00000bb5: MLOAD 00000bb6: DUP1 00000bb7: DUP6 00000bb8: DUP2 00000bb9: MSTORE 00000bba: PUSH1 0x0a 00000bbc: ADD 00000bbd: DUP5 00000bbe: DUP2 00000bbf: MSTORE 00000bc0: PUSH1 0x20 00000bc2: ADD 00000bc3: DUP4 00000bc4: DUP2 00000bc5: MSTORE 00000bc6: PUSH1 0x01 00000bc8: ADD 00000bc9: DUP3 00000bca: DUP1 00000bcb: MLOAD 00000bcc: SWAP1 00000bcd: PUSH1 0x20 00000bcf: ADD 00000bd0: SWAP1 00000bd1: DUP1 00000bd2: DUP4 00000bd3: DUP4 00000bd4: DUP3 00000bd5: SWAP1 00000bd6: PUSH1 0x00 00000bd8: PUSH1 0x04 00000bda: PUSH1 0x20 00000bdc: DUP5 00000bdd: PUSH1 0x1f 00000bdf: ADD 00000be0: DIV 00000be1: PUSH1 0x0f 00000be3: MUL 00000be4: PUSH1 0x03 00000be6: ADD 00000be7: CALL 00000be8: POP 00000be9: SWAP1 00000bea: POP 00000beb: ADD 00000bec: SWAP5 00000bed: POP 00000bee: POP 00000bef: POP 00000bf0: POP 00000bf1: POP 00000bf2: PUSH1 0x40 00000bf4: MLOAD 00000bf5: DUP1 00000bf6: SWAP2 00000bf7: SUB 00000bf8: SWAP1 00000bf9: KECCAK256 00000bfa: PUSH1 0x1b 00000bfc: PUSH1 0x00 00000bfe: POP 00000bff: DUP2 00000c00: SWAP1 00000c01: SSTORE 00000c02: POP 00000c03: PUSH1 0x1b 00000c05: PUSH1 0x00 00000c07: POP 00000c08: SLOAD 00000c09: SWAP6 00000c0a: POP 00000c0b: POP 00000c0c: POP 00000c0d: POP 00000c0e: POP 00000c0f: POP 00000c10: SWAP4 00000c11: SWAP3 00000c12: POP 00000c13: POP 00000c14: POP 00000c15: JUMP 00000c16: JUMPDEST 00000c17: POP 00000c18: SWAP1 00000c19: JUMP 00000c1a: JUMPDEST 00000c1b: CALLER 00000c1c: PUSH1 0x01 00000c1e: PUSH1 0xa0 00000c20: PUSH1 0x02 00000c22: EXP 00000c23: SUB 00000c24: AND 00000c25: PUSH1 0x00 00000c27: CALLVALUE 00000c28: PUSH1 0x60 00000c2a: DUP3 00000c2b: DUP2 00000c2c: DUP2 00000c2d: DUP2 00000c2e: DUP6 00000c2f: DUP9 00000c30: DUP4 00000c31: CALL 00000c32: POP 00000c33: POP 00000c34: PUSH1 0x00 00000c36: NOT 00000c37: PUSH1 0x15 00000c39: SSTORE 00000c3a: POP 00000c3b: POP 00000c3c: POP 00000c3d: JUMPDEST 00000c3e: POP 00000c3f: JUMP 00000c40: JUMPDEST 00000c41: PUSH1 0x05 00000c43: SLOAD 00000c44: PUSH1 0x01 00000c46: PUSH1 0xa0 00000c48: PUSH1 0x02 00000c4a: EXP 00000c4b: SUB 00000c4c: SWAP1 00000c4d: DUP2 00000c4e: AND 00000c4f: CALLER 00000c50: SWAP1 00000c51: SWAP2 00000c52: AND 00000c53: EQ 00000c54: ISZERO 00000c55: PUSH2 0x0c62 00000c58: JUMPI 00000c59: PUSH1 0x01 00000c5b: PUSH1 0x0a 00000c5d: SSTORE 00000c5e: PUSH2 0x0259 00000c61: JUMP 00000c62: JUMPDEST 00000c63: PUSH1 0x00 00000c65: NOT 00000c66: PUSH1 0x16 00000c68: SSTORE 00000c69: PUSH2 0x0c74 00000c6c: JUMP 00000c6d: JUMPDEST 00000c6e: PUSH1 0x00 00000c70: NOT 00000c71: PUSH1 0x16 00000c73: SSTORE 00000c74: JUMPDEST 00000c75: POP 00000c76: POP 00000c77: JUMP 00000c78: JUMPDEST 00000c79: PUSH1 0x0c 00000c7b: DUP3 00000c7c: PUSH1 0x03 00000c7e: DUP2 00000c7f: LT 00000c80: ISZERO 00000c81: PUSH2 0x0002 00000c84: JUMPI 00000c85: SWAP1 00000c86: SWAP1 00000c87: PUSH1 0x03 00000c89: MUL 00000c8a: ADD 00000c8b: PUSH1 0x00 00000c8d: POP 00000c8e: DUP2 00000c8f: PUSH1 0x03 00000c91: DUP2 00000c92: LT 00000c93: ISZERO 00000c94: PUSH2 0x0002 00000c97: JUMPI 00000c98: SWAP1 00000c99: SWAP1 00000c9a: ADD 00000c9b: PUSH1 0x00 00000c9d: POP 00000c9e: SLOAD 00000c9f: PUSH1 0x01 00000ca1: EQ 00000ca2: ISZERO 00000ca3: PUSH2 0x0cd3 00000ca6: JUMPI 00000ca7: PUSH1 0x0b 00000ca9: SLOAD 00000caa: PUSH1 0x05 00000cac: SLOAD 00000cad: PUSH1 0x01 00000caf: PUSH1 0xa0 00000cb1: PUSH1 0x02 00000cb3: EXP 00000cb4: SUB 00000cb5: AND 00000cb6: SWAP1 00000cb7: PUSH1 0x00 00000cb9: SWAP1 00000cba: PUSH1 0x60 00000cbc: DUP3 00000cbd: DUP2 00000cbe: DUP2 00000cbf: DUP2 00000cc0: DUP6 00000cc1: DUP9 00000cc2: DUP4 00000cc3: CALL 00000cc4: POP 00000cc5: POP 00000cc6: PUSH1 0x01 00000cc8: PUSH1 0x17 00000cca: SSTORE 00000ccb: POP 00000ccc: PUSH2 0x0c74 00000ccf: SWAP2 00000cd0: POP 00000cd1: POP 00000cd2: JUMP 00000cd3: JUMPDEST 00000cd4: PUSH1 0x01 00000cd6: PUSH1 0x00 00000cd8: PUSH1 0x0b 00000cda: SLOAD 00000cdb: SWAP2 00000cdc: SLOAD 00000cdd: PUSH1 0x01 00000cdf: PUSH1 0xa0 00000ce1: PUSH1 0x02 00000ce3: EXP 00000ce4: SUB 00000ce5: AND 00000ce6: SWAP2 00000ce7: PUSH1 0x02 00000ce9: SWAP1 00000cea: DIV 00000ceb: PUSH1 0x60 00000ced: DUP3 00000cee: DUP2 00000cef: DUP2 00000cf0: DUP2 00000cf1: DUP6 00000cf2: DUP9 00000cf3: DUP4 00000cf4: CALL 00000cf5: POP 00000cf6: POP 00000cf7: PUSH1 0x05 00000cf9: SLOAD 00000cfa: PUSH1 0x40 00000cfc: MLOAD 00000cfd: PUSH1 0x01 00000cff: PUSH1 0xa0 00000d01: PUSH1 0x02 00000d03: EXP 00000d04: SUB 00000d05: SWAP2 00000d06: SWAP1 00000d07: SWAP2 00000d08: AND 00000d09: SWAP4 00000d0a: POP 00000d0b: DUP3 00000d0c: DUP2 00000d0d: DUP2 00000d0e: DUP2 00000d0f: DUP6 00000d10: DUP9 00000d11: DUP4 00000d12: CALL 00000d13: POP 00000d14: POP 00000d15: PUSH1 0x02 00000d17: PUSH1 0x17 00000d19: SSTORE 00000d1a: POP 00000d1b: POP 00000d1c: POP 00000d1d: POP 00000d1e: POP 00000d1f: JUMP
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: 0x09516c897f2d6ca95b197cb526558d39408e60b971f7798869340a56bf004c33
call_targets:
0xf2829160b9576244a111f8c176a7f404413ed966
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x09516c897f2d6ca95b197cb526558d39408e60b971f7798869340a56bf004c33",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xf2829160b9576244a111f8c176a7f404413ed966"
],
"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": "0x04b52931",
"selector": "0x04b52931",
"calldata_variants": [
"0x04b52931",
"0x04b529310000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x0c2141c4",
"selector": "0x0c2141c4",
"calldata_variants": [
"0x0c2141c4",
"0x0c2141c40000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x0de78f53",
"selector": "0x0de78f53",
"calldata_variants": [
"0x0de78f53",
"0x0de78f530000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x10a610c7",
"selector": "0x10a610c7",
"calldata_variants": [
"0x10a610c7",
"0x10a610c70000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x16e64048",
"selector": "0x16e64048",
"calldata_variants": [
"0x16e64048",
"0x16e640480000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x1f2a63c0",
"selector": "0x1f2a63c0",
"calldata_variants": [
"0x1f2a63c0",
"0x1f2a63c00000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x228cb733",
"selector": "0x228cb733",
"calldata_variants": [
"0x228cb733",
"0x228cb7330000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x332d2b87",
"selector": "0x332d2b87",
"calldata_variants": [
"0x332d2b87",
"0x332d2b870000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1091,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1504,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1918,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 9,
"guards_detected": [],
"untrusted_call_count": 9
}
|
| high | other | detector | ETH value transfer possible | 55 | no | no |
viewtrace_id: 0x09516c897f2d6ca95b197cb526558d39408e60b971f7798869340a56bf004c33
call_targets:
0xf2829160b9576244a111f8c176a7f404413ed966
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x09516c897f2d6ca95b197cb526558d39408e60b971f7798869340a56bf004c33",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xf2829160b9576244a111f8c176a7f404413ed966"
],
"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": "0x04b52931",
"selector": "0x04b52931",
"calldata_variants": [
"0x04b52931",
"0x04b529310000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x0c2141c4",
"selector": "0x0c2141c4",
"calldata_variants": [
"0x0c2141c4",
"0x0c2141c40000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x0de78f53",
"selector": "0x0de78f53",
"calldata_variants": [
"0x0de78f53",
"0x0de78f530000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x10a610c7",
"selector": "0x10a610c7",
"calldata_variants": [
"0x10a610c7",
"0x10a610c70000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x16e64048",
"selector": "0x16e64048",
"calldata_variants": [
"0x16e64048",
"0x16e640480000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x1f2a63c0",
"selector": "0x1f2a63c0",
"calldata_variants": [
"0x1f2a63c0",
"0x1f2a63c00000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x228cb733",
"selector": "0x228cb733",
"calldata_variants": [
"0x228cb733",
"0x228cb7330000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x332d2b87",
"selector": "0x332d2b87",
"calldata_variants": [
"0x332d2b87",
"0x332d2b870000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1091,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1504,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1918,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 9,
"guards_detected": []
}
|