x86: Implement symbolic LSL

Repository metrics

Stars

3,469 stars (3,469 stars)

PR merge metrics

No merged PRs in 30d (No merged PRs in 30d)

Description

This issue does not include a description.

Contributor guide

Research direction

Study existing x86 instruction implementations in Manticore's CPU model (e.g., in manticore/x86/instructions.py) and follow the pattern to implement the symbolic semantics of LSL. Reference Intel's manual for LSL behavior.

Tech stack

python

Domain

backend

Issue type

Feature

DifficultyEstimated implementation difficulty for a new contributor, from 1 for very small changes to 5 for expert-level work.

3

Estimated timeA rough time range for an experienced contributor to investigate, implement, test, and prepare a pull request.

Half day

Activity statusHow available the issue appears right now: fresh, active, stale, blocked, or waiting on maintainer input.

Active

ClarityHow clearly the issue explains the expected change, acceptance criteria, and next step.

Mostly clear

Prerequisites

Python

Newbie friendlinessA 1-100 score estimating how approachable this issue is for first-time contributors.

65