trailofbits/manticore

x86: Implement symbolic LSL

Aperta

#92 aperta il 21 mar 2017

Vedi su GitHubGuida contributor
 (3 commenti) (0 reazioni) (1 assegnatario)Python (481 fork)batch import
help wanted

Metriche repository

Star
 (3469 stelle)
Metriche merge PR
 (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