x86: Implement symbolic LSL

Repository-Metriken

Stars

3.469 Sterne (3.469 Sterne)

PR-Merge-Metriken

Keine gemergten PRs in 30 T (Keine gemergten PRs in 30 T)

Beschreibung

Contributor Guide

Research-Richtung

Studieren Sie die vorhandenen x86 Befehlsimplementierungen im Manticore CPU Modell (z. B. in manticore/x86/instructions.py) und folgen Sie dem Muster, um die symbolische Semantik von LSL zu implementieren. Schlagen Sie im Intel Handbuch nach, um das Verhalten von LSL zu verstehen.

Tech Stack

python

Domain

backend

Issue Type

Funktion

SchwierigkeitGeschätzte Implementierungsschwierigkeit für neue Contributors, von 1 für sehr kleine Änderungen bis 5 für Expertenarbeit.

3

Geschätzte ZeitEin grober Zeitrahmen, um zu recherchieren, zu implementieren, zu testen und einen Pull Request vorzubereiten.

Halber Tag

AktivitätsstatusWie verfügbar das Issue gerade wirkt: frisch, aktiv, stale, blockiert oder wartet auf Maintainer-Input.

Aktiv

KlarheitWie klar das Issue die erwartete Änderung, Akzeptanzkriterien und den nächsten Schritt erklärt.

Meist klar

Voraussetzungen

Python

EinsteigerfreundlichkeitEin Score von 1 bis 100, der schätzt, wie zugänglich dieses Issue für First-Time Contributors ist.

65