trailofbits/manticore

x86: Implement symbolic LSL

Open

#92 geöffnet am 21. März 2017

Auf GitHub ansehen
 (3 Kommentare) (0 Reaktionen) (1 zugewiesene Person)Python (481 Forks)batch import
help wanted

Repository-Metriken

Stars
 (3.469 Stars)
PR-Merge-Metriken
 (Keine gemergten PRs in 30 T)

Beschreibung

Dieses Issue enthält keine 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