019b3836-31b7-731c-97c0-df6707a7199d
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 |
|---|---|---|---|---|
| 2833 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 2834 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 46172 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 46173 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 46174 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 46175 | 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 0x01ef 0000003f: JUMPI 00000040: DUP1 00000041: PUSH4 0x16e64048 00000046: EQ 00000047: PUSH2 0x024d 0000004a: JUMPI 0000004b: DUP1 0000004c: PUSH4 0x1f2a63c0 00000051: EQ 00000052: PUSH2 0x025c 00000055: JUMPI 00000056: DUP1 00000057: PUSH4 0x20879c19 0000005c: EQ 0000005d: PUSH2 0x0265 00000060: JUMPI 00000061: DUP1 00000062: PUSH4 0x220cf6c5 00000067: EQ 00000068: PUSH2 0x031f 0000006b: JUMPI 0000006c: DUP1 0000006d: PUSH4 0x228cb733 00000072: EQ 00000073: PUSH2 0x042d 00000076: JUMPI 00000077: DUP1 00000078: PUSH4 0x332d2b87 0000007d: EQ 0000007e: PUSH2 0x0436 00000081: JUMPI 00000082: DUP1 00000083: PUSH4 0x4bb278f3 00000088: EQ 00000089: PUSH2 0x043f 0000008c: JUMPI 0000008d: DUP1 0000008e: PUSH4 0x52f62631 00000093: EQ 00000094: PUSH2 0x04c3 00000097: JUMPI 00000098: DUP1 00000099: PUSH4 0x53bfd0e9 0000009e: EQ 0000009f: PUSH2 0x04cc 000000a2: JUMPI 000000a3: DUP1 000000a4: PUSH4 0x6335ec5b 000000a9: EQ 000000aa: PUSH2 0x04d5 000000ad: JUMPI 000000ae: DUP1 000000af: PUSH4 0x6563079b 000000b4: EQ 000000b5: PUSH2 0x04de 000000b8: JUMPI 000000b9: DUP1 000000ba: PUSH4 0x6ba04322 000000bf: EQ 000000c0: PUSH2 0x04e7 000000c3: JUMPI 000000c4: DUP1 000000c5: PUSH4 0x8bd1762b 000000ca: EQ 000000cb: PUSH2 0x04f0 000000ce: JUMPI 000000cf: DUP1 000000d0: PUSH4 0x94e2e13c 000000d5: EQ 000000d6: PUSH2 0x05b2 000000d9: JUMPI 000000da: DUP1 000000db: PUSH4 0x9e0551c6 000000e0: EQ 000000e1: PUSH2 0x05e0 000000e4: JUMPI 000000e5: DUP1 000000e6: PUSH4 0x9e7bd827 000000eb: EQ 000000ec: PUSH2 0x0622 000000ef: JUMPI 000000f0: DUP1 000000f1: PUSH4 0xb1936aa4 000000f6: EQ 000000f7: PUSH2 0x062b 000000fa: JUMPI 000000fb: DUP1 000000fc: PUSH4 0xc42dff7e 00000101: EQ 00000102: PUSH2 0x0634 00000105: JUMPI 00000106: DUP1 00000107: PUSH4 0xcb8a9a5f 0000010c: EQ 0000010d: PUSH2 0x063d 00000110: JUMPI 00000111: DUP1 00000112: PUSH4 0xcfb3ec31 00000117: EQ 00000118: PUSH2 0x0646 0000011b: JUMPI 0000011c: DUP1 0000011d: PUSH4 0xd4842e6d 00000122: EQ 00000123: PUSH2 0x064f 00000126: JUMPI 00000127: DUP1 00000128: PUSH4 0xd8a6203b 0000012d: EQ 0000012e: PUSH2 0x067c 00000131: JUMPI 00000132: DUP1 00000133: PUSH4 0xdfbf53ae 00000138: EQ 00000139: PUSH2 0x0685 0000013c: JUMPI 0000013d: DUP1 0000013e: PUSH4 0xe8223650 00000143: EQ 00000144: PUSH2 0x068e 00000147: JUMPI 00000148: DUP1 00000149: PUSH4 0xea448c55 0000014e: EQ 0000014f: PUSH2 0x0697 00000152: JUMPI 00000153: DUP1 00000154: PUSH4 0xee76be97 00000159: EQ 0000015a: PUSH2 0x06a0 0000015d: JUMPI 0000015e: DUP1 0000015f: PUSH4 0xfd140e76 00000164: EQ 00000165: PUSH2 0x06d2 00000168: JUMPI 00000169: DUP1 0000016a: PUSH4 0xfd77fdfb 0000016f: EQ 00000170: PUSH2 0x06db 00000173: JUMPI 00000174: JUMPDEST 00000175: STOP 00000176: JUMPDEST 00000177: PUSH2 0x06e4 0000017a: PUSH1 0x24 0000017c: SLOAD 0000017d: DUP2 0000017e: JUMP 0000017f: JUMPDEST 00000180: PUSH2 0x06f6 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: PUSH1 0x40 00000194: DUP1 00000195: MLOAD 00000196: PUSH1 0x19 00000198: DUP1 00000199: SLOAD 0000019a: PUSH1 0x20 0000019c: PUSH1 0x02 0000019e: PUSH1 0x01 000001a0: DUP4 000001a1: AND 000001a2: ISZERO 000001a3: PUSH2 0x0100 000001a6: MUL 000001a7: PUSH1 0x00 000001a9: NOT 000001aa: ADD 000001ab: SWAP1 000001ac: SWAP3 000001ad: AND 000001ae: SWAP2 000001af: SWAP1 000001b0: SWAP2 000001b1: DIV 000001b2: PUSH1 0x1f 000001b4: DUP2 000001b5: ADD 000001b6: DUP3 000001b7: SWAP1 000001b8: DIV 000001b9: DUP3 000001ba: MUL 000001bb: DUP5 000001bc: ADD 000001bd: DUP3 000001be: ADD 000001bf: SWAP1 000001c0: SWAP5 000001c1: MSTORE 000001c2: DUP4 000001c3: DUP4 000001c4: MSTORE 000001c5: PUSH2 0x0713 000001c8: SWAP4 000001c9: SWAP1 000001ca: DUP4 000001cb: ADD 000001cc: DUP3 000001cd: DUP3 000001ce: DUP1 000001cf: ISZERO 000001d0: PUSH2 0x07dd 000001d3: JUMPI 000001d4: DUP1 000001d5: PUSH1 0x1f 000001d7: LT 000001d8: PUSH2 0x07b2 000001db: JUMPI 000001dc: PUSH2 0x0100 000001df: DUP1 000001e0: DUP4 000001e1: SLOAD 000001e2: DIV 000001e3: MUL 000001e4: DUP4 000001e5: MSTORE 000001e6: SWAP2 000001e7: PUSH1 0x20 000001e9: ADD 000001ea: SWAP2 000001eb: PUSH2 0x07dd 000001ee: JUMP 000001ef: JUMPDEST 000001f0: PUSH2 0x0713 000001f3: PUSH1 0x27 000001f5: DUP1 000001f6: SLOAD 000001f7: PUSH1 0x40 000001f9: DUP1 000001fa: MLOAD 000001fb: PUSH1 0x20 000001fd: PUSH1 0x02 000001ff: PUSH1 0x01 00000201: DUP6 00000202: AND 00000203: ISZERO 00000204: PUSH2 0x0100 00000207: MUL 00000208: PUSH1 0x00 0000020a: NOT 0000020b: ADD 0000020c: SWAP1 0000020d: SWAP5 0000020e: AND 0000020f: SWAP4 00000210: SWAP1 00000211: SWAP4 00000212: DIV 00000213: PUSH1 0x1f 00000215: DUP2 00000216: ADD 00000217: DUP5 00000218: SWAP1 00000219: DIV 0000021a: DUP5 0000021b: MUL 0000021c: DUP3 0000021d: ADD 0000021e: DUP5 0000021f: ADD 00000220: SWAP1 00000221: SWAP3 00000222: MSTORE 00000223: DUP2 00000224: DUP2 00000225: MSTORE 00000226: SWAP3 00000227: SWAP2 00000228: DUP4 00000229: ADD 0000022a: DUP3 0000022b: DUP3 0000022c: DUP1 0000022d: ISZERO 0000022e: PUSH2 0x07dd 00000231: JUMPI 00000232: DUP1 00000233: PUSH1 0x1f 00000235: LT 00000236: PUSH2 0x07b2 00000239: JUMPI 0000023a: PUSH2 0x0100 0000023d: DUP1 0000023e: DUP4 0000023f: SLOAD 00000240: DIV 00000241: MUL 00000242: DUP4 00000243: MSTORE 00000244: SWAP2 00000245: PUSH1 0x20 00000247: ADD 00000248: SWAP2 00000249: PUSH2 0x07dd 0000024c: JUMP 0000024d: JUMPDEST 0000024e: PUSH2 0x06e4 00000251: PUSH1 0x28 00000253: SLOAD 00000254: PUSH1 0xb0 00000256: PUSH1 0x02 00000258: EXP 00000259: MUL 0000025a: DUP2 0000025b: JUMP 0000025c: JUMPDEST 0000025d: PUSH2 0x06e4 00000260: PUSH1 0x29 00000262: SLOAD 00000263: DUP2 00000264: JUMP 00000265: JUMPDEST 00000266: PUSH1 0x40 00000268: DUP1 00000269: MLOAD 0000026a: PUSH1 0x20 0000026c: PUSH1 0x44 0000026e: CALLDATALOAD 0000026f: PUSH1 0x04 00000271: DUP2 00000272: DUP2 00000273: ADD 00000274: CALLDATALOAD 00000275: PUSH1 0x1f 00000277: DUP2 00000278: ADD 00000279: DUP5 0000027a: SWAP1 0000027b: DIV 0000027c: DUP5 0000027d: MUL 0000027e: DUP6 0000027f: ADD 00000280: DUP5 00000281: ADD 00000282: SWAP1 00000283: SWAP6 00000284: MSTORE 00000285: DUP5 00000286: DUP5 00000287: MSTORE 00000288: PUSH2 0x06e4 0000028b: SWAP5 0000028c: DUP2 0000028d: CALLDATALOAD 0000028e: SWAP5 0000028f: PUSH1 0x24 00000291: DUP1 00000292: CALLDATALOAD 00000293: SWAP6 00000294: SWAP4 00000295: SWAP5 00000296: PUSH1 0x64 00000298: SWAP5 00000299: SWAP3 0000029a: SWAP4 0000029b: SWAP2 0000029c: ADD 0000029d: SWAP2 0000029e: DUP2 0000029f: SWAP1 000002a0: DUP5 000002a1: ADD 000002a2: DUP4 000002a3: DUP3 000002a4: DUP1 000002a5: DUP3 000002a6: DUP5 000002a7: CALLDATACOPY 000002a8: POP 000002a9: SWAP5 000002aa: SWAP7 000002ab: POP 000002ac: POP 000002ad: POP 000002ae: POP 000002af: POP 000002b0: POP 000002b1: POP 000002b2: JUMPDEST 000002b3: PUSH1 0x00 000002b5: PUSH1 0x01 000002b7: PUSH1 0xa0 000002b9: PUSH1 0x02 000002bb: EXP 000002bc: SUB 000002bd: DUP5 000002be: AND 000002bf: DUP2 000002c0: DUP1 000002c1: DUP1 000002c2: DUP1 000002c3: JUMPDEST 000002c4: PUSH1 0x20 000002c6: DUP5 000002c7: LT 000002c8: ISZERO 000002c9: PUSH2 0x07e5 000002cc: JUMPI 000002cd: PUSH1 0x10 000002cf: DUP6 000002d0: MOD 000002d1: SWAP3 000002d2: POP 000002d3: PUSH1 0x0a 000002d5: DUP4 000002d6: LT 000002d7: ISZERO 000002d8: PUSH2 0x0846 000002db: JUMPI 000002dc: PUSH1 0x30 000002de: DUP4 000002df: ADD 000002e0: PUSH1 0xf8 000002e2: PUSH1 0x02 000002e4: EXP 000002e5: MUL 000002e6: PUSH1 0x2b 000002e8: PUSH1 0x1f 000002ea: DUP7 000002eb: SWAP1 000002ec: SUB 000002ed: PUSH1 0x20 000002ef: DUP2 000002f0: LT 000002f1: ISZERO 000002f2: PUSH2 0x0002 000002f5: JUMPI 000002f6: PUSH1 0x20 000002f8: DUP1 000002f9: DUP3 000002fa: DIV 000002fb: SWAP1 000002fc: SWAP3 000002fd: ADD 000002fe: SWAP2 000002ff: SWAP1 00000300: MOD 00000301: PUSH2 0x0100 00000304: EXP 00000305: DUP2 00000306: SLOAD 00000307: DUP2 00000308: PUSH1 0xff 0000030a: MUL 0000030b: NOT 0000030c: AND 0000030d: SWAP1 0000030e: DUP4 0000030f: PUSH1 0xf8 00000311: PUSH1 0x02 00000313: EXP 00000314: SWAP1 00000315: DIV 00000316: MUL 00000317: OR 00000318: SWAP1 00000319: SSTORE 0000031a: POP 0000031b: PUSH2 0x0886 0000031e: JUMP 0000031f: JUMPDEST 00000320: PUSH1 0x40 00000322: DUP1 00000323: MLOAD 00000324: PUSH1 0x20 00000326: PUSH1 0x24 00000328: DUP1 00000329: CALLDATALOAD 0000032a: PUSH1 0x04 0000032c: DUP2 0000032d: DUP2 0000032e: ADD 0000032f: CALLDATALOAD 00000330: PUSH1 0x1f 00000332: DUP2 00000333: ADD 00000334: DUP6 00000335: SWAP1 00000336: DIV 00000337: DUP6 00000338: MUL 00000339: DUP7 0000033a: ADD 0000033b: DUP6 0000033c: ADD 0000033d: SWAP1 0000033e: SWAP7 0000033f: MSTORE 00000340: DUP6 00000341: DUP6 00000342: MSTORE 00000343: PUSH2 0x0174 00000346: SWAP6 00000347: DUP2 00000348: CALLDATALOAD 00000349: SWAP6 0000034a: SWAP2 0000034b: SWAP5 0000034c: PUSH1 0x44 0000034e: SWAP5 0000034f: SWAP3 00000350: SWAP4 00000351: SWAP1 00000352: SWAP3 00000353: ADD 00000354: SWAP2 00000355: DUP2 00000356: SWAP1 00000357: DUP5 00000358: ADD 00000359: DUP4 0000035a: DUP3 0000035b: DUP1 0000035c: DUP3 0000035d: DUP5 0000035e: CALLDATACOPY 0000035f: POP 00000360: SWAP5 00000361: SWAP7 00000362: POP 00000363: POP 00000364: POP 00000365: POP 00000366: POP 00000367: POP 00000368: POP 00000369: PUSH1 0x09 0000036b: SLOAD 0000036c: PUSH1 0x02 0000036e: EQ 0000036f: PUSH2 0x0379 00000372: JUMPI 00000373: PUSH1 0x00 00000375: NOT 00000376: PUSH1 0x16 00000378: SSTORE 00000379: JUMPDEST 0000037a: PUSH1 0x01 0000037c: SLOAD 0000037d: PUSH1 0x01 0000037f: PUSH1 0xa0 00000381: PUSH1 0x02 00000383: EXP 00000384: SUB 00000385: SWAP1 00000386: DUP2 00000387: AND 00000388: CALLER 00000389: SWAP1 0000038a: SWAP2 0000038b: AND 0000038c: EQ 0000038d: ISZERO 0000038e: PUSH2 0x0bc7 00000391: JUMPI 00000392: PUSH1 0x00 00000394: PUSH1 0x0a 00000396: SSTORE 00000397: JUMPDEST 00000398: PUSH1 0x1a 0000039a: DUP1 0000039b: SLOAD 0000039c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000003b1: NOT 000003b2: AND 000003b3: CALLER 000003b4: OR 000003b5: SWAP1 000003b6: SSTORE 000003b7: PUSH1 0x18 000003b9: DUP3 000003ba: SWAP1 000003bb: SSTORE 000003bc: PUSH1 0x19 000003be: DUP1 000003bf: SLOAD 000003c0: DUP3 000003c1: MLOAD 000003c2: PUSH1 0x00 000003c4: DUP4 000003c5: SWAP1 000003c6: MSTORE 000003c7: PUSH32 0x944998273e477b495144fb8794c914197f3ccb46be2900f4698fd0ef743c9695 000003e8: PUSH1 0x20 000003ea: PUSH1 0x02 000003ec: PUSH1 0x01 000003ee: DUP6 000003ef: AND 000003f0: ISZERO 000003f1: PUSH2 0x0100 000003f4: MUL 000003f5: PUSH1 0x00 000003f7: NOT 000003f8: ADD 000003f9: SWAP1 000003fa: SWAP5 000003fb: AND 000003fc: SWAP4 000003fd: SWAP1 000003fe: SWAP4 000003ff: DIV 00000400: PUSH1 0x1f 00000402: SWAP1 00000403: DUP2 00000404: ADD 00000405: DUP5 00000406: SWAP1 00000407: DIV 00000408: DUP3 00000409: ADD 0000040a: SWAP4 0000040b: DUP7 0000040c: ADD 0000040d: SWAP1 0000040e: DUP4 0000040f: SWAP1 00000410: LT 00000411: PUSH2 0x0bf4 00000414: JUMPI 00000415: DUP1 00000416: MLOAD 00000417: PUSH1 0xff 00000419: NOT 0000041a: AND 0000041b: DUP4 0000041c: DUP1 0000041d: ADD 0000041e: OR 0000041f: DUP6 00000420: SSTORE 00000421: JUMPDEST 00000422: POP 00000423: PUSH2 0x0c24 00000426: SWAP3 00000427: SWAP2 00000428: POP 00000429: PUSH2 0x0aa3 0000042c: JUMP 0000042d: JUMPDEST 0000042e: PUSH2 0x06e4 00000431: PUSH1 0x0b 00000433: SLOAD 00000434: DUP2 00000435: JUMP 00000436: JUMPDEST 00000437: PUSH2 0x06e4 0000043a: PUSH1 0x09 0000043c: SLOAD 0000043d: DUP2 0000043e: JUMP 0000043f: JUMPDEST 00000440: PUSH1 0x04 00000442: SLOAD 00000443: PUSH2 0x0174 00000446: SWAP1 00000447: PUSH1 0x00 00000449: SWAP1 0000044a: DUP2 0000044b: SWAP1 0000044c: PUSH1 0xff 0000044e: AND 0000044f: DUP1 00000450: ISZERO 00000451: PUSH2 0x045c 00000454: JUMPI 00000455: POP 00000456: PUSH1 0x08 00000458: SLOAD 00000459: PUSH1 0xff 0000045b: AND 0000045c: JUMPDEST 0000045d: ISZERO 0000045e: PUSH2 0x0cce 00000461: JUMPI 00000462: POP 00000463: POP 00000464: PUSH1 0x03 00000466: DUP1 00000467: SLOAD 00000468: PUSH1 0x07 0000046a: SLOAD 0000046b: SWAP1 0000046c: SWAP2 0000046d: PUSH1 0x0c 0000046f: SWAP1 00000470: DUP4 00000471: SWAP1 00000472: DUP2 00000473: LT 00000474: ISZERO 00000475: PUSH2 0x0002 00000478: JUMPI 00000479: PUSH1 0x03 0000047b: MUL 0000047c: ADD 0000047d: PUSH1 0x00 0000047f: POP 00000480: DUP2 00000481: PUSH1 0x03 00000483: DUP2 00000484: LT 00000485: ISZERO 00000486: PUSH2 0x0002 00000489: JUMPI 0000048a: ADD 0000048b: PUSH1 0x00 0000048d: POP 0000048e: SLOAD 0000048f: PUSH1 0x00 00000491: EQ 00000492: ISZERO 00000493: PUSH2 0x0cd2 00000496: JUMPI 00000497: PUSH1 0x0b 00000499: SLOAD 0000049a: PUSH1 0x01 0000049c: SLOAD 0000049d: PUSH1 0x40 0000049f: MLOAD 000004a0: PUSH1 0x01 000004a2: PUSH1 0xa0 000004a4: PUSH1 0x02 000004a6: EXP 000004a7: SUB 000004a8: SWAP2 000004a9: SWAP1 000004aa: SWAP2 000004ab: AND 000004ac: SWAP2 000004ad: PUSH1 0x00 000004af: SWAP2 000004b0: DUP3 000004b1: DUP2 000004b2: DUP2 000004b3: DUP2 000004b4: DUP6 000004b5: DUP9 000004b6: DUP4 000004b7: CALL 000004b8: POP 000004b9: POP 000004ba: POP 000004bb: PUSH1 0x17 000004bd: SSTORE 000004be: POP 000004bf: PUSH2 0x0cce 000004c2: JUMP 000004c3: JUMPDEST 000004c4: PUSH2 0x06e4 000004c7: PUSH1 0x1b 000004c9: SLOAD 000004ca: DUP2 000004cb: JUMP 000004cc: JUMPDEST 000004cd: PUSH2 0x06e4 000004d0: PUSH1 0x1d 000004d2: SLOAD 000004d3: DUP2 000004d4: JUMP 000004d5: JUMPDEST 000004d6: PUSH2 0x06e4 000004d9: PUSH1 0x25 000004db: SLOAD 000004dc: DUP2 000004dd: JUMP 000004de: JUMPDEST 000004df: PUSH2 0x06e4 000004e2: PUSH1 0x0a 000004e4: SLOAD 000004e5: DUP2 000004e6: JUMP 000004e7: JUMPDEST 000004e8: PUSH2 0x06e4 000004eb: PUSH1 0x20 000004ed: SLOAD 000004ee: DUP2 000004ef: JUMP 000004f0: JUMPDEST 000004f1: PUSH2 0x0174 000004f4: PUSH1 0x04 000004f6: CALLDATALOAD 000004f7: PUSH1 0x09 000004f9: SLOAD 000004fa: PUSH1 0x02 000004fc: SWAP1 000004fd: LT 000004fe: DUP1 000004ff: ISZERO 00000500: PUSH2 0x050b 00000503: JUMPI 00000504: POP 00000505: PUSH1 0x00 00000507: SLOAD 00000508: CALLVALUE 00000509: LT 0000050a: ISZERO 0000050b: JUMPDEST 0000050c: ISZERO 0000050d: PUSH2 0x0b9d 00000510: JUMPI 00000511: PUSH1 0x0b 00000513: DUP1 00000514: SLOAD 00000515: CALLVALUE 00000516: ADD 00000517: SWAP1 00000518: SSTORE 00000519: PUSH1 0x09 0000051b: SLOAD 0000051c: CALLER 0000051d: SWAP1 0000051e: PUSH1 0x01 00000520: SWAP1 00000521: PUSH1 0x02 00000523: DUP2 00000524: LT 00000525: ISZERO 00000526: PUSH2 0x0002 00000529: JUMPI 0000052a: PUSH1 0x04 0000052c: MUL 0000052d: DUP2 0000052e: ADD 0000052f: DUP1 00000530: SLOAD 00000531: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000546: NOT 00000547: AND 00000548: SWAP1 00000549: SWAP3 0000054a: OR 0000054b: SWAP1 0000054c: SWAP2 0000054d: SSTORE 0000054e: PUSH1 0x09 00000550: SLOAD 00000551: DUP3 00000552: SWAP2 00000553: SWAP1 00000554: PUSH1 0x02 00000556: DUP2 00000557: LT 00000558: ISZERO 00000559: PUSH2 0x0002 0000055c: JUMPI 0000055d: PUSH1 0x04 0000055f: MUL 00000560: PUSH1 0x02 00000562: ADD 00000563: SWAP2 00000564: SWAP1 00000565: SWAP2 00000566: SSTORE 00000567: PUSH1 0x09 00000569: DUP1 0000056a: SLOAD 0000056b: SWAP1 0000056c: SWAP2 0000056d: ADD 0000056e: SWAP1 0000056f: SSTORE 00000570: PUSH1 0x00 00000572: DUP1 00000573: SLOAD 00000574: CALLVALUE 00000575: SUB 00000576: GT 00000577: ISZERO 00000578: PUSH2 0x05a8 0000057b: JUMPI 0000057c: PUSH1 0x00 0000057e: DUP1 0000057f: SLOAD 00000580: PUSH1 0x40 00000582: MLOAD 00000583: CALLER 00000584: PUSH1 0x01 00000586: PUSH1 0xa0 00000588: PUSH1 0x02 0000058a: EXP 0000058b: SUB 0000058c: AND 0000058d: SWAP3 0000058e: SWAP2 0000058f: CALLVALUE 00000590: SUB 00000591: SWAP1 00000592: DUP3 00000593: DUP2 00000594: DUP2 00000595: DUP2 00000596: DUP6 00000597: DUP9 00000598: DUP4 00000599: CALL 0000059a: POP 0000059b: POP 0000059c: PUSH1 0x0b 0000059e: DUP1 0000059f: SLOAD 000005a0: SWAP2 000005a1: SWAP1 000005a2: SWAP2 000005a3: SUB 000005a4: SWAP1 000005a5: SSTORE 000005a6: POP 000005a7: POP 000005a8: JUMPDEST 000005a9: PUSH1 0x00 000005ab: PUSH1 0x15 000005ad: SSTORE 000005ae: PUSH2 0x0bc4 000005b1: JUMP 000005b2: JUMPDEST 000005b3: PUSH2 0x06e4 000005b6: PUSH1 0x04 000005b8: CALLDATALOAD 000005b9: PUSH1 0x2a 000005bb: DUP2 000005bc: PUSH1 0x0a 000005be: DUP2 000005bf: LT 000005c0: ISZERO 000005c1: PUSH2 0x0002 000005c4: JUMPI 000005c5: POP 000005c6: PUSH1 0x20 000005c8: DUP1 000005c9: DUP4 000005ca: DIV 000005cb: SWAP2 000005cc: SWAP1 000005cd: SWAP2 000005ce: ADD 000005cf: SLOAD 000005d0: SWAP2 000005d1: MOD 000005d2: PUSH2 0x0100 000005d5: EXP 000005d6: SWAP1 000005d7: DIV 000005d8: PUSH1 0xf8 000005da: PUSH1 0x02 000005dc: EXP 000005dd: MUL 000005de: DUP2 000005df: JUMP 000005e0: JUMPDEST 000005e1: PUSH2 0x0781 000005e4: PUSH1 0x04 000005e6: CALLDATALOAD 000005e7: PUSH1 0x01 000005e9: DUP2 000005ea: PUSH1 0x02 000005ec: DUP2 000005ed: LT 000005ee: ISZERO 000005ef: PUSH2 0x0002 000005f2: JUMPI 000005f3: PUSH1 0x04 000005f5: MUL 000005f6: ADD 000005f7: PUSH1 0x00 000005f9: POP 000005fa: DUP1 000005fb: SLOAD 000005fc: PUSH1 0x02 000005fe: DUP3 000005ff: ADD 00000600: SLOAD 00000601: PUSH1 0x03 00000603: DUP4 00000604: ADD 00000605: SLOAD 00000606: PUSH1 0x01 00000608: SWAP4 00000609: SWAP1 0000060a: SWAP4 0000060b: ADD 0000060c: SLOAD 0000060d: PUSH1 0x01 0000060f: PUSH1 0xa0 00000611: PUSH1 0x02 00000613: EXP 00000614: SUB 00000615: SWAP3 00000616: SWAP1 00000617: SWAP3 00000618: AND 00000619: SWAP4 0000061a: POP 0000061b: SWAP1 0000061c: SWAP2 0000061d: PUSH1 0xff 0000061f: AND 00000620: DUP5 00000621: JUMP 00000622: JUMPDEST 00000623: PUSH2 0x06e4 00000626: PUSH1 0x26 00000628: SLOAD 00000629: DUP2 0000062a: JUMP 0000062b: JUMPDEST 0000062c: PUSH2 0x06e4 0000062f: PUSH1 0x1f 00000631: SLOAD 00000632: DUP2 00000633: JUMP 00000634: JUMPDEST 00000635: PUSH2 0x06e4 00000638: PUSH1 0x1c 0000063a: SLOAD 0000063b: DUP2 0000063c: JUMP 0000063d: JUMPDEST 0000063e: PUSH2 0x06e4 00000641: PUSH1 0x16 00000643: SLOAD 00000644: DUP2 00000645: JUMP 00000646: JUMPDEST 00000647: PUSH2 0x06e4 0000064a: PUSH1 0x22 0000064c: SLOAD 0000064d: DUP2 0000064e: JUMP 0000064f: JUMPDEST 00000650: PUSH2 0x06e4 00000653: PUSH1 0x04 00000655: CALLDATALOAD 00000656: PUSH1 0x2b 00000658: DUP2 00000659: PUSH1 0x20 0000065b: DUP2 0000065c: LT 0000065d: ISZERO 0000065e: PUSH2 0x0002 00000661: JUMPI 00000662: POP 00000663: PUSH1 0x20 00000665: DUP1 00000666: DUP4 00000667: DIV 00000668: SWAP1 00000669: SWAP2 0000066a: ADD 0000066b: SLOAD 0000066c: SWAP2 0000066d: MOD 0000066e: PUSH2 0x0100 00000671: EXP 00000672: SWAP1 00000673: DIV 00000674: PUSH1 0xf8 00000676: PUSH1 0x02 00000678: EXP 00000679: MUL 0000067a: DUP2 0000067b: JUMP 0000067c: JUMPDEST 0000067d: PUSH2 0x06e4 00000680: PUSH1 0x23 00000682: SLOAD 00000683: DUP2 00000684: JUMP 00000685: JUMPDEST 00000686: PUSH2 0x06e4 00000689: PUSH1 0x17 0000068b: SLOAD 0000068c: DUP2 0000068d: JUMP 0000068e: JUMPDEST 0000068f: PUSH2 0x06e4 00000692: PUSH1 0x1e 00000694: SLOAD 00000695: DUP2 00000696: JUMP 00000697: JUMPDEST 00000698: PUSH2 0x06e4 0000069b: PUSH1 0x21 0000069d: SLOAD 0000069e: DUP2 0000069f: JUMP 000006a0: JUMPDEST 000006a1: PUSH2 0x06e4 000006a4: PUSH1 0x04 000006a6: CALLDATALOAD 000006a7: PUSH1 0x24 000006a9: CALLDATALOAD 000006aa: PUSH1 0x0c 000006ac: DUP3 000006ad: PUSH1 0x03 000006af: DUP2 000006b0: LT 000006b1: ISZERO 000006b2: PUSH2 0x0002 000006b5: JUMPI 000006b6: PUSH1 0x03 000006b8: MUL 000006b9: ADD 000006ba: PUSH1 0x00 000006bc: POP 000006bd: DUP2 000006be: PUSH1 0x03 000006c0: DUP2 000006c1: LT 000006c2: ISZERO 000006c3: PUSH2 0x0002 000006c6: JUMPI 000006c7: ADD 000006c8: PUSH1 0x00 000006ca: SWAP2 000006cb: POP 000006cc: SWAP2 000006cd: POP 000006ce: POP 000006cf: SLOAD 000006d0: DUP2 000006d1: JUMP 000006d2: JUMPDEST 000006d3: PUSH2 0x06e4 000006d6: PUSH1 0x18 000006d8: SLOAD 000006d9: DUP2 000006da: JUMP 000006db: JUMPDEST 000006dc: PUSH2 0x06e4 000006df: PUSH1 0x15 000006e1: SLOAD 000006e2: DUP2 000006e3: JUMP 000006e4: JUMPDEST 000006e5: PUSH1 0x40 000006e7: DUP1 000006e8: MLOAD 000006e9: SWAP2 000006ea: DUP3 000006eb: MSTORE 000006ec: MLOAD 000006ed: SWAP1 000006ee: DUP2 000006ef: SWAP1 000006f0: SUB 000006f1: PUSH1 0x20 000006f3: ADD 000006f4: SWAP1 000006f5: RETURN 000006f6: JUMPDEST 000006f7: PUSH1 0x40 000006f9: DUP1 000006fa: MLOAD 000006fb: PUSH1 0x01 000006fd: PUSH1 0xa0 000006ff: PUSH1 0x02 00000701: EXP 00000702: SUB 00000703: SWAP3 00000704: SWAP1 00000705: SWAP3 00000706: AND 00000707: DUP3 00000708: MSTORE 00000709: MLOAD 0000070a: SWAP1 0000070b: DUP2 0000070c: SWAP1 0000070d: SUB 0000070e: PUSH1 0x20 00000710: ADD 00000711: SWAP1 00000712: RETURN 00000713: JUMPDEST 00000714: PUSH1 0x40 00000716: MLOAD 00000717: DUP1 00000718: DUP1 00000719: PUSH1 0x20 0000071b: ADD 0000071c: DUP3 0000071d: DUP2 0000071e: SUB 0000071f: DUP3 00000720: MSTORE 00000721: DUP4 00000722: DUP2 00000723: DUP2 00000724: MLOAD 00000725: DUP2 00000726: MSTORE 00000727: PUSH1 0x20 00000729: ADD 0000072a: SWAP2 0000072b: POP 0000072c: DUP1 0000072d: MLOAD 0000072e: SWAP1 0000072f: PUSH1 0x20 00000731: ADD 00000732: SWAP1 00000733: DUP1 00000734: DUP4 00000735: DUP4 00000736: DUP3 00000737: SWAP1 00000738: PUSH1 0x00 0000073a: PUSH1 0x04 0000073c: PUSH1 0x20 0000073e: DUP5 0000073f: PUSH1 0x1f 00000741: ADD 00000742: DIV 00000743: PUSH1 0x0f 00000745: MUL 00000746: PUSH1 0x03 00000748: ADD 00000749: CALL 0000074a: POP 0000074b: SWAP1 0000074c: POP 0000074d: SWAP1 0000074e: DUP2 0000074f: ADD 00000750: SWAP1 00000751: PUSH1 0x1f 00000753: AND 00000754: DUP1 00000755: ISZERO 00000756: PUSH2 0x0773 00000759: JUMPI 0000075a: DUP1 0000075b: DUP3 0000075c: SUB 0000075d: DUP1 0000075e: MLOAD 0000075f: PUSH1 0x01 00000761: DUP4 00000762: PUSH1 0x20 00000764: SUB 00000765: PUSH2 0x0100 00000768: EXP 00000769: SUB 0000076a: NOT 0000076b: AND 0000076c: DUP2 0000076d: MSTORE 0000076e: PUSH1 0x20 00000770: ADD 00000771: SWAP2 00000772: POP 00000773: JUMPDEST 00000774: POP 00000775: SWAP3 00000776: POP 00000777: POP 00000778: POP 00000779: PUSH1 0x40 0000077b: MLOAD 0000077c: DUP1 0000077d: SWAP2 0000077e: SUB 0000077f: SWAP1 00000780: RETURN 00000781: JUMPDEST 00000782: PUSH1 0x40 00000784: DUP1 00000785: MLOAD 00000786: PUSH1 0x01 00000788: PUSH1 0xa0 0000078a: PUSH1 0x02 0000078c: EXP 0000078d: SUB 0000078e: SWAP6 0000078f: SWAP1 00000790: SWAP6 00000791: AND 00000792: DUP6 00000793: MSTORE 00000794: PUSH1 0x20 00000796: DUP6 00000797: ADD 00000798: SWAP4 00000799: SWAP1 0000079a: SWAP4 0000079b: MSTORE 0000079c: DUP4 0000079d: DUP4 0000079e: ADD 0000079f: SWAP2 000007a0: SWAP1 000007a1: SWAP2 000007a2: MSTORE 000007a3: PUSH1 0x60 000007a5: DUP4 000007a6: ADD 000007a7: MSTORE 000007a8: MLOAD 000007a9: SWAP1 000007aa: DUP2 000007ab: SWAP1 000007ac: SUB 000007ad: PUSH1 0x80 000007af: ADD 000007b0: SWAP1 000007b1: RETURN 000007b2: JUMPDEST 000007b3: DUP3 000007b4: ADD 000007b5: SWAP2 000007b6: SWAP1 000007b7: PUSH1 0x00 000007b9: MSTORE 000007ba: PUSH1 0x20 000007bc: PUSH1 0x00 000007be: KECCAK256 000007bf: SWAP1 000007c0: JUMPDEST 000007c1: DUP2 000007c2: SLOAD 000007c3: DUP2 000007c4: MSTORE 000007c5: SWAP1 000007c6: PUSH1 0x01 000007c8: ADD 000007c9: SWAP1 000007ca: PUSH1 0x20 000007cc: ADD 000007cd: DUP1 000007ce: DUP4 000007cf: GT 000007d0: PUSH2 0x07c0 000007d3: JUMPI 000007d4: DUP3 000007d5: SWAP1 000007d6: SUB 000007d7: PUSH1 0x1f 000007d9: AND 000007da: DUP3 000007db: ADD 000007dc: SWAP2 000007dd: JUMPDEST 000007de: POP 000007df: POP 000007e0: POP 000007e1: POP 000007e2: POP 000007e3: DUP2 000007e4: JUMP 000007e5: JUMPDEST 000007e6: PUSH1 0x00 000007e8: SWAP4 000007e9: POP 000007ea: JUMPDEST 000007eb: PUSH1 0x08 000007ed: DUP5 000007ee: LT 000007ef: ISZERO 000007f0: PUSH2 0x0898 000007f3: JUMPI 000007f4: PUSH1 0x10 000007f6: DUP6 000007f7: MOD 000007f8: SWAP3 000007f9: POP 000007fa: PUSH1 0x0a 000007fc: DUP4 000007fd: LT 000007fe: ISZERO 000007ff: PUSH2 0x08fe 00000802: JUMPI 00000803: PUSH1 0x30 00000805: DUP4 00000806: ADD 00000807: PUSH1 0xf8 00000809: PUSH1 0x02 0000080b: EXP 0000080c: MUL 0000080d: PUSH1 0x2a 0000080f: PUSH1 0x09 00000811: DUP7 00000812: SWAP1 00000813: SUB 00000814: PUSH1 0x0a 00000816: DUP2 00000817: LT 00000818: ISZERO 00000819: PUSH2 0x0002 0000081c: JUMPI 0000081d: PUSH1 0x20 0000081f: DUP1 00000820: DUP3 00000821: DIV 00000822: SWAP1 00000823: SWAP3 00000824: ADD 00000825: SWAP2 00000826: SWAP1 00000827: MOD 00000828: PUSH2 0x0100 0000082b: EXP 0000082c: DUP2 0000082d: SLOAD 0000082e: DUP2 0000082f: PUSH1 0xff 00000831: MUL 00000832: NOT 00000833: AND 00000834: SWAP1 00000835: DUP4 00000836: PUSH1 0xf8 00000838: PUSH1 0x02 0000083a: EXP 0000083b: SWAP1 0000083c: DIV 0000083d: MUL 0000083e: OR 0000083f: SWAP1 00000840: SSTORE 00000841: POP 00000842: PUSH2 0x093e 00000845: JUMP 00000846: JUMPDEST 00000847: PUSH1 0x57 00000849: DUP4 0000084a: ADD 0000084b: PUSH1 0xf8 0000084d: PUSH1 0x02 0000084f: EXP 00000850: MUL 00000851: PUSH1 0x2b 00000853: PUSH1 0x1f 00000855: DUP7 00000856: SWAP1 00000857: SUB 00000858: PUSH1 0x20 0000085a: DUP2 0000085b: LT 0000085c: ISZERO 0000085d: PUSH2 0x0002 00000860: JUMPI 00000861: PUSH1 0x20 00000863: DUP1 00000864: DUP3 00000865: DIV 00000866: SWAP1 00000867: SWAP3 00000868: ADD 00000869: SWAP2 0000086a: SWAP1 0000086b: MOD 0000086c: PUSH2 0x0100 0000086f: EXP 00000870: DUP2 00000871: SLOAD 00000872: DUP2 00000873: PUSH1 0xff 00000875: MUL 00000876: NOT 00000877: AND 00000878: SWAP1 00000879: DUP4 0000087a: PUSH1 0xf8 0000087c: PUSH1 0x02 0000087e: EXP 0000087f: SWAP1 00000880: DIV 00000881: MUL 00000882: OR 00000883: SWAP1 00000884: SSTORE 00000885: POP 00000886: JUMPDEST 00000887: PUSH1 0x10 00000889: SWAP1 0000088a: SWAP5 0000088b: DIV 0000088c: SWAP4 0000088d: PUSH1 0x01 0000088f: SWAP4 00000890: SWAP1 00000891: SWAP4 00000892: ADD 00000893: SWAP3 00000894: PUSH2 0x02c3 00000897: JUMP 00000898: JUMPDEST 00000899: PUSH1 0x2a 0000089b: DUP1 0000089c: SLOAD 0000089d: PUSH1 0xff 0000089f: NOT 000008a0: AND 000008a1: PUSH1 0x30 000008a3: OR 000008a4: PUSH2 0xff00 000008a7: NOT 000008a8: AND 000008a9: PUSH2 0x7800 000008ac: OR 000008ad: SWAP1 000008ae: SSTORE 000008af: PUSH1 0x00 000008b1: SWAP4 000008b2: POP 000008b3: DUP4 000008b4: SWAP2 000008b5: POP 000008b6: JUMPDEST 000008b7: PUSH1 0x0a 000008b9: DUP5 000008ba: LT 000008bb: ISZERO 000008bc: PUSH2 0x0950 000008bf: JUMPI 000008c0: PUSH2 0x0100 000008c3: SWAP2 000008c4: SWAP1 000008c5: SWAP2 000008c6: MUL 000008c7: SWAP1 000008c8: PUSH1 0x2a 000008ca: DUP5 000008cb: PUSH1 0x0a 000008cd: DUP2 000008ce: LT 000008cf: ISZERO 000008d0: PUSH2 0x0002 000008d3: JUMPI 000008d4: PUSH1 0x20 000008d6: DUP1 000008d7: DUP3 000008d8: DIV 000008d9: SWAP1 000008da: SWAP3 000008db: ADD 000008dc: SLOAD 000008dd: PUSH1 0x01 000008df: SWAP7 000008e0: SWAP1 000008e1: SWAP7 000008e2: ADD 000008e3: SWAP6 000008e4: PUSH1 0xf8 000008e6: PUSH1 0x02 000008e8: EXP 000008e9: SWAP3 000008ea: SWAP1 000008eb: SWAP2 000008ec: MOD 000008ed: PUSH2 0x0100 000008f0: EXP 000008f1: SWAP1 000008f2: DIV 000008f3: DUP2 000008f4: MUL 000008f5: DIV 000008f6: SWAP1 000008f7: SWAP2 000008f8: ADD 000008f9: SWAP1 000008fa: PUSH2 0x08b6 000008fd: JUMP 000008fe: JUMPDEST 000008ff: PUSH1 0x57 00000901: DUP4 00000902: ADD 00000903: PUSH1 0xf8 00000905: PUSH1 0x02 00000907: EXP 00000908: MUL 00000909: PUSH1 0x2a 0000090b: PUSH1 0x09 0000090d: DUP7 0000090e: SWAP1 0000090f: SUB 00000910: PUSH1 0x0a 00000912: DUP2 00000913: LT 00000914: ISZERO 00000915: PUSH2 0x0002 00000918: JUMPI 00000919: PUSH1 0x20 0000091b: DUP1 0000091c: DUP3 0000091d: DIV 0000091e: SWAP1 0000091f: SWAP3 00000920: ADD 00000921: SWAP2 00000922: SWAP1 00000923: MOD 00000924: PUSH2 0x0100 00000927: EXP 00000928: DUP2 00000929: SLOAD 0000092a: DUP2 0000092b: PUSH1 0xff 0000092d: MUL 0000092e: NOT 0000092f: AND 00000930: SWAP1 00000931: DUP4 00000932: PUSH1 0xf8 00000934: PUSH1 0x02 00000936: EXP 00000937: SWAP1 00000938: DIV 00000939: MUL 0000093a: OR 0000093b: SWAP1 0000093c: SSTORE 0000093d: POP 0000093e: JUMPDEST 0000093f: PUSH1 0x10 00000941: SWAP1 00000942: SWAP5 00000943: DIV 00000944: SWAP4 00000945: PUSH1 0x01 00000947: SWAP4 00000948: SWAP1 00000949: SWAP4 0000094a: ADD 0000094b: SWAP3 0000094c: PUSH2 0x07ea 0000094f: JUMP 00000950: JUMPDEST 00000951: POP 00000952: PUSH1 0x28 00000954: DUP1 00000955: SLOAD 00000956: PUSH1 0xb0 00000958: PUSH1 0x02 0000095a: EXP 0000095b: DUP4 0000095c: DUP2 0000095d: MUL 0000095e: DIV 0000095f: PUSH10 0xffffffffffffffffffff 0000096a: NOT 0000096b: SWAP2 0000096c: SWAP1 0000096d: SWAP2 0000096e: AND 0000096f: OR 00000970: SWAP1 00000971: SSTORE 00000972: PUSH1 0x00 00000974: SWAP3 00000975: POP 00000976: DUP3 00000977: JUMPDEST 00000978: PUSH1 0x20 0000097a: DUP5 0000097b: LT 0000097c: ISZERO 0000097d: PUSH2 0x09b8 00000980: JUMPI 00000981: PUSH2 0x0100 00000984: MUL 00000985: PUSH1 0x2b 00000987: DUP5 00000988: PUSH1 0x20 0000098a: DUP2 0000098b: LT 0000098c: ISZERO 0000098d: PUSH2 0x0002 00000990: JUMPI 00000991: PUSH1 0x20 00000993: DUP1 00000994: DUP3 00000995: DIV 00000996: SWAP1 00000997: SWAP3 00000998: ADD 00000999: SLOAD 0000099a: PUSH1 0x01 0000099c: SWAP7 0000099d: SWAP1 0000099e: SWAP7 0000099f: ADD 000009a0: SWAP6 000009a1: PUSH1 0xf8 000009a3: PUSH1 0x02 000009a5: EXP 000009a6: SWAP3 000009a7: SWAP1 000009a8: SWAP2 000009a9: MOD 000009aa: PUSH2 0x0100 000009ad: EXP 000009ae: SWAP1 000009af: DIV 000009b0: DUP2 000009b1: MUL 000009b2: DIV 000009b3: ADD 000009b4: PUSH2 0x0977 000009b7: JUMP 000009b8: JUMPDEST 000009b9: PUSH1 0x29 000009bb: DUP2 000009bc: SWAP1 000009bd: SSTORE 000009be: PUSH1 0x28 000009c0: SLOAD 000009c1: PUSH1 0x40 000009c3: DUP1 000009c4: MLOAD 000009c5: PUSH1 0xb0 000009c7: PUSH1 0x02 000009c9: EXP 000009ca: SWAP3 000009cb: SWAP1 000009cc: SWAP3 000009cd: MUL 000009ce: DUP1 000009cf: DUP4 000009d0: MSTORE 000009d1: PUSH1 0x0a 000009d3: DUP4 000009d4: DUP2 000009d5: ADD 000009d6: DUP6 000009d7: SWAP1 000009d8: MSTORE 000009d9: DUP3 000009da: MLOAD 000009db: SWAP4 000009dc: DUP5 000009dd: SWAP1 000009de: SUB 000009df: PUSH1 0x2a 000009e1: SWAP1 000009e2: DUP2 000009e3: ADD 000009e4: DUP6 000009e5: KECCAK256 000009e6: PUSH1 0x1e 000009e8: SSTORE 000009e9: DUP3 000009ea: DUP6 000009eb: MSTORE 000009ec: DUP5 000009ed: DUP3 000009ee: ADD 000009ef: DUP7 000009f0: SWAP1 000009f1: MSTORE 000009f2: DUP5 000009f3: DUP2 000009f4: ADD 000009f5: DUP14 000009f6: SWAP1 000009f7: MSTORE 000009f8: DUP4 000009f9: MLOAD 000009fa: SWAP5 000009fb: DUP6 000009fc: SWAP1 000009fd: SUB 000009fe: PUSH1 0x4a 00000a00: ADD 00000a01: DUP6 00000a02: KECCAK256 00000a03: PUSH1 0x1f 00000a05: SWAP1 00000a06: DUP2 00000a07: SSTORE 00000a08: PUSH1 0x30 00000a0a: DUP15 00000a0b: ADD 00000a0c: PUSH1 0xf8 00000a0e: PUSH1 0x02 00000a10: EXP 00000a11: MUL 00000a12: PUSH1 0x20 00000a14: DUP2 00000a15: DUP2 00000a16: SSTORE 00000a17: SWAP5 00000a18: DUP8 00000a19: MSTORE 00000a1a: SWAP3 00000a1b: DUP7 00000a1c: ADD 00000a1d: DUP8 00000a1e: SWAP1 00000a1f: MSTORE 00000a20: SWAP1 00000a21: DUP6 00000a22: ADD 00000a23: SWAP2 00000a24: SWAP1 00000a25: SWAP2 00000a26: MSTORE 00000a27: SWAP2 00000a28: MLOAD 00000a29: SWAP3 00000a2a: DUP4 00000a2b: SWAP1 00000a2c: SUB 00000a2d: PUSH1 0x2b 00000a2f: ADD 00000a30: SWAP1 00000a31: SWAP3 00000a32: KECCAK256 00000a33: PUSH1 0x21 00000a35: SSTORE 00000a36: PUSH1 0x27 00000a38: DUP1 00000a39: SLOAD 00000a3a: DUP11 00000a3b: MLOAD 00000a3c: PUSH1 0x00 00000a3e: DUP4 00000a3f: SWAP1 00000a40: MSTORE 00000a41: SWAP2 00000a42: SWAP4 00000a43: PUSH1 0x02 00000a45: PUSH1 0x01 00000a47: DUP4 00000a48: AND 00000a49: ISZERO 00000a4a: PUSH2 0x0100 00000a4d: MUL 00000a4e: PUSH1 0x00 00000a50: NOT 00000a51: ADD 00000a52: SWAP1 00000a53: SWAP3 00000a54: AND 00000a55: SWAP2 00000a56: SWAP1 00000a57: SWAP2 00000a58: DIV 00000a59: DUP4 00000a5a: ADD 00000a5b: DUP2 00000a5c: SWAP1 00000a5d: DIV 00000a5e: PUSH32 0x98a476f1687bc3d60a2da2adbcba2c46958e61fa2fb4042cd7bc5816a710195b 00000a7f: SWAP1 00000a80: DUP2 00000a81: ADD 00000a82: SWAP4 00000a83: SWAP1 00000a84: SWAP2 00000a85: DUP13 00000a86: ADD 00000a87: SWAP1 00000a88: DUP4 00000a89: SWAP1 00000a8a: LT 00000a8b: PUSH2 0x0ab7 00000a8e: JUMPI 00000a8f: DUP1 00000a90: MLOAD 00000a91: PUSH1 0xff 00000a93: NOT 00000a94: AND 00000a95: DUP4 00000a96: DUP1 00000a97: ADD 00000a98: OR 00000a99: DUP6 00000a9a: SSTORE 00000a9b: JUMPDEST 00000a9c: POP 00000a9d: PUSH2 0x0ae7 00000aa0: SWAP3 00000aa1: SWAP2 00000aa2: POP 00000aa3: JUMPDEST 00000aa4: DUP1 00000aa5: DUP3 00000aa6: GT 00000aa7: ISZERO 00000aa8: PUSH2 0x0b99 00000aab: JUMPI 00000aac: PUSH1 0x00 00000aae: DUP2 00000aaf: SSTORE 00000ab0: PUSH1 0x01 00000ab2: ADD 00000ab3: PUSH2 0x0aa3 00000ab6: JUMP 00000ab7: JUMPDEST 00000ab8: DUP3 00000ab9: DUP1 00000aba: ADD 00000abb: PUSH1 0x01 00000abd: ADD 00000abe: DUP6 00000abf: SSTORE 00000ac0: DUP3 00000ac1: ISZERO 00000ac2: PUSH2 0x0a9b 00000ac5: JUMPI 00000ac6: SWAP2 00000ac7: DUP3 00000ac8: ADD 00000ac9: JUMPDEST 00000aca: DUP3 00000acb: DUP2 00000acc: GT 00000acd: ISZERO 00000ace: PUSH2 0x0a9b 00000ad1: JUMPI 00000ad2: DUP3 00000ad3: MLOAD 00000ad4: DUP3 00000ad5: PUSH1 0x00 00000ad7: POP 00000ad8: SSTORE 00000ad9: SWAP2 00000ada: PUSH1 0x20 00000adc: ADD 00000add: SWAP2 00000ade: SWAP1 00000adf: PUSH1 0x01 00000ae1: ADD 00000ae2: SWAP1 00000ae3: PUSH2 0x0ac9 00000ae6: JUMP 00000ae7: JUMPDEST 00000ae8: POP 00000ae9: POP 00000aea: DUP7 00000aeb: PUSH1 0x40 00000aed: MLOAD 00000aee: DUP1 00000aef: DUP3 00000af0: DUP1 00000af1: MLOAD 00000af2: SWAP1 00000af3: PUSH1 0x20 00000af5: ADD 00000af6: SWAP1 00000af7: DUP1 00000af8: DUP4 00000af9: DUP4 00000afa: DUP3 00000afb: SWAP1 00000afc: PUSH1 0x00 00000afe: PUSH1 0x04 00000b00: PUSH1 0x20 00000b02: DUP5 00000b03: PUSH1 0x1f 00000b05: ADD 00000b06: DIV 00000b07: PUSH1 0x0f 00000b09: MUL 00000b0a: PUSH1 0x03 00000b0c: ADD 00000b0d: CALL 00000b0e: POP 00000b0f: SWAP1 00000b10: SWAP2 00000b11: ADD 00000b12: DUP3 00000b13: SWAP1 00000b14: SUB 00000b15: DUP3 00000b16: KECCAK256 00000b17: PUSH1 0x23 00000b19: SSTORE 00000b1a: PUSH1 0x28 00000b1c: SLOAD 00000b1d: PUSH1 0x29 00000b1f: SLOAD 00000b20: PUSH1 0xb0 00000b22: PUSH1 0x02 00000b24: EXP 00000b25: SWAP2 00000b26: SWAP1 00000b27: SWAP2 00000b28: MUL 00000b29: DUP1 00000b2a: DUP5 00000b2b: MSTORE 00000b2c: PUSH1 0x0a 00000b2e: DUP5 00000b2f: ADD 00000b30: DUP3 00000b31: SWAP1 00000b32: MSTORE 00000b33: PUSH1 0x30 00000b35: DUP14 00000b36: ADD 00000b37: PUSH1 0xf8 00000b39: PUSH1 0x02 00000b3b: EXP 00000b3c: MUL 00000b3d: PUSH1 0x2a 00000b3f: DUP6 00000b40: ADD 00000b41: DUP2 00000b42: SWAP1 00000b43: MSTORE 00000b44: SWAP5 00000b45: MLOAD 00000b46: SWAP1 00000b47: SWAP5 00000b48: SWAP2 00000b49: SWAP4 00000b4a: SWAP2 00000b4b: SWAP3 00000b4c: DUP13 00000b4d: SWAP3 00000b4e: SWAP2 00000b4f: PUSH1 0x2b 00000b51: DUP4 00000b52: ADD 00000b53: SWAP2 00000b54: SWAP1 00000b55: DUP1 00000b56: DUP4 00000b57: DUP2 00000b58: DUP5 00000b59: PUSH1 0x00 00000b5b: PUSH1 0x04 00000b5d: PUSH1 0x20 00000b5f: PUSH1 0x1f 00000b61: DUP6 00000b62: ADD 00000b63: DIV 00000b64: PUSH1 0x0f 00000b66: MUL 00000b67: PUSH1 0x03 00000b69: ADD 00000b6a: CALL 00000b6b: POP 00000b6c: SWAP1 00000b6d: POP 00000b6e: ADD 00000b6f: SWAP5 00000b70: POP 00000b71: POP 00000b72: POP 00000b73: POP 00000b74: POP 00000b75: PUSH1 0x40 00000b77: MLOAD 00000b78: DUP1 00000b79: SWAP2 00000b7a: SUB 00000b7b: SWAP1 00000b7c: KECCAK256 00000b7d: PUSH1 0x1b 00000b7f: PUSH1 0x00 00000b81: POP 00000b82: DUP2 00000b83: SWAP1 00000b84: SSTORE 00000b85: POP 00000b86: PUSH1 0x1b 00000b88: PUSH1 0x00 00000b8a: POP 00000b8b: SLOAD 00000b8c: SWAP6 00000b8d: POP 00000b8e: POP 00000b8f: POP 00000b90: POP 00000b91: POP 00000b92: POP 00000b93: SWAP4 00000b94: SWAP3 00000b95: POP 00000b96: POP 00000b97: POP 00000b98: JUMP 00000b99: JUMPDEST 00000b9a: POP 00000b9b: SWAP1 00000b9c: JUMP 00000b9d: JUMPDEST 00000b9e: PUSH1 0x40 00000ba0: MLOAD 00000ba1: CALLER 00000ba2: PUSH1 0x01 00000ba4: PUSH1 0xa0 00000ba6: PUSH1 0x02 00000ba8: EXP 00000ba9: SUB 00000baa: AND 00000bab: SWAP1 00000bac: PUSH1 0x00 00000bae: SWAP1 00000baf: CALLVALUE 00000bb0: SWAP1 00000bb1: DUP3 00000bb2: DUP2 00000bb3: DUP2 00000bb4: DUP2 00000bb5: DUP6 00000bb6: DUP9 00000bb7: DUP4 00000bb8: CALL 00000bb9: POP 00000bba: POP 00000bbb: PUSH1 0x00 00000bbd: NOT 00000bbe: PUSH1 0x15 00000bc0: SSTORE 00000bc1: POP 00000bc2: POP 00000bc3: POP 00000bc4: JUMPDEST 00000bc5: POP 00000bc6: JUMP 00000bc7: JUMPDEST 00000bc8: PUSH1 0x05 00000bca: SLOAD 00000bcb: PUSH1 0x01 00000bcd: PUSH1 0xa0 00000bcf: PUSH1 0x02 00000bd1: EXP 00000bd2: SUB 00000bd3: SWAP1 00000bd4: DUP2 00000bd5: AND 00000bd6: CALLER 00000bd7: SWAP1 00000bd8: SWAP2 00000bd9: AND 00000bda: EQ 00000bdb: ISZERO 00000bdc: PUSH2 0x0be9 00000bdf: JUMPI 00000be0: PUSH1 0x01 00000be2: PUSH1 0x0a 00000be4: SSTORE 00000be5: PUSH2 0x0397 00000be8: JUMP 00000be9: JUMPDEST 00000bea: PUSH1 0x00 00000bec: NOT 00000bed: PUSH1 0x16 00000bef: SSTORE 00000bf0: PUSH2 0x0cce 00000bf3: JUMP 00000bf4: JUMPDEST 00000bf5: DUP3 00000bf6: DUP1 00000bf7: ADD 00000bf8: PUSH1 0x01 00000bfa: ADD 00000bfb: DUP6 00000bfc: SSTORE 00000bfd: DUP3 00000bfe: ISZERO 00000bff: PUSH2 0x0421 00000c02: JUMPI 00000c03: SWAP2 00000c04: DUP3 00000c05: ADD 00000c06: JUMPDEST 00000c07: DUP3 00000c08: DUP2 00000c09: GT 00000c0a: ISZERO 00000c0b: PUSH2 0x0421 00000c0e: JUMPI 00000c0f: DUP3 00000c10: MLOAD 00000c11: DUP3 00000c12: PUSH1 0x00 00000c14: POP 00000c15: SSTORE 00000c16: SWAP2 00000c17: PUSH1 0x20 00000c19: ADD 00000c1a: SWAP2 00000c1b: SWAP1 00000c1c: PUSH1 0x01 00000c1e: ADD 00000c1f: SWAP1 00000c20: PUSH2 0x0c06 00000c23: JUMP 00000c24: JUMPDEST 00000c25: POP 00000c26: POP 00000c27: PUSH2 0x0c31 00000c2a: CALLER 00000c2b: DUP4 00000c2c: DUP4 00000c2d: PUSH2 0x02b2 00000c30: JUMP 00000c31: JUMPDEST 00000c32: PUSH1 0x1b 00000c34: SSTORE 00000c35: PUSH1 0x0a 00000c37: SLOAD 00000c38: PUSH1 0x01 00000c3a: SWAP1 00000c3b: PUSH1 0x02 00000c3d: DUP2 00000c3e: LT 00000c3f: ISZERO 00000c40: PUSH2 0x0002 00000c43: JUMPI 00000c44: PUSH1 0x04 00000c46: MUL 00000c47: ADD 00000c48: PUSH1 0x00 00000c4a: POP 00000c4b: PUSH1 0x01 00000c4d: ADD 00000c4e: SLOAD 00000c4f: PUSH1 0x1c 00000c51: DUP2 00000c52: SWAP1 00000c53: SSTORE 00000c54: PUSH1 0x1b 00000c56: SLOAD 00000c57: EQ 00000c58: DUP1 00000c59: ISZERO 00000c5a: PUSH2 0x0c7d 00000c5d: JUMPI 00000c5e: POP 00000c5f: PUSH1 0x0a 00000c61: SLOAD 00000c62: PUSH1 0x01 00000c64: SWAP1 00000c65: PUSH1 0x02 00000c67: DUP2 00000c68: LT 00000c69: ISZERO 00000c6a: PUSH2 0x0002 00000c6d: JUMPI 00000c6e: PUSH1 0x04 00000c70: MUL 00000c71: ADD 00000c72: PUSH1 0x00 00000c74: POP 00000c75: PUSH1 0x03 00000c77: ADD 00000c78: SLOAD 00000c79: PUSH1 0xff 00000c7b: AND 00000c7c: ISZERO 00000c7d: JUMPDEST 00000c7e: ISZERO 00000c7f: PUSH2 0x0cc7 00000c82: JUMPI 00000c83: PUSH1 0x0a 00000c85: SLOAD 00000c86: DUP3 00000c87: SWAP1 00000c88: PUSH1 0x01 00000c8a: SWAP1 00000c8b: PUSH1 0x02 00000c8d: DUP2 00000c8e: LT 00000c8f: ISZERO 00000c90: PUSH2 0x0002 00000c93: JUMPI 00000c94: PUSH1 0x04 00000c96: MUL 00000c97: PUSH1 0x03 00000c99: ADD 00000c9a: SWAP2 00000c9b: SWAP1 00000c9c: SWAP2 00000c9d: SSTORE 00000c9e: PUSH1 0x0a 00000ca0: SLOAD 00000ca1: DUP2 00000ca2: SWAP1 00000ca3: PUSH1 0x02 00000ca5: DUP2 00000ca6: LT 00000ca7: ISZERO 00000ca8: PUSH2 0x0002 00000cab: JUMPI 00000cac: PUSH1 0x04 00000cae: SWAP1 00000caf: DUP2 00000cb0: MUL 00000cb1: ADD 00000cb2: DUP1 00000cb3: SLOAD 00000cb4: PUSH1 0xff 00000cb6: NOT 00000cb7: AND 00000cb8: SWAP1 00000cb9: SWAP2 00000cba: OR 00000cbb: SWAP1 00000cbc: SSTORE 00000cbd: POP 00000cbe: PUSH1 0x00 00000cc0: PUSH1 0x16 00000cc2: SSTORE 00000cc3: PUSH2 0x0cce 00000cc6: JUMP 00000cc7: JUMPDEST 00000cc8: PUSH1 0x00 00000cca: NOT 00000ccb: PUSH1 0x16 00000ccd: SSTORE 00000cce: JUMPDEST 00000ccf: POP 00000cd0: POP 00000cd1: JUMP 00000cd2: JUMPDEST 00000cd3: PUSH1 0x0c 00000cd5: DUP3 00000cd6: PUSH1 0x03 00000cd8: DUP2 00000cd9: LT 00000cda: ISZERO 00000cdb: PUSH2 0x0002 00000cde: JUMPI 00000cdf: PUSH1 0x03 00000ce1: MUL 00000ce2: ADD 00000ce3: PUSH1 0x00 00000ce5: POP 00000ce6: DUP2 00000ce7: PUSH1 0x03 00000ce9: DUP2 00000cea: LT 00000ceb: ISZERO 00000cec: PUSH2 0x0002 00000cef: JUMPI 00000cf0: ADD 00000cf1: SLOAD 00000cf2: PUSH1 0x01 00000cf4: EQ 00000cf5: ISZERO 00000cf6: PUSH2 0x0d2a 00000cf9: JUMPI 00000cfa: PUSH1 0x0b 00000cfc: SLOAD 00000cfd: PUSH1 0x05 00000cff: SLOAD 00000d00: PUSH1 0x40 00000d02: MLOAD 00000d03: PUSH1 0x01 00000d05: PUSH1 0xa0 00000d07: PUSH1 0x02 00000d09: EXP 00000d0a: SUB 00000d0b: SWAP2 00000d0c: SWAP1 00000d0d: SWAP2 00000d0e: AND 00000d0f: SWAP2 00000d10: PUSH1 0x00 00000d12: SWAP2 00000d13: DUP3 00000d14: DUP2 00000d15: DUP2 00000d16: DUP2 00000d17: DUP6 00000d18: DUP9 00000d19: DUP4 00000d1a: CALL 00000d1b: POP 00000d1c: POP 00000d1d: PUSH1 0x01 00000d1f: PUSH1 0x17 00000d21: SSTORE 00000d22: POP 00000d23: PUSH2 0x0cce 00000d26: SWAP2 00000d27: POP 00000d28: POP 00000d29: JUMP 00000d2a: JUMPDEST 00000d2b: PUSH1 0x01 00000d2d: PUSH1 0x00 00000d2f: POP 00000d30: PUSH1 0x0b 00000d32: SLOAD 00000d33: PUSH1 0x40 00000d35: MLOAD 00000d36: SWAP2 00000d37: SLOAD 00000d38: PUSH1 0x01 00000d3a: PUSH1 0xa0 00000d3c: PUSH1 0x02 00000d3e: EXP 00000d3f: SUB 00000d40: AND 00000d41: SWAP2 00000d42: PUSH1 0x00 00000d44: SWAP2 00000d45: PUSH1 0x02 00000d47: SWAP1 00000d48: DIV 00000d49: SWAP1 00000d4a: DUP3 00000d4b: DUP2 00000d4c: DUP2 00000d4d: DUP2 00000d4e: DUP6 00000d4f: DUP9 00000d50: DUP4 00000d51: CALL 00000d52: POP 00000d53: PUSH1 0x05 00000d55: SLOAD 00000d56: PUSH1 0x01 00000d58: PUSH1 0xa0 00000d5a: PUSH1 0x02 00000d5c: EXP 00000d5d: SUB 00000d5e: AND 00000d5f: SWAP4 00000d60: POP 00000d61: DUP3 00000d62: DUP2 00000d63: DUP2 00000d64: DUP2 00000d65: DUP6 00000d66: DUP9 00000d67: DUP4 00000d68: CALL 00000d69: POP 00000d6a: POP 00000d6b: PUSH1 0x02 00000d6d: PUSH1 0x17 00000d6f: SSTORE 00000d70: POP 00000d71: POP 00000d72: POP 00000d73: POP 00000d74: POP 00000d75: 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: 0x952534fa6fdb3ba1c2092a0753041e813b036e5565c7597ae63c6131189c8f5d
call_targets:
0xa477d806680de9881c7d5c2954c0264636c70491
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x952534fa6fdb3ba1c2092a0753041e813b036e5565c7597ae63c6131189c8f5d",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xa477d806680de9881c7d5c2954c0264636c70491"
],
"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": "0x20879c19",
"selector": "0x20879c19",
"calldata_variants": [
"0x20879c19",
"0x20879c190000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x220cf6c5",
"selector": "0x220cf6c5",
"calldata_variants": [
"0x220cf6c5",
"0x220cf6c50000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1207,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1433,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1865,
"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: 0x952534fa6fdb3ba1c2092a0753041e813b036e5565c7597ae63c6131189c8f5d
call_targets:
0xa477d806680de9881c7d5c2954c0264636c70491
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x952534fa6fdb3ba1c2092a0753041e813b036e5565c7597ae63c6131189c8f5d",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xa477d806680de9881c7d5c2954c0264636c70491"
],
"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": "0x20879c19",
"selector": "0x20879c19",
"calldata_variants": [
"0x20879c19",
"0x20879c190000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x220cf6c5",
"selector": "0x220cf6c5",
"calldata_variants": [
"0x220cf6c5",
"0x220cf6c50000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1207,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1433,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1865,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 9,
"guards_detected": []
}
|