x86: Implement symbolic LSL

Metriche repository

Star

3469 star (3469 star)

Metriche merge PR

Nessuna PR mergiata in 30 g (Nessuna PR mergiata in 30 g)

Descrizione

Questa issue non ha descrizione indicizzata.

Guida contributor

Direzione di ricerca

Studia le implementazioni esistenti delle istruzioni x86 nel modello CPU di Manticore (ad esempio in manticore/x86/instructions.py) e segui il pattern per implementare la semantica simbolica di LSL. Fai riferimento al manuale Intel per il comportamento di LSL.

Tech stack

python

Dominio

backend

Tipo issue

Funzionalità

DifficoltàQuanto dovrebbe essere impegnativa per un nuovo contributor.

3

Tempo stimatoTempo stimato per completare e verificare uno scope piccolo.

Mezza giornata

Stato attivitàQuanto è probabile che la issue sia ancora attiva e reviewable.

Attiva

ChiarezzaQuanto chiaramente la issue descrive problema, scope e risultato atteso.

Abbastanza chiara

Prerequisiti

Python

Adatta ai principiantiQuanto la issue è adatta a contributor alla prima esperienza.

65